Trace number 4454729

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.12 3610.02

DiagnosticValue
AM1LB0
LOWERBOUND0
NAM1S0
NCORES0
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0
SCIPUB510

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
MD5SUM41281aaad41c07f4dcd6eb689ad0db2a
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 benchmark220
Best CPU time to get the best result obtained on this benchmark3558.15
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 497468
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 497468
Number of bits of the biggest sum of numbers19
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.29/1.33	c [STEP] preprocessing with Papilo
3.58/3.66	c Papilo could not simplify the problem
3.58/3.66	c [STEP] solving with SCIP
303.97/305.68	c [STEP] preprocessing done, loading into solver
305.07/306.75	c [STEP] solving
305.07/306.75	c #variables 10001 #constraints 656900
305.07/306.75	c SMALL=int, LARGE=long long
305.07/306.75	d SCIPUB 510
305.07/306.75	c bounds - >= 0 @ 303.455
305.07/306.75	c stratification level: 98
808.30/811.09	c #Conflicts:       1000 | #Constraints:     657900
808.30/811.09	c #Conflicts:       2000 | #Constraints:     658900
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:       3000 | #Constraints:     658906
808.30/811.09	c #Conflicts:       4000 | #Constraints:     659906
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:       5000 | #Constraints:     659314
808.30/811.09	c #Conflicts:       6000 | #Constraints:     660314
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:       7000 | #Constraints:     659318
808.30/811.09	c #Conflicts:       8000 | #Constraints:     660318
808.30/811.09	c #Conflicts:       9000 | #Constraints:     661318
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:      10000 | #Constraints:     660021
808.30/811.09	c #Conflicts:      11000 | #Constraints:     661021
808.30/811.09	c #Conflicts:      12000 | #Constraints:     662021
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:      13000 | #Constraints:     660470
808.30/811.09	c #Conflicts:      14000 | #Constraints:     661470
808.30/811.09	c #Conflicts:      15000 | #Constraints:     662470
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:      16000 | #Constraints:     660704
808.30/811.09	c #Conflicts:      17000 | #Constraints:     661704
808.30/811.09	c #Conflicts:      18000 | #Constraints:     662704
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:      19000 | #Constraints:     660718
808.30/811.09	c #Conflicts:      20000 | #Constraints:     661718
808.30/811.09	c #Conflicts:      21000 | #Constraints:     662718
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:      22000 | #Constraints:     660522
808.30/811.09	c #Conflicts:      23000 | #Constraints:     661522
808.30/811.09	c #Conflicts:      24000 | #Constraints:     662522
808.30/811.09	c #Conflicts:      25000 | #Constraints:     663522
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:      26000 | #Constraints:     661128
808.30/811.09	c #Conflicts:      27000 | #Constraints:     662128
808.30/811.09	c #Conflicts:      28000 | #Constraints:     663128
808.30/811.09	c #Conflicts:      29000 | #Constraints:     664128
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:      30000 | #Constraints:     661525
808.30/811.09	c #Conflicts:      31000 | #Constraints:     662525
808.30/811.09	c #Conflicts:      32000 | #Constraints:     663525
808.30/811.09	c #Conflicts:      33000 | #Constraints:     664525
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:      34000 | #Constraints:     661727
808.30/811.09	c #Conflicts:      35000 | #Constraints:     662727
808.30/811.09	c #Conflicts:      36000 | #Constraints:     663727
808.30/811.09	c #Conflicts:      37000 | #Constraints:     664727
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:      38000 | #Constraints:     661727
808.30/811.09	c #Conflicts:      39000 | #Constraints:     662727
808.30/811.09	c #Conflicts:      40000 | #Constraints:     663727
808.30/811.09	c #Conflicts:      41000 | #Constraints:     664727
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:      42000 | #Constraints:     661540
808.30/811.09	c #Conflicts:      43000 | #Constraints:     662540
808.30/811.09	c #Conflicts:      44000 | #Constraints:     663540
808.30/811.09	c #Conflicts:      45000 | #Constraints:     664540
808.30/811.09	c #Conflicts:      46000 | #Constraints:     665540
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:      47000 | #Constraints:     662131
808.30/811.09	c #Conflicts:      48000 | #Constraints:     663131
808.30/811.09	c #Conflicts:      49000 | #Constraints:     664131
808.30/811.09	c #Conflicts:      50000 | #Constraints:     665131
808.30/811.09	c #Conflicts:      51000 | #Constraints:     666131
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:      52000 | #Constraints:     662525
808.30/811.09	c #Conflicts:      53000 | #Constraints:     663525
808.30/811.09	c #Conflicts:      54000 | #Constraints:     664525
808.30/811.09	c #Conflicts:      55000 | #Constraints:     665525
808.30/811.09	c #Conflicts:      56000 | #Constraints:     666525
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:      57000 | #Constraints:     662725
808.30/811.09	c #Conflicts:      58000 | #Constraints:     663725
808.30/811.09	c #Conflicts:      59000 | #Constraints:     664725
808.30/811.09	c #Conflicts:      60000 | #Constraints:     665725
808.30/811.09	c #Conflicts:      61000 | #Constraints:     666725
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:      62000 | #Constraints:     662728
808.30/811.09	c #Conflicts:      63000 | #Constraints:     663728
808.30/811.09	c #Conflicts:      64000 | #Constraints:     664728
808.30/811.09	c #Conflicts:      65000 | #Constraints:     665728
808.30/811.09	c #Conflicts:      66000 | #Constraints:     666728
808.30/811.09	c INPROCESSING
808.30/811.09	c GARBAGE COLLECT
808.30/811.09	c #Conflicts:      67000 | #Constraints:     662531
808.30/811.09	c #Conflicts:      68000 | #Constraints:     663531
1590.40/1594.94	c #Conflicts:      69000 | #Constraints:     664531
1590.40/1594.94	c #Conflicts:      70000 | #Constraints:     665531
1590.40/1594.94	c #Conflicts:      71000 | #Constraints:     666531
1590.40/1594.94	c #Conflicts:      72000 | #Constraints:     667531
1590.40/1594.94	c INPROCESSING
1590.40/1594.94	c GARBAGE COLLECT
1590.40/1594.94	c #Conflicts:      73000 | #Constraints:     663124
1590.40/1594.94	c #Conflicts:      74000 | #Constraints:     664124
1590.40/1594.94	c #Conflicts:      75000 | #Constraints:     665124
1590.40/1594.94	c #Conflicts:      76000 | #Constraints:     666124
1590.40/1594.94	c #Conflicts:      77000 | #Constraints:     667124
1590.40/1594.94	c #Conflicts:      78000 | #Constraints:     668124
1590.40/1594.94	c INPROCESSING
1590.40/1594.94	c GARBAGE COLLECT
1590.40/1594.94	c #Conflicts:      79000 | #Constraints:     663531
1590.40/1594.94	c #Conflicts:      80000 | #Constraints:     664531
1590.40/1594.94	c #Conflicts:      81000 | #Constraints:     665531
1590.40/1594.94	c #Conflicts:      82000 | #Constraints:     666531
1590.40/1594.94	c #Conflicts:      83000 | #Constraints:     667531
1590.40/1594.94	c #Conflicts:      84000 | #Constraints:     668531
1590.40/1594.94	c INPROCESSING
1590.40/1594.94	c GARBAGE COLLECT
1590.40/1594.94	c #Conflicts:      85000 | #Constraints:     663737
1590.40/1594.94	c #Conflicts:      86000 | #Constraints:     664737
1590.40/1594.94	c #Conflicts:      87000 | #Constraints:     665737
1590.40/1594.94	c #Conflicts:      88000 | #Constraints:     666737
1590.40/1594.94	c #Conflicts:      89000 | #Constraints:     667737
1590.40/1594.94	c #Conflicts:      90000 | #Constraints:     668737
1590.40/1594.94	c INPROCESSING
1590.40/1594.94	c GARBAGE COLLECT
1590.40/1594.94	c #Conflicts:      91000 | #Constraints:     663744
1590.40/1594.94	c #Conflicts:      92000 | #Constraints:     664744
1590.40/1594.94	c #Conflicts:      93000 | #Constraints:     665744
1590.40/1594.94	c #Conflicts:      94000 | #Constraints:     666744
1590.40/1594.94	c #Conflicts:      95000 | #Constraints:     667744
1590.40/1594.94	c #Conflicts:      96000 | #Constraints:     668744
1590.40/1594.94	c INPROCESSING
1590.40/1594.94	c GARBAGE COLLECT
1590.40/1594.94	c #Conflicts:      97000 | #Constraints:     663545
1590.40/1594.94	c #Conflicts:      98000 | #Constraints:     664545
1590.40/1594.94	c #Conflicts:      99000 | #Constraints:     665545
1590.40/1594.94	c #Conflicts:     100000 | #Constraints:     666545
1590.40/1594.94	c #Conflicts:     101000 | #Constraints:     667545
1590.40/1594.94	c #Conflicts:     102000 | #Constraints:     668545
1590.40/1594.94	c #Conflicts:     103000 | #Constraints:     669545
1590.40/1594.94	c INPROCESSING
1590.40/1594.94	c GARBAGE COLLECT
1590.40/1594.94	c #Conflicts:     104000 | #Constraints:     664138
1590.40/1594.94	c #Conflicts:     105000 | #Constraints:     665138
1590.40/1594.94	c #Conflicts:     106000 | #Constraints:     666138
1590.40/1594.94	c #Conflicts:     107000 | #Constraints:     667138
1590.40/1594.94	c #Conflicts:     108000 | #Constraints:     668138
1590.40/1594.94	c #Conflicts:     109000 | #Constraints:     669138
1590.40/1594.94	c #Conflicts:     110000 | #Constraints:     670138
1590.40/1594.94	c INPROCESSING
1590.40/1594.94	c GARBAGE COLLECT
1590.40/1594.94	c #Conflicts:     111000 | #Constraints:     664538
1590.40/1594.94	c #Conflicts:     112000 | #Constraints:     665538
1590.40/1594.94	c #Conflicts:     113000 | #Constraints:     666538
1590.40/1594.94	c #Conflicts:     114000 | #Constraints:     667538
1590.40/1594.94	c #Conflicts:     115000 | #Constraints:     668538
1590.40/1594.94	c #Conflicts:     116000 | #Constraints:     669538
1590.40/1594.94	c #Conflicts:     117000 | #Constraints:     670538
1590.40/1594.94	c INPROCESSING
1590.40/1594.94	c GARBAGE COLLECT
1590.40/1594.94	c #Conflicts:     118000 | #Constraints:     664731
1590.40/1594.94	c #Conflicts:     119000 | #Constraints:     665731
1590.40/1594.94	c #Conflicts:     120000 | #Constraints:     666731
1590.40/1594.94	c #Conflicts:     121000 | #Constraints:     667731
1590.40/1594.94	c #Conflicts:     122000 | #Constraints:     668731
1590.40/1594.94	c #Conflicts:     123000 | #Constraints:     669731
1590.40/1594.94	c #Conflicts:     124000 | #Constraints:     670731
1590.40/1594.94	c INPROCESSING
1590.40/1594.94	c GARBAGE COLLECT
1590.40/1594.94	c #Conflicts:     125000 | #Constraints:     664729
1590.40/1594.94	c #Conflicts:     126000 | #Constraints:     665729
1590.40/1594.94	c #Conflicts:     127000 | #Constraints:     666729
1590.40/1594.94	c #Conflicts:     128000 | #Constraints:     667729
1590.40/1594.94	c #Conflicts:     129000 | #Constraints:     668729
1590.40/1594.94	c #Conflicts:     130000 | #Constraints:     669729
1590.40/1594.94	c #Conflicts:     131000 | #Constraints:     670729
1590.40/1594.94	c INPROCESSING
1590.40/1594.94	c GARBAGE COLLECT
1590.40/1594.94	c #Conflicts:     132000 | #Constraints:     664530
1590.40/1594.94	c #Conflicts:     133000 | #Constraints:     665530
1590.40/1594.94	c #Conflicts:     134000 | #Constraints:     666530
1590.40/1594.94	c #Conflicts:     135000 | #Constraints:     667530
1590.40/1594.94	c #Conflicts:     136000 | #Constraints:     668530
1590.40/1594.94	c #Conflicts:     137000 | #Constraints:     669530
1590.40/1594.94	c #Conflicts:     138000 | #Constraints:     670530
1590.40/1594.94	c #Conflicts:     139000 | #Constraints:     671530
1590.40/1594.94	c INPROCESSING
1590.40/1594.94	c GARBAGE COLLECT
1590.40/1594.94	c #Conflicts:     140000 | #Constraints:     665128
2561.58/2568.71	c #Conflicts:     141000 | #Constraints:     666128
2561.58/2568.71	c #Conflicts:     142000 | #Constraints:     667128
2561.58/2568.71	c #Conflicts:     143000 | #Constraints:     668128
2561.58/2568.71	c #Conflicts:     144000 | #Constraints:     669128
2561.58/2568.71	c #Conflicts:     145000 | #Constraints:     670128
2561.58/2568.71	c #Conflicts:     146000 | #Constraints:     671128
2561.58/2568.71	c #Conflicts:     147000 | #Constraints:     672128
2561.58/2568.71	c INPROCESSING
2561.58/2568.71	c GARBAGE COLLECT
2561.58/2568.71	c #Conflicts:     148000 | #Constraints:     665546
2561.58/2568.71	c #Conflicts:     149000 | #Constraints:     666546
2561.58/2568.71	c #Conflicts:     150000 | #Constraints:     667546
2561.58/2568.71	c #Conflicts:     151000 | #Constraints:     668546
2561.58/2568.71	c #Conflicts:     152000 | #Constraints:     669546
2561.58/2568.71	c #Conflicts:     153000 | #Constraints:     670546
2561.58/2568.71	c #Conflicts:     154000 | #Constraints:     671546
2561.58/2568.71	c #Conflicts:     155000 | #Constraints:     672546
2561.58/2568.71	c INPROCESSING
2561.58/2568.71	c GARBAGE COLLECT
2561.58/2568.71	c #Conflicts:     156000 | #Constraints:     665745
2561.58/2568.71	c #Conflicts:     157000 | #Constraints:     666745
2561.58/2568.71	c #Conflicts:     158000 | #Constraints:     667745
2561.58/2568.71	c #Conflicts:     159000 | #Constraints:     668745
2561.58/2568.71	c #Conflicts:     160000 | #Constraints:     669745
2561.58/2568.71	c #Conflicts:     161000 | #Constraints:     670745
2561.58/2568.71	c #Conflicts:     162000 | #Constraints:     671745
2561.58/2568.71	c #Conflicts:     163000 | #Constraints:     672745
2561.58/2568.71	c INPROCESSING
2561.58/2568.71	c GARBAGE COLLECT
2561.58/2568.71	c #Conflicts:     164000 | #Constraints:     665739
2561.58/2568.71	c #Conflicts:     165000 | #Constraints:     666739
2561.58/2568.71	c #Conflicts:     166000 | #Constraints:     667739
2561.58/2568.71	c #Conflicts:     167000 | #Constraints:     668739
2561.58/2568.71	c #Conflicts:     168000 | #Constraints:     669739
2561.58/2568.71	c #Conflicts:     169000 | #Constraints:     670739
2561.58/2568.71	c #Conflicts:     170000 | #Constraints:     671739
2561.58/2568.71	c #Conflicts:     171000 | #Constraints:     672739
2561.58/2568.71	c INPROCESSING
2561.58/2568.71	c GARBAGE COLLECT
2561.58/2568.71	c #Conflicts:     172000 | #Constraints:     665532
2561.58/2568.71	c #Conflicts:     173000 | #Constraints:     666532
2561.58/2568.71	c #Conflicts:     174000 | #Constraints:     667532
2561.58/2568.71	c #Conflicts:     175000 | #Constraints:     668532
2561.58/2568.71	c #Conflicts:     176000 | #Constraints:     669532
2561.58/2568.71	c #Conflicts:     177000 | #Constraints:     670532
2561.58/2568.71	c #Conflicts:     178000 | #Constraints:     671532
2561.58/2568.71	c #Conflicts:     179000 | #Constraints:     672532
2561.58/2568.71	c #Conflicts:     180000 | #Constraints:     673532
2561.58/2568.71	c INPROCESSING
2561.58/2568.71	c GARBAGE COLLECT
2561.58/2568.71	c #Conflicts:     181000 | #Constraints:     666130
2561.58/2568.71	c #Conflicts:     182000 | #Constraints:     667130
2561.58/2568.71	c #Conflicts:     183000 | #Constraints:     668130
2561.58/2568.71	c #Conflicts:     184000 | #Constraints:     669130
2561.58/2568.71	c #Conflicts:     185000 | #Constraints:     670130
2561.58/2568.71	c #Conflicts:     186000 | #Constraints:     671130
2561.58/2568.71	c #Conflicts:     187000 | #Constraints:     672130
2561.58/2568.71	c #Conflicts:     188000 | #Constraints:     673130
2561.58/2568.71	c #Conflicts:     189000 | #Constraints:     674130
2561.58/2568.71	c INPROCESSING
2561.58/2568.71	c GARBAGE COLLECT
2561.58/2568.71	c #Conflicts:     190000 | #Constraints:     666545
2561.58/2568.71	c #Conflicts:     191000 | #Constraints:     667545
2561.58/2568.71	c #Conflicts:     192000 | #Constraints:     668545
2561.58/2568.71	c #Conflicts:     193000 | #Constraints:     669545
2561.58/2568.71	c #Conflicts:     194000 | #Constraints:     670545
2561.58/2568.71	c #Conflicts:     195000 | #Constraints:     671545
2561.58/2568.71	c #Conflicts:     196000 | #Constraints:     672545
2561.58/2568.71	c #Conflicts:     197000 | #Constraints:     673545
2561.58/2568.71	c #Conflicts:     198000 | #Constraints:     674545
2561.58/2568.71	c INPROCESSING
2561.58/2568.71	c GARBAGE COLLECT
2561.58/2568.71	c #Conflicts:     199000 | #Constraints:     666751
2561.58/2568.71	c #Conflicts:     200000 | #Constraints:     667751
2561.58/2568.71	c #Conflicts:     201000 | #Constraints:     668751
2561.58/2568.71	c #Conflicts:     202000 | #Constraints:     669751
2561.58/2568.71	c #Conflicts:     203000 | #Constraints:     670751
2561.58/2568.71	c #Conflicts:     204000 | #Constraints:     671751
2561.58/2568.71	c #Conflicts:     205000 | #Constraints:     672751
2561.58/2568.71	c #Conflicts:     206000 | #Constraints:     673751
2561.58/2568.71	c #Conflicts:     207000 | #Constraints:     674751
2561.58/2568.71	c INPROCESSING
2561.58/2568.71	c GARBAGE COLLECT
2561.58/2568.71	c #Conflicts:     208000 | #Constraints:     666754
2561.58/2568.71	c #Conflicts:     209000 | #Constraints:     667754
2561.58/2568.71	c #Conflicts:     210000 | #Constraints:     668754
2561.58/2568.71	c #Conflicts:     211000 | #Constraints:     669754
2561.58/2568.71	c #Conflicts:     212000 | #Constraints:     670754
2561.58/2568.71	c #Conflicts:     213000 | #Constraints:     671754
3600.09/3610.00	c #Conflicts:     214000 | #Constraints:     672754
3600.09/3610.00	c #Conflicts:     215000 | #Constraints:     673754
3600.09/3610.00	c #Conflicts:     216000 | #Constraints:     674754
3600.09/3610.00	c INPROCESSING
3600.09/3610.00	c GARBAGE COLLECT
3600.09/3610.00	c #Conflicts:     217000 | #Constraints:     666550
3600.09/3610.00	c #Conflicts:     218000 | #Constraints:     667550
3600.09/3610.00	c #Conflicts:     219000 | #Constraints:     668550
3600.09/3610.00	c #Conflicts:     220000 | #Constraints:     669550
3600.09/3610.00	c #Conflicts:     221000 | #Constraints:     670550
3600.09/3610.00	c #Conflicts:     222000 | #Constraints:     671550
3600.09/3610.00	c #Conflicts:     223000 | #Constraints:     672550
3600.09/3610.00	c #Conflicts:     224000 | #Constraints:     673550
3600.09/3610.00	c #Conflicts:     225000 | #Constraints:     674550
3600.09/3610.00	c #Conflicts:     226000 | #Constraints:     675550
3600.09/3610.00	c INPROCESSING
3600.09/3610.00	c GARBAGE COLLECT
3600.09/3610.00	c #Conflicts:     227000 | #Constraints:     667158
3600.09/3610.00	c #Conflicts:     228000 | #Constraints:     668158
3600.09/3610.00	c #Conflicts:     229000 | #Constraints:     669158
3600.09/3610.00	c #Conflicts:     230000 | #Constraints:     670158
3600.09/3610.00	c #Conflicts:     231000 | #Constraints:     671158
3600.09/3610.00	c #Conflicts:     232000 | #Constraints:     672158
3600.09/3610.00	c #Conflicts:     233000 | #Constraints:     673158
3600.09/3610.00	c #Conflicts:     234000 | #Constraints:     674158
3600.09/3610.00	c #Conflicts:     235000 | #Constraints:     675158
3600.09/3610.00	c #Conflicts:     236000 | #Constraints:     676158
3600.09/3610.00	c INPROCESSING
3600.09/3610.00	c GARBAGE COLLECT
3600.09/3610.00	c #Conflicts:     237000 | #Constraints:     667545
3600.09/3610.00	c #Conflicts:     238000 | #Constraints:     668545
3600.09/3610.00	c #Conflicts:     239000 | #Constraints:     669545
3600.09/3610.00	c #Conflicts:     240000 | #Constraints:     670545
3600.09/3610.00	c #Conflicts:     241000 | #Constraints:     671545
3600.09/3610.00	c #Conflicts:     242000 | #Constraints:     672545
3600.09/3610.00	c #Conflicts:     243000 | #Constraints:     673545
3600.09/3610.00	c #Conflicts:     244000 | #Constraints:     674545
3600.09/3610.00	c #Conflicts:     245000 | #Constraints:     675545
3600.09/3610.00	c #Conflicts:     246000 | #Constraints:     676545
3600.09/3610.00	c INPROCESSING
3600.09/3610.00	c GARBAGE COLLECT
3600.09/3610.00	c #Conflicts:     247000 | #Constraints:     667746
3600.09/3610.00	c #Conflicts:     248000 | #Constraints:     668746
3600.09/3610.00	c #Conflicts:     249000 | #Constraints:     669746
3600.09/3610.00	c #Conflicts:     250000 | #Constraints:     670746
3600.09/3610.00	c #Conflicts:     251000 | #Constraints:     671746
3600.09/3610.00	c #Conflicts:     252000 | #Constraints:     672746
3600.09/3610.00	c #Conflicts:     253000 | #Constraints:     673746
3600.09/3610.00	c #Conflicts:     254000 | #Constraints:     674746
3600.09/3610.00	c #Conflicts:     255000 | #Constraints:     675746
3600.09/3610.00	c #Conflicts:     256000 | #Constraints:     676746
3600.09/3610.00	c INPROCESSING
3600.09/3610.00	c GARBAGE COLLECT
3600.09/3610.00	c #Conflicts:     257000 | #Constraints:     667741
3600.09/3610.00	c #Conflicts:     258000 | #Constraints:     668741
3600.09/3610.00	c #Conflicts:     259000 | #Constraints:     669741
3600.09/3610.00	c #Conflicts:     260000 | #Constraints:     670741
3600.09/3610.00	c #Conflicts:     261000 | #Constraints:     671741
3600.09/3610.00	c #Conflicts:     262000 | #Constraints:     672741
3600.09/3610.00	c #Conflicts:     263000 | #Constraints:     673741
3600.09/3610.00	c #Conflicts:     264000 | #Constraints:     674741
3600.09/3610.00	c #Conflicts:     265000 | #Constraints:     675741
3600.09/3610.00	c #Conflicts:     266000 | #Constraints:     676741
3600.09/3610.00	c INPROCESSING
3600.09/3610.00	c GARBAGE COLLECT
3600.09/3610.00	c #Conflicts:     267000 | #Constraints:     667538
3600.09/3610.00	c #Conflicts:     268000 | #Constraints:     668538
3600.09/3610.00	c #Conflicts:     269000 | #Constraints:     669538
3600.09/3610.00	c #Conflicts:     270000 | #Constraints:     670538
3600.09/3610.00	c #Conflicts:     271000 | #Constraints:     671538
3600.09/3610.00	c #Conflicts:     272000 | #Constraints:     672538
3600.09/3610.00	c #Conflicts:     273000 | #Constraints:     673538
3600.09/3610.00	c #Conflicts:     274000 | #Constraints:     674538
3600.09/3610.00	c #Conflicts:     275000 | #Constraints:     675538
3600.09/3610.00	c #Conflicts:     276000 | #Constraints:     676538
3600.09/3610.00	c #Conflicts:     277000 | #Constraints:     677538
3600.09/3610.00	c INPROCESSING
3600.09/3610.00	c GARBAGE COLLECT
3600.09/3610.00	c #Conflicts:     278000 | #Constraints:     668130
3600.09/3610.00	c #Conflicts:     279000 | #Constraints:     669130
3600.09/3610.00	c #Conflicts:     280000 | #Constraints:     670130
3600.09/3610.00	c #Conflicts:     281000 | #Constraints:     671130
3600.09/3610.00	c #Conflicts:     282000 | #Constraints:     672130
3600.09/3610.00	c Program interrupted by user.
3600.09/3610.00	c cpu time 3588.71 s
3600.09/3610.00	c deterministic time 1049612697155 1.05e+12
3600.09/3610.00	c optimization time 75.0066 s
3600.09/3610.00	c total solve time 3210.25 s
3600.09/3610.00	c core-guided solve time 3210.25 s
3600.09/3610.00	c propagation time 2448.02 s
3600.09/3610.00	c conflict analysis time 673.798 s
3600.09/3610.00	c propagations 141792980
3600.09/3610.00	c resolve steps 1881796
3600.09/3610.00	c decisions 9693300
3600.09/3610.00	c conflicts 282962
3600.09/3610.00	c restarts 668
3600.09/3610.00	c inprocessing phases 44
3600.09/3610.00	c input clauses 656900
3600.09/3610.00	c input cardinalities 0
3600.09/3610.00	c input general constraints 1
3600.09/3610.00	c input average constraint length 2.05
3600.09/3610.00	c input average constraint degree 1.76
3600.09/3610.00	c learned clauses 21629
3600.09/3610.00	c learned cardinalities 1
3600.09/3610.00	c learned general constraints 261332
3600.09/3610.00	c learned average constraint length 6722.13
3600.09/3610.00	c learned average constraint degree 13518083.98
3600.09/3610.00	c watched constraints 1202
3600.09/3610.00	c counting constraints 260131
3600.09/3610.00	c gcd simplifications 1556
3600.09/3610.00	c detected cardinalities 0
3600.09/3610.00	c weakened non-implied lits 720543447
3600.09/3610.00	c weakened non-implying lits 62296
3600.09/3610.00	c original variables 10000
3600.09/3610.00	c clausal propagations 21380730
3600.09/3610.00	c cardinality propagations 0
3600.09/3610.00	c watched propagations 28604
3600.09/3610.00	c counting propagations 116579654
3600.09/3610.00	c watch lookups 8464184371
3600.09/3610.00	c watch backjump lookups 8453441411
3600.09/3610.00	c watch checks 703410193
3600.09/3610.00	c propagation checks 1026973167486
3600.09/3610.00	c constraint additions 4715246702
3600.09/3610.00	c trail pops 151760711
3600.09/3610.00	c formula constraints 656900
3600.09/3610.00	c learned constraints 282962
3600.09/3610.00	c bound constraints 1
3600.09/3610.00	c core-guided constraints 0
3600.09/3610.00	c encountered formula constraints 1585698
3600.09/3610.00	c encountered learned constraints 578774
3600.09/3610.00	c encountered bound constraints 286
3600.09/3610.00	c encountered core-guided constraints 0
3600.09/3610.00	c LP total time 0 s
3600.09/3610.00	c LP solve time 0 s
3600.09/3610.00	c LP constraints added 0
3600.09/3610.00	c LP constraints removed 0
3600.09/3610.00	c LP pivots internal 0
3600.09/3610.00	c LP pivots root 0
3600.09/3610.00	c LP calls 0
3600.09/3610.00	c LP optimalities 0
3600.09/3610.00	c LP no pivot count 0
3600.09/3610.00	c LP infeasibilities 0
3600.09/3610.00	c LP valid Farkas constraints 0
3600.09/3610.00	c LP learned Farkas constraints 0
3600.09/3610.00	c LP basis resets 0
3600.09/3610.00	c LP cycling count 0
3600.09/3610.00	c LP singular count 0
3600.09/3610.00	c LP no primal count 0
3600.09/3610.00	c LP no farkas count 0
3600.09/3610.00	c LP other issue count 0
3600.09/3610.00	c LP Gomory cuts 0
3600.09/3610.00	c LP learned cuts 0
3600.09/3610.00	c LP deleted cuts 0
3600.09/3610.00	c LP encountered Gomory constraints 0
3600.09/3610.00	c LP encountered Farkas constraints 0
3600.09/3610.00	c LP encountered learned Farkas constraints 0
3600.09/3610.00	c CG auxiliary variables introduced 0
3600.09/3610.00	c CG solutions found 0
3600.09/3610.00	c CG cores constructed 0
3600.09/3610.00	c CG core cardinality constraints returned 0
3600.09/3610.00	c CG unit cores 0
3600.09/3610.00	c CG single cores 0
3600.09/3610.00	c CG blocks removed during cardinality reduction 0
3600.09/3610.00	c CG first core best 0
3600.09/3610.00	c CG decision core best 0
3600.09/3610.00	c CG core reduction tie 0
3600.09/3610.00	c CG core degree average 0.00
3600.09/3610.00	c CG core slack average 0.00
3600.09/3610.00	c CG exhausted 0
3600.09/3610.00	c CG exhaust time 0 s
3600.09/3610.00	c CG trimmed 0
3600.09/3610.00	c CG trim time 0 s
3600.09/3610.00	c CG minimized 0
3600.09/3610.00	c CG minimize time 0 s
3600.09/3610.00	c CG am1 prop time 0.000382 s
3600.09/3610.00	c CG # am1s reformulated 0
3600.09/3610.00	c CG lower bound derived from am1s 0
3600.09/3610.00	c CG # clausal cores 0
3600.09/3610.00	c CG # cardinality cores 0
3600.09/3610.00	c CG # pb cores 0
3600.09/3610.00	c CG # pb reforms 0
3600.09/3610.00	c CG # cores discarded because of pb reform 0
3600.09/3610.00	d LOWERBOUND 0
3600.09/3610.00	d NCORES 0
3600.09/3610.00	d NPBCORES 0
3600.09/3610.00	d NPBREFORM 0
3600.09/3610.00	d NTRIMMED 0
3600.09/3610.00	d NEXHAUSTED 0
3600.09/3610.00	d NAM1S 0
3600.09/3610.00	d AM1LB 0
3600.09/3610.00	c [Papilo Statistics]
3600.09/3610.00	c prepro time 2.33351s
3600.09/3610.00	c # tsx applied 0
3600.09/3610.00	c # tsx conflicts 0
3600.09/3610.00	c # bound changes 0
3600.09/3610.00	c # side changes 0
3600.09/3610.00	c # coef changes 0
3600.09/3610.00	c # rounds 1
3600.09/3610.00	c # deted vars 0
3600.09/3610.00	c # deted constrs 0
3600.09/3610.00	c # consecutive rounds of only bound changes 0
3600.09/3610.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: 63968 MiB (61634 MiB free)
  memory of node 1: 64473 MiB (61198 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454729-1721470086/watcher-4454729-1721470086 -o /tmp/evaluation-result-4454729-1721470086/solver-4454729-1721470086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721470098-1062222 --watchdog 3760 mixed-bag HOME/instance-4454729-1721470086.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100088 s]*
