Trace number 4455029

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.05 3610.03

DiagnosticValue
AM1LB0
LOWERBOUND2060062463
NAM1S0
NCORES6
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED4
SCIPUB8559317334

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.19/1.22	c [STEP] preprocessing with Papilo
1.89/1.96	c [STEP] solving with SCIP
301.52/302.57	c [STEP] preprocessing done, loading into solver
301.82/302.88	c [STEP] solving
301.82/302.88	c #variables 44517 #constraints 169396
301.82/302.88	c SMALL=int, LARGE=long long
301.82/302.88	d SCIPUB 8559317334
301.82/302.88	c bounds - >= -51905 @ 301.336
301.82/302.88	c stratification level: 79235168
838.73/841.38	c bounds - >= 396123935 @ 301.391
838.73/841.38	c bounds - >= 792299775 @ 301.392
838.73/841.38	c bounds - >= 1188475615 @ 301.393
838.73/841.38	c bounds - >= 1584651455 @ 301.394
838.73/841.38	c bounds - >= 1980827295 @ 301.395
838.73/841.38	c bounds - >= 2060062463 @ 301.396
838.73/841.38	c #Conflicts:       1000 | #Constraints:     170406
838.73/841.38	c #Conflicts:       2000 | #Constraints:     171406
838.73/841.38	c INPROCESSING
838.73/841.38	c GARBAGE COLLECT
838.73/841.38	c #Conflicts:       3000 | #Constraints:     171406
838.73/841.38	c #Conflicts:       4000 | #Constraints:     172406
838.73/841.38	c INPROCESSING
838.73/841.38	c GARBAGE COLLECT
838.73/841.38	c #Conflicts:       5000 | #Constraints:     171816
838.73/841.38	c #Conflicts:       6000 | #Constraints:     172816
838.73/841.38	c INPROCESSING
838.73/841.38	c GARBAGE COLLECT
838.73/841.38	c #Conflicts:       7000 | #Constraints:     171822
838.73/841.38	c #Conflicts:       8000 | #Constraints:     172822
838.73/841.38	c #Conflicts:       9000 | #Constraints:     173822
838.73/841.38	c INPROCESSING
838.73/841.38	c GARBAGE COLLECT
838.73/841.38	c #Conflicts:      10000 | #Constraints:     172522
838.73/841.38	c #Conflicts:      11000 | #Constraints:     173522
838.73/841.38	c #Conflicts:      12000 | #Constraints:     174522
838.73/841.38	c INPROCESSING
838.73/841.38	c GARBAGE COLLECT
838.73/841.38	c #Conflicts:      13000 | #Constraints:     172977
838.73/841.38	c #Conflicts:      14000 | #Constraints:     173977
838.73/841.38	c #Conflicts:      15000 | #Constraints:     174977
838.73/841.38	c INPROCESSING
838.73/841.38	c GARBAGE COLLECT
838.73/841.38	c #Conflicts:      16000 | #Constraints:     173205
838.73/841.38	c #Conflicts:      17000 | #Constraints:     174205
838.73/841.38	c #Conflicts:      18000 | #Constraints:     175205
838.73/841.38	c INPROCESSING
838.73/841.38	c GARBAGE COLLECT
838.73/841.38	c #Conflicts:      19000 | #Constraints:     173220
838.73/841.38	c #Conflicts:      20000 | #Constraints:     174220
838.73/841.38	c #Conflicts:      21000 | #Constraints:     175220
838.73/841.38	c INPROCESSING
838.73/841.38	c GARBAGE COLLECT
838.73/841.38	c #Conflicts:      22000 | #Constraints:     173032
838.73/841.38	c #Conflicts:      23000 | #Constraints:     174032
838.73/841.38	c #Conflicts:      24000 | #Constraints:     175032
838.73/841.38	c #Conflicts:      25000 | #Constraints:     176032
838.73/841.38	c INPROCESSING
838.73/841.38	c GARBAGE COLLECT
838.73/841.38	c #Conflicts:      26000 | #Constraints:     173637
838.73/841.38	c #Conflicts:      27000 | #Constraints:     174637
838.73/841.38	c #Conflicts:      28000 | #Constraints:     175637
838.73/841.38	c #Conflicts:      29000 | #Constraints:     176637
838.73/841.38	c INPROCESSING
838.73/841.38	c GARBAGE COLLECT
838.73/841.38	c #Conflicts:      30000 | #Constraints:     174036
838.73/841.38	c #Conflicts:      31000 | #Constraints:     175036
838.73/841.38	c #Conflicts:      32000 | #Constraints:     176036
838.73/841.38	c #Conflicts:      33000 | #Constraints:     177036
838.73/841.38	c INPROCESSING
838.73/841.38	c GARBAGE COLLECT
838.73/841.38	c #Conflicts:      34000 | #Constraints:     174248
838.73/841.38	c #Conflicts:      35000 | #Constraints:     175248
838.73/841.38	c #Conflicts:      36000 | #Constraints:     176248
838.73/841.38	c #Conflicts:      37000 | #Constraints:     177248
838.73/841.38	c INPROCESSING
838.73/841.38	c GARBAGE COLLECT
838.73/841.38	c #Conflicts:      38000 | #Constraints:     174241
838.73/841.38	c #Conflicts:      39000 | #Constraints:     175241
838.73/841.38	c #Conflicts:      40000 | #Constraints:     176241
838.73/841.38	c #Conflicts:      41000 | #Constraints:     177241
838.73/841.38	c INPROCESSING
838.73/841.38	c GARBAGE COLLECT
838.73/841.38	c #Conflicts:      42000 | #Constraints:     174036
838.73/841.38	c #Conflicts:      43000 | #Constraints:     175036
838.73/841.38	c #Conflicts:      44000 | #Constraints:     176036
838.73/841.38	c #Conflicts:      45000 | #Constraints:     177036
838.73/841.38	c #Conflicts:      46000 | #Constraints:     178036
838.73/841.38	c INPROCESSING
838.73/841.38	c GARBAGE COLLECT
838.73/841.38	c #Conflicts:      47000 | #Constraints:     174634
838.73/841.39	c #Conflicts:      48000 | #Constraints:     175634
838.73/841.39	c #Conflicts:      49000 | #Constraints:     176634
838.73/841.39	c #Conflicts:      50000 | #Constraints:     177634
838.73/841.39	c #Conflicts:      51000 | #Constraints:     178634
838.73/841.39	c INPROCESSING
838.73/841.39	c GARBAGE COLLECT
838.73/841.39	c #Conflicts:      52000 | #Constraints:     175035
838.73/841.39	c #Conflicts:      53000 | #Constraints:     176035
838.73/841.39	c #Conflicts:      54000 | #Constraints:     177035
838.73/841.39	c #Conflicts:      55000 | #Constraints:     178035
838.73/841.39	c #Conflicts:      56000 | #Constraints:     179035
838.73/841.39	c INPROCESSING
838.73/841.39	c GARBAGE COLLECT
838.73/841.39	c #Conflicts:      57000 | #Constraints:     175241
838.73/841.39	c #Conflicts:      58000 | #Constraints:     176241
838.73/841.39	c #Conflicts:      59000 | #Constraints:     177241
838.73/841.39	c #Conflicts:      60000 | #Constraints:     178241
838.73/841.39	c #Conflicts:      61000 | #Constraints:     179241
838.73/841.39	c INPROCESSING
838.73/841.39	c GARBAGE COLLECT
838.73/841.39	c #Conflicts:      62000 | #Constraints:     175242
838.73/841.39	c #Conflicts:      63000 | #Constraints:     176242
838.73/841.39	c #Conflicts:      64000 | #Constraints:     177242
1829.47/1834.67	c #Conflicts:      65000 | #Constraints:     178242
1829.47/1834.67	c #Conflicts:      66000 | #Constraints:     179242
1829.47/1834.67	c INPROCESSING
1829.47/1834.67	c GARBAGE COLLECT
1829.47/1834.67	c #Conflicts:      67000 | #Constraints:     175041
1829.47/1834.67	c #Conflicts:      68000 | #Constraints:     176041
1829.47/1834.67	c #Conflicts:      69000 | #Constraints:     177041
1829.47/1834.67	c #Conflicts:      70000 | #Constraints:     178041
1829.47/1834.67	c #Conflicts:      71000 | #Constraints:     179041
1829.47/1834.67	c #Conflicts:      72000 | #Constraints:     180041
1829.47/1834.67	c INPROCESSING
1829.47/1834.67	c GARBAGE COLLECT
1829.47/1834.67	c #Conflicts:      73000 | #Constraints:     175644
1829.47/1834.67	c #Conflicts:      74000 | #Constraints:     176644
1829.47/1834.67	c #Conflicts:      75000 | #Constraints:     177644
1829.47/1834.67	c #Conflicts:      76000 | #Constraints:     178644
1829.47/1834.67	c #Conflicts:      77000 | #Constraints:     179644
1829.47/1834.67	c #Conflicts:      78000 | #Constraints:     180644
1829.47/1834.67	c INPROCESSING
1829.47/1834.67	c GARBAGE COLLECT
1829.47/1834.67	c #Conflicts:      79000 | #Constraints:     176048
1829.47/1834.67	c #Conflicts:      80000 | #Constraints:     177048
1829.47/1834.67	c #Conflicts:      81000 | #Constraints:     178048
1829.47/1834.67	c #Conflicts:      82000 | #Constraints:     179048
1829.47/1834.67	c #Conflicts:      83000 | #Constraints:     180048
1829.47/1834.67	c #Conflicts:      84000 | #Constraints:     181048
1829.47/1834.67	c INPROCESSING
1829.47/1834.67	c GARBAGE COLLECT
1829.47/1834.67	c #Conflicts:      85000 | #Constraints:     176264
1829.47/1834.67	c #Conflicts:      86000 | #Constraints:     177264
1829.47/1834.67	c #Conflicts:      87000 | #Constraints:     178264
1829.47/1834.67	c #Conflicts:      88000 | #Constraints:     179264
1829.47/1834.67	c #Conflicts:      89000 | #Constraints:     180264
1829.47/1834.67	c #Conflicts:      90000 | #Constraints:     181264
1829.47/1834.67	c INPROCESSING
1829.47/1834.67	c GARBAGE COLLECT
1829.47/1834.67	c #Conflicts:      91000 | #Constraints:     176252
1829.47/1834.67	c #Conflicts:      92000 | #Constraints:     177252
1829.47/1834.67	c #Conflicts:      93000 | #Constraints:     178252
1829.47/1834.67	c #Conflicts:      94000 | #Constraints:     179252
1829.47/1834.67	c #Conflicts:      95000 | #Constraints:     180252
1829.47/1834.67	c #Conflicts:      96000 | #Constraints:     181252
1829.47/1834.67	c INPROCESSING
1829.47/1834.67	c GARBAGE COLLECT
1829.47/1834.67	c #Conflicts:      97000 | #Constraints:     176046
1829.47/1834.67	c #Conflicts:      98000 | #Constraints:     177046
1829.47/1834.67	c #Conflicts:      99000 | #Constraints:     178046
1829.47/1834.67	c #Conflicts:     100000 | #Constraints:     179046
1829.47/1834.67	c #Conflicts:     101000 | #Constraints:     180046
1829.47/1834.67	c #Conflicts:     102000 | #Constraints:     181046
1829.47/1834.67	c #Conflicts:     103000 | #Constraints:     182046
1829.47/1834.67	c INPROCESSING
1829.47/1834.67	c GARBAGE COLLECT
1829.47/1834.67	c #Conflicts:     104000 | #Constraints:     176667
1829.47/1834.67	c #Conflicts:     105000 | #Constraints:     177667
1829.47/1834.67	c #Conflicts:     106000 | #Constraints:     178667
1829.47/1834.67	c #Conflicts:     107000 | #Constraints:     179667
1829.47/1834.67	c #Conflicts:     108000 | #Constraints:     180667
1829.47/1834.67	c #Conflicts:     109000 | #Constraints:     181667
1829.47/1834.67	c #Conflicts:     110000 | #Constraints:     182667
1829.47/1834.67	c INPROCESSING
1829.47/1834.67	c GARBAGE COLLECT
1829.47/1834.67	c #Conflicts:     111000 | #Constraints:     177074
1829.47/1834.67	c #Conflicts:     112000 | #Constraints:     178074
1829.47/1834.67	c #Conflicts:     113000 | #Constraints:     179074
1829.47/1834.67	c #Conflicts:     114000 | #Constraints:     180074
1829.47/1834.67	c #Conflicts:     115000 | #Constraints:     181074
1829.47/1834.67	c #Conflicts:     116000 | #Constraints:     182074
1829.47/1834.67	c #Conflicts:     117000 | #Constraints:     183074
1829.47/1834.67	c INPROCESSING
1829.47/1834.67	c GARBAGE COLLECT
1829.47/1834.67	c #Conflicts:     118000 | #Constraints:     177265
1829.47/1834.67	c #Conflicts:     119000 | #Constraints:     178265
1829.47/1834.67	c #Conflicts:     120000 | #Constraints:     179265
1829.47/1834.67	c #Conflicts:     121000 | #Constraints:     180265
1829.47/1834.67	c #Conflicts:     122000 | #Constraints:     181265
1829.47/1834.67	c #Conflicts:     123000 | #Constraints:     182265
1829.47/1834.67	c #Conflicts:     124000 | #Constraints:     183265
1829.47/1834.67	c INPROCESSING
1829.47/1834.67	c GARBAGE COLLECT
1829.47/1834.67	c #Conflicts:     125000 | #Constraints:     177260
1829.47/1834.67	c #Conflicts:     126000 | #Constraints:     178260
1829.47/1834.67	c #Conflicts:     127000 | #Constraints:     179260
1829.47/1834.67	c #Conflicts:     128000 | #Constraints:     180260
1829.47/1834.67	c #Conflicts:     129000 | #Constraints:     181260
1829.47/1834.67	c #Conflicts:     130000 | #Constraints:     182260
1829.47/1834.67	c #Conflicts:     131000 | #Constraints:     183260
1829.47/1834.67	c INPROCESSING
1829.47/1834.67	c GARBAGE COLLECT
1829.47/1834.67	c #Conflicts:     132000 | #Constraints:     177079
1829.47/1834.67	c #Conflicts:     133000 | #Constraints:     178079
1829.47/1834.67	c #Conflicts:     134000 | #Constraints:     179079
1829.47/1834.67	c #Conflicts:     135000 | #Constraints:     180079
1829.47/1834.67	c #Conflicts:     136000 | #Constraints:     181079
3055.30/3063.85	c #Conflicts:     137000 | #Constraints:     182079
3055.30/3063.85	c #Conflicts:     138000 | #Constraints:     183079
3055.30/3063.85	c #Conflicts:     139000 | #Constraints:     184079
3055.30/3063.85	c INPROCESSING
3055.30/3063.85	c GARBAGE COLLECT
3055.30/3063.85	c #Conflicts:     140000 | #Constraints:     177683
3055.30/3063.85	c #Conflicts:     141000 | #Constraints:     178683
3055.30/3063.85	c #Conflicts:     142000 | #Constraints:     179683
3055.30/3063.85	c #Conflicts:     143000 | #Constraints:     180683
3055.30/3063.85	c #Conflicts:     144000 | #Constraints:     181683
3055.30/3063.85	c #Conflicts:     145000 | #Constraints:     182683
3055.30/3063.85	c #Conflicts:     146000 | #Constraints:     183683
3055.30/3063.85	c #Conflicts:     147000 | #Constraints:     184683
3055.30/3063.85	c INPROCESSING
3055.30/3063.85	c GARBAGE COLLECT
3055.30/3063.85	c #Conflicts:     148000 | #Constraints:     178068
3055.30/3063.85	c #Conflicts:     149000 | #Constraints:     179068
3055.30/3063.85	c #Conflicts:     150000 | #Constraints:     180068
3055.30/3063.85	c #Conflicts:     151000 | #Constraints:     181068
3055.30/3063.85	c #Conflicts:     152000 | #Constraints:     182068
3055.30/3063.85	c #Conflicts:     153000 | #Constraints:     183068
3055.30/3063.85	c #Conflicts:     154000 | #Constraints:     184068
3055.30/3063.85	c #Conflicts:     155000 | #Constraints:     185068
3055.30/3063.85	c INPROCESSING
3055.30/3063.85	c GARBAGE COLLECT
3055.30/3063.85	c #Conflicts:     156000 | #Constraints:     178276
3055.30/3063.85	c #Conflicts:     157000 | #Constraints:     179276
3055.30/3063.85	c #Conflicts:     158000 | #Constraints:     180276
3055.30/3063.85	c #Conflicts:     159000 | #Constraints:     181276
3055.30/3063.85	c #Conflicts:     160000 | #Constraints:     182276
3055.30/3063.85	c #Conflicts:     161000 | #Constraints:     183276
3055.30/3063.85	c #Conflicts:     162000 | #Constraints:     184276
3055.30/3063.85	c #Conflicts:     163000 | #Constraints:     185276
3055.30/3063.85	c INPROCESSING
3055.30/3063.85	c GARBAGE COLLECT
3055.30/3063.85	c #Conflicts:     164000 | #Constraints:     178270
3055.30/3063.85	c #Conflicts:     165000 | #Constraints:     179270
3055.30/3063.85	c #Conflicts:     166000 | #Constraints:     180270
3055.30/3063.85	c #Conflicts:     167000 | #Constraints:     181270
3055.30/3063.85	c #Conflicts:     168000 | #Constraints:     182270
3055.30/3063.85	c #Conflicts:     169000 | #Constraints:     183270
3055.30/3063.85	c #Conflicts:     170000 | #Constraints:     184270
3055.30/3063.85	c #Conflicts:     171000 | #Constraints:     185270
3055.30/3063.85	c INPROCESSING
3055.30/3063.85	c GARBAGE COLLECT
3055.30/3063.85	c #Conflicts:     172000 | #Constraints:     178065
3055.30/3063.85	c #Conflicts:     173000 | #Constraints:     179065
3055.30/3063.85	c #Conflicts:     174000 | #Constraints:     180065
3055.30/3063.85	c #Conflicts:     175000 | #Constraints:     181065
3055.30/3063.85	c #Conflicts:     176000 | #Constraints:     182065
3055.30/3063.85	c #Conflicts:     177000 | #Constraints:     183065
3055.30/3063.85	c #Conflicts:     178000 | #Constraints:     184065
3055.30/3063.85	c #Conflicts:     179000 | #Constraints:     185065
3055.30/3063.85	c #Conflicts:     180000 | #Constraints:     186065
3055.30/3063.85	c INPROCESSING
3055.30/3063.85	c GARBAGE COLLECT
3055.30/3063.85	c #Conflicts:     181000 | #Constraints:     178667
3055.30/3063.85	c #Conflicts:     182000 | #Constraints:     179667
3055.30/3063.85	c #Conflicts:     183000 | #Constraints:     180667
3055.30/3063.85	c #Conflicts:     184000 | #Constraints:     181667
3055.30/3063.85	c #Conflicts:     185000 | #Constraints:     182667
3055.30/3063.85	c #Conflicts:     186000 | #Constraints:     183667
3055.30/3063.85	c #Conflicts:     187000 | #Constraints:     184667
3055.30/3063.85	c #Conflicts:     188000 | #Constraints:     185667
3055.30/3063.85	c #Conflicts:     189000 | #Constraints:     186667
3055.30/3063.85	c INPROCESSING
3055.30/3063.85	c GARBAGE COLLECT
3055.30/3063.85	c #Conflicts:     190000 | #Constraints:     179088
3055.30/3063.85	c #Conflicts:     191000 | #Constraints:     180088
3055.30/3063.85	c #Conflicts:     192000 | #Constraints:     181088
3055.30/3063.85	c #Conflicts:     193000 | #Constraints:     182088
3055.30/3063.85	c #Conflicts:     194000 | #Constraints:     183088
3055.30/3063.85	c #Conflicts:     195000 | #Constraints:     184088
3055.30/3063.85	c #Conflicts:     196000 | #Constraints:     185088
3055.30/3063.85	c #Conflicts:     197000 | #Constraints:     186088
3055.30/3063.85	c #Conflicts:     198000 | #Constraints:     187088
3055.30/3063.85	c INPROCESSING
3055.30/3063.85	c GARBAGE COLLECT
3055.30/3063.85	c #Conflicts:     199000 | #Constraints:     179283
3055.30/3063.85	c #Conflicts:     200000 | #Constraints:     180283
3055.30/3063.85	c #Conflicts:     201000 | #Constraints:     181283
3055.30/3063.85	c #Conflicts:     202000 | #Constraints:     182283
3055.30/3063.85	c #Conflicts:     203000 | #Constraints:     183283
3055.30/3063.85	c #Conflicts:     204000 | #Constraints:     184283
3055.30/3063.85	c #Conflicts:     205000 | #Constraints:     185283
3055.30/3063.85	c #Conflicts:     206000 | #Constraints:     186283
3055.30/3063.85	c #Conflicts:     207000 | #Constraints:     187283
3055.30/3063.85	c INPROCESSING
3055.30/3063.85	c GARBAGE COLLECT
3055.30/3063.85	c #Conflicts:     208000 | #Constraints:     179283
3055.30/3063.85	c #Conflicts:     209000 | #Constraints:     180283
3600.02/3610.01	c #Conflicts:     210000 | #Constraints:     181283
3600.02/3610.01	c #Conflicts:     211000 | #Constraints:     182283
3600.02/3610.01	c #Conflicts:     212000 | #Constraints:     183283
3600.02/3610.01	c #Conflicts:     213000 | #Constraints:     184283
3600.02/3610.01	c #Conflicts:     214000 | #Constraints:     185283
3600.02/3610.01	c #Conflicts:     215000 | #Constraints:     186283
3600.02/3610.01	c #Conflicts:     216000 | #Constraints:     187283
3600.02/3610.01	c INPROCESSING
3600.02/3610.01	c GARBAGE COLLECT
3600.02/3610.01	c #Conflicts:     217000 | #Constraints:     179076
3600.02/3610.01	c #Conflicts:     218000 | #Constraints:     180076
3600.02/3610.01	c #Conflicts:     219000 | #Constraints:     181076
3600.02/3610.01	c #Conflicts:     220000 | #Constraints:     182076
3600.02/3610.01	c #Conflicts:     221000 | #Constraints:     183076
3600.02/3610.01	c #Conflicts:     222000 | #Constraints:     184076
3600.02/3610.01	c #Conflicts:     223000 | #Constraints:     185076
3600.02/3610.01	c #Conflicts:     224000 | #Constraints:     186076
3600.02/3610.01	c #Conflicts:     225000 | #Constraints:     187076
3600.02/3610.01	c #Conflicts:     226000 | #Constraints:     188076
3600.02/3610.01	c INPROCESSING
3600.02/3610.01	c GARBAGE COLLECT
3600.02/3610.01	c #Conflicts:     227000 | #Constraints:     179675
3600.02/3610.01	c #Conflicts:     228000 | #Constraints:     180675
3600.02/3610.01	c #Conflicts:     229000 | #Constraints:     181675
3600.02/3610.01	c #Conflicts:     230000 | #Constraints:     182675
3600.02/3610.01	c #Conflicts:     231000 | #Constraints:     183675
3600.02/3610.01	c #Conflicts:     232000 | #Constraints:     184675
3600.02/3610.01	c #Conflicts:     233000 | #Constraints:     185675
3600.02/3610.01	c #Conflicts:     234000 | #Constraints:     186675
3600.02/3610.01	c #Conflicts:     235000 | #Constraints:     187675
3600.02/3610.01	c Program interrupted by user.
3600.02/3610.01	c cpu time 3596.2 s
3600.02/3610.01	c deterministic time 1272485729263 1.27e+12
3600.02/3610.01	c optimization time 180.11 s
3600.02/3610.01	c total solve time 3114.75 s
3600.02/3610.01	c core-guided solve time 3114.75 s
3600.02/3610.01	c propagation time 2830.88 s
3600.02/3610.01	c conflict analysis time 406.433 s
3600.02/3610.01	c propagations 32613466
3600.02/3610.01	c resolve steps 1926156
3600.02/3610.01	c decisions 1931988
3600.02/3610.01	c conflicts 235880
3600.02/3610.01	c restarts 539
3600.02/3610.01	c inprocessing phases 39
3600.02/3610.01	c input clauses 169359
3600.02/3610.01	c input cardinalities 37
3600.02/3610.01	c input general constraints 7
3600.02/3610.01	c input average constraint length 3.09
3600.02/3610.01	c input average constraint degree 1413486.47
3600.02/3610.01	c learned clauses 59270
3600.02/3610.01	c learned cardinalities 32
3600.02/3610.01	c learned general constraints 176581
3600.02/3610.01	c learned average constraint length 4401.74
3600.02/3610.01	c learned average constraint degree 637730.82
3600.02/3610.01	c watched constraints 176297
3600.02/3610.01	c counting constraints 291
3600.02/3610.01	c gcd simplifications 2967
3600.02/3610.01	c detected cardinalities 0
3600.02/3610.01	c weakened non-implied lits 27041429
3600.02/3610.01	c weakened non-implying lits 7782
3600.02/3610.01	c original variables 95933
3600.02/3610.01	c clausal propagations 15579149
3600.02/3610.01	c cardinality propagations 31030
3600.02/3610.01	c watched propagations 16355335
3600.02/3610.01	c counting propagations 470017
3600.02/3610.01	c watch lookups 2233984137
3600.02/3610.01	c watch backjump lookups 1091073054
3600.02/3610.01	c watch checks 1209899053581
3600.02/3610.01	c propagation checks 55712293685
3600.02/3610.01	c constraint additions 3480005176
3600.02/3610.01	c trail pops 34774175
3600.02/3610.01	c formula constraints 169396
3600.02/3610.01	c learned constraints 235883
3600.02/3610.01	c bound constraints 7
3600.02/3610.01	c core-guided constraints 0
3600.02/3610.01	c encountered formula constraints 963259
3600.02/3610.01	c encountered learned constraints 1198620
3600.02/3610.01	c encountered bound constraints 157
3600.02/3610.01	c encountered core-guided constraints 0
3600.02/3610.01	c LP total time 0 s
3600.02/3610.01	c LP solve time 0 s
3600.02/3610.01	c LP constraints added 0
3600.02/3610.01	c LP constraints removed 0
3600.02/3610.01	c LP pivots internal 0
3600.02/3610.01	c LP pivots root 0
3600.02/3610.01	c LP calls 0
3600.02/3610.01	c LP optimalities 0
3600.02/3610.01	c LP no pivot count 0
3600.02/3610.01	c LP infeasibilities 0
3600.02/3610.01	c LP valid Farkas constraints 0
3600.02/3610.01	c LP learned Farkas constraints 0
3600.02/3610.01	c LP basis resets 0
3600.02/3610.01	c LP cycling count 0
3600.02/3610.01	c LP singular count 0
3600.02/3610.01	c LP no primal count 0
3600.02/3610.01	c LP no farkas count 0
3600.02/3610.01	c LP other issue count 0
3600.02/3610.01	c LP Gomory cuts 0
3600.02/3610.01	c LP learned cuts 0
3600.02/3610.01	c LP deleted cuts 0
3600.02/3610.01	c LP encountered Gomory constraints 0
3600.02/3610.01	c LP encountered Farkas constraints 0
3600.02/3610.01	c LP encountered learned Farkas constraints 0
3600.02/3610.01	c CG auxiliary variables introduced 0
3600.02/3610.01	c CG solutions found 0
3600.02/3610.01	c CG cores constructed 6
3600.02/3610.01	c CG core cardinality constraints returned 0
3600.02/3610.01	c CG unit cores 0
3600.02/3610.01	c CG single cores 6
3600.02/3610.01	c CG blocks removed during cardinality reduction 0
3600.02/3610.01	c CG first core best 0
3600.02/3610.01	c CG decision core best 0
3600.02/3610.01	c CG core reduction tie 0
3600.02/3610.01	c CG core degree average 1.00
3600.02/3610.01	c CG core slack average 23.00
3600.02/3610.01	c CG exhausted 0
3600.02/3610.01	c CG exhaust time 0 s
3600.02/3610.01	c CG trimmed 4
3600.02/3610.01	c CG trim time 0.001062 s
3600.02/3610.01	c CG minimized 0
3600.02/3610.01	c CG minimize time 0 s
3600.02/3610.01	c CG am1 prop time 0.009234 s
3600.02/3610.01	c CG # am1s reformulated 0
3600.02/3610.01	c CG lower bound derived from am1s 0
3600.02/3610.01	c CG # clausal cores 6
3600.02/3610.01	c CG # cardinality cores 0
3600.02/3610.01	c CG # pb cores 0
3600.02/3610.01	c CG # pb reforms 0
3600.02/3610.01	c CG # cores discarded because of pb reform 0
3600.02/3610.01	d LOWERBOUND 2060062463
3600.02/3610.01	d NCORES 6
3600.02/3610.01	d NPBCORES 0
3600.02/3610.01	d NPBREFORM 0
3600.02/3610.01	d NTRIMMED 4
3600.02/3610.01	d NEXHAUSTED 0
3600.02/3610.01	d NAM1S 0
3600.02/3610.01	d AM1LB 0
3600.02/3610.01	c [Papilo Statistics]
3600.02/3610.01	c prepro time 0.733534s
3600.02/3610.01	c # tsx applied 108256
3600.02/3610.01	c # tsx conflicts 0
3600.02/3610.01	c # bound changes 314
3600.02/3610.01	c # side changes 57118
3600.02/3610.01	c # coef changes 241034
3600.02/3610.01	c # rounds 3
3600.02/3610.01	c # deted vars 51417
3600.02/3610.01	c # deted constrs 127915
3600.02/3610.01	c # consecutive rounds of only bound changes 0
3600.02/3610.02	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: 64096 MiB (57124 MiB free)
  memory of node 1: 64473 MiB (59069 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4455029-1721479354/watcher-4455029-1721479354 -o /tmp/evaluation-result-4455029-1721479354/solver-4455029-1721479354 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721472122-1081701 --watchdog 3760 mixed-bag HOME/instance-4455029-1721479354.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1086639, runsolver pid=1086636

[startup+0.100101 s]*
/proc/loadavg: 4.29 4.29 4.22 5/246 1086640
/proc/meminfo: memFree=118959968/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=108148 memory=28376 CPUtime=0.1 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 5687 0 0 0 9 1 0 0 20 0 1 0 200091214 110743552 7094 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 27037 7094 1598 3002 0 11325 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 108148 KiB
Current children cumulated memory: 28376 KiB

[startup+0.212922 s]*
/proc/loadavg: 4.29 4.29 4.22 5/246 1086640
/proc/meminfo: memFree=118956824/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=110196 memory=31676 CPUtime=0.21 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 6538 0 0 0 20 1 0 0 20 0 1 0 200091214 112840704 7919 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 27549 7919 1598 3002 0 11837 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 110196 KiB
Current children cumulated memory: 31676 KiB

[startup+0.312886 s]*
/proc/loadavg: 4.29 4.29 4.22 5/246 1086640
/proc/meminfo: memFree=118948232/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=114292 memory=37664 CPUtime=0.31 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 7005 0 0 0 29 2 0 0 20 0 1 0 200091214 117035008 9416 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 28573 9416 1598 3002 0 12861 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 114292 KiB
Current children cumulated memory: 37664 KiB

[startup+0.700291 s]
/proc/loadavg: 4.29 4.29 4.22 5/246 1086640
/proc/meminfo: memFree=118940828/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=122484 memory=50036 CPUtime=0.68 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 8039 0 0 0 66 2 0 0 20 0 1 0 200091214 125423616 12509 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 30621 12509 1598 3002 0 14909 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 122484 KiB
Current children cumulated memory: 50036 KiB

[startup+1.50033 s]
/proc/loadavg: 4.29 4.29 4.22 5/246 1086640
/proc/meminfo: memFree=118922628/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=296224 memory=214288 CPUtime=1.49 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 22311 0 0 0 140 9 0 0 20 0 1 0 200091214 303333376 53572 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 74056 53572 1720 3002 0 57805 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 296224 KiB
Current children cumulated memory: 214288 KiB

[startup+3.11317 s]
/proc/loadavg: 4.34 4.30 4.23 5/246 1086640
/proc/meminfo: memFree=118397168/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=616060 memory=531856 CPUtime=3.09 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 102738 0 0 0 289 20 0 0 20 0 1 0 200091214 630845440 132964 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 154015 132964 3774 3002 0 137764 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 616060 KiB
Current children cumulated memory: 531856 KiB

[startup+6.30026 s]
/proc/loadavg: 4.34 4.30 4.23 5/246 1086641
/proc/meminfo: memFree=118384756/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=664136 memory=579824 CPUtime=6.27 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 114778 0 0 0 605 22 0 0 20 0 1 0 200091214 680075264 144956 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 166034 144956 3774 3002 0 149783 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 664136 KiB
Current children cumulated memory: 579824 KiB

[startup+12.7003 s]
/proc/loadavg: 4.31 4.29 4.23 5/246 1086641
/proc/meminfo: memFree=118046632/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1039912 memory=890792 CPUtime=12.66 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 178489 0 0 0 1232 34 0 0 20 0 1 0 200091214 1064869888 222698 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 259978 222698 4010 3002 0 243727 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1039912 KiB
Current children cumulated memory: 890792 KiB

[startup+25.5003 s]
/proc/loadavg: 4.24 4.28 4.22 5/246 1086644
/proc/meminfo: memFree=117812924/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1230432 memory=1072612 CPUtime=25.43 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 223906 0 0 0 2502 41 0 0 20 0 1 0 200091214 1259962368 268153 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 307608 268153 4042 3002 0 291357 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 1230432 KiB
Current children cumulated memory: 1072612 KiB

[startup+51.1127 s]
/proc/loadavg: 4.22 4.27 4.22 5/246 1086647
/proc/meminfo: memFree=117353612/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1234332 memory=1075500 CPUtime=50.98 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 224658 0 0 0 5056 42 0 0 20 0 1 0 200091214 1263955968 268875 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 308583 268875 4042 3002 0 292332 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 1234332 KiB
Current children cumulated memory: 1075500 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.24 4.21 5/246 1086701
/proc/meminfo: memFree=118271928/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1238372 memory=1080024 CPUtime=102.03 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 225761 0 0 0 10160 43 0 0 20 0 1 0 200091214 1268092928 270006 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 309593 270006 4057 3002 0 293342 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 1238372 KiB
Current children cumulated memory: 1080024 KiB

[startup+162.3 s]
/proc/loadavg: 4.73 4.40 4.27 5/243 1086850
/proc/meminfo: memFree=117562708/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1242164 memory=1084380 CPUtime=161.82 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 226932 0 0 0 16139 43 0 0 20 0 1 0 200091214 1271975936 271095 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 310541 271095 4057 3002 0 294290 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 1242164 KiB
Current children cumulated memory: 1084380 KiB

[startup+222.3 s]
/proc/loadavg: 4.37 4.35 4.26 5/243 1086861
/proc/meminfo: memFree=117317836/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1243964 memory=1086160 CPUtime=221.6 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 227391 0 0 0 22116 44 0 0 20 0 1 0 200091214 1273819136 271540 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 310991 271540 4057 3002 0 294740 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 1243964 KiB
Current children cumulated memory: 1086160 KiB

[startup+282.3 s]
/proc/loadavg: 4.78 4.47 4.31 5/243 1086872
/proc/meminfo: memFree=117114272/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1246060 memory=1088216 CPUtime=281.4 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 227919 0 0 0 28095 45 0 0 20 0 1 0 200091214 1275965440 272054 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 311515 272054 4057 3002 0 295264 0
Current children cumulated CPU time: 281.4 s
Current children cumulated vsize: 1246060 KiB
Current children cumulated memory: 1088216 KiB

[startup+342.3 s]
/proc/loadavg: 4.38 4.42 4.30 5/241 1086927
/proc/meminfo: memFree=117292724/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1298648 memory=1147524 CPUtime=341.17 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 234084 0 0 0 34045 72 0 0 20 0 1 0 200091214 1329815552 286881 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 324662 286881 4200 3002 0 308411 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 1298648 KiB
Current children cumulated memory: 1147524 KiB

[startup+402.3 s]
/proc/loadavg: 4.19 4.35 4.28 5/244 1086943
/proc/meminfo: memFree=117196800/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1380036 memory=1194740 CPUtime=400.97 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 234842 0 0 0 40012 85 0 0 20 0 1 0 200091214 1413156864 298685 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 345009 298685 4200 3002 0 328758 0
Current children cumulated CPU time: 400.97 s
Current children cumulated vsize: 1380036 KiB
Current children cumulated memory: 1194740 KiB

[startup+462.3 s]
/proc/loadavg: 4.18 4.32 4.27 5/244 1086955
/proc/meminfo: memFree=116993948/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1380036 memory=1196788 CPUtime=460.77 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 234915 0 0 0 45981 96 0 0 20 0 1 0 200091214 1413156864 299197 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 345009 299197 4200 3002 0 328758 0

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

Current children cumulated memory: 1463168 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.13 4.14 5/243 1088606
/proc/meminfo: memFree=123466804/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1727220 memory=1463168 CPUtime=2854.35 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 243961 0 0 0 285100 335 0 0 20 0 1 0 200091214 1768673280 365792 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 431805 365792 4200 3002 0 415554 0
Current children cumulated CPU time: 2854.35 s
Current children cumulated vsize: 1727220 KiB
Current children cumulated memory: 1463168 KiB

[startup+2922.3 s]
/proc/loadavg: 4.19 4.15 4.15 5/244 1088617
/proc/meminfo: memFree=123466852/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1727220 memory=1463168 CPUtime=2914.18 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 244129 0 0 0 291079 339 0 0 20 0 1 0 200091214 1768673280 365792 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 431805 365792 4200 3002 0 415554 0
Current children cumulated CPU time: 2914.18 s
Current children cumulated vsize: 1727220 KiB
Current children cumulated memory: 1463168 KiB

[startup+2982.3 s]
/proc/loadavg: 4.12 4.14 4.14 5/244 1088627
/proc/meminfo: memFree=123466404/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1727220 memory=1463168 CPUtime=2974.02 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 244404 0 0 0 297060 342 0 0 20 0 1 0 200091214 1768673280 365792 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 431805 365792 4200 3002 0 415554 0
Current children cumulated CPU time: 2974.02 s
Current children cumulated vsize: 1727220 KiB
Current children cumulated memory: 1463168 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.14 4.14 5/243 1088638
/proc/meminfo: memFree=123410628/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1727220 memory=1518464 CPUtime=3033.85 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 244748 0 0 0 303038 347 0 0 20 0 1 0 200091214 1768673280 379616 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 431805 379616 4200 3002 0 415554 0
Current children cumulated CPU time: 3033.85 s
Current children cumulated vsize: 1727220 KiB
Current children cumulated memory: 1518464 KiB

[startup+3102.3 s]
/proc/loadavg: 4.68 4.26 4.18 5/243 1088648
/proc/meminfo: memFree=123410192/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1727220 memory=1518464 CPUtime=3093.69 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 244947 0 0 0 309018 351 0 0 20 0 1 0 200091214 1768673280 379616 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 431805 379616 4200 3002 0 415554 0
Current children cumulated CPU time: 3093.69 s
Current children cumulated vsize: 1727220 KiB
Current children cumulated memory: 1518464 KiB

[startup+3162.3 s]
/proc/loadavg: 4.57 4.33 4.21 5/242 1088659
/proc/meminfo: memFree=123409832/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1727220 memory=1518464 CPUtime=3153.53 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 245237 0 0 0 314998 355 0 0 20 0 1 0 200091214 1768673280 379616 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 431805 379616 4200 3002 0 415554 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 1727220 KiB
Current children cumulated memory: 1518464 KiB

[startup+3222.3 s]
/proc/loadavg: 4.31 4.30 4.20 5/241 1088670
/proc/meminfo: memFree=123409484/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1727220 memory=1518464 CPUtime=3213.36 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 245459 0 0 0 320979 357 0 0 20 0 1 0 200091214 1768673280 379616 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 431805 379616 4200 3002 0 415554 0
Current children cumulated CPU time: 3213.36 s
Current children cumulated vsize: 1727220 KiB
Current children cumulated memory: 1518464 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.26 4.19 5/241 1088680
/proc/meminfo: memFree=123398772/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1727220 memory=1524608 CPUtime=3273.21 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 245675 0 0 0 326958 363 0 0 20 0 1 0 200091214 1768673280 381152 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 431805 381152 4200 3002 0 415554 0
Current children cumulated CPU time: 3273.21 s
Current children cumulated vsize: 1727220 KiB
Current children cumulated memory: 1524608 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.22 4.18 5/241 1088690
/proc/meminfo: memFree=123394244/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1727220 memory=1524608 CPUtime=3333.04 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 245908 0 0 0 332938 366 0 0 20 0 1 0 200091214 1768673280 381152 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 431805 381152 4200 3002 0 415554 0
Current children cumulated CPU time: 3333.04 s
Current children cumulated vsize: 1727220 KiB
Current children cumulated memory: 1524608 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.21 4.18 5/241 1088701
/proc/meminfo: memFree=123391808/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1727220 memory=1524608 CPUtime=3392.88 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 246167 0 0 0 338918 370 0 0 20 0 1 0 200091214 1768673280 381152 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 431805 381152 4200 3002 0 415554 0
Current children cumulated CPU time: 3392.88 s
Current children cumulated vsize: 1727220 KiB
Current children cumulated memory: 1524608 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.18 4.17 5/244 1088716
/proc/meminfo: memFree=123389096/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1727220 memory=1526656 CPUtime=3452.71 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 246511 0 0 0 344897 374 0 0 20 0 1 0 200091214 1768673280 381664 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 431805 381664 4200 3002 0 415554 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 1727220 KiB
Current children cumulated memory: 1526656 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.18 4.17 5/244 1088726
/proc/meminfo: memFree=123388668/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1727220 memory=1526656 CPUtime=3512.55 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 246711 0 0 0 350877 378 0 0 20 0 1 0 200091214 1768673280 381664 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 431805 381664 4200 3002 0 415554 0
Current children cumulated CPU time: 3512.55 s
Current children cumulated vsize: 1727220 KiB
Current children cumulated memory: 1526656 KiB

[startup+3582.3 s]
/proc/loadavg: 4.05 4.14 4.16 5/244 1088736
/proc/meminfo: memFree=123367804/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1727220 memory=1526656 CPUtime=3572.38 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 247010 0 0 0 356857 381 0 0 20 0 1 0 200091214 1768673280 381664 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 431805 381664 4200 3002 0 415554 0
Current children cumulated CPU time: 3572.38 s
Current children cumulated vsize: 1727220 KiB
Current children cumulated memory: 1526656 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.09 4.14 4.16 5/244 1088742
/proc/meminfo: memFree=123342880/131655788 swapFree=131071996/131071996
[pid=1086639] ppid=1086636 vsize=1727220 memory=1526656 CPUtime=3600.02 cores=1,3
/proc/1086639/stat : 1086639 (mixed-bag) R 1086636 1086639 1081689 0 -1 4194304 247198 0 0 0 359619 383 0 0 20 0 1 0 200091214 1768673280 381664 134679101440 4194304 16488053 140722905533376 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18731784 18742840 54329344 140722905539605 140722905539682 140722905539682 140722905546699 0
/proc/1086639/statm: 431805 381664 4200 3002 0 415554 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 1727220 KiB
Current children cumulated memory: 1526656 KiB

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

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

# cumulated CPU time of all completed processes:  user=3596.21 s, system=3.84195 s

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

Child status: 0

Real time (s): 3610.03
CPU time (s): 3600.05
CPU user time (s): 3596.21
CPU system time (s): 3.84195
CPU usage (%): 99.7236
Max. virtual memory (cumulated for all children) (KiB): 1727220
Max. memory (cumulated for all children) (KiB): 1526656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3596.21
system time used= 3.84195
maximum resident set size= 1527368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 247265
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= 112
involuntary context switches= 1324


# summary of solver processes directly reported to runsolver:
#   pid: 1086639
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3596.21
#   total CPU system time (s): 3.84195

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.2241 second user time and 33.9463 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-20 14:42:46
IDJOB=4455029
IDBENCH=161896
IDSOLVER=3083
FILE ID=nodeC004/4455029-1721479354
RUNJOBID= nodeC004-1721472122-1081701
SLURM_JOB_ID= 7545741
Free space on /tmp= 723696 MiB

SOLVER NAME= mixed-bag 2024-07-19
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-4455029-1721479354/watcher-4455029-1721479354 -o /tmp/evaluation-result-4455029-1721479354/solver-4455029-1721479354 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721472122-1081701 --watchdog 3760  mixed-bag HOME/instance-4455029-1721479354.opb

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

MD5SUM BENCH= 0ed226c068d5e24ee91dcf11039aef97
RANDOM SEED=2017002550

nodeC004.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		: 3663.699
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
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		: 1418.548
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.37
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.498
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
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.324
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.37
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		: 3640.539
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.29
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		: 3669.693
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.37
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        118983160 kB
MemAvailable:   122024724 kB
Buffers:          581148 kB
Cached:          3275004 kB
SwapCached:            0 kB
Active:          1316992 kB
Inactive:       10713624 kB
Active(anon):       3344 kB
Inactive(anon):  8217008 kB
Active(file):    1313648 kB
Inactive(file):  2496616 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             42352 kB
Writeback:             0 kB
AnonPages:       8173004 kB
Mapped:           141948 kB
Shmem:             45892 kB
KReclaimable:     142996 kB
Slab:             252580 kB
SReclaimable:     142996 kB
SUnreclaim:       109584 kB
KernelStack:        3936 kB
PageTables:        25412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    9221408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62560 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2715648 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:      252744 kB
DirectMap2M:    29011968 kB
DirectMap1G:    106954752 kB

Free space on /tmp at the end= 723700 MiB
End job on nodeC004 at 2024-07-20 15:42:56