Trace number 4435771

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
mixed-bag 2024-07-02? (TO) 3600.06 3609.02

DiagnosticValue
AM1LB0
LOWERBOUND2060062463
NAM1S0
NCORES6
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED4

General information on the benchmark

NamePB24/normalized-PB16/OPT-LIN/lion9-single-obj/
normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-irEDCBA.opb
MD5SUM0ed226c068d5e24ee91dcf11039aef97
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 benchmark7763398632
Best CPU time to get the best result obtained on this benchmark3600.06
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables95933
Total number of constraints291294
Number of constraints which are clauses291146
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints148
Minimum length of a constraint1
Maximum length of a constraint4060
Number of terms in the objective function 795
Biggest coefficient in the objective function 396175840
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 240478734879
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 396175840
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 240478734879
Number of bits of the biggest sum of numbers38
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
1.38/1.49	c [STEP] preprocessing with Papilo
2.19/2.24	c [STEP] solving with SCIP
301.93/302.78	c [STEP] preprocessing done, loading into solver
302.25/303.08	c [STEP] solving
302.25/303.08	c #variables 44517 #constraints 169396
302.25/303.08	c SMALL=int, LARGE=long long
302.25/303.09	c bounds - >= -51905 @ 301.748
302.25/303.09	c stratification level: 79235168
820.94/823.09	c bounds - >= 396123935 @ 301.801
820.94/823.09	c bounds - >= 792299775 @ 301.802
820.94/823.09	c bounds - >= 1188475615 @ 301.804
820.94/823.09	c bounds - >= 1584651455 @ 301.806
820.94/823.09	c bounds - >= 1980827295 @ 301.807
820.94/823.09	c bounds - >= 2060062463 @ 301.809
820.94/823.09	c #Conflicts:       1000 | #Constraints:     170406
820.94/823.09	c #Conflicts:       2000 | #Constraints:     171406
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:       3000 | #Constraints:     171406
820.94/823.09	c #Conflicts:       4000 | #Constraints:     172406
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:       5000 | #Constraints:     171816
820.94/823.09	c #Conflicts:       6000 | #Constraints:     172816
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:       7000 | #Constraints:     171822
820.94/823.09	c #Conflicts:       8000 | #Constraints:     172822
820.94/823.09	c #Conflicts:       9000 | #Constraints:     173822
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:      10000 | #Constraints:     172522
820.94/823.09	c #Conflicts:      11000 | #Constraints:     173522
820.94/823.09	c #Conflicts:      12000 | #Constraints:     174522
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:      13000 | #Constraints:     172977
820.94/823.09	c #Conflicts:      14000 | #Constraints:     173977
820.94/823.09	c #Conflicts:      15000 | #Constraints:     174977
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:      16000 | #Constraints:     173205
820.94/823.09	c #Conflicts:      17000 | #Constraints:     174205
820.94/823.09	c #Conflicts:      18000 | #Constraints:     175205
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:      19000 | #Constraints:     173220
820.94/823.09	c #Conflicts:      20000 | #Constraints:     174220
820.94/823.09	c #Conflicts:      21000 | #Constraints:     175220
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:      22000 | #Constraints:     173032
820.94/823.09	c #Conflicts:      23000 | #Constraints:     174032
820.94/823.09	c #Conflicts:      24000 | #Constraints:     175032
820.94/823.09	c #Conflicts:      25000 | #Constraints:     176032
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:      26000 | #Constraints:     173637
820.94/823.09	c #Conflicts:      27000 | #Constraints:     174637
820.94/823.09	c #Conflicts:      28000 | #Constraints:     175637
820.94/823.09	c #Conflicts:      29000 | #Constraints:     176637
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:      30000 | #Constraints:     174036
820.94/823.09	c #Conflicts:      31000 | #Constraints:     175036
820.94/823.09	c #Conflicts:      32000 | #Constraints:     176036
820.94/823.09	c #Conflicts:      33000 | #Constraints:     177036
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:      34000 | #Constraints:     174248
820.94/823.09	c #Conflicts:      35000 | #Constraints:     175248
820.94/823.09	c #Conflicts:      36000 | #Constraints:     176248
820.94/823.09	c #Conflicts:      37000 | #Constraints:     177248
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:      38000 | #Constraints:     174241
820.94/823.09	c #Conflicts:      39000 | #Constraints:     175241
820.94/823.09	c #Conflicts:      40000 | #Constraints:     176241
820.94/823.09	c #Conflicts:      41000 | #Constraints:     177241
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:      42000 | #Constraints:     174036
820.94/823.09	c #Conflicts:      43000 | #Constraints:     175036
820.94/823.09	c #Conflicts:      44000 | #Constraints:     176036
820.94/823.09	c #Conflicts:      45000 | #Constraints:     177036
820.94/823.09	c #Conflicts:      46000 | #Constraints:     178036
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:      47000 | #Constraints:     174634
820.94/823.09	c #Conflicts:      48000 | #Constraints:     175634
820.94/823.09	c #Conflicts:      49000 | #Constraints:     176634
820.94/823.09	c #Conflicts:      50000 | #Constraints:     177634
820.94/823.09	c #Conflicts:      51000 | #Constraints:     178634
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:      52000 | #Constraints:     175035
820.94/823.09	c #Conflicts:      53000 | #Constraints:     176035
820.94/823.09	c #Conflicts:      54000 | #Constraints:     177035
820.94/823.09	c #Conflicts:      55000 | #Constraints:     178035
820.94/823.09	c #Conflicts:      56000 | #Constraints:     179035
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:      57000 | #Constraints:     175241
820.94/823.09	c #Conflicts:      58000 | #Constraints:     176241
820.94/823.09	c #Conflicts:      59000 | #Constraints:     177241
820.94/823.09	c #Conflicts:      60000 | #Constraints:     178241
820.94/823.09	c #Conflicts:      61000 | #Constraints:     179241
820.94/823.09	c INPROCESSING
820.94/823.09	c GARBAGE COLLECT
820.94/823.09	c #Conflicts:      62000 | #Constraints:     175242
820.94/823.09	c #Conflicts:      63000 | #Constraints:     176242
820.94/823.09	c #Conflicts:      64000 | #Constraints:     177242
1776.91/1781.31	c #Conflicts:      65000 | #Constraints:     178242
1776.91/1781.31	c #Conflicts:      66000 | #Constraints:     179242
1776.91/1781.31	c INPROCESSING
1776.91/1781.31	c GARBAGE COLLECT
1776.91/1781.31	c #Conflicts:      67000 | #Constraints:     175041
1776.91/1781.31	c #Conflicts:      68000 | #Constraints:     176041
1776.91/1781.31	c #Conflicts:      69000 | #Constraints:     177041
1776.91/1781.31	c #Conflicts:      70000 | #Constraints:     178041
1776.91/1781.31	c #Conflicts:      71000 | #Constraints:     179041
1776.91/1781.31	c #Conflicts:      72000 | #Constraints:     180041
1776.91/1781.31	c INPROCESSING
1776.91/1781.31	c GARBAGE COLLECT
1776.91/1781.31	c #Conflicts:      73000 | #Constraints:     175644
1776.91/1781.31	c #Conflicts:      74000 | #Constraints:     176644
1776.91/1781.31	c #Conflicts:      75000 | #Constraints:     177644
1776.91/1781.31	c #Conflicts:      76000 | #Constraints:     178644
1776.91/1781.31	c #Conflicts:      77000 | #Constraints:     179644
1776.91/1781.31	c #Conflicts:      78000 | #Constraints:     180644
1776.91/1781.31	c INPROCESSING
1776.91/1781.31	c GARBAGE COLLECT
1776.91/1781.31	c #Conflicts:      79000 | #Constraints:     176048
1776.91/1781.31	c #Conflicts:      80000 | #Constraints:     177048
1776.91/1781.31	c #Conflicts:      81000 | #Constraints:     178048
1776.91/1781.31	c #Conflicts:      82000 | #Constraints:     179048
1776.91/1781.31	c #Conflicts:      83000 | #Constraints:     180048
1776.91/1781.31	c #Conflicts:      84000 | #Constraints:     181048
1776.91/1781.31	c INPROCESSING
1776.91/1781.31	c GARBAGE COLLECT
1776.91/1781.31	c #Conflicts:      85000 | #Constraints:     176264
1776.91/1781.31	c #Conflicts:      86000 | #Constraints:     177264
1776.91/1781.31	c #Conflicts:      87000 | #Constraints:     178264
1776.91/1781.31	c #Conflicts:      88000 | #Constraints:     179264
1776.91/1781.31	c #Conflicts:      89000 | #Constraints:     180264
1776.91/1781.31	c #Conflicts:      90000 | #Constraints:     181264
1776.91/1781.31	c INPROCESSING
1776.91/1781.31	c GARBAGE COLLECT
1776.91/1781.31	c #Conflicts:      91000 | #Constraints:     176252
1776.91/1781.31	c #Conflicts:      92000 | #Constraints:     177252
1776.91/1781.31	c #Conflicts:      93000 | #Constraints:     178252
1776.91/1781.31	c #Conflicts:      94000 | #Constraints:     179252
1776.91/1781.31	c #Conflicts:      95000 | #Constraints:     180252
1776.91/1781.31	c #Conflicts:      96000 | #Constraints:     181252
1776.91/1781.31	c INPROCESSING
1776.91/1781.31	c GARBAGE COLLECT
1776.91/1781.31	c #Conflicts:      97000 | #Constraints:     176046
1776.91/1781.31	c #Conflicts:      98000 | #Constraints:     177046
1776.91/1781.31	c #Conflicts:      99000 | #Constraints:     178046
1776.91/1781.31	c #Conflicts:     100000 | #Constraints:     179046
1776.91/1781.31	c #Conflicts:     101000 | #Constraints:     180046
1776.91/1781.31	c #Conflicts:     102000 | #Constraints:     181046
1776.91/1781.31	c #Conflicts:     103000 | #Constraints:     182046
1776.91/1781.31	c INPROCESSING
1776.91/1781.31	c GARBAGE COLLECT
1776.91/1781.31	c #Conflicts:     104000 | #Constraints:     176667
1776.91/1781.31	c #Conflicts:     105000 | #Constraints:     177667
1776.91/1781.31	c #Conflicts:     106000 | #Constraints:     178667
1776.91/1781.31	c #Conflicts:     107000 | #Constraints:     179667
1776.91/1781.31	c #Conflicts:     108000 | #Constraints:     180667
1776.91/1781.31	c #Conflicts:     109000 | #Constraints:     181667
1776.91/1781.31	c #Conflicts:     110000 | #Constraints:     182667
1776.91/1781.31	c INPROCESSING
1776.91/1781.31	c GARBAGE COLLECT
1776.91/1781.31	c #Conflicts:     111000 | #Constraints:     177074
1776.91/1781.31	c #Conflicts:     112000 | #Constraints:     178074
1776.91/1781.31	c #Conflicts:     113000 | #Constraints:     179074
1776.91/1781.31	c #Conflicts:     114000 | #Constraints:     180074
1776.91/1781.31	c #Conflicts:     115000 | #Constraints:     181074
1776.91/1781.31	c #Conflicts:     116000 | #Constraints:     182074
1776.91/1781.31	c #Conflicts:     117000 | #Constraints:     183074
1776.91/1781.31	c INPROCESSING
1776.91/1781.31	c GARBAGE COLLECT
1776.91/1781.31	c #Conflicts:     118000 | #Constraints:     177265
1776.91/1781.31	c #Conflicts:     119000 | #Constraints:     178265
1776.91/1781.31	c #Conflicts:     120000 | #Constraints:     179265
1776.91/1781.31	c #Conflicts:     121000 | #Constraints:     180265
1776.91/1781.31	c #Conflicts:     122000 | #Constraints:     181265
1776.91/1781.31	c #Conflicts:     123000 | #Constraints:     182265
1776.91/1781.31	c #Conflicts:     124000 | #Constraints:     183265
1776.91/1781.31	c INPROCESSING
1776.91/1781.31	c GARBAGE COLLECT
1776.91/1781.31	c #Conflicts:     125000 | #Constraints:     177260
1776.91/1781.31	c #Conflicts:     126000 | #Constraints:     178260
1776.91/1781.31	c #Conflicts:     127000 | #Constraints:     179260
1776.91/1781.31	c #Conflicts:     128000 | #Constraints:     180260
1776.91/1781.31	c #Conflicts:     129000 | #Constraints:     181260
1776.91/1781.31	c #Conflicts:     130000 | #Constraints:     182260
1776.91/1781.31	c #Conflicts:     131000 | #Constraints:     183260
1776.91/1781.31	c INPROCESSING
1776.91/1781.31	c GARBAGE COLLECT
1776.91/1781.31	c #Conflicts:     132000 | #Constraints:     177079
1776.91/1781.31	c #Conflicts:     133000 | #Constraints:     178079
1776.91/1781.31	c #Conflicts:     134000 | #Constraints:     179079
1776.91/1781.31	c #Conflicts:     135000 | #Constraints:     180079
1776.91/1781.31	c #Conflicts:     136000 | #Constraints:     181079
2974.44/2981.86	c #Conflicts:     137000 | #Constraints:     182079
2974.44/2981.86	c #Conflicts:     138000 | #Constraints:     183079
2974.44/2981.86	c #Conflicts:     139000 | #Constraints:     184079
2974.44/2981.86	c INPROCESSING
2974.44/2981.86	c GARBAGE COLLECT
2974.44/2981.86	c #Conflicts:     140000 | #Constraints:     177683
2974.44/2981.86	c #Conflicts:     141000 | #Constraints:     178683
2974.44/2981.86	c #Conflicts:     142000 | #Constraints:     179683
2974.44/2981.86	c #Conflicts:     143000 | #Constraints:     180683
2974.44/2981.86	c #Conflicts:     144000 | #Constraints:     181683
2974.44/2981.86	c #Conflicts:     145000 | #Constraints:     182683
2974.44/2981.86	c #Conflicts:     146000 | #Constraints:     183683
2974.44/2981.86	c #Conflicts:     147000 | #Constraints:     184683
2974.44/2981.86	c INPROCESSING
2974.44/2981.86	c GARBAGE COLLECT
2974.44/2981.86	c #Conflicts:     148000 | #Constraints:     178068
2974.44/2981.86	c #Conflicts:     149000 | #Constraints:     179068
2974.44/2981.86	c #Conflicts:     150000 | #Constraints:     180068
2974.44/2981.86	c #Conflicts:     151000 | #Constraints:     181068
2974.44/2981.86	c #Conflicts:     152000 | #Constraints:     182068
2974.44/2981.86	c #Conflicts:     153000 | #Constraints:     183068
2974.44/2981.86	c #Conflicts:     154000 | #Constraints:     184068
2974.44/2981.86	c #Conflicts:     155000 | #Constraints:     185068
2974.44/2981.86	c INPROCESSING
2974.44/2981.86	c GARBAGE COLLECT
2974.44/2981.86	c #Conflicts:     156000 | #Constraints:     178276
2974.44/2981.86	c #Conflicts:     157000 | #Constraints:     179276
2974.44/2981.86	c #Conflicts:     158000 | #Constraints:     180276
2974.44/2981.86	c #Conflicts:     159000 | #Constraints:     181276
2974.44/2981.86	c #Conflicts:     160000 | #Constraints:     182276
2974.44/2981.86	c #Conflicts:     161000 | #Constraints:     183276
2974.44/2981.86	c #Conflicts:     162000 | #Constraints:     184276
2974.44/2981.86	c #Conflicts:     163000 | #Constraints:     185276
2974.44/2981.86	c INPROCESSING
2974.44/2981.86	c GARBAGE COLLECT
2974.44/2981.86	c #Conflicts:     164000 | #Constraints:     178270
2974.44/2981.86	c #Conflicts:     165000 | #Constraints:     179270
2974.44/2981.86	c #Conflicts:     166000 | #Constraints:     180270
2974.44/2981.86	c #Conflicts:     167000 | #Constraints:     181270
2974.44/2981.86	c #Conflicts:     168000 | #Constraints:     182270
2974.44/2981.86	c #Conflicts:     169000 | #Constraints:     183270
2974.44/2981.86	c #Conflicts:     170000 | #Constraints:     184270
2974.44/2981.86	c #Conflicts:     171000 | #Constraints:     185270
2974.44/2981.86	c INPROCESSING
2974.44/2981.86	c GARBAGE COLLECT
2974.44/2981.86	c #Conflicts:     172000 | #Constraints:     178065
2974.44/2981.86	c #Conflicts:     173000 | #Constraints:     179065
2974.44/2981.86	c #Conflicts:     174000 | #Constraints:     180065
2974.44/2981.86	c #Conflicts:     175000 | #Constraints:     181065
2974.44/2981.86	c #Conflicts:     176000 | #Constraints:     182065
2974.44/2981.86	c #Conflicts:     177000 | #Constraints:     183065
2974.44/2981.86	c #Conflicts:     178000 | #Constraints:     184065
2974.44/2981.86	c #Conflicts:     179000 | #Constraints:     185065
2974.44/2981.86	c #Conflicts:     180000 | #Constraints:     186065
2974.44/2981.86	c INPROCESSING
2974.44/2981.86	c GARBAGE COLLECT
2974.44/2981.86	c #Conflicts:     181000 | #Constraints:     178667
2974.44/2981.86	c #Conflicts:     182000 | #Constraints:     179667
2974.44/2981.86	c #Conflicts:     183000 | #Constraints:     180667
2974.44/2981.86	c #Conflicts:     184000 | #Constraints:     181667
2974.44/2981.86	c #Conflicts:     185000 | #Constraints:     182667
2974.44/2981.86	c #Conflicts:     186000 | #Constraints:     183667
2974.44/2981.86	c #Conflicts:     187000 | #Constraints:     184667
2974.44/2981.86	c #Conflicts:     188000 | #Constraints:     185667
2974.44/2981.86	c #Conflicts:     189000 | #Constraints:     186667
2974.44/2981.86	c INPROCESSING
2974.44/2981.86	c GARBAGE COLLECT
2974.44/2981.86	c #Conflicts:     190000 | #Constraints:     179088
2974.44/2981.86	c #Conflicts:     191000 | #Constraints:     180088
2974.44/2981.86	c #Conflicts:     192000 | #Constraints:     181088
2974.44/2981.86	c #Conflicts:     193000 | #Constraints:     182088
2974.44/2981.86	c #Conflicts:     194000 | #Constraints:     183088
2974.44/2981.86	c #Conflicts:     195000 | #Constraints:     184088
2974.44/2981.86	c #Conflicts:     196000 | #Constraints:     185088
2974.44/2981.86	c #Conflicts:     197000 | #Constraints:     186088
2974.44/2981.86	c #Conflicts:     198000 | #Constraints:     187088
2974.44/2981.86	c INPROCESSING
2974.44/2981.86	c GARBAGE COLLECT
2974.44/2981.86	c #Conflicts:     199000 | #Constraints:     179283
2974.44/2981.86	c #Conflicts:     200000 | #Constraints:     180283
2974.44/2981.86	c #Conflicts:     201000 | #Constraints:     181283
2974.44/2981.86	c #Conflicts:     202000 | #Constraints:     182283
2974.44/2981.86	c #Conflicts:     203000 | #Constraints:     183283
2974.44/2981.86	c #Conflicts:     204000 | #Constraints:     184283
2974.44/2981.86	c #Conflicts:     205000 | #Constraints:     185283
2974.44/2981.86	c #Conflicts:     206000 | #Constraints:     186283
2974.44/2981.86	c #Conflicts:     207000 | #Constraints:     187283
2974.44/2981.86	c INPROCESSING
2974.44/2981.86	c GARBAGE COLLECT
2974.44/2981.86	c #Conflicts:     208000 | #Constraints:     179283
2974.44/2981.86	c #Conflicts:     209000 | #Constraints:     180283
3600.04/3609.01	c #Conflicts:     210000 | #Constraints:     181283
3600.04/3609.01	c #Conflicts:     211000 | #Constraints:     182283
3600.04/3609.01	c #Conflicts:     212000 | #Constraints:     183283
3600.04/3609.01	c #Conflicts:     213000 | #Constraints:     184283
3600.04/3609.01	c #Conflicts:     214000 | #Constraints:     185283
3600.04/3609.01	c #Conflicts:     215000 | #Constraints:     186283
3600.04/3609.01	c #Conflicts:     216000 | #Constraints:     187283
3600.04/3609.01	c INPROCESSING
3600.04/3609.01	c GARBAGE COLLECT
3600.04/3609.01	c #Conflicts:     217000 | #Constraints:     179076
3600.04/3609.01	c #Conflicts:     218000 | #Constraints:     180076
3600.04/3609.01	c #Conflicts:     219000 | #Constraints:     181076
3600.04/3609.01	c #Conflicts:     220000 | #Constraints:     182076
3600.04/3609.01	c #Conflicts:     221000 | #Constraints:     183076
3600.04/3609.01	c #Conflicts:     222000 | #Constraints:     184076
3600.04/3609.01	c #Conflicts:     223000 | #Constraints:     185076
3600.04/3609.01	c #Conflicts:     224000 | #Constraints:     186076
3600.04/3609.01	c #Conflicts:     225000 | #Constraints:     187076
3600.04/3609.01	c #Conflicts:     226000 | #Constraints:     188076
3600.04/3609.01	c INPROCESSING
3600.04/3609.01	c GARBAGE COLLECT
3600.04/3609.01	c #Conflicts:     227000 | #Constraints:     179675
3600.04/3609.01	c #Conflicts:     228000 | #Constraints:     180675
3600.04/3609.01	c #Conflicts:     229000 | #Constraints:     181675
3600.04/3609.01	c #Conflicts:     230000 | #Constraints:     182675
3600.04/3609.01	c #Conflicts:     231000 | #Constraints:     183675
3600.04/3609.01	c #Conflicts:     232000 | #Constraints:     184675
3600.04/3609.01	c #Conflicts:     233000 | #Constraints:     185675
3600.04/3609.01	c #Conflicts:     234000 | #Constraints:     186675
3600.04/3609.01	c #Conflicts:     235000 | #Constraints:     187675
3600.04/3609.01	c #Conflicts:     236000 | #Constraints:     188675
3600.04/3609.01	c INPROCESSING
3600.04/3609.01	c GARBAGE COLLECT
3600.04/3609.01	c #Conflicts:     237000 | #Constraints:     180097
3600.04/3609.01	c #Conflicts:     238000 | #Constraints:     181097
3600.04/3609.01	c #Conflicts:     239000 | #Constraints:     182097
3600.04/3609.01	c #Conflicts:     240000 | #Constraints:     183097
3600.04/3609.01	c #Conflicts:     241000 | #Constraints:     184097
3600.04/3609.01	c Program interrupted by user.
3600.04/3609.01	c cpu time 3595.6 s
3600.04/3609.01	c deterministic time 1308668928692 1.31e+12
3600.04/3609.01	c optimization time 89.9269 s
3600.04/3609.01	c total solve time 3203.93 s
3600.04/3609.01	c core-guided solve time 3203.93 s
3600.04/3609.01	c propagation time 2835.24 s
3600.04/3609.01	c conflict analysis time 401.01 s
3600.04/3609.01	c propagations 33495561
3600.04/3609.01	c resolve steps 1974709
3600.04/3609.01	c decisions 1980522
3600.04/3609.01	c conflicts 241509
3600.04/3609.01	c restarts 556
3600.04/3609.01	c inprocessing phases 40
3600.04/3609.01	c input clauses 169359
3600.04/3609.01	c input cardinalities 37
3600.04/3609.01	c input general constraints 7
3600.04/3609.01	c input average constraint length 3.09
3600.04/3609.01	c input average constraint degree 1413486.47
3600.04/3609.01	c learned clauses 60807
3600.04/3609.01	c learned cardinalities 32
3600.04/3609.01	c learned general constraints 180674
3600.04/3609.01	c learned average constraint length 4401.05
3600.04/3609.01	c learned average constraint degree 622907.99
3600.04/3609.01	c watched constraints 180376
3600.04/3609.01	c counting constraints 305
3600.04/3609.01	c gcd simplifications 3008
3600.04/3609.01	c detected cardinalities 0
3600.04/3609.01	c weakened non-implied lits 27656870
3600.04/3609.01	c weakened non-implying lits 7887
3600.04/3609.01	c original variables 95933
3600.04/3609.01	c clausal propagations 15922522
3600.04/3609.01	c cardinality propagations 31030
3600.04/3609.01	c watched propagations 16876958
3600.04/3609.01	c counting propagations 484496
3600.04/3609.01	c watch lookups 2301997480
3600.04/3609.01	c watch backjump lookups 1126727926
3600.04/3609.01	c watch checks 1244177777381
3600.04/3609.01	c propagation checks 57411821822
3600.04/3609.01	c constraint additions 3579417496
3600.04/3609.01	c trail pops 35710503
3600.04/3609.01	c formula constraints 169396
3600.04/3609.01	c learned constraints 241513
3600.04/3609.01	c bound constraints 7
3600.04/3609.01	c core-guided constraints 0
3600.04/3609.01	c encountered formula constraints 980567
3600.04/3609.01	c encountered learned constraints 1235494
3600.04/3609.01	c encountered bound constraints 157
3600.04/3609.01	c encountered core-guided constraints 0
3600.04/3609.01	c LP total time 0 s
3600.04/3609.01	c LP solve time 0 s
3600.04/3609.01	c LP constraints added 0
3600.04/3609.01	c LP constraints removed 0
3600.04/3609.01	c LP pivots internal 0
3600.04/3609.01	c LP pivots root 0
3600.04/3609.01	c LP calls 0
3600.04/3609.01	c LP optimalities 0
3600.04/3609.01	c LP no pivot count 0
3600.04/3609.01	c LP infeasibilities 0
3600.04/3609.01	c LP valid Farkas constraints 0
3600.04/3609.01	c LP learned Farkas constraints 0
3600.04/3609.01	c LP basis resets 0
3600.04/3609.01	c LP cycling count 0
3600.04/3609.01	c LP singular count 0
3600.04/3609.01	c LP no primal count 0
3600.04/3609.01	c LP no farkas count 0
3600.04/3609.01	c LP other issue count 0
3600.04/3609.01	c LP Gomory cuts 0
3600.04/3609.01	c LP learned cuts 0
3600.04/3609.01	c LP deleted cuts 0
3600.04/3609.01	c LP encountered Gomory constraints 0
3600.04/3609.01	c LP encountered Farkas constraints 0
3600.04/3609.01	c LP encountered learned Farkas constraints 0
3600.04/3609.01	c CG auxiliary variables introduced 0
3600.04/3609.01	c CG solutions found 0
3600.04/3609.01	c CG cores constructed 6
3600.04/3609.01	c CG core cardinality constraints returned 0
3600.04/3609.01	c CG unit cores 0
3600.04/3609.01	c CG single cores 6
3600.04/3609.01	c CG blocks removed during cardinality reduction 0
3600.04/3609.01	c CG first core best 0
3600.04/3609.01	c CG decision core best 0
3600.04/3609.01	c CG core reduction tie 0
3600.04/3609.01	c CG core degree average 1.00
3600.04/3609.01	c CG core slack average 23.00
3600.04/3609.01	c CG exhausted 0
3600.04/3609.01	c CG exhaust time 0 s
3600.04/3609.01	c CG trimmed 4
3600.04/3609.01	c CG trim time 0.001188 s
3600.04/3609.01	c CG minimized 0
3600.04/3609.01	c CG minimize time 0 s
3600.04/3609.01	c CG am1 prop time 0.006309 s
3600.04/3609.01	c CG # am1s reformulated 0
3600.04/3609.01	c CG lower bound derived from am1s 0
3600.04/3609.01	c CG # clausal cores 6
3600.04/3609.01	c CG # cardinality cores 0
3600.04/3609.01	c CG # pb cores 0
3600.04/3609.01	c CG # pb reforms 0
3600.04/3609.01	c CG # cores discarded because of pb reform 0
3600.04/3609.01	d LOWERBOUND 2060062463
3600.04/3609.01	d NCORES 6
3600.04/3609.01	d NPBCORES 0
3600.04/3609.01	d NPBREFORM 0
3600.04/3609.01	d NTRIMMED 4
3600.04/3609.01	d NEXHAUSTED 0
3600.04/3609.01	d NAM1S 0
3600.04/3609.01	d AM1LB 0
3600.04/3609.01	c [Papilo Statistics]
3600.04/3609.01	c prepro time 0.749215s
3600.04/3609.01	c # tsx applied 108256
3600.04/3609.01	c # tsx conflicts 0
3600.04/3609.01	c # bound changes 314
3600.04/3609.01	c # side changes 57118
3600.04/3609.01	c # coef changes 241034
3600.04/3609.01	c # rounds 3
3600.04/3609.01	c # deted vars 51417
3600.04/3609.01	c # deted constrs 127915
3600.04/3609.01	c # consecutive rounds of only bound changes 0
3600.04/3609.01	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (55647 MiB free)
  memory of node 1: 64510 MiB (63073 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435771-1721174123/watcher-4435771-1721174123 -o /tmp/evaluation-result-4435771-1721174123/solver-4435771-1721174123 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721170521-868472 --watchdog 3760 mixed-bag HOME/instance-4435771-1721174123.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100093 s]*