/proc/loadavg: 1.11 1.16 1.85 7/257 1062286
/proc/meminfo: memFree=125720160/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=110980 memory=18116 CPUtime=0.09 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 3429 0 0 0 9 0 0 0 20 0 1 0 199179451 113643520 4529 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 27745 4529 1631 3002 0 12033 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 110980 KiB
Current children cumulated memory: 18116 KiB

[startup+0.20602 s]*
/proc/loadavg: 1.11 1.16 1.85 11/257 1062286
/proc/meminfo: memFree=125689508/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=115076 memory=26980 CPUtime=0.19 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 4119 0 0 0 19 0 0 0 20 0 1 0 199179451 117837824 6745 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 28769 6745 1631 3002 0 13057 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 115076 KiB
Current children cumulated memory: 26980 KiB

[startup+0.305413 s]*
/proc/loadavg: 1.11 1.16 1.85 6/257 1062286
/proc/meminfo: memFree=125659804/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=123268 memory=31472 CPUtime=0.3 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 4763 0 0 0 29 1 0 0 20 0 1 0 199179451 126226432 7868 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 30817 7868 1631 3002 0 15105 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 123268 KiB
Current children cumulated memory: 31472 KiB

[startup+0.700183 s]
/proc/loadavg: 1.11 1.16 1.85 6/257 1062286
/proc/meminfo: memFree=125607948/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=139652 memory=58576 CPUtime=0.69 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 5415 0 0 0 67 2 0 0 20 0 1 0 199179451 143003648 14644 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 34913 14644 1631 3002 0 19201 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 139652 KiB
Current children cumulated memory: 58576 KiB

