Trace number 4435653

Some explanations

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

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

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

Solver answer on this benchmark

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

DiagnosticValue
AM1LB0
LOWERBOUND-108948
NAM1S0
NCORES2
NEXHAUSTED0
NPBCORES2
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-opm2-z7-s2.opb
MD5SUMd13cdfe545ae2728c47d5ad7db8600db
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-10280
Best CPU time to get the best result obtained on this benchmark345.088
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2023
Total number of constraints31798
Number of constraints which are clauses31790
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint2
Maximum length of a constraint2023
Number of terms in the objective function 1997
Biggest coefficient in the objective function 333
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 170608
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 735392
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 5003866
Number of bits of the biggest sum of numbers23
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.00/0.08	c [STEP] preprocessing with Papilo
0.08/0.12	c [STEP] solving with SCIP
297.81/300.19	c [STEP] preprocessing done, loading into solver
297.91/300.24	c [STEP] solving
297.91/300.24	c #variables 1903 #constraints 26845
297.91/300.24	c SMALL=int, LARGE=long long
297.91/300.24	c bounds - >= -109612 @ 297.842
297.91/300.24	c stratification level: 332
377.91/380.88	c bounds - >= -109280 @ 297.846
377.91/380.88	c #Conflicts:       1000 | #Constraints:      27847
377.91/380.88	c #Conflicts:       2000 | #Constraints:      28847
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:       3000 | #Constraints:      28855
377.91/380.88	c #Conflicts:       4000 | #Constraints:      29855
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:       5000 | #Constraints:      29260
377.91/380.88	c #Conflicts:       6000 | #Constraints:      30260
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:       7000 | #Constraints:      29265
377.91/380.88	c #Conflicts:       8000 | #Constraints:      30265
377.91/380.88	c #Conflicts:       9000 | #Constraints:      31265
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:      10000 | #Constraints:      29971
377.91/380.88	c #Conflicts:      11000 | #Constraints:      30971
377.91/380.88	c #Conflicts:      12000 | #Constraints:      31971
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:      13000 | #Constraints:      30421
377.91/380.88	c #Conflicts:      14000 | #Constraints:      31421
377.91/380.88	c #Conflicts:      15000 | #Constraints:      32421
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:      16000 | #Constraints:      30641
377.91/380.88	c #Conflicts:      17000 | #Constraints:      31641
377.91/380.88	c #Conflicts:      18000 | #Constraints:      32641
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:      19000 | #Constraints:      30655
377.91/380.88	c #Conflicts:      20000 | #Constraints:      31655
377.91/380.88	c #Conflicts:      21000 | #Constraints:      32655
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:      22000 | #Constraints:      30467
377.91/380.88	c #Conflicts:      23000 | #Constraints:      31467
377.91/380.88	c #Conflicts:      24000 | #Constraints:      32467
377.91/380.88	c #Conflicts:      25000 | #Constraints:      33467
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:      26000 | #Constraints:      31073
377.91/380.88	c #Conflicts:      27000 | #Constraints:      32073
377.91/380.88	c #Conflicts:      28000 | #Constraints:      33073
377.91/380.88	c #Conflicts:      29000 | #Constraints:      34073
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:      30000 | #Constraints:      31478
377.91/380.88	c #Conflicts:      31000 | #Constraints:      32478
377.91/380.88	c #Conflicts:      32000 | #Constraints:      33478
377.91/380.88	c #Conflicts:      33000 | #Constraints:      34478
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:      34000 | #Constraints:      31683
377.91/380.88	c #Conflicts:      35000 | #Constraints:      32683
377.91/380.88	c #Conflicts:      36000 | #Constraints:      33683
377.91/380.88	c #Conflicts:      37000 | #Constraints:      34683
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:      38000 | #Constraints:      31688
377.91/380.88	c #Conflicts:      39000 | #Constraints:      32688
377.91/380.88	c #Conflicts:      40000 | #Constraints:      33688
377.91/380.88	c #Conflicts:      41000 | #Constraints:      34688
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:      42000 | #Constraints:      31492
377.91/380.88	c #Conflicts:      43000 | #Constraints:      32492
377.91/380.88	c #Conflicts:      44000 | #Constraints:      33492
377.91/380.88	c #Conflicts:      45000 | #Constraints:      34492
377.91/380.88	c #Conflicts:      46000 | #Constraints:      35492
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:      47000 | #Constraints:      32093
377.91/380.88	c #Conflicts:      48000 | #Constraints:      33093
377.91/380.88	c #Conflicts:      49000 | #Constraints:      34093
377.91/380.88	c #Conflicts:      50000 | #Constraints:      35093
377.91/380.88	c #Conflicts:      51000 | #Constraints:      36093
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:      52000 | #Constraints:      32494
377.91/380.88	c #Conflicts:      53000 | #Constraints:      33494
377.91/380.88	c #Conflicts:      54000 | #Constraints:      34494
377.91/380.88	c #Conflicts:      55000 | #Constraints:      35494
377.91/380.88	c #Conflicts:      56000 | #Constraints:      36494
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:      57000 | #Constraints:      32702
377.91/380.88	c #Conflicts:      58000 | #Constraints:      33702
377.91/380.88	c #Conflicts:      59000 | #Constraints:      34702
377.91/380.88	c #Conflicts:      60000 | #Constraints:      35702
377.91/380.88	c #Conflicts:      61000 | #Constraints:      36702
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:      62000 | #Constraints:      32708
377.91/380.88	c #Conflicts:      63000 | #Constraints:      33708
377.91/380.88	c #Conflicts:      64000 | #Constraints:      34708
377.91/380.88	c #Conflicts:      65000 | #Constraints:      35708
377.91/380.88	c #Conflicts:      66000 | #Constraints:      36708
377.91/380.88	c INPROCESSING
377.91/380.88	c GARBAGE COLLECT
377.91/380.88	c #Conflicts:      67000 | #Constraints:      32524
560.56/563.94	c #Conflicts:      68000 | #Constraints:      33524
560.56/563.94	c #Conflicts:      69000 | #Constraints:      34524
560.56/563.94	c #Conflicts:      70000 | #Constraints:      35524
560.56/563.94	c #Conflicts:      71000 | #Constraints:      36524
560.56/563.94	c #Conflicts:      72000 | #Constraints:      37524
560.56/563.94	c INPROCESSING
560.56/563.94	c GARBAGE COLLECT
560.56/563.94	c #Conflicts:      73000 | #Constraints:      33125
560.56/563.94	c #Conflicts:      74000 | #Constraints:      34125
560.56/563.94	c #Conflicts:      75000 | #Constraints:      35125
560.56/563.94	c #Conflicts:      76000 | #Constraints:      36125
560.56/563.94	c #Conflicts:      77000 | #Constraints:      37125
560.56/563.94	c #Conflicts:      78000 | #Constraints:      38125
560.56/563.94	c INPROCESSING
560.56/563.94	c GARBAGE COLLECT
560.56/563.94	c #Conflicts:      79000 | #Constraints:      33533
560.56/563.94	c #Conflicts:      80000 | #Constraints:      34533
560.56/563.94	c #Conflicts:      81000 | #Constraints:      35533
560.56/563.94	c #Conflicts:      82000 | #Constraints:      36533
560.56/563.94	c #Conflicts:      83000 | #Constraints:      37533
560.56/563.94	c #Conflicts:      84000 | #Constraints:      38533
560.56/563.94	c INPROCESSING
560.56/563.94	c GARBAGE COLLECT
560.56/563.94	c #Conflicts:      85000 | #Constraints:      33747
560.56/563.94	c bounds - >= -108948 @ 406.487
560.56/563.94	c #Conflicts:      86000 | #Constraints:      34748
560.56/563.94	c #Conflicts:      87000 | #Constraints:      35748
560.56/563.94	c #Conflicts:      88000 | #Constraints:      36748
560.56/563.94	c #Conflicts:      89000 | #Constraints:      37748
560.56/563.94	c #Conflicts:      90000 | #Constraints:      38748
560.56/563.94	c INPROCESSING
560.56/563.94	c GARBAGE COLLECT
560.56/563.94	c #Conflicts:      91000 | #Constraints:      32327
560.56/563.94	c #Conflicts:      92000 | #Constraints:      33327
560.56/563.94	c #Conflicts:      93000 | #Constraints:      34327
560.56/563.94	c #Conflicts:      94000 | #Constraints:      35327
560.56/563.94	c #Conflicts:      95000 | #Constraints:      36327
560.56/563.94	c #Conflicts:      96000 | #Constraints:      37327
560.56/563.94	c INPROCESSING
560.56/563.94	c GARBAGE COLLECT
560.56/563.94	c #Conflicts:      97000 | #Constraints:      32771
560.56/563.94	c #Conflicts:      98000 | #Constraints:      33771
560.56/563.94	c #Conflicts:      99000 | #Constraints:      34771
560.56/563.94	c #Conflicts:     100000 | #Constraints:      35771
560.56/563.94	c #Conflicts:     101000 | #Constraints:      36771
560.56/563.94	c #Conflicts:     102000 | #Constraints:      37771
560.56/563.94	c #Conflicts:     103000 | #Constraints:      38771
560.56/563.94	c INPROCESSING
560.56/563.94	c GARBAGE COLLECT
560.56/563.94	c #Conflicts:     104000 | #Constraints:      33698
560.56/563.94	c #Conflicts:     105000 | #Constraints:      34698
560.56/563.94	c #Conflicts:     106000 | #Constraints:      35698
560.56/563.94	c #Conflicts:     107000 | #Constraints:      36698
560.56/563.94	c #Conflicts:     108000 | #Constraints:      37698
560.56/563.94	c #Conflicts:     109000 | #Constraints:      38698
560.56/563.94	c #Conflicts:     110000 | #Constraints:      39698
560.56/563.94	c INPROCESSING
560.56/563.94	c GARBAGE COLLECT
560.56/563.94	c #Conflicts:     111000 | #Constraints:      34262
560.56/563.94	c #Conflicts:     112000 | #Constraints:      35262
560.56/563.94	c #Conflicts:     113000 | #Constraints:      36262
560.56/563.94	c #Conflicts:     114000 | #Constraints:      37262
560.56/563.94	c #Conflicts:     115000 | #Constraints:      38262
560.56/563.94	c #Conflicts:     116000 | #Constraints:      39262
560.56/563.94	c #Conflicts:     117000 | #Constraints:      40262
560.56/563.94	c INPROCESSING
560.56/563.94	c GARBAGE COLLECT
560.56/563.94	c #Conflicts:     118000 | #Constraints:      34540
560.56/563.94	c #Conflicts:     119000 | #Constraints:      35540
560.56/563.94	c #Conflicts:     120000 | #Constraints:      36540
560.56/563.94	c #Conflicts:     121000 | #Constraints:      37540
560.56/563.94	c #Conflicts:     122000 | #Constraints:      38540
560.56/563.94	c #Conflicts:     123000 | #Constraints:      39540
560.56/563.94	c #Conflicts:     124000 | #Constraints:      40540
560.56/563.94	c INPROCESSING
560.56/563.94	c GARBAGE COLLECT
560.56/563.94	c #Conflicts:     125000 | #Constraints:      34585
560.56/563.94	c #Conflicts:     126000 | #Constraints:      35585
560.56/563.94	c #Conflicts:     127000 | #Constraints:      36585
560.56/563.94	c #Conflicts:     128000 | #Constraints:      37585
560.56/563.94	c #Conflicts:     129000 | #Constraints:      38585
560.56/563.94	c #Conflicts:     130000 | #Constraints:      39585
560.56/563.94	c #Conflicts:     131000 | #Constraints:      40585
560.56/563.94	c INPROCESSING
560.56/563.94	c GARBAGE COLLECT
560.56/563.94	c #Conflicts:     132000 | #Constraints:      34400
560.56/563.94	c #Conflicts:     133000 | #Constraints:      35400
560.56/563.94	c #Conflicts:     134000 | #Constraints:      36400
560.56/563.94	c #Conflicts:     135000 | #Constraints:      37400
560.56/563.94	c #Conflicts:     136000 | #Constraints:      38400
560.56/563.94	c #Conflicts:     137000 | #Constraints:      39400
560.56/563.94	c #Conflicts:     138000 | #Constraints:      40400
560.56/563.94	c #Conflicts:     139000 | #Constraints:      41400
843.62/847.79	c INPROCESSING
843.62/847.79	c GARBAGE COLLECT
843.62/847.79	c #Conflicts:     140000 | #Constraints:      35016
843.62/847.79	c #Conflicts:     141000 | #Constraints:      36016
843.62/847.79	c #Conflicts:     142000 | #Constraints:      37016
843.62/847.79	c #Conflicts:     143000 | #Constraints:      38016
843.62/847.79	c #Conflicts:     144000 | #Constraints:      39016
843.62/847.79	c #Conflicts:     145000 | #Constraints:      40016
843.62/847.79	c #Conflicts:     146000 | #Constraints:      41016
843.62/847.79	c #Conflicts:     147000 | #Constraints:      42016
843.62/847.79	c INPROCESSING
843.62/847.79	c GARBAGE COLLECT
843.62/847.79	c #Conflicts:     148000 | #Constraints:      35421
843.62/847.79	c #Conflicts:     149000 | #Constraints:      36421
843.62/847.79	c #Conflicts:     150000 | #Constraints:      37421
843.62/847.79	c #Conflicts:     151000 | #Constraints:      38421
843.62/847.79	c #Conflicts:     152000 | #Constraints:      39421
843.62/847.79	c #Conflicts:     153000 | #Constraints:      40421
843.62/847.79	c #Conflicts:     154000 | #Constraints:      41421
843.62/847.79	c #Conflicts:     155000 | #Constraints:      42421
843.62/847.79	c INPROCESSING
843.62/847.79	c GARBAGE COLLECT
843.62/847.79	c #Conflicts:     156000 | #Constraints:      35619
843.62/847.79	c #Conflicts:     157000 | #Constraints:      36619
843.62/847.79	c #Conflicts:     158000 | #Constraints:      37619
843.62/847.79	c #Conflicts:     159000 | #Constraints:      38619
843.62/847.79	c #Conflicts:     160000 | #Constraints:      39619
843.62/847.79	c #Conflicts:     161000 | #Constraints:      40619
843.62/847.79	c #Conflicts:     162000 | #Constraints:      41619
843.62/847.79	c #Conflicts:     163000 | #Constraints:      42619
843.62/847.79	c INPROCESSING
843.62/847.79	c GARBAGE COLLECT
843.62/847.79	c #Conflicts:     164000 | #Constraints:      35620
843.62/847.79	c #Conflicts:     165000 | #Constraints:      36620
843.62/847.79	c #Conflicts:     166000 | #Constraints:      37620
843.62/847.79	c #Conflicts:     167000 | #Constraints:      38620
843.62/847.79	c #Conflicts:     168000 | #Constraints:      39620
843.62/847.79	c #Conflicts:     169000 | #Constraints:      40620
843.62/847.79	c #Conflicts:     170000 | #Constraints:      41620
843.62/847.79	c #Conflicts:     171000 | #Constraints:      42620
843.62/847.79	c INPROCESSING
843.62/847.79	c GARBAGE COLLECT
843.62/847.79	c #Conflicts:     172000 | #Constraints:      35417
843.62/847.79	c #Conflicts:     173000 | #Constraints:      36417
843.62/847.79	c #Conflicts:     174000 | #Constraints:      37417
843.62/847.79	c #Conflicts:     175000 | #Constraints:      38417
843.62/847.79	c #Conflicts:     176000 | #Constraints:      39417
843.62/847.79	c #Conflicts:     177000 | #Constraints:      40417
843.62/847.79	c #Conflicts:     178000 | #Constraints:      41417
843.62/847.79	c #Conflicts:     179000 | #Constraints:      42417
843.62/847.79	c #Conflicts:     180000 | #Constraints:      43417
843.62/847.79	c INPROCESSING
843.62/847.79	c GARBAGE COLLECT
843.62/847.79	c #Conflicts:     181000 | #Constraints:      36017
843.62/847.79	c #Conflicts:     182000 | #Constraints:      37017
843.62/847.79	c #Conflicts:     183000 | #Constraints:      38017
843.62/847.79	c #Conflicts:     184000 | #Constraints:      39017
843.62/847.79	c #Conflicts:     185000 | #Constraints:      40017
843.62/847.79	c #Conflicts:     186000 | #Constraints:      41017
843.62/847.79	c #Conflicts:     187000 | #Constraints:      42017
843.62/847.79	c #Conflicts:     188000 | #Constraints:      43017
843.62/847.79	c #Conflicts:     189000 | #Constraints:      44017
843.62/847.79	c INPROCESSING
843.62/847.79	c GARBAGE COLLECT
843.62/847.79	c #Conflicts:     190000 | #Constraints:      36419
843.62/847.79	c #Conflicts:     191000 | #Constraints:      37419
843.62/847.79	c #Conflicts:     192000 | #Constraints:      38419
843.62/847.79	c #Conflicts:     193000 | #Constraints:      39419
843.62/847.79	c #Conflicts:     194000 | #Constraints:      40419
843.62/847.79	c #Conflicts:     195000 | #Constraints:      41419
843.62/847.79	c #Conflicts:     196000 | #Constraints:      42419
843.62/847.79	c #Conflicts:     197000 | #Constraints:      43419
843.62/847.79	c #Conflicts:     198000 | #Constraints:      44419
843.62/847.79	c INPROCESSING
843.62/847.79	c GARBAGE COLLECT
843.62/847.79	c #Conflicts:     199000 | #Constraints:      36626
843.62/847.79	c #Conflicts:     200000 | #Constraints:      37626
843.62/847.79	c #Conflicts:     201000 | #Constraints:      38626
843.62/847.79	c #Conflicts:     202000 | #Constraints:      39626
843.62/847.79	c #Conflicts:     203000 | #Constraints:      40626
843.62/847.79	c #Conflicts:     204000 | #Constraints:      41626
843.62/847.79	c #Conflicts:     205000 | #Constraints:      42626
843.62/847.79	c #Conflicts:     206000 | #Constraints:      43626
843.62/847.79	c #Conflicts:     207000 | #Constraints:      44626
843.62/847.79	c INPROCESSING
843.62/847.79	c GARBAGE COLLECT
843.62/847.79	c #Conflicts:     208000 | #Constraints:      36621
843.62/847.79	c #Conflicts:     209000 | #Constraints:      37621
843.62/847.79	c #Conflicts:     210000 | #Constraints:      38621
843.62/847.79	c #Conflicts:     211000 | #Constraints:      39621
843.62/847.79	c #Conflicts:     212000 | #Constraints:      40621
1035.62/1040.29	c #Conflicts:     213000 | #Constraints:      41621
1035.62/1040.29	c #Conflicts:     214000 | #Constraints:      42621
1035.62/1040.29	c #Conflicts:     215000 | #Constraints:      43621
1035.62/1040.29	c #Conflicts:     216000 | #Constraints:      44621
1035.62/1040.29	c INPROCESSING
1035.62/1040.29	c GARBAGE COLLECT
1035.62/1040.29	c #Conflicts:     217000 | #Constraints:      36436
1035.62/1040.29	c #Conflicts:     218000 | #Constraints:      37436
1035.62/1040.29	c #Conflicts:     219000 | #Constraints:      38436
1035.62/1040.29	c #Conflicts:     220000 | #Constraints:      39436
1035.62/1040.29	c #Conflicts:     221000 | #Constraints:      40436
1035.62/1040.29	c #Conflicts:     222000 | #Constraints:      41436
1035.62/1040.29	c #Conflicts:     223000 | #Constraints:      42436
1035.62/1040.29	c #Conflicts:     224000 | #Constraints:      43436
1035.62/1040.29	c #Conflicts:     225000 | #Constraints:      44436
1035.62/1040.29	c #Conflicts:     226000 | #Constraints:      45436
1035.62/1040.29	c INPROCESSING
1035.62/1040.29	c GARBAGE COLLECT
1035.62/1040.29	c #Conflicts:     227000 | #Constraints:      37054
1035.62/1040.29	c #Conflicts:     228000 | #Constraints:      38054
1035.62/1040.29	c #Conflicts:     229000 | #Constraints:      39054
1035.62/1040.29	c #Conflicts:     230000 | #Constraints:      40054
1035.62/1040.29	c #Conflicts:     231000 | #Constraints:      41054
1035.62/1040.29	c #Conflicts:     232000 | #Constraints:      42054
1035.62/1040.29	c #Conflicts:     233000 | #Constraints:      43054
1035.62/1040.29	c #Conflicts:     234000 | #Constraints:      44054
1035.62/1040.29	c #Conflicts:     235000 | #Constraints:      45054
1035.62/1040.29	c #Conflicts:     236000 | #Constraints:      46054
1035.62/1040.29	c INPROCESSING
1035.62/1040.29	c GARBAGE COLLECT
1035.62/1040.29	c #Conflicts:     237000 | #Constraints:      37432
1035.62/1040.29	c #Conflicts:     238000 | #Constraints:      38432
1035.62/1040.29	c #Conflicts:     239000 | #Constraints:      39432
1035.62/1040.29	c #Conflicts:     240000 | #Constraints:      40432
1035.62/1040.29	c #Conflicts:     241000 | #Constraints:      41432
1035.62/1040.29	c #Conflicts:     242000 | #Constraints:      42432
1035.62/1040.29	c #Conflicts:     243000 | #Constraints:      43432
1035.62/1040.29	c #Conflicts:     244000 | #Constraints:      44432
1035.62/1040.29	c #Conflicts:     245000 | #Constraints:      45432
1035.62/1040.29	c #Conflicts:     246000 | #Constraints:      46432
1035.62/1040.29	c INPROCESSING
1035.62/1040.29	c GARBAGE COLLECT
1035.62/1040.29	c #Conflicts:     247000 | #Constraints:      37627
1035.62/1040.29	c #Conflicts:     248000 | #Constraints:      38627
1035.62/1040.29	c #Conflicts:     249000 | #Constraints:      39627
1035.62/1040.29	c #Conflicts:     250000 | #Constraints:      40627
1035.62/1040.29	c #Conflicts:     251000 | #Constraints:      41627
1035.62/1040.29	c #Conflicts:     252000 | #Constraints:      42627
1035.62/1040.29	c #Conflicts:     253000 | #Constraints:      43627
1035.62/1040.29	c #Conflicts:     254000 | #Constraints:      44627
1035.62/1040.29	c #Conflicts:     255000 | #Constraints:      45627
1035.62/1040.29	c #Conflicts:     256000 | #Constraints:      46627
1035.62/1040.29	c INPROCESSING
1035.62/1040.29	c GARBAGE COLLECT
1035.62/1040.29	c #Conflicts:     257000 | #Constraints:      37627
1035.62/1040.29	c #Conflicts:     258000 | #Constraints:      38627
1035.62/1040.29	c #Conflicts:     259000 | #Constraints:      39627
1035.62/1040.29	c #Conflicts:     260000 | #Constraints:      40627
1035.62/1040.29	c #Conflicts:     261000 | #Constraints:      41627
1035.62/1040.29	c #Conflicts:     262000 | #Constraints:      42627
1035.62/1040.29	c #Conflicts:     263000 | #Constraints:      43627
1035.62/1040.29	c #Conflicts:     264000 | #Constraints:      44627
1035.62/1040.29	c #Conflicts:     265000 | #Constraints:      45627
1035.62/1040.29	c #Conflicts:     266000 | #Constraints:      46627
1035.62/1040.29	c INPROCESSING
1035.62/1040.29	c GARBAGE COLLECT
1035.62/1040.29	c #Conflicts:     267000 | #Constraints:      37425
1035.62/1040.29	c #Conflicts:     268000 | #Constraints:      38425
1035.62/1040.29	c #Conflicts:     269000 | #Constraints:      39425
1035.62/1040.29	c #Conflicts:     270000 | #Constraints:      40425
1035.62/1040.29	c #Conflicts:     271000 | #Constraints:      41425
1035.62/1040.29	c #Conflicts:     272000 | #Constraints:      42425
1035.62/1040.29	c #Conflicts:     273000 | #Constraints:      43425
1035.62/1040.29	c #Conflicts:     274000 | #Constraints:      44425
1035.62/1040.29	c #Conflicts:     275000 | #Constraints:      45425
1035.62/1040.29	c #Conflicts:     276000 | #Constraints:      46425
1035.62/1040.29	c #Conflicts:     277000 | #Constraints:      47425
1035.62/1040.29	c INPROCESSING
1035.62/1040.29	c GARBAGE COLLECT
1035.62/1040.29	c #Conflicts:     278000 | #Constraints:      38018
1035.62/1040.29	c #Conflicts:     279000 | #Constraints:      39018
1035.62/1040.29	c #Conflicts:     280000 | #Constraints:      40018
1035.62/1040.29	c #Conflicts:     281000 | #Constraints:      41018
1035.62/1040.29	c #Conflicts:     282000 | #Constraints:      42018
1035.62/1040.29	c #Conflicts:     283000 | #Constraints:      43018
1035.62/1040.29	c #Conflicts:     284000 | #Constraints:      44018
1035.62/1040.29	c #Conflicts:     285000 | #Constraints:      45018
1035.62/1040.29	c #Conflicts:     286000 | #Constraints:      46018
1367.26/1372.73	c #Conflicts:     287000 | #Constraints:      47018
1367.26/1372.73	c #Conflicts:     288000 | #Constraints:      48018
1367.26/1372.73	c INPROCESSING
1367.26/1372.73	c GARBAGE COLLECT
1367.26/1372.73	c #Conflicts:     289000 | #Constraints:      38420
1367.26/1372.73	c #Conflicts:     290000 | #Constraints:      39420
1367.26/1372.73	c #Conflicts:     291000 | #Constraints:      40420
1367.26/1372.73	c #Conflicts:     292000 | #Constraints:      41420
1367.26/1372.73	c #Conflicts:     293000 | #Constraints:      42420
1367.26/1372.73	c #Conflicts:     294000 | #Constraints:      43420
1367.26/1372.73	c #Conflicts:     295000 | #Constraints:      44420
1367.26/1372.73	c #Conflicts:     296000 | #Constraints:      45420
1367.26/1372.73	c #Conflicts:     297000 | #Constraints:      46420
1367.26/1372.73	c #Conflicts:     298000 | #Constraints:      47420
1367.26/1372.73	c #Conflicts:     299000 | #Constraints:      48420
1367.26/1372.73	c INPROCESSING
1367.26/1372.73	c GARBAGE COLLECT
1367.26/1372.73	c #Conflicts:     300000 | #Constraints:      38617
1367.26/1372.73	c #Conflicts:     301000 | #Constraints:      39617
1367.26/1372.73	c #Conflicts:     302000 | #Constraints:      40617
1367.26/1372.73	c #Conflicts:     303000 | #Constraints:      41617
1367.26/1372.73	c #Conflicts:     304000 | #Constraints:      42617
1367.26/1372.73	c #Conflicts:     305000 | #Constraints:      43617
1367.26/1372.73	c #Conflicts:     306000 | #Constraints:      44617
1367.26/1372.73	c #Conflicts:     307000 | #Constraints:      45617
1367.26/1372.73	c #Conflicts:     308000 | #Constraints:      46617
1367.26/1372.73	c #Conflicts:     309000 | #Constraints:      47617
1367.26/1372.73	c #Conflicts:     310000 | #Constraints:      48617
1367.26/1372.73	c INPROCESSING
1367.26/1372.73	c GARBAGE COLLECT
1367.26/1372.73	c #Conflicts:     311000 | #Constraints:      38618
1367.26/1372.73	c #Conflicts:     312000 | #Constraints:      39618
1367.26/1372.73	c #Conflicts:     313000 | #Constraints:      40618
1367.26/1372.73	c #Conflicts:     314000 | #Constraints:      41618
1367.26/1372.73	c #Conflicts:     315000 | #Constraints:      42618
1367.26/1372.73	c #Conflicts:     316000 | #Constraints:      43618
1367.26/1372.73	c #Conflicts:     317000 | #Constraints:      44618
1367.26/1372.73	c #Conflicts:     318000 | #Constraints:      45618
1367.26/1372.73	c #Conflicts:     319000 | #Constraints:      46618
1367.26/1372.73	c #Conflicts:     320000 | #Constraints:      47618
1367.26/1372.73	c #Conflicts:     321000 | #Constraints:      48618
1367.26/1372.73	c INPROCESSING
1367.26/1372.73	c GARBAGE COLLECT
1367.26/1372.73	c #Conflicts:     322000 | #Constraints:      38428
1367.26/1372.73	c #Conflicts:     323000 | #Constraints:      39428
1367.26/1372.73	c #Conflicts:     324000 | #Constraints:      40428
1367.26/1372.73	c #Conflicts:     325000 | #Constraints:      41428
1367.26/1372.73	c #Conflicts:     326000 | #Constraints:      42428
1367.26/1372.73	c #Conflicts:     327000 | #Constraints:      43428
1367.26/1372.73	c #Conflicts:     328000 | #Constraints:      44428
1367.26/1372.73	c #Conflicts:     329000 | #Constraints:      45428
1367.26/1372.73	c #Conflicts:     330000 | #Constraints:      46428
1367.26/1372.73	c #Conflicts:     331000 | #Constraints:      47428
1367.26/1372.73	c #Conflicts:     332000 | #Constraints:      48428
1367.26/1372.73	c #Conflicts:     333000 | #Constraints:      49428
1367.26/1372.73	c INPROCESSING
1367.26/1372.73	c GARBAGE COLLECT
1367.26/1372.73	c #Conflicts:     334000 | #Constraints:      39022
1367.26/1372.73	c #Conflicts:     335000 | #Constraints:      40022
1367.26/1372.73	c #Conflicts:     336000 | #Constraints:      41022
1367.26/1372.73	c #Conflicts:     337000 | #Constraints:      42022
1367.26/1372.73	c #Conflicts:     338000 | #Constraints:      43022
1367.26/1372.73	c #Conflicts:     339000 | #Constraints:      44022
1367.26/1372.73	c #Conflicts:     340000 | #Constraints:      45022
1367.26/1372.73	c #Conflicts:     341000 | #Constraints:      46022
1367.26/1372.73	c #Conflicts:     342000 | #Constraints:      47022
1367.26/1372.73	c #Conflicts:     343000 | #Constraints:      48022
1367.26/1372.73	c #Conflicts:     344000 | #Constraints:      49022
1367.26/1372.73	c #Conflicts:     345000 | #Constraints:      50022
1367.26/1372.73	c INPROCESSING
1367.26/1372.73	c GARBAGE COLLECT
1367.26/1372.73	c #Conflicts:     346000 | #Constraints:      39421
1367.26/1372.73	c #Conflicts:     347000 | #Constraints:      40421
1367.26/1372.73	c #Conflicts:     348000 | #Constraints:      41421
1367.26/1372.73	c #Conflicts:     349000 | #Constraints:      42421
1367.26/1372.73	c #Conflicts:     350000 | #Constraints:      43421
1367.26/1372.73	c #Conflicts:     351000 | #Constraints:      44421
1367.26/1372.73	c #Conflicts:     352000 | #Constraints:      45421
1367.26/1372.73	c #Conflicts:     353000 | #Constraints:      46421
1367.26/1372.73	c #Conflicts:     354000 | #Constraints:      47421
1367.26/1372.73	c #Conflicts:     355000 | #Constraints:      48421
1367.26/1372.73	c #Conflicts:     356000 | #Constraints:      49421
1367.26/1372.73	c #Conflicts:     357000 | #Constraints:      50421
1367.26/1372.73	c INPROCESSING
1367.26/1372.73	c GARBAGE COLLECT
1367.26/1372.73	c #Conflicts:     358000 | #Constraints:      39616
1367.26/1372.73	c #Conflicts:     359000 | #Constraints:      40616
1367.26/1372.73	c #Conflicts:     360000 | #Constraints:      41616
1367.26/1372.73	c #Conflicts:     361000 | #Constraints:      42616
1642.13/1648.36	c #Conflicts:     362000 | #Constraints:      43616
1642.13/1648.36	c #Conflicts:     363000 | #Constraints:      44616
1642.13/1648.36	c #Conflicts:     364000 | #Constraints:      45616
1642.13/1648.36	c #Conflicts:     365000 | #Constraints:      46616
1642.13/1648.36	c #Conflicts:     366000 | #Constraints:      47616
1642.13/1648.36	c #Conflicts:     367000 | #Constraints:      48616
1642.13/1648.36	c #Conflicts:     368000 | #Constraints:      49616
1642.13/1648.36	c #Conflicts:     369000 | #Constraints:      50616
1642.13/1648.36	c INPROCESSING
1642.13/1648.36	c GARBAGE COLLECT
1642.13/1648.36	c #Conflicts:     370000 | #Constraints:      39619
1642.13/1648.36	c #Conflicts:     371000 | #Constraints:      40619
1642.13/1648.36	c #Conflicts:     372000 | #Constraints:      41619
1642.13/1648.36	c #Conflicts:     373000 | #Constraints:      42619
1642.13/1648.36	c #Conflicts:     374000 | #Constraints:      43619
1642.13/1648.36	c #Conflicts:     375000 | #Constraints:      44619
1642.13/1648.36	c #Conflicts:     376000 | #Constraints:      45619
1642.13/1648.36	c #Conflicts:     377000 | #Constraints:      46619
1642.13/1648.36	c #Conflicts:     378000 | #Constraints:      47619
1642.13/1648.36	c #Conflicts:     379000 | #Constraints:      48619
1642.13/1648.36	c #Conflicts:     380000 | #Constraints:      49619
1642.13/1648.36	c #Conflicts:     381000 | #Constraints:      50619
1642.13/1648.36	c INPROCESSING
1642.13/1648.36	c GARBAGE COLLECT
1642.13/1648.36	c #Conflicts:     382000 | #Constraints:      39419
1642.13/1648.36	c #Conflicts:     383000 | #Constraints:      40419
1642.13/1648.36	c #Conflicts:     384000 | #Constraints:      41419
1642.13/1648.36	c #Conflicts:     385000 | #Constraints:      42419
1642.13/1648.36	c #Conflicts:     386000 | #Constraints:      43419
1642.13/1648.36	c #Conflicts:     387000 | #Constraints:      44419
1642.13/1648.36	c #Conflicts:     388000 | #Constraints:      45419
1642.13/1648.36	c #Conflicts:     389000 | #Constraints:      46419
1642.13/1648.36	c #Conflicts:     390000 | #Constraints:      47419
1642.13/1648.36	c #Conflicts:     391000 | #Constraints:      48419
1642.13/1648.36	c #Conflicts:     392000 | #Constraints:      49419
1642.13/1648.36	c #Conflicts:     393000 | #Constraints:      50419
1642.13/1648.36	c #Conflicts:     394000 | #Constraints:      51419
1642.13/1648.36	c INPROCESSING
1642.13/1648.36	c GARBAGE COLLECT
1642.13/1648.36	c #Conflicts:     395000 | #Constraints:      40018
1642.13/1648.36	c #Conflicts:     396000 | #Constraints:      41018
1642.13/1648.36	c #Conflicts:     397000 | #Constraints:      42018
1642.13/1648.36	c #Conflicts:     398000 | #Constraints:      43018
1642.13/1648.36	c #Conflicts:     399000 | #Constraints:      44018
1642.13/1648.36	c #Conflicts:     400000 | #Constraints:      45018
1642.13/1648.36	c #Conflicts:     401000 | #Constraints:      46018
1642.13/1648.36	c #Conflicts:     402000 | #Constraints:      47018
1642.13/1648.36	c #Conflicts:     403000 | #Constraints:      48018
1642.13/1648.36	c #Conflicts:     404000 | #Constraints:      49018
1642.13/1648.36	c #Conflicts:     405000 | #Constraints:      50018
1642.13/1648.36	c #Conflicts:     406000 | #Constraints:      51018
1642.13/1648.36	c #Conflicts:     407000 | #Constraints:      52018
1642.13/1648.36	c INPROCESSING
1642.13/1648.36	c GARBAGE COLLECT
1642.13/1648.36	c #Conflicts:     408000 | #Constraints:      40420
1642.13/1648.36	c #Conflicts:     409000 | #Constraints:      41420
1642.13/1648.36	c #Conflicts:     410000 | #Constraints:      42420
1642.13/1648.36	c #Conflicts:     411000 | #Constraints:      43420
1642.13/1648.36	c #Conflicts:     412000 | #Constraints:      44420
1642.13/1648.36	c #Conflicts:     413000 | #Constraints:      45420
1642.13/1648.36	c #Conflicts:     414000 | #Constraints:      46420
1642.13/1648.36	c #Conflicts:     415000 | #Constraints:      47420
1642.13/1648.36	c #Conflicts:     416000 | #Constraints:      48420
1642.13/1648.36	c #Conflicts:     417000 | #Constraints:      49420
1642.13/1648.36	c #Conflicts:     418000 | #Constraints:      50420
1642.13/1648.36	c #Conflicts:     419000 | #Constraints:      51420
1642.13/1648.36	c #Conflicts:     420000 | #Constraints:      52420
1642.13/1648.36	c INPROCESSING
1642.13/1648.36	c GARBAGE COLLECT
1642.13/1648.36	c #Conflicts:     421000 | #Constraints:      40622
1642.13/1648.36	c #Conflicts:     422000 | #Constraints:      41622
1642.13/1648.36	c #Conflicts:     423000 | #Constraints:      42622
1642.13/1648.36	c #Conflicts:     424000 | #Constraints:      43622
1642.13/1648.36	c #Conflicts:     425000 | #Constraints:      44622
1642.13/1648.36	c #Conflicts:     426000 | #Constraints:      45622
1642.13/1648.36	c #Conflicts:     427000 | #Constraints:      46622
1642.13/1648.36	c #Conflicts:     428000 | #Constraints:      47622
1642.13/1648.36	c #Conflicts:     429000 | #Constraints:      48622
1642.13/1648.36	c #Conflicts:     430000 | #Constraints:      49622
1642.13/1648.36	c #Conflicts:     431000 | #Constraints:      50622
1642.13/1648.36	c #Conflicts:     432000 | #Constraints:      51622
1642.13/1648.36	c #Conflicts:     433000 | #Constraints:      52622
1642.13/1648.36	c INPROCESSING
1642.13/1648.36	c GARBAGE COLLECT
1642.13/1648.36	c #Conflicts:     434000 | #Constraints:      40624
1642.13/1648.36	c #Conflicts:     435000 | #Constraints:      41624
1642.13/1648.36	c #Conflicts:     436000 | #Constraints:      42624
2099.54/2106.91	c #Conflicts:     437000 | #Constraints:      43624
2099.54/2106.91	c #Conflicts:     438000 | #Constraints:      44624
2099.54/2106.91	c #Conflicts:     439000 | #Constraints:      45624
2099.54/2106.91	c #Conflicts:     440000 | #Constraints:      46624
2099.54/2106.91	c #Conflicts:     441000 | #Constraints:      47624
2099.54/2106.91	c #Conflicts:     442000 | #Constraints:      48624
2099.54/2106.91	c #Conflicts:     443000 | #Constraints:      49624
2099.54/2106.91	c #Conflicts:     444000 | #Constraints:      50624
2099.54/2106.91	c #Conflicts:     445000 | #Constraints:      51624
2099.54/2106.91	c #Conflicts:     446000 | #Constraints:      52624
2099.54/2106.91	c INPROCESSING
2099.54/2106.91	c GARBAGE COLLECT
2099.54/2106.91	c #Conflicts:     447000 | #Constraints:      40427
2099.54/2106.91	c #Conflicts:     448000 | #Constraints:      41427
2099.54/2106.91	c #Conflicts:     449000 | #Constraints:      42427
2099.54/2106.91	c #Conflicts:     450000 | #Constraints:      43427
2099.54/2106.91	c #Conflicts:     451000 | #Constraints:      44427
2099.54/2106.91	c #Conflicts:     452000 | #Constraints:      45427
2099.54/2106.91	c #Conflicts:     453000 | #Constraints:      46427
2099.54/2106.91	c #Conflicts:     454000 | #Constraints:      47427
2099.54/2106.91	c #Conflicts:     455000 | #Constraints:      48427
2099.54/2106.91	c #Conflicts:     456000 | #Constraints:      49427
2099.54/2106.91	c #Conflicts:     457000 | #Constraints:      50427
2099.54/2106.91	c #Conflicts:     458000 | #Constraints:      51427
2099.54/2106.91	c #Conflicts:     459000 | #Constraints:      52427
2099.54/2106.91	c #Conflicts:     460000 | #Constraints:      53427
2099.54/2106.91	c INPROCESSING
2099.54/2106.91	c GARBAGE COLLECT
2099.54/2106.91	c #Conflicts:     461000 | #Constraints:      41046
2099.54/2106.91	c #Conflicts:     462000 | #Constraints:      42046
2099.54/2106.91	c #Conflicts:     463000 | #Constraints:      43046
2099.54/2106.91	c #Conflicts:     464000 | #Constraints:      44046
2099.54/2106.91	c #Conflicts:     465000 | #Constraints:      45046
2099.54/2106.91	c #Conflicts:     466000 | #Constraints:      46046
2099.54/2106.91	c #Conflicts:     467000 | #Constraints:      47046
2099.54/2106.91	c #Conflicts:     468000 | #Constraints:      48046
2099.54/2106.91	c #Conflicts:     469000 | #Constraints:      49046
2099.54/2106.91	c #Conflicts:     470000 | #Constraints:      50046
2099.54/2106.91	c #Conflicts:     471000 | #Constraints:      51046
2099.54/2106.91	c #Conflicts:     472000 | #Constraints:      52046
2099.54/2106.91	c #Conflicts:     473000 | #Constraints:      53046
2099.54/2106.91	c #Conflicts:     474000 | #Constraints:      54046
2099.54/2106.91	c INPROCESSING
2099.54/2106.91	c GARBAGE COLLECT
2099.54/2106.91	c #Conflicts:     475000 | #Constraints:      41443
2099.54/2106.91	c #Conflicts:     476000 | #Constraints:      42443
2099.54/2106.91	c #Conflicts:     477000 | #Constraints:      43443
2099.54/2106.91	c #Conflicts:     478000 | #Constraints:      44443
2099.54/2106.91	c #Conflicts:     479000 | #Constraints:      45443
2099.54/2106.91	c #Conflicts:     480000 | #Constraints:      46443
2099.54/2106.91	c #Conflicts:     481000 | #Constraints:      47443
2099.54/2106.91	c #Conflicts:     482000 | #Constraints:      48443
2099.54/2106.91	c #Conflicts:     483000 | #Constraints:      49443
2099.54/2106.91	c #Conflicts:     484000 | #Constraints:      50443
2099.54/2106.91	c #Conflicts:     485000 | #Constraints:      51443
2099.54/2106.91	c #Conflicts:     486000 | #Constraints:      52443
2099.54/2106.91	c #Conflicts:     487000 | #Constraints:      53443
2099.54/2106.91	c #Conflicts:     488000 | #Constraints:      54443
2099.54/2106.91	c INPROCESSING
2099.54/2106.91	c GARBAGE COLLECT
2099.54/2106.91	c #Conflicts:     489000 | #Constraints:      41643
2099.54/2106.91	c #Conflicts:     490000 | #Constraints:      42643
2099.54/2106.91	c #Conflicts:     491000 | #Constraints:      43643
2099.54/2106.91	c #Conflicts:     492000 | #Constraints:      44643
2099.54/2106.91	c #Conflicts:     493000 | #Constraints:      45643
2099.54/2106.91	c #Conflicts:     494000 | #Constraints:      46643
2099.54/2106.91	c #Conflicts:     495000 | #Constraints:      47643
2099.54/2106.91	c #Conflicts:     496000 | #Constraints:      48643
2099.54/2106.91	c #Conflicts:     497000 | #Constraints:      49643
2099.54/2106.91	c #Conflicts:     498000 | #Constraints:      50643
2099.54/2106.91	c #Conflicts:     499000 | #Constraints:      51643
2099.54/2106.91	c #Conflicts:     500000 | #Constraints:      52643
2099.54/2106.91	c #Conflicts:     501000 | #Constraints:      53643
2099.54/2106.91	c #Conflicts:     502000 | #Constraints:      54643
2099.54/2106.91	c INPROCESSING
2099.54/2106.91	c GARBAGE COLLECT
2099.54/2106.91	c #Conflicts:     503000 | #Constraints:      41633
2099.54/2106.91	c #Conflicts:     504000 | #Constraints:      42633
2099.54/2106.91	c #Conflicts:     505000 | #Constraints:      43633
2099.54/2106.91	c #Conflicts:     506000 | #Constraints:      44633
2099.54/2106.91	c #Conflicts:     507000 | #Constraints:      45633
2099.54/2106.91	c #Conflicts:     508000 | #Constraints:      46633
2099.54/2106.91	c #Conflicts:     509000 | #Constraints:      47633
2099.54/2106.91	c #Conflicts:     510000 | #Constraints:      48633
2099.54/2106.91	c #Conflicts:     511000 | #Constraints:      49633
2541.27/2549.90	c #Conflicts:     512000 | #Constraints:      50633
2541.27/2549.90	c #Conflicts:     513000 | #Constraints:      51633
2541.27/2549.90	c #Conflicts:     514000 | #Constraints:      52633
2541.27/2549.90	c #Conflicts:     515000 | #Constraints:      53633
2541.27/2549.90	c #Conflicts:     516000 | #Constraints:      54633
2541.27/2549.90	c INPROCESSING
2541.27/2549.90	c GARBAGE COLLECT
2541.27/2549.90	c #Conflicts:     517000 | #Constraints:      41434
2541.27/2549.90	c #Conflicts:     518000 | #Constraints:      42434
2541.27/2549.90	c #Conflicts:     519000 | #Constraints:      43434
2541.27/2549.90	c #Conflicts:     520000 | #Constraints:      44434
2541.27/2549.90	c #Conflicts:     521000 | #Constraints:      45434
2541.27/2549.90	c #Conflicts:     522000 | #Constraints:      46434
2541.27/2549.90	c #Conflicts:     523000 | #Constraints:      47434
2541.27/2549.90	c #Conflicts:     524000 | #Constraints:      48434
2541.27/2549.90	c #Conflicts:     525000 | #Constraints:      49434
2541.27/2549.90	c #Conflicts:     526000 | #Constraints:      50434
2541.27/2549.90	c #Conflicts:     527000 | #Constraints:      51434
2541.27/2549.90	c #Conflicts:     528000 | #Constraints:      52434
2541.27/2549.90	c #Conflicts:     529000 | #Constraints:      53434
2541.27/2549.90	c #Conflicts:     530000 | #Constraints:      54434
2541.27/2549.90	c #Conflicts:     531000 | #Constraints:      55434
2541.27/2549.90	c INPROCESSING
2541.27/2549.90	c GARBAGE COLLECT
2541.27/2549.90	c #Conflicts:     532000 | #Constraints:      42039
2541.27/2549.90	c #Conflicts:     533000 | #Constraints:      43039
2541.27/2549.90	c #Conflicts:     534000 | #Constraints:      44039
2541.27/2549.90	c #Conflicts:     535000 | #Constraints:      45039
2541.27/2549.90	c #Conflicts:     536000 | #Constraints:      46039
2541.27/2549.90	c #Conflicts:     537000 | #Constraints:      47039
2541.27/2549.90	c #Conflicts:     538000 | #Constraints:      48039
2541.27/2549.90	c #Conflicts:     539000 | #Constraints:      49039
2541.27/2549.90	c #Conflicts:     540000 | #Constraints:      50039
2541.27/2549.90	c #Conflicts:     541000 | #Constraints:      51039
2541.27/2549.90	c #Conflicts:     542000 | #Constraints:      52039
2541.27/2549.90	c #Conflicts:     543000 | #Constraints:      53039
2541.27/2549.90	c #Conflicts:     544000 | #Constraints:      54039
2541.27/2549.90	c #Conflicts:     545000 | #Constraints:      55039
2541.27/2549.90	c #Conflicts:     546000 | #Constraints:      56039
2541.27/2549.90	c INPROCESSING
2541.27/2549.90	c GARBAGE COLLECT
2541.27/2549.90	c #Conflicts:     547000 | #Constraints:      42434
2541.27/2549.90	c #Conflicts:     548000 | #Constraints:      43434
2541.27/2549.90	c #Conflicts:     549000 | #Constraints:      44434
2541.27/2549.90	c #Conflicts:     550000 | #Constraints:      45434
2541.27/2549.90	c #Conflicts:     551000 | #Constraints:      46434
2541.27/2549.90	c #Conflicts:     552000 | #Constraints:      47434
2541.27/2549.90	c #Conflicts:     553000 | #Constraints:      48434
2541.27/2549.90	c #Conflicts:     554000 | #Constraints:      49434
2541.27/2549.90	c #Conflicts:     555000 | #Constraints:      50434
2541.27/2549.90	c #Conflicts:     556000 | #Constraints:      51434
2541.27/2549.90	c #Conflicts:     557000 | #Constraints:      52434
2541.27/2549.90	c #Conflicts:     558000 | #Constraints:      53434
2541.27/2549.90	c #Conflicts:     559000 | #Constraints:      54434
2541.27/2549.90	c #Conflicts:     560000 | #Constraints:      55434
2541.27/2549.90	c #Conflicts:     561000 | #Constraints:      56434
2541.27/2549.90	c INPROCESSING
2541.27/2549.90	c GARBAGE COLLECT
2541.27/2549.90	c #Conflicts:     562000 | #Constraints:      42632
2541.27/2549.90	c #Conflicts:     563000 | #Constraints:      43632
2541.27/2549.90	c #Conflicts:     564000 | #Constraints:      44632
2541.27/2549.90	c #Conflicts:     565000 | #Constraints:      45632
2541.27/2549.90	c #Conflicts:     566000 | #Constraints:      46632
2541.27/2549.90	c #Conflicts:     567000 | #Constraints:      47632
2541.27/2549.90	c #Conflicts:     568000 | #Constraints:      48632
2541.27/2549.90	c #Conflicts:     569000 | #Constraints:      49632
2541.27/2549.90	c #Conflicts:     570000 | #Constraints:      50632
2541.27/2549.90	c #Conflicts:     571000 | #Constraints:      51632
2541.27/2549.90	c #Conflicts:     572000 | #Constraints:      52632
2541.27/2549.90	c #Conflicts:     573000 | #Constraints:      53632
2541.27/2549.90	c #Conflicts:     574000 | #Constraints:      54632
2541.27/2549.90	c #Conflicts:     575000 | #Constraints:      55632
2541.27/2549.90	c #Conflicts:     576000 | #Constraints:      56632
2541.27/2549.90	c INPROCESSING
2541.27/2549.90	c GARBAGE COLLECT
2541.27/2549.90	c #Conflicts:     577000 | #Constraints:      42629
2541.27/2549.90	c #Conflicts:     578000 | #Constraints:      43629
2541.27/2549.90	c #Conflicts:     579000 | #Constraints:      44629
2541.27/2549.90	c #Conflicts:     580000 | #Constraints:      45629
2541.27/2549.90	c #Conflicts:     581000 | #Constraints:      46629
2541.27/2549.90	c #Conflicts:     582000 | #Constraints:      47629
2541.27/2549.90	c #Conflicts:     583000 | #Constraints:      48629
2541.27/2549.90	c #Conflicts:     584000 | #Constraints:      49629
2541.27/2549.90	c #Conflicts:     585000 | #Constraints:      50629
2541.27/2549.90	c #Conflicts:     586000 | #Constraints:      51629
2541.27/2549.90	c #Conflicts:     587000 | #Constraints:      52629
2989.81/2999.57	c #Conflicts:     588000 | #Constraints:      53629
2989.81/2999.57	c #Conflicts:     589000 | #Constraints:      54629
2989.81/2999.57	c #Conflicts:     590000 | #Constraints:      55629
2989.81/2999.57	c #Conflicts:     591000 | #Constraints:      56629
2989.81/2999.57	c INPROCESSING
2989.81/2999.57	c GARBAGE COLLECT
2989.81/2999.57	c #Conflicts:     592000 | #Constraints:      42431
2989.81/2999.57	c #Conflicts:     593000 | #Constraints:      43431
2989.81/2999.57	c #Conflicts:     594000 | #Constraints:      44431
2989.81/2999.57	c #Conflicts:     595000 | #Constraints:      45431
2989.81/2999.57	c #Conflicts:     596000 | #Constraints:      46431
2989.81/2999.57	c #Conflicts:     597000 | #Constraints:      47431
2989.81/2999.57	c #Conflicts:     598000 | #Constraints:      48431
2989.81/2999.57	c #Conflicts:     599000 | #Constraints:      49431
2989.81/2999.57	c #Conflicts:     600000 | #Constraints:      50431
2989.81/2999.57	c #Conflicts:     601000 | #Constraints:      51431
2989.81/2999.57	c #Conflicts:     602000 | #Constraints:      52431
2989.81/2999.57	c #Conflicts:     603000 | #Constraints:      53431
2989.81/2999.57	c #Conflicts:     604000 | #Constraints:      54431
2989.81/2999.57	c #Conflicts:     605000 | #Constraints:      55431
2989.81/2999.57	c #Conflicts:     606000 | #Constraints:      56431
2989.81/2999.57	c #Conflicts:     607000 | #Constraints:      57431
2989.81/2999.57	c INPROCESSING
2989.81/2999.57	c GARBAGE COLLECT
2989.81/2999.57	c #Conflicts:     608000 | #Constraints:      43039
2989.81/2999.57	c #Conflicts:     609000 | #Constraints:      44039
2989.81/2999.57	c #Conflicts:     610000 | #Constraints:      45039
2989.81/2999.57	c #Conflicts:     611000 | #Constraints:      46039
2989.81/2999.57	c #Conflicts:     612000 | #Constraints:      47039
2989.81/2999.57	c #Conflicts:     613000 | #Constraints:      48039
2989.81/2999.57	c #Conflicts:     614000 | #Constraints:      49039
2989.81/2999.57	c #Conflicts:     615000 | #Constraints:      50039
2989.81/2999.57	c #Conflicts:     616000 | #Constraints:      51039
2989.81/2999.57	c #Conflicts:     617000 | #Constraints:      52039
2989.81/2999.57	c #Conflicts:     618000 | #Constraints:      53039
2989.81/2999.57	c #Conflicts:     619000 | #Constraints:      54039
2989.81/2999.57	c #Conflicts:     620000 | #Constraints:      55039
2989.81/2999.57	c #Conflicts:     621000 | #Constraints:      56039
2989.81/2999.57	c #Conflicts:     622000 | #Constraints:      57039
2989.81/2999.57	c #Conflicts:     623000 | #Constraints:      58039
2989.81/2999.57	c INPROCESSING
2989.81/2999.57	c GARBAGE COLLECT
2989.81/2999.57	c #Conflicts:     624000 | #Constraints:      43430
2989.81/2999.57	c #Conflicts:     625000 | #Constraints:      44430
2989.81/2999.57	c #Conflicts:     626000 | #Constraints:      45430
2989.81/2999.57	c #Conflicts:     627000 | #Constraints:      46430
2989.81/2999.57	c #Conflicts:     628000 | #Constraints:      47430
2989.81/2999.57	c #Conflicts:     629000 | #Constraints:      48430
2989.81/2999.57	c #Conflicts:     630000 | #Constraints:      49430
2989.81/2999.57	c #Conflicts:     631000 | #Constraints:      50430
2989.81/2999.57	c #Conflicts:     632000 | #Constraints:      51430
2989.81/2999.57	c #Conflicts:     633000 | #Constraints:      52430
2989.81/2999.57	c #Conflicts:     634000 | #Constraints:      53430
2989.81/2999.57	c #Conflicts:     635000 | #Constraints:      54430
2989.81/2999.57	c #Conflicts:     636000 | #Constraints:      55430
2989.81/2999.57	c #Conflicts:     637000 | #Constraints:      56430
2989.81/2999.57	c #Conflicts:     638000 | #Constraints:      57430
2989.81/2999.57	c #Conflicts:     639000 | #Constraints:      58430
2989.81/2999.57	c INPROCESSING
2989.81/2999.57	c GARBAGE COLLECT
2989.81/2999.57	c #Conflicts:     640000 | #Constraints:      43626
2989.81/2999.57	c #Conflicts:     641000 | #Constraints:      44626
2989.81/2999.57	c #Conflicts:     642000 | #Constraints:      45626
2989.81/2999.57	c #Conflicts:     643000 | #Constraints:      46626
2989.81/2999.57	c #Conflicts:     644000 | #Constraints:      47626
2989.81/2999.57	c #Conflicts:     645000 | #Constraints:      48626
2989.81/2999.57	c #Conflicts:     646000 | #Constraints:      49626
2989.81/2999.57	c #Conflicts:     647000 | #Constraints:      50626
2989.81/2999.57	c #Conflicts:     648000 | #Constraints:      51626
2989.81/2999.57	c #Conflicts:     649000 | #Constraints:      52626
2989.81/2999.57	c #Conflicts:     650000 | #Constraints:      53626
2989.81/2999.57	c #Conflicts:     651000 | #Constraints:      54626
2989.81/2999.57	c #Conflicts:     652000 | #Constraints:      55626
2989.81/2999.57	c #Conflicts:     653000 | #Constraints:      56626
2989.81/2999.57	c #Conflicts:     654000 | #Constraints:      57626
2989.81/2999.57	c #Conflicts:     655000 | #Constraints:      58626
2989.81/2999.57	c INPROCESSING
2989.81/2999.57	c GARBAGE COLLECT
2989.81/2999.57	c #Conflicts:     656000 | #Constraints:      43626
2989.81/2999.57	c #Conflicts:     657000 | #Constraints:      44626
2989.81/2999.57	c #Conflicts:     658000 | #Constraints:      45626
2989.81/2999.57	c #Conflicts:     659000 | #Constraints:      46626
2989.81/2999.57	c #Conflicts:     660000 | #Constraints:      47626
2989.81/2999.57	c #Conflicts:     661000 | #Constraints:      48626
2989.81/2999.57	c #Conflicts:     662000 | #Constraints:      49626
3456.28/3467.26	c #Conflicts:     663000 | #Constraints:      50626
3456.28/3467.26	c #Conflicts:     664000 | #Constraints:      51626
3456.28/3467.26	c #Conflicts:     665000 | #Constraints:      52626
3456.28/3467.26	c #Conflicts:     666000 | #Constraints:      53626
3456.28/3467.26	c #Conflicts:     667000 | #Constraints:      54626
3456.28/3467.26	c #Conflicts:     668000 | #Constraints:      55626
3456.28/3467.26	c #Conflicts:     669000 | #Constraints:      56626
3456.28/3467.26	c #Conflicts:     670000 | #Constraints:      57626
3456.28/3467.26	c #Conflicts:     671000 | #Constraints:      58626
3456.28/3467.26	c INPROCESSING
3456.28/3467.26	c GARBAGE COLLECT
3456.28/3467.26	c #Conflicts:     672000 | #Constraints:      43423
3456.28/3467.26	c #Conflicts:     673000 | #Constraints:      44423
3456.28/3467.26	c #Conflicts:     674000 | #Constraints:      45423
3456.28/3467.26	c #Conflicts:     675000 | #Constraints:      46423
3456.28/3467.26	c #Conflicts:     676000 | #Constraints:      47423
3456.28/3467.26	c #Conflicts:     677000 | #Constraints:      48423
3456.28/3467.26	c #Conflicts:     678000 | #Constraints:      49423
3456.28/3467.26	c #Conflicts:     679000 | #Constraints:      50423
3456.28/3467.26	c #Conflicts:     680000 | #Constraints:      51423
3456.28/3467.26	c #Conflicts:     681000 | #Constraints:      52423
3456.28/3467.26	c #Conflicts:     682000 | #Constraints:      53423
3456.28/3467.26	c #Conflicts:     683000 | #Constraints:      54423
3456.28/3467.26	c #Conflicts:     684000 | #Constraints:      55423
3456.28/3467.26	c #Conflicts:     685000 | #Constraints:      56423
3456.28/3467.26	c #Conflicts:     686000 | #Constraints:      57423
3456.28/3467.26	c #Conflicts:     687000 | #Constraints:      58423
3456.28/3467.26	c #Conflicts:     688000 | #Constraints:      59423
3456.28/3467.26	c INPROCESSING
3456.28/3467.26	c GARBAGE COLLECT
3456.28/3467.26	c #Conflicts:     689000 | #Constraints:      44027
3456.28/3467.26	c #Conflicts:     690000 | #Constraints:      45027
3456.28/3467.26	c #Conflicts:     691000 | #Constraints:      46027
3456.28/3467.26	c #Conflicts:     692000 | #Constraints:      47027
3456.28/3467.26	c #Conflicts:     693000 | #Constraints:      48027
3456.28/3467.26	c #Conflicts:     694000 | #Constraints:      49027
3456.28/3467.26	c #Conflicts:     695000 | #Constraints:      50027
3456.28/3467.26	c #Conflicts:     696000 | #Constraints:      51027
3456.28/3467.26	c #Conflicts:     697000 | #Constraints:      52027
3456.28/3467.26	c #Conflicts:     698000 | #Constraints:      53027
3456.28/3467.26	c #Conflicts:     699000 | #Constraints:      54027
3456.28/3467.26	c #Conflicts:     700000 | #Constraints:      55027
3456.28/3467.26	c #Conflicts:     701000 | #Constraints:      56027
3456.28/3467.26	c #Conflicts:     702000 | #Constraints:      57027
3456.28/3467.26	c #Conflicts:     703000 | #Constraints:      58027
3456.28/3467.26	c #Conflicts:     704000 | #Constraints:      59027
3456.28/3467.26	c #Conflicts:     705000 | #Constraints:      60027
3456.28/3467.26	c INPROCESSING
3456.28/3467.26	c GARBAGE COLLECT
3456.28/3467.26	c #Conflicts:     706000 | #Constraints:      44433
3456.28/3467.26	c #Conflicts:     707000 | #Constraints:      45433
3456.28/3467.26	c #Conflicts:     708000 | #Constraints:      46433
3456.28/3467.26	c #Conflicts:     709000 | #Constraints:      47433
3456.28/3467.26	c #Conflicts:     710000 | #Constraints:      48433
3456.28/3467.26	c #Conflicts:     711000 | #Constraints:      49433
3456.28/3467.26	c #Conflicts:     712000 | #Constraints:      50433
3456.28/3467.26	c #Conflicts:     713000 | #Constraints:      51433
3456.28/3467.26	c #Conflicts:     714000 | #Constraints:      52433
3456.28/3467.26	c #Conflicts:     715000 | #Constraints:      53433
3456.28/3467.26	c #Conflicts:     716000 | #Constraints:      54433
3456.28/3467.26	c #Conflicts:     717000 | #Constraints:      55433
3456.28/3467.26	c #Conflicts:     718000 | #Constraints:      56433
3456.28/3467.26	c #Conflicts:     719000 | #Constraints:      57433
3456.28/3467.26	c #Conflicts:     720000 | #Constraints:      58433
3456.28/3467.26	c #Conflicts:     721000 | #Constraints:      59433
3456.28/3467.26	c #Conflicts:     722000 | #Constraints:      60433
3456.28/3467.26	c INPROCESSING
3456.28/3467.26	c GARBAGE COLLECT
3456.28/3467.26	c #Conflicts:     723000 | #Constraints:      44630
3456.28/3467.26	c #Conflicts:     724000 | #Constraints:      45630
3456.28/3467.26	c #Conflicts:     725000 | #Constraints:      46630
3456.28/3467.26	c #Conflicts:     726000 | #Constraints:      47630
3456.28/3467.26	c #Conflicts:     727000 | #Constraints:      48630
3456.28/3467.26	c #Conflicts:     728000 | #Constraints:      49630
3456.28/3467.26	c #Conflicts:     729000 | #Constraints:      50630
3456.28/3467.26	c #Conflicts:     730000 | #Constraints:      51630
3456.28/3467.26	c #Conflicts:     731000 | #Constraints:      52630
3456.28/3467.26	c #Conflicts:     732000 | #Constraints:      53630
3456.28/3467.26	c #Conflicts:     733000 | #Constraints:      54630
3456.28/3467.26	c #Conflicts:     734000 | #Constraints:      55630
3456.28/3467.26	c #Conflicts:     735000 | #Constraints:      56630
3456.28/3467.26	c #Conflicts:     736000 | #Constraints:      57630
3456.28/3467.26	c #Conflicts:     737000 | #Constraints:      58630
3456.28/3467.26	c #Conflicts:     738000 | #Constraints:      59630
3456.28/3467.26	c #Conflicts:     739000 | #Constraints:      60630
3600.02/3611.30	c INPROCESSING
3600.02/3611.30	c GARBAGE COLLECT
3600.02/3611.30	c #Conflicts:     740000 | #Constraints:      44648
3600.02/3611.30	c #Conflicts:     741000 | #Constraints:      45648
3600.02/3611.30	c #Conflicts:     742000 | #Constraints:      46648
3600.02/3611.30	c #Conflicts:     743000 | #Constraints:      47648
3600.02/3611.30	c #Conflicts:     744000 | #Constraints:      48648
3600.02/3611.30	c #Conflicts:     745000 | #Constraints:      49648
3600.02/3611.30	c #Conflicts:     746000 | #Constraints:      50648
3600.02/3611.30	c #Conflicts:     747000 | #Constraints:      51648
3600.02/3611.30	c #Conflicts:     748000 | #Constraints:      52648
3600.02/3611.30	c #Conflicts:     749000 | #Constraints:      53648
3600.02/3611.30	c #Conflicts:     750000 | #Constraints:      54648
3600.02/3611.30	c #Conflicts:     751000 | #Constraints:      55648
3600.02/3611.30	c #Conflicts:     752000 | #Constraints:      56648
3600.02/3611.30	c #Conflicts:     753000 | #Constraints:      57648
3600.02/3611.30	c #Conflicts:     754000 | #Constraints:      58648
3600.02/3611.30	c #Conflicts:     755000 | #Constraints:      59648
3600.02/3611.30	c #Conflicts:     756000 | #Constraints:      60648
3600.02/3611.30	c INPROCESSING
3600.02/3611.30	c GARBAGE COLLECT
3600.02/3611.30	c #Conflicts:     757000 | #Constraints:      44432
3600.02/3611.30	c #Conflicts:     758000 | #Constraints:      45432
3600.02/3611.30	c #Conflicts:     759000 | #Constraints:      46432
3600.02/3611.30	c #Conflicts:     760000 | #Constraints:      47432
3600.02/3611.30	c #Conflicts:     761000 | #Constraints:      48432
3600.02/3611.30	c #Conflicts:     762000 | #Constraints:      49432
3600.02/3611.30	c #Conflicts:     763000 | #Constraints:      50432
3600.02/3611.30	c #Conflicts:     764000 | #Constraints:      51432
3600.02/3611.30	c #Conflicts:     765000 | #Constraints:      52432
3600.02/3611.30	c #Conflicts:     766000 | #Constraints:      53432
3600.02/3611.30	c #Conflicts:     767000 | #Constraints:      54432
3600.02/3611.30	c #Conflicts:     768000 | #Constraints:      55432
3600.02/3611.30	c #Conflicts:     769000 | #Constraints:      56432
3600.02/3611.30	c Program interrupted by user.
3600.02/3611.30	c cpu time 3592.6 s
3600.02/3611.30	c deterministic time 892860637207 8.93e+11
3600.02/3611.30	c optimization time 36.1414 s
3600.02/3611.30	c total solve time 3258.61 s
3600.02/3611.30	c core-guided solve time 3258.61 s
3600.02/3611.30	c propagation time 2937.25 s
3600.02/3611.30	c conflict analysis time 321.487 s
3600.02/3611.30	c propagations 195331878
3600.02/3611.30	c resolve steps 7495678
3600.02/3611.30	c decisions 4853264
3600.02/3611.30	c conflicts 769691
3600.02/3611.30	c restarts 1627
3600.02/3611.30	c inprocessing phases 78
3600.02/3611.30	c input clauses 26837
3600.02/3611.30	c input cardinalities 0
3600.02/3611.30	c input general constraints 11
3600.02/3611.30	c input average constraint length 2.78
3600.02/3611.30	c input average constraint degree 947.05
3600.02/3611.30	c learned clauses 250870
3600.02/3611.30	c learned cardinalities 3
3600.02/3611.30	c learned general constraints 518819
3600.02/3611.30	c learned average constraint length 1201.04
3600.02/3611.30	c learned average constraint degree 63387515.68
3600.02/3611.30	c watched constraints 516345
3600.02/3611.30	c counting constraints 2485
3600.02/3611.30	c gcd simplifications 95879
3600.02/3611.30	c detected cardinalities 3
3600.02/3611.30	c weakened non-implied lits 200392054
3600.02/3611.30	c weakened non-implying lits 1008287
3600.02/3611.30	c original variables 2023
3600.02/3611.30	c clausal propagations 48374629
3600.02/3611.30	c cardinality propagations 3
3600.02/3611.30	c watched propagations 114429240
3600.02/3611.30	c counting propagations 31166515
3600.02/3611.30	c watch lookups 6919408137
3600.02/3611.30	c watch backjump lookups 3790065947
3600.02/3611.30	c watch checks 832416632157
3600.02/3611.30	c propagation checks 46422579487
3600.02/3611.30	c constraint additions 2910812653
3600.02/3611.30	c trail pops 200953683
3600.02/3611.30	c formula constraints 26845
3600.02/3611.30	c learned constraints 769692
3600.02/3611.30	c bound constraints 3
3600.02/3611.30	c core-guided constraints 0
3600.02/3611.30	c encountered formula constraints 6398089
3600.02/3611.30	c encountered learned constraints 1866669
3600.02/3611.30	c encountered bound constraints 611
3600.02/3611.30	c encountered core-guided constraints 0
3600.02/3611.30	c LP total time 0 s
3600.02/3611.30	c LP solve time 0 s
3600.02/3611.30	c LP constraints added 0
3600.02/3611.30	c LP constraints removed 0
3600.02/3611.30	c LP pivots internal 0
3600.02/3611.30	c LP pivots root 0
3600.02/3611.30	c LP calls 0
3600.02/3611.30	c LP optimalities 0
3600.02/3611.30	c LP no pivot count 0
3600.02/3611.30	c LP infeasibilities 0
3600.02/3611.30	c LP valid Farkas constraints 0
3600.02/3611.30	c LP learned Farkas constraints 0
3600.02/3611.30	c LP basis resets 0
3600.02/3611.30	c LP cycling count 0
3600.02/3611.30	c LP singular count 0
3600.02/3611.30	c LP no primal count 0
3600.02/3611.30	c LP no farkas count 0
3600.02/3611.30	c LP other issue count 0
3600.02/3611.30	c LP Gomory cuts 0
3600.02/3611.30	c LP learned cuts 0
3600.02/3611.30	c LP deleted cuts 0
3600.02/3611.30	c LP encountered Gomory constraints 0
3600.02/3611.30	c LP encountered Farkas constraints 0
3600.02/3611.30	c LP encountered learned Farkas constraints 0
3600.02/3611.30	c CG auxiliary variables introduced 0
3600.02/3611.30	c CG solutions found 0
3600.02/3611.30	c CG cores constructed 2
3600.02/3611.30	c CG core cardinality constraints returned 0
3600.02/3611.30	c CG unit cores 1
3600.02/3611.30	c CG single cores 0
3600.02/3611.30	c CG blocks removed during cardinality reduction 0
3600.02/3611.30	c CG first core best 0
3600.02/3611.30	c CG decision core best 0
3600.02/3611.30	c CG core reduction tie 1
3600.02/3611.30	c CG core degree average 1.00
3600.02/3611.30	c CG core slack average 1.00
3600.02/3611.30	c CG exhausted 0
3600.02/3611.30	c CG exhaust time 0 s
3600.02/3611.30	c CG trimmed 0
3600.02/3611.30	c CG trim time 0.000613 s
3600.02/3611.30	c CG minimized 0
3600.02/3611.30	c CG minimize time 0 s
3600.02/3611.30	c CG am1 prop time 0.000243 s
3600.02/3611.30	c CG # am1s reformulated 0
3600.02/3611.30	c CG lower bound derived from am1s 0
3600.02/3611.30	c CG # clausal cores 0
3600.02/3611.30	c CG # cardinality cores 0
3600.02/3611.30	c CG # pb cores 2
3600.02/3611.30	c CG # pb reforms 0
3600.02/3611.30	c CG # cores discarded because of pb reform 0
3600.02/3611.30	d LOWERBOUND -108948
3600.02/3611.30	d NCORES 2
3600.02/3611.30	d NPBCORES 2
3600.02/3611.30	d NPBREFORM 0
3600.02/3611.30	d NTRIMMED 0
3600.02/3611.30	d NEXHAUSTED 0
3600.02/3611.30	d NAM1S 0
3600.02/3611.30	d AM1LB 0
3600.02/3611.30	c [Papilo Statistics]
3600.02/3611.30	c prepro time 0.041044s
3600.02/3611.30	c # tsx applied 1
3600.02/3611.30	c # tsx conflicts 0
3600.02/3611.30	c # bound changes 121
3600.02/3611.30	c # side changes 0
3600.02/3611.30	c # coef changes 0
3600.02/3611.30	c # rounds 2
3600.02/3611.30	c # deted vars 121
3600.02/3611.30	c # deted constrs 4953
3600.02/3611.30	c # consecutive rounds of only bound changes 0
3600.02/3611.30	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 (62523 MiB free)
  memory of node 1: 64473 MiB (63361 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435653-1721127870/watcher-4435653-1721127870 -o /tmp/evaluation-result-4435653-1721127870/solver-4435653-1721127870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721127883-850378 --watchdog 3760 mixed-bag HOME/instance-4435653-1721127870.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=850407, runsolver pid=850404

[startup+0.100337 s]*
/proc/loadavg: 2.58 3.69 3.95 5/250 850429
/proc/meminfo: memFree=128780744/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=101980 memory=26176 CPUtime=0.08 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 6382 0 8 0 7 1 0 0 20 0 1 0 164953722 104427520 6544 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 25495 6544 1716 3002 0 9246 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 101980 KiB
Current children cumulated memory: 26176 KiB

[startup+0.205512 s]*
/proc/loadavg: 2.58 3.69 3.95 5/256 850439
/proc/meminfo: memFree=128675072/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=139332 memory=70084 CPUtime=0.19 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 15972 0 8 0 17 2 0 0 20 0 1 0 164953722 142675968 17521 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 34833 17521 3761 3002 0 18584 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 139332 KiB
Current children cumulated memory: 70084 KiB

[startup+0.305368 s]*
/proc/loadavg: 2.58 3.69 3.95 5/256 850439
/proc/meminfo: memFree=128654068/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=149348 memory=80052 CPUtime=0.28 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 19801 0 8 0 26 2 0 0 20 0 1 0 164953722 152932352 20013 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 37337 20013 3761 3002 0 21088 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 149348 KiB
Current children cumulated memory: 80052 KiB

[startup+0.70022 s]
/proc/loadavg: 2.58 3.69 3.95 5/256 850439
/proc/meminfo: memFree=128617708/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=158160 memory=88496 CPUtime=0.68 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 21956 0 8 0 65 3 0 0 20 0 1 0 164953722 161955840 22124 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 39540 22124 3761 3002 0 23291 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 158160 KiB
Current children cumulated memory: 88496 KiB

[startup+1.50024 s]
/proc/loadavg: 2.58 3.69 3.95 5/256 850439
/proc/meminfo: memFree=128287168/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=158160 memory=88496 CPUtime=1.47 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 21957 0 8 0 144 3 0 0 20 0 1 0 164953722 161955840 22124 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 39540 22124 3761 3002 0 23291 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 158160 KiB
Current children cumulated memory: 88496 KiB

[startup+3.10545 s]
/proc/loadavg: 2.69 3.70 3.95 5/256 850439
/proc/meminfo: memFree=127133220/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=162520 memory=92572 CPUtime=3.07 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 22904 0 8 0 304 3 0 0 20 0 1 0 164953722 166420480 23143 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 40630 23143 3793 3002 0 24381 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 162520 KiB
Current children cumulated memory: 92572 KiB

[startup+6.30023 s]
/proc/loadavg: 2.69 3.70 3.95 5/256 850439
/proc/meminfo: memFree=126418212/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=259028 memory=181788 CPUtime=6.26 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 40262 0 8 0 619 7 0 0 20 0 1 0 164953722 265244672 45447 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 64757 45447 4000 3002 0 48508 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 259028 KiB
Current children cumulated memory: 181788 KiB

[startup+12.7002 s]
/proc/loadavg: 2.80 3.70 3.95 5/256 850441
/proc/meminfo: memFree=125407280/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=259028 memory=181788 CPUtime=12.63 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 40297 0 8 0 1256 7 0 0 20 0 1 0 164953722 265244672 45447 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 64757 45447 4000 3002 0 48508 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 259028 KiB
Current children cumulated memory: 181788 KiB

[startup+25.5003 s]
/proc/loadavg: 3.15 3.74 3.96 5/256 850442
/proc/meminfo: memFree=123502848/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=303784 memory=222636 CPUtime=25.38 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 50524 0 8 0 2530 8 0 0 20 0 1 0 164953722 311074816 55659 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 75946 55659 4016 3002 0 59697 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 303784 KiB
Current children cumulated memory: 222636 KiB

[startup+51.1055 s]
/proc/loadavg: 3.44 3.76 3.96 5/256 850448
/proc/meminfo: memFree=123336568/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=303784 memory=222924 CPUtime=50.89 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 50566 0 8 0 5081 8 0 0 20 0 1 0 164953722 311074816 55731 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 75946 55731 4026 3002 0 59697 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 303784 KiB
Current children cumulated memory: 222924 KiB

[startup+102.3 s]
/proc/loadavg: 3.81 3.81 3.97 5/254 850456
/proc/meminfo: memFree=122752248/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=303784 memory=222924 CPUtime=101.84 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 50588 0 8 0 10176 8 0 0 20 0 1 0 164953722 311074816 55731 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 75946 55731 4026 3002 0 59697 0
Current children cumulated CPU time: 101.84 s
Current children cumulated vsize: 303784 KiB
Current children cumulated memory: 222924 KiB

[startup+162.3 s]
/proc/loadavg: 3.97 3.86 3.99 5/254 850467
/proc/meminfo: memFree=122639400/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=313328 memory=232904 CPUtime=161.29 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 53084 0 8 0 16121 8 0 0 20 0 1 0 164953722 320847872 58226 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 78332 58226 4026 3002 0 62083 0
Current children cumulated CPU time: 161.29 s
Current children cumulated vsize: 313328 KiB
Current children cumulated memory: 232904 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 3.92 4.00 5/254 850477
/proc/meminfo: memFree=122313336/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=335524 memory=260584 CPUtime=220.73 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 59062 0 8 0 22064 9 0 0 20 0 1 0 164953722 343576576 65146 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 83881 65146 4026 3002 0 67632 0
Current children cumulated CPU time: 220.73 s
Current children cumulated vsize: 335524 KiB
Current children cumulated memory: 260584 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 3.95 4.00 5/254 850487
/proc/meminfo: memFree=122280632/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=353764 memory=280460 CPUtime=280.17 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 63410 0 8 0 28008 9 0 0 20 0 1 0 164953722 362254336 70115 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 88441 70115 4026 3002 0 72192 0
Current children cumulated CPU time: 280.17 s
Current children cumulated vsize: 353764 KiB
Current children cumulated memory: 280460 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.99 4.01 5/254 850498
/proc/meminfo: memFree=123358008/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=326940 memory=268444 CPUtime=339.66 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 65835 0 9 0 33933 33 0 0 20 0 1 0 164953722 334786560 67111 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 3 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 81735 67111 4169 3002 0 65486 0
Current children cumulated CPU time: 339.66 s
Current children cumulated vsize: 326940 KiB
Current children cumulated memory: 268444 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.02 4.01 5/258 850515
/proc/meminfo: memFree=123252728/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=345908 memory=279820 CPUtime=399.36 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 66176 0 9 0 39880 56 0 0 20 0 1 0 164953722 354209792 69955 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 86477 69955 4169 3002 0 70228 0
Current children cumulated CPU time: 399.36 s
Current children cumulated vsize: 345908 KiB
Current children cumulated memory: 279820 KiB

[startup+462.3 s]
/proc/loadavg: 4.21 4.06 4.02 5/258 850527
/proc/meminfo: memFree=123051368/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=426816 memory=330128 CPUtime=459.22 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 67076 0 9 0 45845 77 0 0 20 0 1 0 164953722 437059584 82532 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 106704 82532 4169 3002 0 90455 0

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

Current children cumulated memory: 494368 KiB

[startup+2922.3 s]
/proc/loadavg: 4.21 4.18 4.17 5/258 851586
/proc/meminfo: memFree=120660552/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=661292 memory=494368 CPUtime=2912.81 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 76381 0 9 0 290654 627 0 0 20 0 1 0 164953722 677163008 123592 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 165323 123592 4169 3002 0 149074 0
Current children cumulated CPU time: 2912.81 s
Current children cumulated vsize: 661292 KiB
Current children cumulated memory: 494368 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/258 851597
/proc/meminfo: memFree=120650004/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=661292 memory=494368 CPUtime=2972.65 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 76593 0 9 0 296622 643 0 0 20 0 1 0 164953722 677163008 123592 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 165323 123592 4169 3002 0 149074 0
Current children cumulated CPU time: 2972.65 s
Current children cumulated vsize: 661292 KiB
Current children cumulated memory: 494368 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.15 4.16 6/258 851990
/proc/meminfo: memFree=120640164/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=661292 memory=494368 CPUtime=3032.5 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 76807 0 9 0 302597 653 0 0 20 0 1 0 164953722 677163008 123592 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 165323 123592 4169 3002 0 149074 0
Current children cumulated CPU time: 3032.5 s
Current children cumulated vsize: 661292 KiB
Current children cumulated memory: 494368 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.15 5/257 852001
/proc/meminfo: memFree=120632184/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=661292 memory=494368 CPUtime=3092.34 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 76930 0 9 0 308571 663 0 0 20 0 1 0 164953722 677163008 123592 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 165323 123592 4169 3002 0 149074 0
Current children cumulated CPU time: 3092.34 s
Current children cumulated vsize: 661292 KiB
Current children cumulated memory: 494368 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/257 852012
/proc/meminfo: memFree=120625756/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=661292 memory=494368 CPUtime=3152.19 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 77036 0 9 0 314545 674 0 0 20 0 1 0 164953722 677163008 123592 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 165323 123592 4169 3002 0 149074 0
Current children cumulated CPU time: 3152.19 s
Current children cumulated vsize: 661292 KiB
Current children cumulated memory: 494368 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.13 4.15 5/257 852022
/proc/meminfo: memFree=120619220/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=661292 memory=494368 CPUtime=3212.02 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 77248 0 9 0 320516 686 0 0 20 0 1 0 164953722 677163008 123592 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 165323 123592 4169 3002 0 149074 0
Current children cumulated CPU time: 3212.02 s
Current children cumulated vsize: 661292 KiB
Current children cumulated memory: 494368 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.14 5/259 852202
/proc/meminfo: memFree=120602204/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=661292 memory=494368 CPUtime=3271.86 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 77460 0 9 0 326492 694 0 0 20 0 1 0 164953722 677163008 123592 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 165323 123592 4169 3002 0 149074 0
Current children cumulated CPU time: 3271.86 s
Current children cumulated vsize: 661292 KiB
Current children cumulated memory: 494368 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.14 4.15 5/257 852212
/proc/meminfo: memFree=120595908/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=661292 memory=494372 CPUtime=3331.71 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 77673 0 9 0 332467 704 0 0 20 0 1 0 164953722 677163008 123593 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 165323 123593 4169 3002 0 149074 0
Current children cumulated CPU time: 3331.71 s
Current children cumulated vsize: 661292 KiB
Current children cumulated memory: 494372 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.13 4.14 5/259 852238
/proc/meminfo: memFree=120589332/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=661292 memory=494372 CPUtime=3391.55 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 77885 0 9 0 338441 714 0 0 20 0 1 0 164953722 677163008 123593 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 165323 123593 4169 3002 0 149074 0
Current children cumulated CPU time: 3391.55 s
Current children cumulated vsize: 661292 KiB
Current children cumulated memory: 494372 KiB

[startup+3462.3 s]
/proc/loadavg: 4.05 4.10 4.13 5/258 852248
/proc/meminfo: memFree=120580932/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=661292 memory=494372 CPUtime=3451.4 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 78097 0 9 0 344423 717 0 0 20 0 1 0 164953722 677163008 123593 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 165323 123593 4169 3002 0 149074 0
Current children cumulated CPU time: 3451.4 s
Current children cumulated vsize: 661292 KiB
Current children cumulated memory: 494372 KiB

[startup+3522.3 s]
/proc/loadavg: 4.20 4.13 4.14 5/258 852260
/proc/meminfo: memFree=120568352/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=661292 memory=494372 CPUtime=3511.25 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 78309 0 9 0 350397 728 0 0 20 0 1 0 164953722 677163008 123593 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 165323 123593 4169 3002 0 149074 0
Current children cumulated CPU time: 3511.25 s
Current children cumulated vsize: 661292 KiB
Current children cumulated memory: 494372 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.12 4.13 5/256 852272
/proc/meminfo: memFree=120557164/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=664764 memory=496768 CPUtime=3571.1 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 79181 0 9 0 356373 737 0 0 20 0 1 0 164953722 680718336 124192 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 166191 124192 4169 3002 0 149942 0
Current children cumulated CPU time: 3571.1 s
Current children cumulated vsize: 664764 KiB
Current children cumulated memory: 496768 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/254 852337
/proc/meminfo: memFree=126896140/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=664764 memory=497012 CPUtime=3600.02 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 79287 0 9 0 359259 743 0 0 20 0 1 0 164953722 680718336 124253 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 166191 124253 4169 3002 0 149942 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 664764 KiB
Current children cumulated memory: 497012 KiB

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

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

# cumulated CPU time of all completed processes:  user=3592.6 s, system=7.44594 s

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

[startup+3611.3 s]
/proc/loadavg: 4.14 4.12 4.13 5/254 852337
/proc/meminfo: memFree=126896140/131524600 swapFree=131071996/131071996
[pid=850407] ppid=850404 vsize=664764 memory=497012 CPUtime=3600.02 cores=1,3
/proc/850407/stat : 850407 (mixed-bag) R 850404 850407 850366 0 -1 4194304 79287 0 9 0 359259 743 0 0 20 0 1 0 164953722 680718336 124253 134679101440 4194304 16487941 140731350347888 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 44793856 140731350352919 140731350352996 140731350352996 140731350360011 0
/proc/850407/statm: 166191 124253 4169 3002 0 149942 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 664764 KiB
Current children cumulated memory: 497012 KiB

Child status: 0

Real time (s): 3611.31
CPU time (s): 3600.04
CPU user time (s): 3592.6
CPU system time (s): 7.44594
CPU usage (%): 99.6879
Max. virtual memory (cumulated for all children) (KiB): 664764
Max. memory (cumulated for all children) (KiB): 497012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.6
system time used= 7.44594
maximum resident set size= 497696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79306
page faults= 9
swaps= 0
block input operations= 3192
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87
involuntary context switches= 6106


# summary of solver processes directly reported to runsolver:
#   pid: 850407
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3592.6
#   total CPU system time (s): 7.44594

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.22632 second user time and 14.7029 second system time

The end

Launcher Data 

Begin job on nodeC027 at 2024-07-16 13:04:43
IDJOB=4435653
IDBENCH=155343
IDSOLVER=3066
FILE ID=nodeC027/4435653-1721127870
RUNJOBID= nodeC027-1721127883-850378
SLURM_JOB_ID= 7505687
Free space on /tmp= 890080 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-opm2-z7-s2.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435653-1721127870/watcher-4435653-1721127870 -o /tmp/evaluation-result-4435653-1721127870/solver-4435653-1721127870 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC027-1721127883-850378 --watchdog 3760  mixed-bag HOME/instance-4435653-1721127870.opb

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

MD5SUM BENCH= d13cdfe545ae2728c47d5ad7db8600db
RANDOM SEED=1273270764

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        128932852 kB
MemAvailable:   129753156 kB
Buffers:          399528 kB
Cached:          1258452 kB
SwapCached:            0 kB
Active:           668364 kB
Inactive:        1334572 kB
Active(anon):       1468 kB
Inactive(anon):   381244 kB
Active(file):     666896 kB
Inactive(file):   953328 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             40304 kB
Writeback:             0 kB
AnonPages:        343128 kB
Mapped:           103824 kB
Shmem:             37720 kB
KReclaimable:      79804 kB
Slab:             183556 kB
SReclaimable:      79804 kB
SUnreclaim:       103752 kB
KernelStack:        3824 kB
PageTables:         8680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     851148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61536 kB
HardwareCorrupted:     0 kB
AnonHugePages:    215040 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:      193236 kB
DirectMap2M:    15308800 kB
DirectMap1G:    120586240 kB

Free space on /tmp at the end= 889964 MiB
End job on nodeC027 at 2024-07-16 14:04:55