/proc/loadavg: 4.09 4.12 4.12 5/244 871267
/proc/meminfo: memFree=121547408/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=107116 memory=27840 CPUtime=0.1 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 5270 0 0 0 9 1 0 0 20 0 1 0 169569025 109686784 6960 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 26779 6960 1625 3002 0 11069 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 107116 KiB
Current children cumulated memory: 27840 KiB

[startup+0.211728 s]*
/proc/loadavg: 4.09 4.12 4.12 4/242 871267
/proc/meminfo: memFree=121578524/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=110188 memory=30292 CPUtime=0.21 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 6160 0 0 0 19 2 0 0 20 0 1 0 169569025 112832512 7573 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 27547 7573 1625 3002 0 11837 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 110188 KiB
Current children cumulated memory: 30292 KiB

[startup+0.311476 s]*
/proc/loadavg: 4.09 4.12 4.12 6/241 871279
/proc/meminfo: memFree=121575380/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=110188 memory=34444 CPUtime=0.31 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 6644 0 0 0 29 2 0 0 20 0 1 0 169569025 112832512 8611 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 27547 8611 1625 3002 0 11837 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 110188 KiB
Current children cumulated memory: 34444 KiB

[startup+0.700308 s]
/proc/loadavg: 4.09 4.12 4.12 4/237 871298
/proc/meminfo: memFree=121589172/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=122476 memory=44660 CPUtime=0.69 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 7712 0 0 0 66 3 0 0 20 0 1 0 169569025 125415424 11165 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 30619 11165 1625 3002 0 14909 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 122476 KiB
Current children cumulated memory: 44660 KiB