[startup+1.50025 s]
/proc/loadavg: 1.11 1.16 1.85 7/257 1062286
/proc/meminfo: memFree=125485148/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=394456 memory=297676 CPUtime=1.49 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 18200 0 0 0 138 11 0 0 20 0 1 0 199179451 403922944 74419 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 98614 74419 1753 3002 0 82363 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 394456 KiB
Current children cumulated memory: 297676 KiB

[startup+3.1064 s]
/proc/loadavg: 1.11 1.16 1.85 7/257 1062288
/proc/meminfo: memFree=124364308/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=429052 memory=332792 CPUtime=3.09 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 25415 0 0 0 297 12 0 0 20 0 1 0 199179451 439349248 83198 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 107263 83198 1848 3002 0 91012 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 429052 KiB
Current children cumulated memory: 332792 KiB

[startup+6.30021 s]
/proc/loadavg: 1.34 1.21 1.86 7/257 1062288
/proc/meminfo: memFree=122226476/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=1093620 memory=1001640 CPUtime=6.27 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 198881 0 0 0 588 39 0 0 20 0 1 0 199179451 1119866880 250410 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 273405 250410 3780 3002 0 257154 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 1093620 KiB
Current children cumulated memory: 1001640 KiB

[startup+12.7002 s]
/proc/loadavg: 1.55 1.26 1.87 7/257 1062288
/proc/meminfo: memFree=120736800/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=1506404 memory=1404740 CPUtime=12.66 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 255235 0 0 0 1210 56 0 0 20 0 1 0 199179451 1542557696 351185 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 376601 351185 3780 3002 0 360350 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 1506404 KiB
Current children cumulated memory: 1404740 KiB

