Trace number 4528838

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 2025-07-10? (TO) 3600.27 3610.63

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED
SCIPUB

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb
MD5SUM80f0935d0a86591f889a9638d17fdf07
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-370567
Best CPU time to get the best result obtained on this benchmark7882.2
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 32076
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 94230312
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 94230312
Number of bits of the biggest sum of numbers27
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.19/0.21	c [STEP] preprocessing with Papilo
0.29/0.36	c [STEP] solving with SCIP
299.76/300.71	c [STEP] preprocessing done, loading into solver
299.87/300.80	c [STEP] solving
299.87/300.80	c #variables 36719 #constraints 37335
299.87/300.81	c SMALL=int, LARGE=long long
299.87/300.81	d SCIPUB -263691
299.87/300.81	c bounds - >= -86009006 @ 299.523
299.87/300.81	c stratification level: 6765
458.92/460.32	c bounds - >= -15172135 @ 300.382
458.92/460.32	c bounds - >= -14776320 @ 300.391
458.92/460.32	c bounds - >= -14475888 @ 300.393
458.92/460.32	c bounds - >= -14107960 @ 300.395
458.92/460.32	c bounds - >= -14066176 @ 300.398
458.92/460.32	c bounds - >= -14059411 @ 300.4
458.92/460.32	c bounds - >= -14052215 @ 300.461
458.92/460.32	c #Conflicts:       1000 | #Constraints:      39009
458.92/460.32	c #Conflicts:       2000 | #Constraints:      40009
458.92/460.32	c INPROCESSING
458.92/460.32	c GARBAGE COLLECT
458.92/460.32	c #Conflicts:       3000 | #Constraints:      38323
458.92/460.32	c #Conflicts:       4000 | #Constraints:      39323
458.92/460.32	c INPROCESSING
458.92/460.32	c GARBAGE COLLECT
458.92/460.32	c #Conflicts:       5000 | #Constraints:      38773
458.92/460.32	c #Conflicts:       6000 | #Constraints:      39773
458.92/460.32	c INPROCESSING
458.92/460.32	c GARBAGE COLLECT
458.92/460.32	c #Conflicts:       7000 | #Constraints:      38825
458.92/460.32	c #Conflicts:       8000 | #Constraints:      39825
458.92/460.32	c #Conflicts:       9000 | #Constraints:      40825
458.92/460.32	c INPROCESSING
458.92/460.32	c GARBAGE COLLECT
458.92/460.32	c #Conflicts:      10000 | #Constraints:      39574
458.92/460.32	c #Conflicts:      11000 | #Constraints:      40574
458.92/460.32	c #Conflicts:      12000 | #Constraints:      41574
458.92/460.32	c INPROCESSING
458.92/460.32	c GARBAGE COLLECT
458.92/460.32	c #Conflicts:      13000 | #Constraints:      40047
458.92/460.32	c #Conflicts:      14000 | #Constraints:      41047
458.92/460.32	c #Conflicts:      15000 | #Constraints:      42047
458.92/460.32	c INPROCESSING
458.92/460.32	c GARBAGE COLLECT
458.92/460.32	c #Conflicts:      16000 | #Constraints:      40293
458.92/460.32	c #Conflicts:      17000 | #Constraints:      41293
458.92/460.32	c #Conflicts:      18000 | #Constraints:      42293
458.92/460.32	c INPROCESSING
458.92/460.32	c GARBAGE COLLECT
458.92/460.32	c #Conflicts:      19000 | #Constraints:      40340
458.92/460.32	c #Conflicts:      20000 | #Constraints:      41340
458.92/460.32	c #Conflicts:      21000 | #Constraints:      42340
458.92/460.32	c INPROCESSING
458.92/460.32	c GARBAGE COLLECT
458.92/460.32	c #Conflicts:      22000 | #Constraints:      40198
458.92/460.32	c #Conflicts:      23000 | #Constraints:      41198
458.92/460.32	c #Conflicts:      24000 | #Constraints:      42198
458.92/460.32	c #Conflicts:      25000 | #Constraints:      43198
458.92/460.32	c INPROCESSING
458.92/460.32	c GARBAGE COLLECT
458.92/460.32	c #Conflicts:      26000 | #Constraints:      40834
458.92/460.32	c #Conflicts:      27000 | #Constraints:      41834
458.92/460.32	c #Conflicts:      28000 | #Constraints:      42834
458.92/460.32	c #Conflicts:      29000 | #Constraints:      43834
458.92/460.32	c #Conflicts:      30000 | #Constraints:      44834
458.92/460.32	c #Conflicts:      31000 | #Constraints:      45834
458.92/460.32	c #Conflicts:      32000 | #Constraints:      46834
458.92/460.32	c #Conflicts:      33000 | #Constraints:      47834
458.92/460.32	c #Conflicts:      34000 | #Constraints:      48834
458.92/460.32	c #Conflicts:      35000 | #Constraints:      49834
458.92/460.32	c #Conflicts:      36000 | #Constraints:      50834
458.92/460.32	c #Conflicts:      37000 | #Constraints:      51834
458.92/460.32	c #Conflicts:      38000 | #Constraints:      52834
458.92/460.32	c INPROCESSING
458.92/460.32	c GARBAGE COLLECT
458.92/460.32	c #Conflicts:      39000 | #Constraints:      45778
458.92/460.32	c #Conflicts:      40000 | #Constraints:      46778
458.92/460.32	c #Conflicts:      41000 | #Constraints:      47778
458.92/460.32	c #Conflicts:      42000 | #Constraints:      48778
458.92/460.32	c INPROCESSING
458.92/460.32	c GARBAGE COLLECT
458.92/460.32	c #Conflicts:      43000 | #Constraints:      43305
458.92/460.32	c #Conflicts:      44000 | #Constraints:      44305
458.92/460.32	c #Conflicts:      45000 | #Constraints:      45305
458.92/460.32	c #Conflicts:      46000 | #Constraints:      46305
458.92/460.32	c #Conflicts:      47000 | #Constraints:      47305
458.92/460.32	c #Conflicts:      48000 | #Constraints:      48305
458.92/460.32	c INPROCESSING
458.92/460.32	c GARBAGE COLLECT
458.92/460.32	c #Conflicts:      49000 | #Constraints:      43504
458.92/460.32	c #Conflicts:      50000 | #Constraints:      44504
458.92/460.32	c #Conflicts:      51000 | #Constraints:      45504
458.92/460.32	c #Conflicts:      52000 | #Constraints:      46504
458.92/460.32	c #Conflicts:      53000 | #Constraints:      47504
458.92/460.32	c INPROCESSING
458.92/460.32	c GARBAGE COLLECT
458.92/460.32	c #Conflicts:      54000 | #Constraints:      42992
458.92/460.32	c #Conflicts:      55000 | #Constraints:      43992
458.92/460.32	c #Conflicts:      56000 | #Constraints:      44992
458.92/460.32	c #Conflicts:      57000 | #Constraints:      45992
458.92/460.32	c #Conflicts:      58000 | #Constraints:      46992
458.92/460.32	c INPROCESSING
458.92/460.32	c GARBAGE COLLECT
458.92/460.32	c #Conflicts:      59000 | #Constraints:      42515
458.92/460.32	c #Conflicts:      60000 | #Constraints:      43515
458.92/460.32	c #Conflicts:      61000 | #Constraints:      44515
458.92/460.32	c #Conflicts:      62000 | #Constraints:      45515
458.92/460.32	c #Conflicts:      63000 | #Constraints:      46515
458.92/460.32	c #Conflicts:      64000 | #Constraints:      47515
458.92/460.32	c #Conflicts:      65000 | #Constraints:      48515
458.92/460.32	c #Conflicts:      66000 | #Constraints:      49515
1225.28/1228.73	c #Conflicts:      67000 | #Constraints:      50515
1225.28/1228.73	c #Conflicts:      68000 | #Constraints:      51515
1225.28/1228.73	c #Conflicts:      69000 | #Constraints:      52515
1225.28/1228.73	c #Conflicts:      70000 | #Constraints:      53515
1225.28/1228.73	c #Conflicts:      71000 | #Constraints:      54515
1225.28/1228.73	c #Conflicts:      72000 | #Constraints:      55515
1225.28/1228.73	c #Conflicts:      73000 | #Constraints:      56515
1225.28/1228.73	c #Conflicts:      74000 | #Constraints:      57515
1225.28/1228.73	c #Conflicts:      75000 | #Constraints:      58515
1225.28/1228.73	c #Conflicts:      76000 | #Constraints:      59515
1225.28/1228.73	c #Conflicts:      77000 | #Constraints:      60515
1225.28/1228.73	c #Conflicts:      78000 | #Constraints:      61515
1225.28/1228.73	c INPROCESSING
1225.28/1228.73	c GARBAGE COLLECT
1225.28/1228.73	c #Conflicts:      79000 | #Constraints:      50157
1225.28/1228.73	c #Conflicts:      80000 | #Constraints:      51157
1225.28/1228.73	c #Conflicts:      81000 | #Constraints:      52157
1225.28/1228.73	c #Conflicts:      82000 | #Constraints:      53157
1225.28/1228.73	c #Conflicts:      83000 | #Constraints:      54157
1225.28/1228.73	c #Conflicts:      84000 | #Constraints:      55157
1225.28/1228.73	c INPROCESSING
1225.28/1228.73	c GARBAGE COLLECT
1225.28/1228.73	c #Conflicts:      85000 | #Constraints:      46641
1225.28/1228.73	c #Conflicts:      86000 | #Constraints:      47641
1225.28/1228.73	c #Conflicts:      87000 | #Constraints:      48641
1225.28/1228.73	c #Conflicts:      88000 | #Constraints:      49641
1225.28/1228.73	c #Conflicts:      89000 | #Constraints:      50641
1225.28/1228.73	c #Conflicts:      90000 | #Constraints:      51641
1225.28/1228.73	c #Conflicts:      91000 | #Constraints:      52641
1225.28/1228.73	c INPROCESSING
1225.28/1228.73	c GARBAGE COLLECT
1225.28/1228.73	c #Conflicts:      92000 | #Constraints:      45362
1225.28/1228.73	c #Conflicts:      93000 | #Constraints:      46362
1225.28/1228.73	c #Conflicts:      94000 | #Constraints:      47362
1225.28/1228.73	c #Conflicts:      95000 | #Constraints:      48362
1225.28/1228.73	c #Conflicts:      96000 | #Constraints:      49362
1225.28/1228.73	c #Conflicts:      97000 | #Constraints:      50362
1225.28/1228.73	c #Conflicts:      98000 | #Constraints:      51362
1225.28/1228.73	c #Conflicts:      99000 | #Constraints:      52362
1225.28/1228.73	c INPROCESSING
1225.28/1228.73	c GARBAGE COLLECT
1225.28/1228.73	c #Conflicts:     100000 | #Constraints:      45559
1225.28/1228.73	c #Conflicts:     101000 | #Constraints:      46559
1225.28/1228.73	c #Conflicts:     102000 | #Constraints:      47559
1225.28/1228.73	c #Conflicts:     103000 | #Constraints:      48559
1225.28/1228.73	c #Conflicts:     104000 | #Constraints:      49559
1225.28/1228.73	c #Conflicts:     105000 | #Constraints:      50559
1225.28/1228.73	c #Conflicts:     106000 | #Constraints:      51559
1225.28/1228.73	c INPROCESSING
1225.28/1228.73	c GARBAGE COLLECT
1225.28/1228.73	c #Conflicts:     107000 | #Constraints:      45002
1225.28/1228.73	c #Conflicts:     108000 | #Constraints:      46002
1225.28/1228.73	c #Conflicts:     109000 | #Constraints:      47002
1225.28/1228.73	c #Conflicts:     110000 | #Constraints:      48002
1225.28/1228.73	c #Conflicts:     111000 | #Constraints:      49002
1225.28/1228.73	c #Conflicts:     112000 | #Constraints:      50002
1225.28/1228.73	c #Conflicts:     113000 | #Constraints:      51002
1225.28/1228.73	c #Conflicts:     114000 | #Constraints:      52002
1225.28/1228.73	c INPROCESSING
1225.28/1228.73	c GARBAGE COLLECT
1225.28/1228.73	c #Conflicts:     115000 | #Constraints:      45498
1225.28/1228.73	c #Conflicts:     116000 | #Constraints:      46498
1225.28/1228.73	c #Conflicts:     117000 | #Constraints:      47498
1225.28/1228.73	c #Conflicts:     118000 | #Constraints:      48498
1225.28/1228.73	c #Conflicts:     119000 | #Constraints:      49498
1225.28/1228.73	c #Conflicts:     120000 | #Constraints:      50498
1225.28/1228.73	c #Conflicts:     121000 | #Constraints:      51498
1225.28/1228.73	c #Conflicts:     122000 | #Constraints:      52498
1225.28/1228.73	c #Conflicts:     123000 | #Constraints:      53498
1225.28/1228.73	c #Conflicts:     124000 | #Constraints:      54498
1225.28/1228.73	c #Conflicts:     125000 | #Constraints:      55498
1225.28/1228.73	c #Conflicts:     126000 | #Constraints:      56498
1225.28/1228.73	c #Conflicts:     127000 | #Constraints:      57498
1225.28/1228.73	c #Conflicts:     128000 | #Constraints:      58498
1225.28/1228.73	c #Conflicts:     129000 | #Constraints:      59498
1225.28/1228.73	c #Conflicts:     130000 | #Constraints:      60498
1225.28/1228.73	c #Conflicts:     131000 | #Constraints:      61498
1225.28/1228.73	c #Conflicts:     132000 | #Constraints:      62498
1225.28/1228.73	c #Conflicts:     133000 | #Constraints:      63498
1225.28/1228.73	c #Conflicts:     134000 | #Constraints:      64498
1225.28/1228.73	c #Conflicts:     135000 | #Constraints:      65498
1225.28/1228.73	c #Conflicts:     136000 | #Constraints:      66498
1225.28/1228.73	c #Conflicts:     137000 | #Constraints:      67498
1225.28/1228.73	c #Conflicts:     138000 | #Constraints:      68498
1225.28/1228.73	c #Conflicts:     139000 | #Constraints:      69498
1225.28/1228.73	c #Conflicts:     140000 | #Constraints:      70498
1225.28/1228.73	c INPROCESSING
1225.28/1228.73	c GARBAGE COLLECT
2055.59/2061.21	c #Conflicts:     141000 | #Constraints:      54359
2055.59/2061.21	c #Conflicts:     142000 | #Constraints:      55359
2055.59/2061.21	c #Conflicts:     143000 | #Constraints:      56359
2055.59/2061.21	c #Conflicts:     144000 | #Constraints:      57359
2055.59/2061.21	c #Conflicts:     145000 | #Constraints:      58359
2055.59/2061.21	c #Conflicts:     146000 | #Constraints:      59359
2055.59/2061.21	c #Conflicts:     147000 | #Constraints:      60359
2055.59/2061.21	c #Conflicts:     148000 | #Constraints:      61359
2055.59/2061.21	c #Conflicts:     149000 | #Constraints:      62359
2055.59/2061.21	c INPROCESSING
2055.59/2061.21	c GARBAGE COLLECT
2055.59/2061.21	c #Conflicts:     150000 | #Constraints:      50333
2055.59/2061.21	c #Conflicts:     151000 | #Constraints:      51333
2055.59/2061.21	c #Conflicts:     152000 | #Constraints:      52333
2055.59/2061.21	c #Conflicts:     153000 | #Constraints:      53333
2055.59/2061.21	c #Conflicts:     154000 | #Constraints:      54333
2055.59/2061.21	c #Conflicts:     155000 | #Constraints:      55333
2055.59/2061.21	c #Conflicts:     156000 | #Constraints:      56333
2055.59/2061.21	c #Conflicts:     157000 | #Constraints:      57333
2055.59/2061.21	c #Conflicts:     158000 | #Constraints:      58333
2055.59/2061.21	c INPROCESSING
2055.59/2061.21	c GARBAGE COLLECT
2055.59/2061.21	c #Conflicts:     159000 | #Constraints:      48333
2055.59/2061.21	c #Conflicts:     160000 | #Constraints:      49333
2055.59/2061.21	c #Conflicts:     161000 | #Constraints:      50333
2055.59/2061.21	c #Conflicts:     162000 | #Constraints:      51333
2055.59/2061.21	c #Conflicts:     163000 | #Constraints:      52333
2055.59/2061.21	c #Conflicts:     164000 | #Constraints:      53333
2055.59/2061.21	c #Conflicts:     165000 | #Constraints:      54333
2055.59/2061.21	c #Conflicts:     166000 | #Constraints:      55333
2055.59/2061.21	c #Conflicts:     167000 | #Constraints:      56333
2055.59/2061.21	c #Conflicts:     168000 | #Constraints:      57333
2055.59/2061.21	c INPROCESSING
2055.59/2061.21	c GARBAGE COLLECT
2055.59/2061.21	c #Conflicts:     169000 | #Constraints:      48196
2055.59/2061.21	c #Conflicts:     170000 | #Constraints:      49196
2055.59/2061.21	c #Conflicts:     171000 | #Constraints:      50196
2055.59/2061.21	c #Conflicts:     172000 | #Constraints:      51196
2055.59/2061.21	c #Conflicts:     173000 | #Constraints:      52196
2055.59/2061.21	c #Conflicts:     174000 | #Constraints:      53196
2055.59/2061.21	c #Conflicts:     175000 | #Constraints:      54196
2055.59/2061.21	c #Conflicts:     176000 | #Constraints:      55196
2055.59/2061.21	c #Conflicts:     177000 | #Constraints:      56196
2055.59/2061.21	c INPROCESSING
2055.59/2061.21	c GARBAGE COLLECT
2055.59/2061.21	c #Conflicts:     178000 | #Constraints:      47300
2055.59/2061.21	c #Conflicts:     179000 | #Constraints:      48300
2055.59/2061.21	c #Conflicts:     180000 | #Constraints:      49300
2055.59/2061.21	c #Conflicts:     181000 | #Constraints:      50300
2055.59/2061.21	c #Conflicts:     182000 | #Constraints:      51300
2055.59/2061.21	c #Conflicts:     183000 | #Constraints:      52300
2055.59/2061.21	c #Conflicts:     184000 | #Constraints:      53300
2055.59/2061.21	c #Conflicts:     185000 | #Constraints:      54300
2055.59/2061.21	c #Conflicts:     186000 | #Constraints:      55300
2055.59/2061.21	c #Conflicts:     187000 | #Constraints:      56300
2055.59/2061.21	c INPROCESSING
2055.59/2061.21	c GARBAGE COLLECT
2055.59/2061.21	c #Conflicts:     188000 | #Constraints:      47621
2055.59/2061.21	c #Conflicts:     189000 | #Constraints:      48621
2055.59/2061.21	c #Conflicts:     190000 | #Constraints:      49621
2055.59/2061.21	c #Conflicts:     191000 | #Constraints:      50621
2055.59/2061.21	c #Conflicts:     192000 | #Constraints:      51621
2055.59/2061.21	c #Conflicts:     193000 | #Constraints:      52621
2055.59/2061.21	c #Conflicts:     194000 | #Constraints:      53621
2055.59/2061.21	c #Conflicts:     195000 | #Constraints:      54621
2055.59/2061.21	c #Conflicts:     196000 | #Constraints:      55621
2055.59/2061.21	c #Conflicts:     197000 | #Constraints:      56621
2055.59/2061.21	c INPROCESSING
2055.59/2061.21	c GARBAGE COLLECT
2055.59/2061.21	c #Conflicts:     198000 | #Constraints:      47714
2055.59/2061.21	c #Conflicts:     199000 | #Constraints:      48714
2055.59/2061.21	c #Conflicts:     200000 | #Constraints:      49714
2055.59/2061.21	c #Conflicts:     201000 | #Constraints:      50714
2055.59/2061.21	c #Conflicts:     202000 | #Constraints:      51714
2055.59/2061.21	c #Conflicts:     203000 | #Constraints:      52714
2055.59/2061.21	c #Conflicts:     204000 | #Constraints:      53714
2055.59/2061.21	c #Conflicts:     205000 | #Constraints:      54714
2055.59/2061.21	c #Conflicts:     206000 | #Constraints:      55714
2055.59/2061.21	c #Conflicts:     207000 | #Constraints:      56714
2055.59/2061.21	c INPROCESSING
2055.59/2061.21	c GARBAGE COLLECT
2055.59/2061.21	c #Conflicts:     208000 | #Constraints:      47729
2055.59/2061.21	c #Conflicts:     209000 | #Constraints:      48729
2055.59/2061.21	c #Conflicts:     210000 | #Constraints:      49729
2055.59/2061.21	c #Conflicts:     211000 | #Constraints:      50729
2055.59/2061.21	c #Conflicts:     212000 | #Constraints:      51729
2055.59/2061.21	c #Conflicts:     213000 | #Constraints:      52729
2055.59/2061.21	c #Conflicts:     214000 | #Constraints:      53729
3256.27/3265.65	c #Conflicts:     215000 | #Constraints:      54729
3256.27/3265.65	c #Conflicts:     216000 | #Constraints:      55729
3256.27/3265.65	c #Conflicts:     217000 | #Constraints:      56729
3256.27/3265.65	c #Conflicts:     218000 | #Constraints:      57729
3256.27/3265.65	c #Conflicts:     219000 | #Constraints:      58729
3256.27/3265.65	c #Conflicts:     220000 | #Constraints:      59729
3256.27/3265.65	c #Conflicts:     221000 | #Constraints:      60729
3256.27/3265.65	c #Conflicts:     222000 | #Constraints:      61729
3256.27/3265.65	c #Conflicts:     223000 | #Constraints:      62729
3256.27/3265.65	c #Conflicts:     224000 | #Constraints:      63729
3256.27/3265.65	c #Conflicts:     225000 | #Constraints:      64729
3256.27/3265.65	c #Conflicts:     226000 | #Constraints:      65729
3256.27/3265.65	c #Conflicts:     227000 | #Constraints:      66729
3256.27/3265.65	c #Conflicts:     228000 | #Constraints:      67729
3256.27/3265.65	c #Conflicts:     229000 | #Constraints:      68729
3256.27/3265.65	c #Conflicts:     230000 | #Constraints:      69729
3256.27/3265.65	c #Conflicts:     231000 | #Constraints:      70729
3256.27/3265.65	c #Conflicts:     232000 | #Constraints:      71729
3256.27/3265.65	c #Conflicts:     233000 | #Constraints:      72729
3256.27/3265.65	c #Conflicts:     234000 | #Constraints:      73729
3256.27/3265.65	c #Conflicts:     235000 | #Constraints:      74729
3256.27/3265.65	c #Conflicts:     236000 | #Constraints:      75729
3256.27/3265.65	c #Conflicts:     237000 | #Constraints:      76729
3256.27/3265.65	c #Conflicts:     238000 | #Constraints:      77729
3256.27/3265.65	c #Conflicts:     239000 | #Constraints:      78729
3256.27/3265.65	c #Conflicts:     240000 | #Constraints:      79729
3256.27/3265.65	c #Conflicts:     241000 | #Constraints:      80729
3256.27/3265.65	c #Conflicts:     242000 | #Constraints:      81729
3256.27/3265.65	c #Conflicts:     243000 | #Constraints:      82729
3256.27/3265.65	c INPROCESSING
3256.27/3265.65	c GARBAGE COLLECT
3256.27/3265.65	c #Conflicts:     244000 | #Constraints:      60626
3256.27/3265.65	c #Conflicts:     245000 | #Constraints:      61626
3256.27/3265.65	c #Conflicts:     246000 | #Constraints:      62626
3256.27/3265.65	c #Conflicts:     247000 | #Constraints:      63626
3256.27/3265.65	c #Conflicts:     248000 | #Constraints:      64626
3256.27/3265.65	c #Conflicts:     249000 | #Constraints:      65626
3256.27/3265.65	c #Conflicts:     250000 | #Constraints:      66626
3256.27/3265.65	c #Conflicts:     251000 | #Constraints:      67626
3256.27/3265.65	c #Conflicts:     252000 | #Constraints:      68626
3256.27/3265.65	c #Conflicts:     253000 | #Constraints:      69626
3256.27/3265.65	c #Conflicts:     254000 | #Constraints:      70626
3256.27/3265.65	c #Conflicts:     255000 | #Constraints:      71626
3256.27/3265.65	c INPROCESSING
3256.27/3265.65	c GARBAGE COLLECT
3256.27/3265.65	c #Conflicts:     256000 | #Constraints:      55334
3256.27/3265.65	c #Conflicts:     257000 | #Constraints:      56334
3256.27/3265.65	c #Conflicts:     258000 | #Constraints:      57334
3256.27/3265.65	c #Conflicts:     259000 | #Constraints:      58334
3256.27/3265.65	c #Conflicts:     260000 | #Constraints:      59334
3256.27/3265.65	c #Conflicts:     261000 | #Constraints:      60334
3256.27/3265.65	c #Conflicts:     262000 | #Constraints:      61334
3256.27/3265.65	c #Conflicts:     263000 | #Constraints:      62334
3256.27/3265.65	c #Conflicts:     264000 | #Constraints:      63334
3256.27/3265.65	c #Conflicts:     265000 | #Constraints:      64334
3256.27/3265.65	c #Conflicts:     266000 | #Constraints:      65334
3256.27/3265.65	c INPROCESSING
3256.27/3265.65	c GARBAGE COLLECT
3256.27/3265.65	c #Conflicts:     267000 | #Constraints:      51953
3256.27/3265.65	c #Conflicts:     268000 | #Constraints:      52953
3256.27/3265.65	c #Conflicts:     269000 | #Constraints:      53953
3256.27/3265.65	c #Conflicts:     270000 | #Constraints:      54953
3256.27/3265.65	c #Conflicts:     271000 | #Constraints:      55953
3256.27/3265.65	c #Conflicts:     272000 | #Constraints:      56953
3256.27/3265.65	c #Conflicts:     273000 | #Constraints:      57953
3256.27/3265.65	c #Conflicts:     274000 | #Constraints:      58953
3256.27/3265.65	c #Conflicts:     275000 | #Constraints:      59953
3256.27/3265.65	c #Conflicts:     276000 | #Constraints:      60953
3256.27/3265.65	c #Conflicts:     277000 | #Constraints:      61953
3256.27/3265.65	c #Conflicts:     278000 | #Constraints:      62953
3256.27/3265.65	c INPROCESSING
3256.27/3265.65	c GARBAGE COLLECT
3256.27/3265.65	c #Conflicts:     279000 | #Constraints:      50912
3256.27/3265.65	c #Conflicts:     280000 | #Constraints:      51912
3256.27/3265.65	c #Conflicts:     281000 | #Constraints:      52912
3256.27/3265.65	c #Conflicts:     282000 | #Constraints:      53912
3256.27/3265.65	c #Conflicts:     283000 | #Constraints:      54912
3256.27/3265.65	c #Conflicts:     284000 | #Constraints:      55912
3256.27/3265.65	c #Conflicts:     285000 | #Constraints:      56912
3256.27/3265.65	c #Conflicts:     286000 | #Constraints:      57912
3256.27/3265.65	c #Conflicts:     287000 | #Constraints:      58912
3256.27/3265.65	c #Conflicts:     288000 | #Constraints:      59912
3256.27/3265.65	c #Conflicts:     289000 | #Constraints:      60912
3256.27/3265.65	c #Conflicts:     290000 | #Constraints:      61912
3256.27/3265.65	c INPROCESSING
3600.13/3610.56	c GARBAGE COLLECT
3600.13/3610.56	c #Conflicts:     291000 | #Constraints:      50288
3600.13/3610.56	c #Conflicts:     292000 | #Constraints:      51288
3600.13/3610.56	c #Conflicts:     293000 | #Constraints:      52288
3600.13/3610.56	c #Conflicts:     294000 | #Constraints:      53288
3600.13/3610.56	c #Conflicts:     295000 | #Constraints:      54288
3600.13/3610.56	c #Conflicts:     296000 | #Constraints:      55288
3600.13/3610.56	c #Conflicts:     297000 | #Constraints:      56288
3600.13/3610.56	c #Conflicts:     298000 | #Constraints:      57288
3600.13/3610.56	c #Conflicts:     299000 | #Constraints:      58288
3600.13/3610.56	c #Conflicts:     300000 | #Constraints:      59288
3600.13/3610.56	c #Conflicts:     301000 | #Constraints:      60288
3600.13/3610.56	c #Conflicts:     302000 | #Constraints:      61288
3600.13/3610.56	c INPROCESSING
3600.13/3610.56	c GARBAGE COLLECT
3600.13/3610.56	c #Conflicts:     303000 | #Constraints:      49865
3600.13/3610.56	c #Conflicts:     304000 | #Constraints:      50865
3600.13/3610.56	c #Conflicts:     305000 | #Constraints:      51865
3600.13/3610.56	c #Conflicts:     306000 | #Constraints:      52865
3600.13/3610.56	c #Conflicts:     307000 | #Constraints:      53865
3600.13/3610.56	c #Conflicts:     308000 | #Constraints:      54865
3600.13/3610.56	c #Conflicts:     309000 | #Constraints:      55865
3600.13/3610.56	c #Conflicts:     310000 | #Constraints:      56865
3600.13/3610.56	c #Conflicts:     311000 | #Constraints:      57865
3600.13/3610.56	c #Conflicts:     312000 | #Constraints:      58865
3600.13/3610.56	c #Conflicts:     313000 | #Constraints:      59865
3600.13/3610.56	c #Conflicts:     314000 | #Constraints:      60865
3600.13/3610.56	c #Conflicts:     315000 | #Constraints:      61865
3600.13/3610.56	c INPROCESSING
3600.13/3610.56	c GARBAGE COLLECT
3600.13/3610.56	c #Conflicts:     316000 | #Constraints:      50456
3600.13/3610.56	c #Conflicts:     317000 | #Constraints:      51456
3600.13/3610.56	c #Conflicts:     318000 | #Constraints:      52456
3600.13/3610.56	c #Conflicts:     319000 | #Constraints:      53456
3600.13/3610.56	c Program interrupted by user.
3600.13/3610.56	c cpu time 3592.5 s
3600.13/3610.56	c deterministic time 166224981779 1.66e+11
3600.13/3610.56	c optimization time 35.4706 s
3600.13/3610.56	c total solve time 3257.51 s
3600.13/3610.56	c core-guided solve time 3257.51 s
3600.13/3610.56	c propagation time 1110.72 s
3600.13/3610.56	c conflict analysis time 2081.24 s
3600.13/3610.56	c propagations 1068419474
3600.13/3610.56	c resolve steps 16128400
3600.13/3610.56	c decisions 6832316
3600.13/3610.56	c conflicts 319478
3600.13/3610.56	c restarts 764
3600.13/3610.56	c inprocessing phases 35
3600.13/3610.56	c input clauses 37450
3600.13/3610.56	c input cardinalities 551
3600.13/3610.56	c input general constraints 9
3600.13/3610.56	c input average constraint length 11.89
3600.13/3610.56	c input average constraint degree 13126.06
3600.13/3610.56	c learned clauses 163155
3600.13/3610.56	c learned cardinalities 12343
3600.13/3610.56	c learned general constraints 143979
3600.13/3610.56	c learned average constraint length 4152.20
3600.13/3610.56	c learned average constraint degree 19466608.12
3600.13/3610.56	c watched constraints 87103
3600.13/3610.56	c counting constraints 56885
3600.13/3610.56	c gcd simplifications 1736
3600.13/3610.56	c detected cardinalities 416
3600.13/3610.56	c weakened non-implied lits 813322140
3600.13/3610.56	c weakened non-implying lits 135626
3600.13/3610.56	c original variables 40451
3600.13/3610.56	c clausal propagations 650879221
3600.13/3610.56	c cardinality propagations 55867310
3600.13/3610.56	c watched propagations 15553920
3600.13/3610.56	c counting propagations 342406155
3600.13/3610.56	c watch lookups 16528716733
3600.13/3610.56	c watch backjump lookups 15169106918
3600.13/3610.56	c watch checks 89084481718
3600.13/3610.56	c propagation checks 37225033885
3600.13/3610.56	c constraint additions 6066851935
3600.13/3610.56	c trail pops 1075538799
3600.13/3610.56	c formula constraints 37335
3600.13/3610.56	c learned constraints 319477
3600.13/3610.56	c bound constraints 8
3600.13/3610.56	c core-guided constraints 667
3600.13/3610.56	c encountered formula constraints 12692846
3600.13/3610.56	c encountered learned constraints 3694259
3600.13/3610.56	c encountered bound constraints 0
3600.13/3610.56	c encountered core-guided constraints 60820
3600.13/3610.56	c LP total time 0 s
3600.13/3610.56	c LP solve time 0 s
3600.13/3610.56	c LP constraints added 0
3600.13/3610.56	c LP constraints removed 0
3600.13/3610.56	c LP pivots internal 0
3600.13/3610.56	c LP pivots root 0
3600.13/3610.56	c LP calls 0
3600.13/3610.56	c LP optimalities 0
3600.13/3610.56	c LP no pivot count 0
3600.13/3610.56	c LP infeasibilities 0
3600.13/3610.56	c LP valid Farkas constraints 0
3600.13/3610.56	c LP learned Farkas constraints 0
3600.13/3610.56	c LP basis resets 0
3600.13/3610.56	c LP cycling count 0
3600.13/3610.56	c LP singular count 0
3600.13/3610.56	c LP no primal count 0
3600.13/3610.56	c LP no farkas count 0
3600.13/3610.56	c LP other issue count 0
3600.13/3610.56	c LP Gomory cuts 0
3600.13/3610.56	c LP learned cuts 0
3600.13/3610.56	c LP deleted cuts 0
3600.13/3610.56	c LP encountered Gomory constraints 0
3600.13/3610.56	c LP encountered Farkas constraints 0
3600.13/3610.56	c LP encountered learned Farkas constraints 0
3600.13/3610.56	c CG auxiliary variables introduced 620
3600.13/3610.56	c CG solutions found 0
3600.13/3610.56	c CG cores constructed 7
3600.13/3610.56	c CG core cardinality constraints returned 5
3600.13/3610.56	c CG unit cores 0
3600.13/3610.56	c CG single cores 7
3600.13/3610.56	c CG blocks removed during cardinality reduction 17
3600.13/3610.56	c CG first core best 0
3600.13/3610.56	c CG decision core best 0
3600.13/3610.56	c CG core reduction tie 0
3600.13/3610.56	c CG core degree average 25.71
3600.13/3610.56	c CG core slack average 8.14
3600.13/3610.56	c CG exhausted 0
3600.13/3610.56	c CG exhaust time 0 s
3600.13/3610.56	c CG trimmed 0
3600.13/3610.56	c CG trim time 0.000683 s
3600.13/3610.56	c CG minimized 0
3600.13/3610.56	c CG minimize time 0 s
3600.13/3610.56	c CG am1 prop time 0.20087 s
3600.13/3610.56	c CG # am1s reformulated 620
3600.13/3610.56	c CG lower bound derived from am1s 70149569
3600.13/3610.56	c CG # clausal cores 2
3600.13/3610.56	c CG # cardinality cores 5
3600.13/3610.56	c CG # pb cores 0
3600.13/3610.56	c CG # pb reforms 0
3600.13/3610.56	c CG # cores discarded because of pb reform 0
3600.13/3610.56	d LOWERBOUND -14052215
3600.13/3610.56	d NCORES 7
3600.13/3610.56	d NPBCORES 0
3600.13/3610.56	d NPBREFORM 0
3600.13/3610.56	d NTRIMMED 0
3600.13/3610.56	d NEXHAUSTED 0
3600.13/3610.56	d NAM1S 620
3600.13/3610.56	d AM1LB 70149569
3600.13/3610.56	c [Papilo Statistics]
3600.13/3610.56	c prepro time 0.150041s
3600.13/3610.56	c # tsx applied 639
3600.13/3610.56	c # tsx conflicts 0
3600.13/3610.56	c # bound changes 3731
3600.13/3610.56	c # side changes 68
3600.13/3610.56	c # coef changes 9
3600.13/3610.56	c # rounds 6
3600.13/3610.56	c # deted vars 3733
3600.13/3610.56	c # deted constrs 3680
3600.13/3610.56	c # consecutive rounds of only bound changes 0
3600.23/3610.61	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: 63708 MiB (62226 MiB free)
  memory of node 1: 64465 MiB (60946 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4528838-1752260902/watcher-4528838-1752260902 -o /tmp/evaluation-result-4528838-1752260902/solver-4528838-1752260902 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752257288-117731 --watchdog 3760 mixed-bag HOME/instance-4528838-1752260902.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=118126, runsolver pid=118123
Current StackSize limit: 8192 KiB


[startup+0.100063 s]*
/proc/loadavg: 4.11 4.12 4.10 5/259 118127
/proc/meminfo: memFree=126087732/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=93680 memory=22596 CPUtime=0.09 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 4955 0 0 0 8 1 0 0 20 0 1 0 141764747 95928320 5649 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 23420 5649 2080 2834 0 6172 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 93680 KiB
Current children cumulated memory: 22596 KiB

[startup+0.205446 s]*
/proc/loadavg: 4.11 4.12 4.10 5/259 118127
/proc/meminfo: memFree=126055600/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=125520 memory=51576 CPUtime=0.19 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 9086 0 0 0 17 2 0 0 20 0 1 0 141764747 128532480 12894 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 31380 12894 2112 2834 0 14132 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 125520 KiB
Current children cumulated memory: 51576 KiB

[startup+0.305462 s]*
/proc/loadavg: 4.11 4.12 4.10 5/259 118127
/proc/meminfo: memFree=126019500/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=145000 memory=67072 CPUtime=0.29 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 12645 0 0 0 27 2 0 0 20 0 1 0 141764747 148480000 16768 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 36250 16768 2272 2834 0 18455 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 145000 KiB
Current children cumulated memory: 67072 KiB

[startup+0.700161 s]
/proc/loadavg: 4.11 4.12 4.10 5/257 118127
/proc/meminfo: memFree=125890788/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=308272 memory=232760 CPUtime=0.68 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 52786 0 0 0 59 9 0 0 20 0 1 0 141764747 315670528 58190 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 77068 58190 3968 2834 0 59273 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 308272 KiB
Current children cumulated memory: 232760 KiB

[startup+1.50012 s]
/proc/loadavg: 4.11 4.12 4.10 6/262 118137
/proc/meminfo: memFree=125607624/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=340484 memory=262024 CPUtime=1.48 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 65180 0 0 0 137 11 0 0 20 0 1 0 141764747 348655616 65506 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 85121 65506 4000 2834 0 67326 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 340484 KiB
Current children cumulated memory: 262024 KiB

[startup+3.10528 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 118137
/proc/meminfo: memFree=125415276/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=382688 memory=302832 CPUtime=3.08 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 74999 0 0 0 296 12 0 0 20 0 1 0 141764747 391872512 75708 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 95672 75708 4000 2834 0 77877 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 382688 KiB
Current children cumulated memory: 302832 KiB

[startup+6.30014 s]
/proc/loadavg: 4.10 4.12 4.09 5/262 118137
/proc/meminfo: memFree=125249400/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=382688 memory=302832 CPUtime=6.26 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 75004 0 0 0 614 12 0 0 20 0 1 0 141764747 391872512 75708 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 95672 75708 4000 2834 0 77877 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 382688 KiB
Current children cumulated memory: 302832 KiB

[startup+12.7002 s]
/proc/loadavg: 4.09 4.11 4.09 5/263 118142
/proc/meminfo: memFree=123620556/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=806156 memory=657248 CPUtime=12.65 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 159279 0 0 0 1239 26 0 0 20 0 1 0 141764747 825503744 164312 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 201539 164312 4224 2834 0 183744 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 806156 KiB
Current children cumulated memory: 657248 KiB

[startup+25.5002 s]
/proc/loadavg: 4.07 4.11 4.09 5/263 118142
/proc/meminfo: memFree=118943792/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=806156 memory=657760 CPUtime=25.41 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 159413 0 0 0 2515 26 0 0 20 0 1 0 141764747 825503744 164440 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 201539 164440 4224 2834 0 183744 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 806156 KiB
Current children cumulated memory: 657760 KiB

[startup+51.1056 s]
/proc/loadavg: 4.11 4.12 4.09 5/263 118143
/proc/meminfo: memFree=117039904/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=806156 memory=661216 CPUtime=50.94 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 160288 0 0 0 5068 26 0 0 20 0 1 0 141764747 825503744 165304 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 201539 165304 4224 2834 0 183744 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 806156 KiB
Current children cumulated memory: 661216 KiB

[startup+102.3 s]
/proc/loadavg: 4.04 4.09 4.09 5/263 118144
/proc/meminfo: memFree=116441140/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=808824 memory=661984 CPUtime=101.98 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 160469 0 0 0 10171 27 0 0 20 0 1 0 141764747 828235776 165496 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 202206 165496 4224 2834 0 184411 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 808824 KiB
Current children cumulated memory: 661984 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/263 118146
/proc/meminfo: memFree=115239024/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=846924 memory=688184 CPUtime=161.77 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 165441 0 0 0 16150 27 0 0 20 0 1 0 141764747 867250176 172046 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 211731 172046 4224 2834 0 193936 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 846924 KiB
Current children cumulated memory: 688184 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/263 118148
/proc/meminfo: memFree=115303164/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=846924 memory=688696 CPUtime=221.6 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 165589 0 0 0 22132 28 0 0 20 0 1 0 141764747 867250176 172174 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 211731 172174 4224 2834 0 193936 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 846924 KiB
Current children cumulated memory: 688696 KiB

[startup+282.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 118150
/proc/meminfo: memFree=115166168/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=970548 memory=806712 CPUtime=281.42 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 195148 0 0 0 28109 33 0 0 20 0 1 0 141764747 993841152 201678 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 242637 201678 4224 2834 0 224842 0
Current children cumulated CPU time: 281.42 s
Current children cumulated vsize: 970548 KiB
Current children cumulated memory: 806712 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.10 4.09 5/262 118242
/proc/meminfo: memFree=116445128/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=968256 memory=866560 CPUtime=341.25 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 199664 0 0 0 34043 82 0 0 20 0 1 0 141764747 991494144 216640 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 242064 216640 4384 2834 0 224269 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 968256 KiB
Current children cumulated memory: 866560 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/262 118244
/proc/meminfo: memFree=116265672/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=1099732 memory=925672 CPUtime=401.08 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 202206 0 0 0 40004 104 0 0 20 0 1 0 141764747 1126125568 231418 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 274933 231418 4384 2834 0 257138 0
Current children cumulated CPU time: 401.08 s
Current children cumulated vsize: 1099732 KiB
Current children cumulated memory: 925672 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/262 118246
/proc/meminfo: memFree=115270624/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=1099732 memory=972808 CPUtime=460.92 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 203210 0 0 0 45964 128 0 0 20 0 1 0 141764747 1126125568 243202 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 274933 243202 4384 2834 0 257138 0

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

Current children cumulated memory: 3174252 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 118360
/proc/meminfo: memFree=97086920/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=3537540 memory=3174252 CPUtime=2914.01 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 434454 0 0 0 290712 689 0 0 20 0 1 0 141764747 3622440960 793563 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 884385 793563 4384 2834 0 866590 0
Current children cumulated CPU time: 2914.01 s
Current children cumulated vsize: 3537540 KiB
Current children cumulated memory: 3174252 KiB

[startup+2982.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/263 118365
/proc/meminfo: memFree=96519368/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=3537540 memory=3174252 CPUtime=2973.82 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 434454 0 0 0 296688 694 0 0 20 0 1 0 141764747 3622440960 793563 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 884385 793563 4384 2834 0 866590 0
Current children cumulated CPU time: 2973.82 s
Current children cumulated vsize: 3537540 KiB
Current children cumulated memory: 3174252 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.10 4.09 5/263 118371
/proc/meminfo: memFree=95906016/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=3537540 memory=3174252 CPUtime=3033.64 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 434454 0 0 0 302667 697 0 0 20 0 1 0 141764747 3622440960 793563 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 884385 793563 4384 2834 0 866590 0
Current children cumulated CPU time: 3033.64 s
Current children cumulated vsize: 3537540 KiB
Current children cumulated memory: 3174252 KiB

[startup+3102.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/263 118373
/proc/meminfo: memFree=95773272/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=3537540 memory=3174252 CPUtime=3093.46 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 434923 0 0 0 308644 702 0 0 20 0 1 0 141764747 3622440960 793563 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 884385 793563 4384 2834 0 866590 0
Current children cumulated CPU time: 3093.46 s
Current children cumulated vsize: 3537540 KiB
Current children cumulated memory: 3174252 KiB

[startup+3162.3 s]
/proc/loadavg: 4.36 4.19 4.12 5/263 118386
/proc/meminfo: memFree=95771240/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=3537540 memory=3174252 CPUtime=3153.28 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 434923 0 0 0 314615 713 0 0 20 0 1 0 141764747 3622440960 793563 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 884385 793563 4384 2834 0 866590 0
Current children cumulated CPU time: 3153.28 s
Current children cumulated vsize: 3537540 KiB
Current children cumulated memory: 3174252 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.15 4.11 5/263 118388
/proc/meminfo: memFree=95772568/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=3537540 memory=3174252 CPUtime=3213.1 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 434923 0 0 0 320591 719 0 0 20 0 1 0 141764747 3622440960 793563 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 884385 793563 4384 2834 0 866590 0
Current children cumulated CPU time: 3213.1 s
Current children cumulated vsize: 3537540 KiB
Current children cumulated memory: 3174252 KiB

[startup+3282.3 s]
/proc/loadavg: 4.16 4.15 4.11 5/263 118390
/proc/meminfo: memFree=95766424/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=3537540 memory=3174252 CPUtime=3272.92 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 435390 0 0 0 326565 727 0 0 20 0 1 0 141764747 3622440960 793563 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 884385 793563 4384 2834 0 866590 0
Current children cumulated CPU time: 3272.92 s
Current children cumulated vsize: 3537540 KiB
Current children cumulated memory: 3174252 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.10 5/263 118393
/proc/meminfo: memFree=95764212/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=3537540 memory=3174252 CPUtime=3332.73 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 435392 0 0 0 332540 733 0 0 20 0 1 0 141764747 3622440960 793563 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 884385 793563 4384 2834 0 866590 0
Current children cumulated CPU time: 3332.73 s
Current children cumulated vsize: 3537540 KiB
Current children cumulated memory: 3174252 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.13 4.10 5/263 118395
/proc/meminfo: memFree=95763948/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=3537540 memory=3174252 CPUtime=3392.56 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 435392 0 0 0 338516 740 0 0 20 0 1 0 141764747 3622440960 793563 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 884385 793563 4384 2834 0 866590 0
Current children cumulated CPU time: 3392.56 s
Current children cumulated vsize: 3537540 KiB
Current children cumulated memory: 3174252 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/263 118397
/proc/meminfo: memFree=95763020/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=3537540 memory=3174252 CPUtime=3452.37 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 435392 0 0 0 344487 750 0 0 20 0 1 0 141764747 3622440960 793563 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 884385 793563 4384 2834 0 866590 0
Current children cumulated CPU time: 3452.37 s
Current children cumulated vsize: 3537540 KiB
Current children cumulated memory: 3174252 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/263 118399
/proc/meminfo: memFree=95763796/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=3537540 memory=3174252 CPUtime=3512.19 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 435861 0 0 0 350461 758 0 0 20 0 1 0 141764747 3622440960 793563 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 884385 793563 4384 2834 0 866590 0
Current children cumulated CPU time: 3512.19 s
Current children cumulated vsize: 3537540 KiB
Current children cumulated memory: 3174252 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 118403
/proc/meminfo: memFree=95764240/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=3537540 memory=3174252 CPUtime=3572.01 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 435861 0 0 0 356435 766 0 0 20 0 1 0 141764747 3622440960 793563 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 884385 793563 4384 2834 0 866590 0
Current children cumulated CPU time: 3572.01 s
Current children cumulated vsize: 3537540 KiB
Current children cumulated memory: 3174252 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.4 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 118404
/proc/meminfo: memFree=95765512/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=3537540 memory=3174252 CPUtime=3600.03 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 435861 0 0 0 359234 769 0 0 20 0 1 0 141764747 3622440960 793563 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 884385 793563 4384 2834 0 866590 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 3537540 KiB
Current children cumulated memory: 3174252 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.51 s, system=7.75138 s

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

[startup+3610.6 s]
/proc/loadavg: 4.10 4.11 4.09 5/262 118404
/proc/meminfo: memFree=95765512/131249992 swapFree=33009392/33010684
[pid=118126] ppid=118123 vsize=3296532 memory=2507556 CPUtime=3600.23 cores=1,3
/proc/118126/stat : 118126 (mixed-bag) R 118123 118126 117714 0 -1 4194304 435873 0 0 0 359251 772 0 0 20 0 1 0 141764747 3375648768 626889 18446744073709551615 4235264 15840557 140727204352112 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18047680 18058864 31440896 140727204354458 140727204354535 140727204354535 140727204360139 0
/proc/118126/statm: 824133 626889 4544 2834 0 806338 0
Current children cumulated CPU time: 3600.23 s
Current children cumulated vsize: 3296532 KiB
Current children cumulated memory: 2507556 KiB

Child status: 0

Real time (s): 3610.63
CPU time (s): 3600.27
CPU user time (s): 3592.51
CPU system time (s): 7.75138
CPU usage (%): 99.7129
Max. virtual memory (cumulated for all children) (KiB): 3537540
Max. memory (cumulated for all children) (KiB): 3174892

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.51
system time used= 7.75138
maximum resident set size= 3174892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 435890
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= 265
involuntary context switches= 2002


# summary of solver processes directly reported to runsolver:
#   pid: 118126
#   total CPU time (s): 3600.27
#   total CPU user time (s): 3592.51
#   total CPU system time (s): 7.75138

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.22757 second user time and 15.1938 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-11 21:08:22
IDJOB=4528838
IDBENCH=155767
IDSOLVER=3386
FILE ID=nodeC035/4528838-1752260902
RUNJOBID= nodeC035-1752257288-117731
SLURM_JOB_ID= 9682607
Free space on /tmp= 432600 MiB

SOLVER NAME= mixed-bag-2024 2025-07-10
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_0null20mast_rapportOE1.0_TMAX180_K67_cod1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4528838-1752260902/watcher-4528838-1752260902 -o /tmp/evaluation-result-4528838-1752260902/solver-4528838-1752260902 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1752257288-117731 --watchdog 3760  mixed-bag HOME/instance-4528838-1752260902.opb

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

MD5SUM BENCH= 80f0935d0a86591f889a9638d17fdf07
RANDOM SEED=591065357

nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.716
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3599.757
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3555.199
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3601.621
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3599.813
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3599.762
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3601.058
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
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		: 3700.000
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        126142428 kB
MemAvailable:   129174460 kB
Buffers:             664 kB
Cached:          3779716 kB
SwapCached:          332 kB
Active:           894668 kB
Inactive:        3464864 kB
Active(anon):     575824 kB
Inactive(anon):    21028 kB
Active(file):     318844 kB
Inactive(file):  3443836 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             37940 kB
Writeback:            52 kB
AnonPages:        581804 kB
Mapped:           131124 kB
Shmem:             17700 kB
KReclaimable:     217180 kB
Slab:             310760 kB
SReclaimable:     217180 kB
SUnreclaim:        93580 kB
KernelStack:        4156 kB
PageTables:         4516 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     954612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150456 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432452 MiB
End job on nodeC035 at 2025-07-11 22:08:33