[startup+1.50033 s]
/proc/loadavg: 4.09 4.12 4.12 4/237 871298
/proc/meminfo: memFree=121574256/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=260272 memory=168844 CPUtime=1.48 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 17637 0 0 0 141 7 0 0 20 0 1 0 169569025 266518528 42211 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 65068 42211 1729 3002 0 48819 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 260272 KiB
Current children cumulated memory: 168844 KiB

[startup+3.11292 s]
/proc/loadavg: 4.09 4.12 4.12 4/237 871298
/proc/meminfo: memFree=121075820/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=676116 memory=590964 CPUtime=3.1 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 97987 0 0 0 287 23 0 0 20 0 1 0 169569025 692342784 147741 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 169029 147741 3743 3002 0 152780 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 676116 KiB
Current children cumulated memory: 590964 KiB

[startup+6.30025 s]
/proc/loadavg: 4.01 4.10 4.11 4/237 871298
/proc/meminfo: memFree=120986916/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=664128 memory=579060 CPUtime=6.27 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 110044 0 0 0 603 24 0 0 20 0 1 0 169569025 680067072 144765 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 166032 144765 3743 3002 0 149783 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 664128 KiB
Current children cumulated memory: 579060 KiB

[startup+12.7003 s]
/proc/loadavg: 3.93 4.09 4.10 4/237 871301
/proc/meminfo: memFree=120641504/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1039904 memory=893340 CPUtime=12.66 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 173756 0 0 0 1231 35 0 0 20 0 1 0 169569025 1064861696 223335 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 259976 223335 3981 3002 0 243727 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1039904 KiB
Current children cumulated memory: 893340 KiB