[startup+25.5002 s]
/proc/loadavg: 2.18 1.41 1.91 7/257 1062291
/proc/meminfo: memFree=116192888/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3228164 memory=2881464 CPUtime=25.4 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 266442 0 0 0 2454 86 0 0 20 0 1 0 199179451 3305639936 720366 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 807041 720366 3812 3002 0 790790 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 3228164 KiB
Current children cumulated memory: 2881464 KiB

[startup+51.1066 s]
/proc/loadavg: 2.86 1.63 1.97 7/257 1062294
/proc/meminfo: memFree=114181224/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3911236 memory=3547564 CPUtime=50.91 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 381401 0 0 0 4980 111 0 0 20 0 1 0 199179451 4005105664 886891 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 977809 886891 4029 3002 0 961558 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 3911236 KiB
Current children cumulated memory: 3547564 KiB

[startup+102.3 s]
/proc/loadavg: 3.55 2.01 2.09 7/257 1062303
/proc/meminfo: memFree=113966900/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3938416 memory=3567612 CPUtime=101.83 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 383515 0 0 0 10070 113 0 0 20 0 1 0 199179451 4032937984 891903 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 984604 891903 4045 3002 0 968353 0
Current children cumulated CPU time: 101.83 s
Current children cumulated vsize: 3938416 KiB
Current children cumulated memory: 3567612 KiB

[startup+162.3 s]
/proc/loadavg: 3.94 2.41 2.22 7/259 1062319
/proc/meminfo: memFree=113832704/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=4131144 memory=3667464 CPUtime=161.47 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 393144 0 0 0 16031 116 0 0 20 0 1 0 199179451 4230291456 916866 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 1032786 916866 4045 3002 0 1016535 0
Current children cumulated CPU time: 161.47 s
Current children cumulated vsize: 4131144 KiB
Current children cumulated memory: 3667464 KiB

[startup+222.3 s]
/proc/loadavg: 4.03 2.72 2.34 7/259 1062329
/proc/meminfo: memFree=113788968/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=4216008 memory=3689920 CPUtime=221.14 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 395550 0 0 0 21995 119 0 0 20 0 1 0 199179451 4317192192 922480 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 1054002 922480 4045 3002 0 1037751 0
Current children cumulated CPU time: 221.14 s
Current children cumulated vsize: 4216008 KiB
Current children cumulated memory: 3689920 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 2.98 2.46 7/259 1062340
/proc/meminfo: memFree=113752384/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=4287860 memory=3700212 CPUtime=280.8 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 396311 0 0 0 27960 120 0 0 20 0 1 0 199179451 4390768640 925053 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 1071965 925053 4045 3002 0 1055714 0
Current children cumulated CPU time: 280.8 s
Current children cumulated vsize: 4287860 KiB
Current children cumulated memory: 3700212 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 3.19 2.56 7/257 1062396
/proc/meminfo: memFree=119363184/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=2374356 memory=2193572 CPUtime=340.6 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 401625 0 0 0 33852 208 0 0 20 0 1 0 199179451 2431340544 548393 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 593589 548393 4188 3002 0 577338 0
Current children cumulated CPU time: 340.6 s
Current children cumulated vsize: 2374356 KiB
Current children cumulated memory: 2193572 KiB