[startup+25.5003 s]
/proc/loadavg: 3.63 4.02 4.08 3/230 871333
/proc/meminfo: memFree=126993620/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1230424 memory=1074868 CPUtime=25.42 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 219180 0 0 0 2500 42 0 0 20 0 1 0 169569025 1259954176 268717 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 307606 268717 4013 3002 0 291357 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 1230424 KiB
Current children cumulated memory: 1074868 KiB

[startup+51.1126 s]
/proc/loadavg: 3.14 3.87 4.03 3/230 871338
/proc/meminfo: memFree=126960552/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1234324 memory=1077752 CPUtime=50.97 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 219933 0 0 0 5054 43 0 0 20 0 1 0 169569025 1263947776 269438 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 308581 269438 4013 3002 0 292332 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 1234324 KiB
Current children cumulated memory: 1077752 KiB

[startup+102.3 s]
/proc/loadavg: 2.53 3.59 3.92 3/230 871347
/proc/meminfo: memFree=126908012/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1238364 memory=1082204 CPUtime=102.01 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 221039 0 0 0 10157 44 0 0 20 0 1 0 169569025 1268084736 270551 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 309591 270551 4013 3002 0 293342 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 1238364 KiB
Current children cumulated memory: 1082204 KiB

[startup+162.3 s]
/proc/loadavg: 1.88 3.23 3.78 2/223 871387
/proc/meminfo: memFree=127134428/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1242156 memory=1086780 CPUtime=161.86 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 222214 0 0 0 16141 45 0 0 20 0 1 0 169569025 1271967744 271695 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 310539 271695 4013 3002 0 294290 0
Current children cumulated CPU time: 161.86 s
Current children cumulated vsize: 1242156 KiB
Current children cumulated memory: 1086780 KiB