[startup+402.3 s]
/proc/loadavg: 4.08 3.35 2.66 7/257 1062407
/proc/meminfo: memFree=119103572/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=2374356 memory=2264168 CPUtime=400.47 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 402161 0 0 0 39805 242 0 0 20 0 1 0 199179451 2431340544 566042 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 593589 566042 4188 3002 0 577338 0
Current children cumulated CPU time: 400.47 s
Current children cumulated vsize: 2374356 KiB
Current children cumulated memory: 2264168 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 3.50 2.76 7/255 1062417
/proc/meminfo: memFree=118885636/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=2589280 memory=2321328 CPUtime=460.34 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 402841 0 0 0 45759 275 0 0 20 0 1 0 199179451 2651422720 580332 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 647320 580332 4188 3002 0 631069 0

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

Current children cumulated memory: 2959244 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.15 4.06 7/257 1063855
/proc/meminfo: memFree=115448984/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3506056 memory=2959276 CPUtime=2854.4 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 431320 0 0 0 284500 940 0 0 20 0 1 0 199179451 3590201344 739819 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 876514 739819 4188 3002 0 860263 0
Current children cumulated CPU time: 2854.4 s
Current children cumulated vsize: 3506056 KiB
Current children cumulated memory: 2959276 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.15 4.06 7/257 1063865
/proc/meminfo: memFree=115406316/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3506056 memory=2996464 CPUtime=2914.24 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 432489 0 0 0 290464 960 0 0 20 0 1 0 199179451 3590201344 749116 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 876514 749116 4188 3002 0 860263 0
Current children cumulated CPU time: 2914.24 s
Current children cumulated vsize: 3506056 KiB
Current children cumulated memory: 2996464 KiB

[startup+2982.3 s]
/proc/loadavg: 4.09 4.14 4.06 7/257 1063876
/proc/meminfo: memFree=115406148/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3506056 memory=2996464 CPUtime=2974.07 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 433400 0 0 0 296430 977 0 0 20 0 1 0 199179451 3590201344 749116 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 876514 749116 4188 3002 0 860263 0
Current children cumulated CPU time: 2974.07 s
Current children cumulated vsize: 3506056 KiB
Current children cumulated memory: 2996464 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.14 4.07 7/258 1064056
/proc/meminfo: memFree=115405528/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3506056 memory=2996464 CPUtime=3033.9 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 434485 0 0 0 302396 994 0 0 20 0 1 0 199179451 3590201344 749116 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 876514 749116 4188 3002 0 860263 0
Current children cumulated CPU time: 3033.9 s
Current children cumulated vsize: 3506056 KiB
Current children cumulated memory: 2996464 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.07 7/258 1064066
/proc/meminfo: memFree=115405324/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3506056 memory=2996464 CPUtime=3093.73 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 435533 0 0 0 308368 1005 0 0 20 0 1 0 199179451 3590201344 749116 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 876514 749116 4188 3002 0 860263 0
Current children cumulated CPU time: 3093.73 s
Current children cumulated vsize: 3506056 KiB
Current children cumulated memory: 2996464 KiB