[startup+222.3 s]
/proc/loadavg: 1.37 2.84 3.61 2/226 871570
/proc/meminfo: memFree=127131584/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1244520 memory=1089124 CPUtime=221.72 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 222825 0 0 0 22126 46 0 0 20 0 1 0 169569025 1274388480 272281 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 311130 272281 4036 3002 0 294881 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 1244520 KiB
Current children cumulated memory: 1089124 KiB

[startup+282.3 s]
/proc/loadavg: 1.24 2.53 3.45 2/226 871580
/proc/meminfo: memFree=127128728/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1246052 memory=1091852 CPUtime=281.58 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 223218 0 0 0 28112 46 0 0 20 0 1 0 169569025 1275957248 272963 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 311513 272963 4036 3002 0 295264 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 1246052 KiB
Current children cumulated memory: 1091852 KiB

[startup+342.3 s]
/proc/loadavg: 1.14 2.26 3.30 2/224 871605
/proc/meminfo: memFree=127067064/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1298640 memory=1153552 CPUtime=341.44 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 228478 0 0 0 34071 73 0 0 20 0 1 0 169569025 1329807360 288388 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 324660 288388 4164 3002 0 308411 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 1298640 KiB
Current children cumulated memory: 1153552 KiB

[startup+402.3 s]
/proc/loadavg: 1.17 2.06 3.17 2/224 871615
/proc/meminfo: memFree=127015744/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1380028 memory=1204844 CPUtime=401.29 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 229102 0 0 0 40043 86 0 0 20 0 1 0 169569025 1413148672 301211 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 345007 301211 4164 3002 0 328758 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 1380028 KiB
Current children cumulated memory: 1204844 KiB