[startup+3162.3 s]
/proc/loadavg: 4.21 4.16 4.08 7/259 1064082
/proc/meminfo: memFree=115396312/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3506056 memory=2996464 CPUtime=3153.57 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 436835 0 0 0 314330 1027 0 0 20 0 1 0 199179451 3590201344 749116 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 876514 749116 4188 3002 0 860263 0
Current children cumulated CPU time: 3153.57 s
Current children cumulated vsize: 3506056 KiB
Current children cumulated memory: 2996464 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.08 7/259 1064104
/proc/meminfo: memFree=115387056/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3506056 memory=3004656 CPUtime=3213.41 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 437922 0 0 0 320298 1043 0 0 20 0 1 0 199179451 3590201344 751164 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 876514 751164 4188 3002 0 860263 0
Current children cumulated CPU time: 3213.41 s
Current children cumulated vsize: 3506056 KiB
Current children cumulated memory: 3004656 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.08 7/259 1064115
/proc/meminfo: memFree=115386112/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3506056 memory=3004656 CPUtime=3273.24 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 438948 0 0 0 326260 1064 0 0 20 0 1 0 199179451 3590201344 751164 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 876514 751164 4188 3002 0 860263 0
Current children cumulated CPU time: 3273.24 s
Current children cumulated vsize: 3506056 KiB
Current children cumulated memory: 3004656 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.09 7/257 1064126
/proc/meminfo: memFree=115352532/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3506056 memory=3004656 CPUtime=3333.08 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 440154 0 0 0 332227 1081 0 0 20 0 1 0 199179451 3590201344 751164 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 876514 751164 4188 3002 0 860263 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 3506056 KiB
Current children cumulated memory: 3004656 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.12 4.09 7/257 1064138
/proc/meminfo: memFree=115322916/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3506056 memory=3033328 CPUtime=3392.92 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 441314 0 0 0 338198 1094 0 0 20 0 1 0 199179451 3590201344 758332 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 876514 758332 4188 3002 0 860263 0
Current children cumulated CPU time: 3392.92 s
Current children cumulated vsize: 3506056 KiB
Current children cumulated memory: 3033328 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 7/254 1064148
/proc/meminfo: memFree=115321292/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3506056 memory=3033328 CPUtime=3452.76 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 442680 0 0 0 344173 1103 0 0 20 0 1 0 199179451 3590201344 758332 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 876514 758332 4188 3002 0 860263 0
Current children cumulated CPU time: 3452.76 s
Current children cumulated vsize: 3506056 KiB
Current children cumulated memory: 3033328 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 7/254 1064158
/proc/meminfo: memFree=115320424/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3506056 memory=3033328 CPUtime=3512.61 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 444149 0 0 0 350146 1115 0 0 20 0 1 0 199179451 3590201344 758332 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 876514 758332 4188 3002 0 860263 0
Current children cumulated CPU time: 3512.61 s
Current children cumulated vsize: 3506056 KiB
Current children cumulated memory: 3033328 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.09 7/254 1064170
/proc/meminfo: memFree=115289100/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3506056 memory=3064048 CPUtime=3572.46 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 445442 0 0 0 356112 1134 0 0 20 0 1 0 199179451 3590201344 766012 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 876514 766012 4188 3002 0 860263 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 3506056 KiB
Current children cumulated memory: 3064048 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.11 4.12 4.09 7/254 1064174
/proc/meminfo: memFree=115288624/131524600 swapFree=131071996/131071996
[pid=1062273] ppid=1062262 vsize=3506056 memory=3064048 CPUtime=3600.09 cores=4,6
/proc/1062273/stat : 1062273 (mixed-bag) R 1062262 1062273 1062211 0 -1 4194304 445830 0 0 0 358870 1139 0 0 20 0 1 0 199179451 3590201344 766012 134679101440 4194304 16488053 140729513150432 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18731784 18742840 41840640 140729513153557 140729513153634 140729513153634 140729513160651 0
/proc/1062273/statm: 876514 766012 4188 3002 0 860263 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 3506056 KiB
Current children cumulated memory: 3064048 KiB

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

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

# cumulated CPU time of all completed processes:  user=3588.72 s, system=11.4012 s

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

Child status: 0

Real time (s): 3610.02
CPU time (s): 3600.12
CPU user time (s): 3588.72
CPU system time (s): 11.4012
CPU usage (%): 99.7256
Max. virtual memory (cumulated for all children) (KiB): 4287860
Max. memory (cumulated for all children) (KiB): 3700212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.71
system time used= 11.4012
maximum resident set size= 3703532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 445870
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= 249
involuntary context switches= 1365


# summary of solver processes directly reported to runsolver:
#   pid: 1062273
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3588.72
#   total CPU system time (s): 11.4012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.79846 second user time and 19.688 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2024-07-20 12:08:18
IDJOB=4454729
IDBENCH=147565
IDSOLVER=3083
FILE ID=nodeC035/4454729-1721470086
RUNJOBID= nodeC035-1721470098-1062222
SLURM_JOB_ID= 7545732
Free space on /tmp= 889984 MiB

SOLVER NAME= mixed-bag 2024-07-19
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454729-1721470086/watcher-4454729-1721470086 -o /tmp/evaluation-result-4454729-1721470086/solver-4454729-1721470086 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1721470098-1062222 --watchdog 3760  mixed-bag HOME/instance-4454729-1721470086.opb

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

MD5SUM BENCH= 41281aaad41c07f4dcd6eb689ad0db2a
RANDOM SEED=780360440

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125780764 kB
MemAvailable:   129638076 kB
Buffers:          575916 kB
Cached:          4085848 kB
SwapCached:            0 kB
Active:          1085760 kB
Inactive:        3949844 kB
Active(anon):       1444 kB
Inactive(anon):   419016 kB
Active(file):    1084316 kB
Inactive(file):  3530828 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            141852 kB
Writeback:            12 kB
AnonPages:        372552 kB
Mapped:           107600 kB
Shmem:             45916 kB
KReclaimable:     163980 kB
Slab:             284288 kB
SReclaimable:     163980 kB
SUnreclaim:       120308 kB
KernelStack:        3808 kB
PageTables:         9180 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     822232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            74464 kB
HardwareCorrupted:     0 kB
AnonHugePages:    247808 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:      209620 kB
DirectMap2M:    19486720 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 889956 MiB
End job on nodeC035 at 2024-07-20 13:08:29