[startup+462.3 s]
/proc/loadavg: 1.12 1.88 3.03 2/224 871626
/proc/meminfo: memFree=127011668/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1380028 memory=1208584 CPUtime=461.15 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 229194 0 0 0 46016 99 0 0 20 0 1 0 169569025 1413148672 302146 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 345007 302146 4164 3002 0 328758 0

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

Current children cumulated memory: 1464896 KiB

[startup+2862.3 s]
/proc/loadavg: 1.13 1.09 1.22 2/224 872675
/proc/meminfo: memFree=126742304/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1727212 memory=1464896 CPUtime=2855.25 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 239006 0 0 0 285144 381 0 0 20 0 1 0 169569025 1768665088 366224 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 431803 366224 4164 3002 0 415554 0
Current children cumulated CPU time: 2855.25 s
Current children cumulated vsize: 1727212 KiB
Current children cumulated memory: 1464896 KiB

[startup+2922.3 s]
/proc/loadavg: 1.10 1.09 1.21 2/224 872685
/proc/meminfo: memFree=126739984/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1727212 memory=1466944 CPUtime=2915.09 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 239310 0 0 0 291124 385 0 0 20 0 1 0 169569025 1768665088 366736 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 431803 366736 4164 3002 0 415554 0
Current children cumulated CPU time: 2915.09 s
Current children cumulated vsize: 1727212 KiB
Current children cumulated memory: 1466944 KiB

[startup+2982.3 s]
/proc/loadavg: 1.16 1.10 1.20 2/224 872696
/proc/meminfo: memFree=126686344/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1727212 memory=1520192 CPUtime=2974.94 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 239530 0 0 0 297103 391 0 0 20 0 1 0 169569025 1768665088 380048 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 431803 380048 4164 3002 0 415554 0
Current children cumulated CPU time: 2974.94 s
Current children cumulated vsize: 1727212 KiB
Current children cumulated memory: 1520192 KiB

[startup+3042.3 s]
/proc/loadavg: 1.12 1.10 1.19 2/222 872707
/proc/meminfo: memFree=126686000/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1727212 memory=1520192 CPUtime=3034.78 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 239655 0 0 0 303083 395 0 0 20 0 1 0 169569025 1768665088 380048 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 431803 380048 4164 3002 0 415554 0
Current children cumulated CPU time: 3034.78 s
Current children cumulated vsize: 1727212 KiB
Current children cumulated memory: 1520192 KiB

[startup+3102.3 s]
/proc/loadavg: 1.09 1.09 1.18 2/221 872717
/proc/meminfo: memFree=126685768/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1727212 memory=1520192 CPUtime=3094.63 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 239899 0 0 0 309064 399 0 0 20 0 1 0 169569025 1768665088 380048 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 431803 380048 4164 3002 0 415554 0
Current children cumulated CPU time: 3094.63 s
Current children cumulated vsize: 1727212 KiB
Current children cumulated memory: 1520192 KiB

[startup+3162.3 s]
/proc/loadavg: 1.15 1.10 1.18 2/221 872727
/proc/meminfo: memFree=126679244/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1727212 memory=1526336 CPUtime=3154.47 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 240235 0 0 0 315043 404 0 0 20 0 1 0 169569025 1768665088 381584 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 431803 381584 4164 3002 0 415554 0
Current children cumulated CPU time: 3154.47 s
Current children cumulated vsize: 1727212 KiB
Current children cumulated memory: 1526336 KiB

[startup+3222.3 s]
/proc/loadavg: 1.16 1.11 1.18 2/224 872744
/proc/meminfo: memFree=126678744/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1727212 memory=1526336 CPUtime=3214.33 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 240420 0 0 0 321023 410 0 0 20 0 1 0 169569025 1768665088 381584 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 431803 381584 4164 3002 0 415554 0
Current children cumulated CPU time: 3214.33 s
Current children cumulated vsize: 1727212 KiB
Current children cumulated memory: 1526336 KiB

[startup+3282.3 s]
/proc/loadavg: 1.16 1.12 1.18 2/224 872754
/proc/meminfo: memFree=126678504/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1727212 memory=1526336 CPUtime=3274.17 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 240702 0 0 0 327001 416 0 0 20 0 1 0 169569025 1768665088 381584 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 431803 381584 4164 3002 0 415554 0
Current children cumulated CPU time: 3274.17 s
Current children cumulated vsize: 1727212 KiB
Current children cumulated memory: 1526336 KiB

[startup+3342.3 s]
/proc/loadavg: 1.16 1.13 1.18 2/224 872766
/proc/meminfo: memFree=126676256/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1727212 memory=1528384 CPUtime=3334.01 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 241037 0 0 0 332980 421 0 0 20 0 1 0 169569025 1768665088 382096 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 431803 382096 4164 3002 0 415554 0
Current children cumulated CPU time: 3334.01 s
Current children cumulated vsize: 1727212 KiB
Current children cumulated memory: 1528384 KiB

[startup+3402.3 s]
/proc/loadavg: 1.11 1.12 1.17 2/225 872777
/proc/meminfo: memFree=126676032/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1727212 memory=1528384 CPUtime=3393.86 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 241236 0 0 0 338961 425 0 0 20 0 1 0 169569025 1768665088 382096 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 431803 382096 4164 3002 0 415554 0
Current children cumulated CPU time: 3393.86 s
Current children cumulated vsize: 1727212 KiB
Current children cumulated memory: 1528384 KiB

[startup+3462.3 s]
/proc/loadavg: 1.15 1.12 1.17 2/225 872788
/proc/meminfo: memFree=126675624/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1727212 memory=1528384 CPUtime=3453.7 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 241534 0 0 0 344939 431 0 0 20 0 1 0 169569025 1768665088 382096 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 431803 382096 4164 3002 0 415554 0
Current children cumulated CPU time: 3453.7 s
Current children cumulated vsize: 1727212 KiB
Current children cumulated memory: 1528384 KiB

[startup+3522.3 s]
/proc/loadavg: 1.11 1.11 1.17 2/223 872798
/proc/meminfo: memFree=126675376/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1727212 memory=1528384 CPUtime=3513.54 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 241883 0 0 0 350917 437 0 0 20 0 1 0 169569025 1768665088 382096 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 431803 382096 4164 3002 0 415554 0
Current children cumulated CPU time: 3513.54 s
Current children cumulated vsize: 1727212 KiB
Current children cumulated memory: 1528384 KiB

[startup+3582.3 s]
/proc/loadavg: 1.08 1.11 1.16 2/223 872809
/proc/meminfo: memFree=126675112/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1727212 memory=1528384 CPUtime=3573.39 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 242074 0 0 0 356897 442 0 0 20 0 1 0 169569025 1768665088 382096 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 431803 382096 4164 3002 0 415554 0
Current children cumulated CPU time: 3573.39 s
Current children cumulated vsize: 1727212 KiB
Current children cumulated memory: 1528384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609 s]*
/proc/loadavg: 1.12 1.11 1.16 2/225 873200
/proc/meminfo: memFree=126673904/131655788 swapFree=131071996/131071996
[pid=871266] ppid=871263 vsize=1727212 memory=1528384 CPUtime=3600.04 cores=5,7
/proc/871266/stat : 871266 (mixed-bag) R 871263 871266 868421 0 -1 4194304 242125 0 0 0 359560 444 0 0 20 0 1 0 169569025 1768665088 382096 134679101440 4194304 16487941 140736046025200 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 46714880 140736046027799 140736046027876 140736046027876 140736046034891 0
/proc/871266/statm: 431803 382096 4164 3002 0 415554 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1727212 KiB
Current children cumulated memory: 1528384 KiB

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

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

# cumulated CPU time of all completed processes:  user=3595.61 s, system=4.45117 s

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

Child status: 0

Real time (s): 3609.02
CPU time (s): 3600.06
CPU user time (s): 3595.61
CPU system time (s): 4.45117
CPU usage (%): 99.7517
Max. virtual memory (cumulated for all children) (KiB): 1727212
Max. memory (cumulated for all children) (KiB): 1528384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.61
system time used= 4.45117
maximum resident set size= 1528920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242183
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= 102
involuntary context switches= 1383


# summary of solver processes directly reported to runsolver:
#   pid: 871266
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3595.61
#   total CPU system time (s): 4.45117

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0761 second user time and 34.78 second system time

The end

Launcher Data 

Begin job on nodeC007 at 2024-07-17 01:55:36
IDJOB=4435771
IDBENCH=161896
IDSOLVER=3066
FILE ID=nodeC007/4435771-1721174123
RUNJOBID= nodeC007-1721170521-868472
SLURM_JOB_ID= 7505804
Free space on /tmp= 723716 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB16/OPT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-2-irEDCBA.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435771-1721174123/watcher-4435771-1721174123 -o /tmp/evaluation-result-4435771-1721174123/solver-4435771-1721174123 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC007-1721170521-868472 --watchdog 3760  mixed-bag HOME/instance-4435771-1721174123.opb

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

MD5SUM BENCH= 0ed226c068d5e24ee91dcf11039aef97
RANDOM SEED=1983931145

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3603.116
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3603.083
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.205
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.152
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1675.526
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1332.511
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1211.410
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.25
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.130
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.30
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121571976 kB
MemAvailable:   123349028 kB
Buffers:          430448 kB
Cached:          2170328 kB
SwapCached:            0 kB
Active:           802580 kB
Inactive:        8698208 kB
Active(anon):       1460 kB
Inactive(anon):  6936268 kB
Active(file):     801120 kB
Inactive(file):  1761940 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             59136 kB
Writeback:             0 kB
AnonPages:       6900184 kB
Mapped:           138016 kB
Shmem:             37704 kB
KReclaimable:     108048 kB
Slab:             207920 kB
SReclaimable:     108048 kB
SUnreclaim:        99872 kB
KernelStack:        3920 kB
PageTables:        23820 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    7840944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            53888 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1021952 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:      279368 kB
DirectMap2M:    27936768 kB
DirectMap1G:    108003328 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC007 at 2024-07-17 02:55:45