Trace number 4460674

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 NameAnswerCPU timeWall clock time
RoundingSat log (2)? (TO) 3600.07 3609.75

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K143.opb
MD5SUM5b71eb3fc2b19671b5e391982561b6cd
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables17017
Total number of constraints17305
Number of constraints which are clauses17162
Number of constraints which are cardinality constraints (but not clauses)143
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint143
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 144
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.10/0.16	c #variables 17017 #constraints 17305
251.15/252.05	c #Conflicts:       1000 | #Constraints:      18304
251.15/252.05	c #Conflicts:       2000 | #Constraints:      19304
251.15/252.05	c INPROCESSING
251.15/252.05	c GARBAGE COLLECT
251.15/252.05	c #Conflicts:       3000 | #Constraints:      18637
251.15/252.05	c #Conflicts:       4000 | #Constraints:      19637
251.15/252.05	c INPROCESSING
251.15/252.05	c GARBAGE COLLECT
251.15/252.05	c #Conflicts:       5000 | #Constraints:      19118
251.15/252.05	c #Conflicts:       6000 | #Constraints:      20118
251.15/252.05	c INPROCESSING
251.15/252.05	c GARBAGE COLLECT
251.15/252.05	c #Conflicts:       7000 | #Constraints:      19203
251.15/252.05	c #Conflicts:       8000 | #Constraints:      20203
251.15/252.05	c #Conflicts:       9000 | #Constraints:      21203
251.15/252.05	c INPROCESSING
251.15/252.05	c GARBAGE COLLECT
251.15/252.05	c #Conflicts:      10000 | #Constraints:      19985
251.15/252.05	c #Conflicts:      11000 | #Constraints:      20985
251.15/252.05	c #Conflicts:      12000 | #Constraints:      21985
251.15/252.05	c #Conflicts:      13000 | #Constraints:      22985
251.15/252.05	c #Conflicts:      14000 | #Constraints:      23985
251.15/252.05	c #Conflicts:      15000 | #Constraints:      24985
251.15/252.05	c #Conflicts:      16000 | #Constraints:      25985
251.15/252.05	c INPROCESSING
251.15/252.05	c GARBAGE COLLECT
251.15/252.05	c #Conflicts:      17000 | #Constraints:      22302
251.15/252.05	c #Conflicts:      18000 | #Constraints:      23302
251.15/252.05	c #Conflicts:      19000 | #Constraints:      24302
251.15/252.05	c #Conflicts:      20000 | #Constraints:      25302
251.15/252.05	c INPROCESSING
251.15/252.05	c GARBAGE COLLECT
251.15/252.05	c #Conflicts:      21000 | #Constraints:      22061
251.15/252.05	c #Conflicts:      22000 | #Constraints:      23061
251.15/252.05	c #Conflicts:      23000 | #Constraints:      24061
251.15/252.05	c #Conflicts:      24000 | #Constraints:      25061
251.15/252.05	c INPROCESSING
251.15/252.05	c GARBAGE COLLECT
251.15/252.05	c #Conflicts:      25000 | #Constraints:      21882
251.15/252.05	c #Conflicts:      26000 | #Constraints:      22882
251.15/252.05	c #Conflicts:      27000 | #Constraints:      23882
251.15/252.05	c #Conflicts:      28000 | #Constraints:      24882
251.15/252.05	c #Conflicts:      29000 | #Constraints:      25882
251.15/252.05	c #Conflicts:      30000 | #Constraints:      26882
251.15/252.05	c #Conflicts:      31000 | #Constraints:      27882
251.15/252.05	c #Conflicts:      32000 | #Constraints:      28882
251.15/252.05	c #Conflicts:      33000 | #Constraints:      29882
251.15/252.05	c #Conflicts:      34000 | #Constraints:      30882
251.15/252.05	c #Conflicts:      35000 | #Constraints:      31882
251.15/252.05	c #Conflicts:      36000 | #Constraints:      32883
251.15/252.05	c INPROCESSING
251.15/252.05	c GARBAGE COLLECT
251.15/252.05	c #Conflicts:      37000 | #Constraints:      26070
251.15/252.05	c #Conflicts:      38000 | #Constraints:      27070
251.15/252.05	c #Conflicts:      39000 | #Constraints:      28070
251.15/252.05	c #Conflicts:      40000 | #Constraints:      29070
251.15/252.05	c #Conflicts:      41000 | #Constraints:      30070
251.15/252.05	c INPROCESSING
251.15/252.05	c GARBAGE COLLECT
251.15/252.05	c #Conflicts:      42000 | #Constraints:      24506
251.15/252.05	c #Conflicts:      43000 | #Constraints:      25506
251.15/252.05	c #Conflicts:      44000 | #Constraints:      26506
251.15/252.05	c #Conflicts:      45000 | #Constraints:      27506
251.15/252.05	c #Conflicts:      46000 | #Constraints:      28506
251.15/252.05	c #Conflicts:      47000 | #Constraints:      29506
251.15/252.05	c INPROCESSING
251.15/252.05	c GARBAGE COLLECT
251.15/252.05	c #Conflicts:      48000 | #Constraints:      24552
251.15/252.05	c #Conflicts:      49000 | #Constraints:      25552
251.15/252.05	c #Conflicts:      50000 | #Constraints:      26552
251.15/252.05	c #Conflicts:      51000 | #Constraints:      27552
251.15/252.05	c #Conflicts:      52000 | #Constraints:      28552
251.15/252.05	c #Conflicts:      53000 | #Constraints:      29552
251.15/252.05	c #Conflicts:      54000 | #Constraints:      30553
251.15/252.05	c #Conflicts:      55000 | #Constraints:      31553
251.15/252.05	c #Conflicts:      56000 | #Constraints:      32553
251.15/252.05	c #Conflicts:      57000 | #Constraints:      33553
251.15/252.05	c #Conflicts:      58000 | #Constraints:      34553
251.15/252.05	c #Conflicts:      59000 | #Constraints:      35553
251.15/252.05	c #Conflicts:      60000 | #Constraints:      36553
251.15/252.05	c #Conflicts:      61000 | #Constraints:      37553
251.15/252.05	c #Conflicts:      62000 | #Constraints:      38553
251.15/252.05	c INPROCESSING
251.15/252.05	c GARBAGE COLLECT
251.15/252.05	c rational objective 143
583.11/585.12	c #Conflicts:      63000 | #Constraints:      28720
583.11/585.12	c #Conflicts:      64000 | #Constraints:      29720
583.11/585.12	c #Conflicts:      65000 | #Constraints:      30720
583.11/585.12	c #Conflicts:      66000 | #Constraints:      31720
583.11/585.12	c #Conflicts:      67000 | #Constraints:      32721
583.11/585.12	c #Conflicts:      68000 | #Constraints:      33721
583.11/585.12	c #Conflicts:      69000 | #Constraints:      34721
583.11/585.12	c INPROCESSING
583.11/585.12	c GARBAGE COLLECT
583.11/585.12	c #Conflicts:      70000 | #Constraints:      26926
583.11/585.12	c #Conflicts:      71000 | #Constraints:      27926
583.11/585.12	c #Conflicts:      72000 | #Constraints:      28926
583.11/585.12	c #Conflicts:      73000 | #Constraints:      29926
583.11/585.12	c #Conflicts:      74000 | #Constraints:      30926
583.11/585.12	c #Conflicts:      75000 | #Constraints:      31926
583.11/585.12	c #Conflicts:      76000 | #Constraints:      32926
583.11/585.12	c INPROCESSING
583.11/585.12	c GARBAGE COLLECT
583.11/585.12	c #Conflicts:      77000 | #Constraints:      26537
583.11/585.12	c #Conflicts:      78000 | #Constraints:      27537
583.11/585.12	c #Conflicts:      79000 | #Constraints:      28537
583.11/585.12	c #Conflicts:      80000 | #Constraints:      29537
583.11/585.12	c #Conflicts:      81000 | #Constraints:      30537
583.11/585.12	c #Conflicts:      82000 | #Constraints:      31538
583.11/585.12	c #Conflicts:      83000 | #Constraints:      32538
583.11/585.12	c #Conflicts:      84000 | #Constraints:      33538
583.11/585.12	c #Conflicts:      85000 | #Constraints:      34538
583.11/585.12	c #Conflicts:      86000 | #Constraints:      35538
583.11/585.12	c #Conflicts:      87000 | #Constraints:      36538
583.11/585.12	c #Conflicts:      88000 | #Constraints:      37538
583.11/585.12	c #Conflicts:      89000 | #Constraints:      38538
583.11/585.12	c #Conflicts:      90000 | #Constraints:      39538
583.11/585.12	c #Conflicts:      91000 | #Constraints:      40538
583.11/585.12	c #Conflicts:      92000 | #Constraints:      41538
583.11/585.12	c #Conflicts:      93000 | #Constraints:      42538
583.11/585.12	c #Conflicts:      94000 | #Constraints:      43538
583.11/585.12	c #Conflicts:      95000 | #Constraints:      44538
583.11/585.12	c #Conflicts:      96000 | #Constraints:      45538
583.11/585.12	c INPROCESSING
583.11/585.12	c GARBAGE COLLECT
583.11/585.12	c #Conflicts:      97000 | #Constraints:      32337
583.11/585.12	c #Conflicts:      98000 | #Constraints:      33337
583.11/585.12	c #Conflicts:      99000 | #Constraints:      34338
583.11/585.12	c #Conflicts:     100000 | #Constraints:      35338
583.11/585.12	c #Conflicts:     101000 | #Constraints:      36338
583.11/585.12	c #Conflicts:     102000 | #Constraints:      37338
583.11/585.12	c #Conflicts:     103000 | #Constraints:      38338
583.11/585.12	c #Conflicts:     104000 | #Constraints:      39338
583.11/585.12	c #Conflicts:     105000 | #Constraints:      40338
583.11/585.12	c INPROCESSING
583.11/585.12	c GARBAGE COLLECT
583.11/585.12	c #Conflicts:     106000 | #Constraints:      30156
583.11/585.12	c #Conflicts:     107000 | #Constraints:      31156
583.11/585.12	c #Conflicts:     108000 | #Constraints:      32156
583.11/585.12	c #Conflicts:     109000 | #Constraints:      33156
583.11/585.12	c #Conflicts:     110000 | #Constraints:      34156
583.11/585.12	c #Conflicts:     111000 | #Constraints:      35156
583.11/585.12	c #Conflicts:     112000 | #Constraints:      36156
583.11/585.12	c #Conflicts:     113000 | #Constraints:      37156
583.11/585.12	c INPROCESSING
583.11/585.12	c GARBAGE COLLECT
583.11/585.12	c #Conflicts:     114000 | #Constraints:      28962
583.11/585.12	c #Conflicts:     115000 | #Constraints:      29963
583.11/585.12	c #Conflicts:     116000 | #Constraints:      30963
583.11/585.12	c #Conflicts:     117000 | #Constraints:      31963
583.11/585.12	c #Conflicts:     118000 | #Constraints:      32964
583.11/585.12	c #Conflicts:     119000 | #Constraints:      33964
583.11/585.12	c #Conflicts:     120000 | #Constraints:      34964
583.11/585.12	c #Conflicts:     121000 | #Constraints:      35964
583.11/585.12	c #Conflicts:     122000 | #Constraints:      36964
583.11/585.12	c #Conflicts:     123000 | #Constraints:      37964
583.11/585.12	c #Conflicts:     124000 | #Constraints:      38964
583.11/585.12	c #Conflicts:     125000 | #Constraints:      39964
583.11/585.12	c #Conflicts:     126000 | #Constraints:      40964
583.11/585.12	c #Conflicts:     127000 | #Constraints:      41964
583.11/585.12	c #Conflicts:     128000 | #Constraints:      42964
583.11/585.12	c #Conflicts:     129000 | #Constraints:      43964
583.11/585.12	c #Conflicts:     130000 | #Constraints:      44964
583.11/585.12	c #Conflicts:     131000 | #Constraints:      45964
583.11/585.12	c #Conflicts:     132000 | #Constraints:      46964
583.11/585.12	c #Conflicts:     133000 | #Constraints:      47965
583.11/585.12	c #Conflicts:     134000 | #Constraints:      48965
583.11/585.12	c #Conflicts:     135000 | #Constraints:      49965
583.11/585.12	c #Conflicts:     136000 | #Constraints:      50965
583.11/585.12	c #Conflicts:     137000 | #Constraints:      51965
583.11/585.12	c INPROCESSING
583.11/585.12	c GARBAGE COLLECT
631.34/633.56	c #Conflicts:     138000 | #Constraints:      35631
631.34/633.56	c #Conflicts:     139000 | #Constraints:      36631
631.34/633.56	c #Conflicts:     140000 | #Constraints:      37631
631.34/633.56	c #Conflicts:     141000 | #Constraints:      38631
631.34/633.56	c #Conflicts:     142000 | #Constraints:      39631
631.34/633.56	c #Conflicts:     143000 | #Constraints:      40631
631.34/633.56	c #Conflicts:     144000 | #Constraints:      41631
631.34/633.56	c #Conflicts:     145000 | #Constraints:      42631
631.34/633.56	c #Conflicts:     146000 | #Constraints:      43632
631.34/633.56	c #Conflicts:     147000 | #Constraints:      44632
631.34/633.56	c INPROCESSING
631.34/633.56	c GARBAGE COLLECT
631.34/633.56	c rational objective 143
661.92/664.27	c #Conflicts:     148000 | #Constraints:      32064
661.92/664.27	c #Conflicts:     149000 | #Constraints:      33064
661.92/664.27	c #Conflicts:     150000 | #Constraints:      34064
661.92/664.27	c #Conflicts:     151000 | #Constraints:      35064
661.92/664.27	c #Conflicts:     152000 | #Constraints:      36064
661.92/664.27	c #Conflicts:     153000 | #Constraints:      37064
661.92/664.27	c #Conflicts:     154000 | #Constraints:      38064
661.92/664.27	c #Conflicts:     155000 | #Constraints:      39064
661.92/664.27	c #Conflicts:     156000 | #Constraints:      40064
661.92/664.27	c #Conflicts:     157000 | #Constraints:      41064
661.92/664.27	c INPROCESSING
661.92/664.27	c GARBAGE COLLECT
661.92/664.27	c rational objective 143
849.10/851.90	c #Conflicts:     158000 | #Constraints:      31802
849.10/851.90	c #Conflicts:     159000 | #Constraints:      32802
849.10/851.90	c #Conflicts:     160000 | #Constraints:      33802
849.10/851.90	c #Conflicts:     161000 | #Constraints:      34802
849.10/851.90	c #Conflicts:     162000 | #Constraints:      35802
849.10/851.90	c #Conflicts:     163000 | #Constraints:      36802
849.10/851.90	c #Conflicts:     164000 | #Constraints:      37802
849.10/851.90	c #Conflicts:     165000 | #Constraints:      38802
849.10/851.90	c #Conflicts:     166000 | #Constraints:      39802
849.10/851.90	c #Conflicts:     167000 | #Constraints:      40802
849.10/851.90	c #Conflicts:     168000 | #Constraints:      41802
849.10/851.90	c #Conflicts:     169000 | #Constraints:      42802
849.10/851.90	c #Conflicts:     170000 | #Constraints:      43802
849.10/851.90	c #Conflicts:     171000 | #Constraints:      44802
849.10/851.90	c #Conflicts:     172000 | #Constraints:      45802
849.10/851.90	c #Conflicts:     173000 | #Constraints:      46802
849.10/851.90	c #Conflicts:     174000 | #Constraints:      47802
849.10/851.90	c #Conflicts:     175000 | #Constraints:      48802
849.10/851.90	c #Conflicts:     176000 | #Constraints:      49802
849.10/851.90	c #Conflicts:     177000 | #Constraints:      50802
849.10/851.90	c #Conflicts:     178000 | #Constraints:      51802
849.10/851.90	c #Conflicts:     179000 | #Constraints:      52802
849.10/851.90	c #Conflicts:     180000 | #Constraints:      53802
849.10/851.90	c #Conflicts:     181000 | #Constraints:      54802
849.10/851.90	c #Conflicts:     182000 | #Constraints:      55802
849.10/851.90	c #Conflicts:     183000 | #Constraints:      56802
849.10/851.90	c #Conflicts:     184000 | #Constraints:      57802
849.10/851.90	c #Conflicts:     185000 | #Constraints:      58802
849.10/851.90	c #Conflicts:     186000 | #Constraints:      59802
849.10/851.90	c INPROCESSING
849.10/851.90	c GARBAGE COLLECT
849.10/851.90	c rational objective 143
1078.80/1082.25	c #Conflicts:     187000 | #Constraints:      40014
1078.80/1082.25	c #Conflicts:     188000 | #Constraints:      41014
1078.80/1082.25	c #Conflicts:     189000 | #Constraints:      42014
1078.80/1082.25	c #Conflicts:     190000 | #Constraints:      43014
1078.80/1082.25	c #Conflicts:     191000 | #Constraints:      44014
1078.80/1082.25	c #Conflicts:     192000 | #Constraints:      45014
1078.80/1082.25	c #Conflicts:     193000 | #Constraints:      46014
1078.80/1082.25	c #Conflicts:     194000 | #Constraints:      47014
1078.80/1082.25	c #Conflicts:     195000 | #Constraints:      48014
1078.80/1082.25	c #Conflicts:     196000 | #Constraints:      49014
1078.80/1082.25	c #Conflicts:     197000 | #Constraints:      50014
1078.80/1082.25	c INPROCESSING
1078.80/1082.25	c GARBAGE COLLECT
1078.80/1082.25	c #Conflicts:     198000 | #Constraints:      34889
1078.80/1082.25	c #Conflicts:     199000 | #Constraints:      35890
1078.80/1082.25	c #Conflicts:     200000 | #Constraints:      36890
1078.80/1082.25	c #Conflicts:     201000 | #Constraints:      37890
1078.80/1082.25	c #Conflicts:     202000 | #Constraints:      38890
1078.80/1082.25	c #Conflicts:     203000 | #Constraints:      39890
1078.80/1082.25	c #Conflicts:     204000 | #Constraints:      40890
1078.80/1082.25	c #Conflicts:     205000 | #Constraints:      41890
1078.80/1082.25	c #Conflicts:     206000 | #Constraints:      42890
1078.80/1082.25	c #Conflicts:     207000 | #Constraints:      43891
1078.80/1082.25	c #Conflicts:     208000 | #Constraints:      44891
1078.80/1082.25	c #Conflicts:     209000 | #Constraints:      45891
1078.80/1082.25	c #Conflicts:     210000 | #Constraints:      46891
1078.80/1082.25	c #Conflicts:     211000 | #Constraints:      47892
1078.80/1082.25	c #Conflicts:     212000 | #Constraints:      48892
1078.80/1082.25	c #Conflicts:     213000 | #Constraints:      49892
1078.80/1082.25	c #Conflicts:     214000 | #Constraints:      50892
1078.80/1082.25	c #Conflicts:     215000 | #Constraints:      51892
1078.80/1082.25	c #Conflicts:     216000 | #Constraints:      52892
1078.80/1082.25	c #Conflicts:     217000 | #Constraints:      53892
1078.80/1082.25	c #Conflicts:     218000 | #Constraints:      54893
1078.80/1082.25	c #Conflicts:     219000 | #Constraints:      55893
1078.80/1082.25	c #Conflicts:     220000 | #Constraints:      56895
1078.80/1082.25	c #Conflicts:     221000 | #Constraints:      57895
1078.80/1082.25	c #Conflicts:     222000 | #Constraints:      58896
1078.80/1082.25	c #Conflicts:     223000 | #Constraints:      59896
1078.80/1082.25	c #Conflicts:     224000 | #Constraints:      60896
1078.80/1082.25	c #Conflicts:     225000 | #Constraints:      61896
1078.80/1082.25	c #Conflicts:     226000 | #Constraints:      62896
1078.80/1082.25	c #Conflicts:     227000 | #Constraints:      63896
1078.80/1082.25	c #Conflicts:     228000 | #Constraints:      64896
1078.80/1082.25	c INPROCESSING
1078.80/1082.25	c GARBAGE COLLECT
1078.80/1082.25	c rational objective 143
1342.20/1346.37	c #Conflicts:     229000 | #Constraints:      42201
1342.20/1346.37	c #Conflicts:     230000 | #Constraints:      43202
1342.20/1346.37	c #Conflicts:     231000 | #Constraints:      44202
1342.20/1346.37	c #Conflicts:     232000 | #Constraints:      45202
1342.20/1346.37	c #Conflicts:     233000 | #Constraints:      46202
1342.20/1346.37	c #Conflicts:     234000 | #Constraints:      47202
1342.20/1346.37	c #Conflicts:     235000 | #Constraints:      48202
1342.20/1346.37	c #Conflicts:     236000 | #Constraints:      49202
1342.20/1346.37	c #Conflicts:     237000 | #Constraints:      50202
1342.20/1346.37	c #Conflicts:     238000 | #Constraints:      51202
1342.20/1346.37	c #Conflicts:     239000 | #Constraints:      52202
1342.20/1346.37	c #Conflicts:     240000 | #Constraints:      53202
1342.20/1346.37	c #Conflicts:     241000 | #Constraints:      54202
1342.20/1346.37	c INPROCESSING
1342.20/1346.37	c GARBAGE COLLECT
1342.20/1346.37	c #Conflicts:     242000 | #Constraints:      37024
1342.20/1346.37	c #Conflicts:     243000 | #Constraints:      38024
1342.20/1346.37	c #Conflicts:     244000 | #Constraints:      39024
1342.20/1346.37	c #Conflicts:     245000 | #Constraints:      40024
1342.20/1346.37	c #Conflicts:     246000 | #Constraints:      41024
1342.20/1346.37	c #Conflicts:     247000 | #Constraints:      42024
1342.20/1346.37	c #Conflicts:     248000 | #Constraints:      43025
1342.20/1346.37	c #Conflicts:     249000 | #Constraints:      44025
1342.20/1346.37	c #Conflicts:     250000 | #Constraints:      45025
1342.20/1346.37	c #Conflicts:     251000 | #Constraints:      46025
1342.20/1346.37	c #Conflicts:     252000 | #Constraints:      47025
1342.20/1346.37	c #Conflicts:     253000 | #Constraints:      48025
1342.20/1346.37	c #Conflicts:     254000 | #Constraints:      49025
1342.20/1346.37	c INPROCESSING
1342.20/1346.37	c GARBAGE COLLECT
1342.20/1346.37	c #Conflicts:     255000 | #Constraints:      36534
1342.20/1346.37	c #Conflicts:     256000 | #Constraints:      37534
1342.20/1346.37	c #Conflicts:     257000 | #Constraints:      38534
1342.20/1346.37	c #Conflicts:     258000 | #Constraints:      39534
1342.20/1346.37	c #Conflicts:     259000 | #Constraints:      40534
1342.20/1346.37	c #Conflicts:     260000 | #Constraints:      41534
1342.20/1346.37	c #Conflicts:     261000 | #Constraints:      42534
1342.20/1346.37	c #Conflicts:     262000 | #Constraints:      43534
1342.20/1346.37	c #Conflicts:     263000 | #Constraints:      44534
1342.20/1346.37	c #Conflicts:     264000 | #Constraints:      45534
1342.20/1346.37	c #Conflicts:     265000 | #Constraints:      46534
1342.20/1346.37	c #Conflicts:     266000 | #Constraints:      47534
1342.20/1346.37	c #Conflicts:     267000 | #Constraints:      48534
1342.20/1346.37	c #Conflicts:     268000 | #Constraints:      49534
1342.20/1346.37	c #Conflicts:     269000 | #Constraints:      50534
1342.20/1346.37	c #Conflicts:     270000 | #Constraints:      51534
1342.20/1346.37	c #Conflicts:     271000 | #Constraints:      52534
1342.20/1346.37	c #Conflicts:     272000 | #Constraints:      53534
1342.20/1346.37	c #Conflicts:     273000 | #Constraints:      54534
1342.20/1346.37	c #Conflicts:     274000 | #Constraints:      55534
1342.20/1346.37	c #Conflicts:     275000 | #Constraints:      56534
1342.20/1346.37	c #Conflicts:     276000 | #Constraints:      57534
1342.20/1346.37	c #Conflicts:     277000 | #Constraints:      58534
1342.20/1346.37	c #Conflicts:     278000 | #Constraints:      59534
1342.20/1346.37	c #Conflicts:     279000 | #Constraints:      60534
1342.20/1346.37	c #Conflicts:     280000 | #Constraints:      61534
1342.20/1346.37	c #Conflicts:     281000 | #Constraints:      62534
1342.20/1346.37	c #Conflicts:     282000 | #Constraints:      63534
1342.20/1346.37	c #Conflicts:     283000 | #Constraints:      64535
1342.20/1346.37	c #Conflicts:     284000 | #Constraints:      65535
1342.20/1346.37	c #Conflicts:     285000 | #Constraints:      66535
1342.20/1346.37	c #Conflicts:     286000 | #Constraints:      67535
1342.20/1346.37	c #Conflicts:     287000 | #Constraints:      68535
1342.20/1346.37	c #Conflicts:     288000 | #Constraints:      69535
1342.20/1346.37	c #Conflicts:     289000 | #Constraints:      70535
1342.20/1346.37	c #Conflicts:     290000 | #Constraints:      71535
1342.20/1346.37	c INPROCESSING
1342.20/1346.37	c GARBAGE COLLECT
1342.20/1346.37	c rational objective 143
1536.02/1540.68	c #Conflicts:     291000 | #Constraints:      45864
1536.02/1540.68	c #Conflicts:     292000 | #Constraints:      46864
1536.02/1540.68	c #Conflicts:     293000 | #Constraints:      47864
1536.02/1540.68	c #Conflicts:     294000 | #Constraints:      48864
1536.02/1540.68	c #Conflicts:     295000 | #Constraints:      49864
1536.02/1540.68	c #Conflicts:     296000 | #Constraints:      50864
1536.02/1540.68	c #Conflicts:     297000 | #Constraints:      51864
1536.02/1540.68	c #Conflicts:     298000 | #Constraints:      52864
1536.02/1540.68	c #Conflicts:     299000 | #Constraints:      53864
1536.02/1540.68	c #Conflicts:     300000 | #Constraints:      54864
1536.02/1540.68	c #Conflicts:     301000 | #Constraints:      55864
1536.02/1540.68	c #Conflicts:     302000 | #Constraints:      56864
1536.02/1540.68	c #Conflicts:     303000 | #Constraints:      57864
1536.02/1540.68	c #Conflicts:     304000 | #Constraints:      58864
1536.02/1540.68	c INPROCESSING
1536.02/1540.68	c GARBAGE COLLECT
1536.02/1540.68	c #Conflicts:     305000 | #Constraints:      39696
1536.02/1540.68	c #Conflicts:     306000 | #Constraints:      40696
1536.02/1540.68	c #Conflicts:     307000 | #Constraints:      41696
1536.02/1540.68	c #Conflicts:     308000 | #Constraints:      42696
1536.02/1540.68	c #Conflicts:     309000 | #Constraints:      43696
1536.02/1540.68	c #Conflicts:     310000 | #Constraints:      44696
1536.02/1540.68	c #Conflicts:     311000 | #Constraints:      45696
1536.02/1540.68	c #Conflicts:     312000 | #Constraints:      46696
1536.02/1540.68	c #Conflicts:     313000 | #Constraints:      47696
1536.02/1540.68	c #Conflicts:     314000 | #Constraints:      48696
1536.02/1540.68	c #Conflicts:     315000 | #Constraints:      49696
1536.02/1540.68	c #Conflicts:     316000 | #Constraints:      50697
1536.02/1540.68	c #Conflicts:     317000 | #Constraints:      51698
1536.02/1540.68	c #Conflicts:     318000 | #Constraints:      52698
1536.02/1540.68	c #Conflicts:     319000 | #Constraints:      53699
1536.02/1540.68	c #Conflicts:     320000 | #Constraints:      54699
1536.02/1540.68	c #Conflicts:     321000 | #Constraints:      55699
1536.02/1540.68	c #Conflicts:     322000 | #Constraints:      56699
1536.02/1540.68	c #Conflicts:     323000 | #Constraints:      57699
1536.02/1540.68	c #Conflicts:     324000 | #Constraints:      58699
1536.02/1540.68	c #Conflicts:     325000 | #Constraints:      59699
1536.02/1540.68	c #Conflicts:     326000 | #Constraints:      60700
1536.02/1540.68	c #Conflicts:     327000 | #Constraints:      61700
1536.02/1540.68	c #Conflicts:     328000 | #Constraints:      62702
1536.02/1540.68	c #Conflicts:     329000 | #Constraints:      63702
1536.02/1540.68	c #Conflicts:     330000 | #Constraints:      64702
1536.02/1540.68	c #Conflicts:     331000 | #Constraints:      65702
1536.02/1540.68	c #Conflicts:     332000 | #Constraints:      66702
1536.02/1540.68	c #Conflicts:     333000 | #Constraints:      67702
1536.02/1540.68	c #Conflicts:     334000 | #Constraints:      68702
1536.02/1540.68	c #Conflicts:     335000 | #Constraints:      69702
1536.02/1540.68	c #Conflicts:     336000 | #Constraints:      70702
1536.02/1540.68	c #Conflicts:     337000 | #Constraints:      71702
1536.02/1540.68	c #Conflicts:     338000 | #Constraints:      72703
1536.02/1540.68	c #Conflicts:     339000 | #Constraints:      73703
1536.02/1540.68	c #Conflicts:     340000 | #Constraints:      74704
1536.02/1540.68	c #Conflicts:     341000 | #Constraints:      75704
1536.02/1540.68	c #Conflicts:     342000 | #Constraints:      76704
1536.02/1540.68	c INPROCESSING
1536.02/1540.68	c GARBAGE COLLECT
1536.02/1540.68	c rational objective 143
1941.83/1947.44	c #Conflicts:     343000 | #Constraints:      48277
1941.83/1947.44	c #Conflicts:     344000 | #Constraints:      49277
1941.83/1947.44	c #Conflicts:     345000 | #Constraints:      50277
1941.83/1947.44	c #Conflicts:     346000 | #Constraints:      51277
1941.83/1947.44	c #Conflicts:     347000 | #Constraints:      52277
1941.83/1947.44	c #Conflicts:     348000 | #Constraints:      53277
1941.83/1947.44	c #Conflicts:     349000 | #Constraints:      54277
1941.83/1947.44	c #Conflicts:     350000 | #Constraints:      55277
1941.83/1947.44	c #Conflicts:     351000 | #Constraints:      56277
1941.83/1947.44	c #Conflicts:     352000 | #Constraints:      57277
1941.83/1947.44	c #Conflicts:     353000 | #Constraints:      58277
1941.83/1947.44	c #Conflicts:     354000 | #Constraints:      59277
1941.83/1947.44	c #Conflicts:     355000 | #Constraints:      60277
1941.83/1947.44	c #Conflicts:     356000 | #Constraints:      61277
1941.83/1947.44	c #Conflicts:     357000 | #Constraints:      62277
1941.83/1947.44	c #Conflicts:     358000 | #Constraints:      63277
1941.83/1947.44	c INPROCESSING
1941.83/1947.44	c GARBAGE COLLECT
1941.83/1947.44	c #Conflicts:     359000 | #Constraints:      41891
1941.83/1947.44	c #Conflicts:     360000 | #Constraints:      42892
1941.83/1947.44	c #Conflicts:     361000 | #Constraints:      43892
1941.83/1947.44	c #Conflicts:     362000 | #Constraints:      44892
1941.83/1947.44	c #Conflicts:     363000 | #Constraints:      45892
1941.83/1947.44	c #Conflicts:     364000 | #Constraints:      46892
1941.83/1947.44	c #Conflicts:     365000 | #Constraints:      47892
1941.83/1947.44	c #Conflicts:     366000 | #Constraints:      48892
1941.83/1947.44	c #Conflicts:     367000 | #Constraints:      49892
1941.83/1947.44	c #Conflicts:     368000 | #Constraints:      50892
1941.83/1947.44	c #Conflicts:     369000 | #Constraints:      51892
1941.83/1947.44	c #Conflicts:     370000 | #Constraints:      52892
1941.83/1947.44	c #Conflicts:     371000 | #Constraints:      53892
1941.83/1947.44	c #Conflicts:     372000 | #Constraints:      54892
1941.83/1947.44	c #Conflicts:     373000 | #Constraints:      55892
1941.83/1947.44	c #Conflicts:     374000 | #Constraints:      56892
1941.83/1947.44	c #Conflicts:     375000 | #Constraints:      57892
1941.83/1947.44	c #Conflicts:     376000 | #Constraints:      58892
1941.83/1947.44	c #Conflicts:     377000 | #Constraints:      59892
1941.83/1947.44	c #Conflicts:     378000 | #Constraints:      60892
1941.83/1947.44	c #Conflicts:     379000 | #Constraints:      61892
1941.83/1947.44	c #Conflicts:     380000 | #Constraints:      62892
1941.83/1947.44	c #Conflicts:     381000 | #Constraints:      63892
1941.83/1947.44	c #Conflicts:     382000 | #Constraints:      64892
1941.83/1947.44	c #Conflicts:     383000 | #Constraints:      65892
1941.83/1947.44	c #Conflicts:     384000 | #Constraints:      66892
1941.83/1947.44	c #Conflicts:     385000 | #Constraints:      67892
1941.83/1947.44	c #Conflicts:     386000 | #Constraints:      68892
1941.83/1947.44	c #Conflicts:     387000 | #Constraints:      69892
1941.83/1947.44	c #Conflicts:     388000 | #Constraints:      70892
1941.83/1947.44	c #Conflicts:     389000 | #Constraints:      71892
1941.83/1947.44	c #Conflicts:     390000 | #Constraints:      72892
1941.83/1947.44	c #Conflicts:     391000 | #Constraints:      73892
1941.83/1947.44	c #Conflicts:     392000 | #Constraints:      74892
1941.83/1947.44	c #Conflicts:     393000 | #Constraints:      75892
1941.83/1947.44	c #Conflicts:     394000 | #Constraints:      76892
1941.83/1947.44	c #Conflicts:     395000 | #Constraints:      77892
1941.83/1947.44	c #Conflicts:     396000 | #Constraints:      78892
1941.83/1947.44	c #Conflicts:     397000 | #Constraints:      79892
1941.83/1947.44	c #Conflicts:     398000 | #Constraints:      80892
1941.83/1947.44	c #Conflicts:     399000 | #Constraints:      81892
1941.83/1947.44	c #Conflicts:     400000 | #Constraints:      82892
1941.83/1947.44	c INPROCESSING
1941.83/1947.44	c GARBAGE COLLECT
1941.83/1947.44	c #Conflicts:     401000 | #Constraints:      51760
1941.83/1947.44	c #Conflicts:     402000 | #Constraints:      52760
1941.83/1947.44	c #Conflicts:     403000 | #Constraints:      53761
1941.83/1947.44	c #Conflicts:     404000 | #Constraints:      54761
1941.83/1947.44	c #Conflicts:     405000 | #Constraints:      55761
1941.83/1947.44	c #Conflicts:     406000 | #Constraints:      56761
1941.83/1947.44	c #Conflicts:     407000 | #Constraints:      57761
1941.83/1947.44	c #Conflicts:     408000 | #Constraints:      58761
1941.83/1947.44	c #Conflicts:     409000 | #Constraints:      59761
1941.83/1947.44	c #Conflicts:     410000 | #Constraints:      60761
1941.83/1947.44	c #Conflicts:     411000 | #Constraints:      61761
1941.83/1947.44	c #Conflicts:     412000 | #Constraints:      62761
1941.83/1947.44	c #Conflicts:     413000 | #Constraints:      63761
1941.83/1947.44	c #Conflicts:     414000 | #Constraints:      64761
1941.83/1947.44	c #Conflicts:     415000 | #Constraints:      65761
1941.83/1947.44	c #Conflicts:     416000 | #Constraints:      66762
1941.83/1947.44	c #Conflicts:     417000 | #Constraints:      67762
1941.83/1947.44	c INPROCESSING
1941.83/1947.44	c GARBAGE COLLECT
1941.83/1947.44	c #Conflicts:     418000 | #Constraints:      43758
1941.83/1947.44	c #Conflicts:     419000 | #Constraints:      44758
2180.88/2187.04	c #Conflicts:     420000 | #Constraints:      45758
2180.88/2187.04	c #Conflicts:     421000 | #Constraints:      46758
2180.88/2187.04	c #Conflicts:     422000 | #Constraints:      47758
2180.88/2187.04	c #Conflicts:     423000 | #Constraints:      48758
2180.88/2187.04	c #Conflicts:     424000 | #Constraints:      49758
2180.88/2187.04	c #Conflicts:     425000 | #Constraints:      50759
2180.88/2187.04	c #Conflicts:     426000 | #Constraints:      51759
2180.88/2187.04	c #Conflicts:     427000 | #Constraints:      52759
2180.88/2187.04	c #Conflicts:     428000 | #Constraints:      53759
2180.88/2187.04	c #Conflicts:     429000 | #Constraints:      54759
2180.88/2187.04	c #Conflicts:     430000 | #Constraints:      55759
2180.88/2187.04	c #Conflicts:     431000 | #Constraints:      56759
2180.88/2187.04	c #Conflicts:     432000 | #Constraints:      57759
2180.88/2187.04	c #Conflicts:     433000 | #Constraints:      58759
2180.88/2187.04	c #Conflicts:     434000 | #Constraints:      59759
2180.88/2187.04	c #Conflicts:     435000 | #Constraints:      60759
2180.88/2187.04	c #Conflicts:     436000 | #Constraints:      61759
2180.88/2187.04	c #Conflicts:     437000 | #Constraints:      62759
2180.88/2187.04	c #Conflicts:     438000 | #Constraints:      63759
2180.88/2187.04	c #Conflicts:     439000 | #Constraints:      64759
2180.88/2187.04	c #Conflicts:     440000 | #Constraints:      65759
2180.88/2187.04	c #Conflicts:     441000 | #Constraints:      66759
2180.88/2187.04	c #Conflicts:     442000 | #Constraints:      67759
2180.88/2187.04	c #Conflicts:     443000 | #Constraints:      68759
2180.88/2187.04	c #Conflicts:     444000 | #Constraints:      69760
2180.88/2187.04	c #Conflicts:     445000 | #Constraints:      70760
2180.88/2187.04	c #Conflicts:     446000 | #Constraints:      71760
2180.88/2187.04	c #Conflicts:     447000 | #Constraints:      72760
2180.88/2187.04	c #Conflicts:     448000 | #Constraints:      73760
2180.88/2187.04	c #Conflicts:     449000 | #Constraints:      74760
2180.88/2187.04	c #Conflicts:     450000 | #Constraints:      75760
2180.88/2187.04	c #Conflicts:     451000 | #Constraints:      76760
2180.88/2187.04	c #Conflicts:     452000 | #Constraints:      77760
2180.88/2187.04	c #Conflicts:     453000 | #Constraints:      78760
2180.88/2187.04	c #Conflicts:     454000 | #Constraints:      79760
2180.88/2187.04	c #Conflicts:     455000 | #Constraints:      80760
2180.88/2187.04	c #Conflicts:     456000 | #Constraints:      81760
2180.88/2187.04	c #Conflicts:     457000 | #Constraints:      82761
2180.88/2187.04	c #Conflicts:     458000 | #Constraints:      83761
2180.88/2187.04	c #Conflicts:     459000 | #Constraints:      84761
2180.88/2187.04	c #Conflicts:     460000 | #Constraints:      85761
2180.88/2187.04	c #Conflicts:     461000 | #Constraints:      86761
2180.88/2187.04	c INPROCESSING
2180.88/2187.04	c GARBAGE COLLECT
2180.88/2187.04	c #Conflicts:     462000 | #Constraints:      53002
2180.88/2187.04	c #Conflicts:     463000 | #Constraints:      54002
2180.88/2187.04	c #Conflicts:     464000 | #Constraints:      55002
2180.88/2187.04	c #Conflicts:     465000 | #Constraints:      56002
2180.88/2187.04	c #Conflicts:     466000 | #Constraints:      57002
2180.88/2187.04	c #Conflicts:     467000 | #Constraints:      58002
2180.88/2187.04	c #Conflicts:     468000 | #Constraints:      59002
2180.88/2187.04	c #Conflicts:     469000 | #Constraints:      60002
2180.88/2187.04	c #Conflicts:     470000 | #Constraints:      61002
2180.88/2187.04	c #Conflicts:     471000 | #Constraints:      62003
2180.88/2187.04	c #Conflicts:     472000 | #Constraints:      63003
2180.88/2187.04	c #Conflicts:     473000 | #Constraints:      64003
2180.88/2187.04	c #Conflicts:     474000 | #Constraints:      65003
2180.88/2187.04	c #Conflicts:     475000 | #Constraints:      66003
2180.88/2187.04	c #Conflicts:     476000 | #Constraints:      67003
2180.88/2187.04	c #Conflicts:     477000 | #Constraints:      68003
2180.88/2187.04	c #Conflicts:     478000 | #Constraints:      69003
2180.88/2187.04	c #Conflicts:     479000 | #Constraints:      70003
2180.88/2187.04	c #Conflicts:     480000 | #Constraints:      71003
2180.88/2187.04	c INPROCESSING
2180.88/2187.04	c GARBAGE COLLECT
2180.88/2187.04	c #Conflicts:     481000 | #Constraints:      45481
2180.88/2187.04	c #Conflicts:     482000 | #Constraints:      46481
2180.88/2187.04	c #Conflicts:     483000 | #Constraints:      47481
2180.88/2187.04	c #Conflicts:     484000 | #Constraints:      48481
2180.88/2187.04	c #Conflicts:     485000 | #Constraints:      49481
2180.88/2187.04	c #Conflicts:     486000 | #Constraints:      50481
2180.88/2187.04	c #Conflicts:     487000 | #Constraints:      51482
2180.88/2187.04	c #Conflicts:     488000 | #Constraints:      52482
2180.88/2187.04	c #Conflicts:     489000 | #Constraints:      53482
2180.88/2187.04	c #Conflicts:     490000 | #Constraints:      54482
2180.88/2187.04	c #Conflicts:     491000 | #Constraints:      55482
2180.88/2187.04	c #Conflicts:     492000 | #Constraints:      56482
2180.88/2187.04	c #Conflicts:     493000 | #Constraints:      57482
2180.88/2187.04	c #Conflicts:     494000 | #Constraints:      58482
2180.88/2187.04	c #Conflicts:     495000 | #Constraints:      59482
2180.88/2187.04	c #Conflicts:     496000 | #Constraints:      60483
2180.88/2187.04	c #Conflicts:     497000 | #Constraints:      61483
2372.88/2379.51	c #Conflicts:     498000 | #Constraints:      62483
2372.88/2379.51	c #Conflicts:     499000 | #Constraints:      63483
2372.88/2379.51	c #Conflicts:     500000 | #Constraints:      64483
2372.88/2379.51	c #Conflicts:     501000 | #Constraints:      65483
2372.88/2379.51	c #Conflicts:     502000 | #Constraints:      66483
2372.88/2379.51	c #Conflicts:     503000 | #Constraints:      67483
2372.88/2379.51	c #Conflicts:     504000 | #Constraints:      68483
2372.88/2379.51	c #Conflicts:     505000 | #Constraints:      69483
2372.88/2379.51	c #Conflicts:     506000 | #Constraints:      70483
2372.88/2379.51	c #Conflicts:     507000 | #Constraints:      71483
2372.88/2379.51	c #Conflicts:     508000 | #Constraints:      72483
2372.88/2379.51	c #Conflicts:     509000 | #Constraints:      73483
2372.88/2379.51	c #Conflicts:     510000 | #Constraints:      74483
2372.88/2379.51	c #Conflicts:     511000 | #Constraints:      75483
2372.88/2379.51	c #Conflicts:     512000 | #Constraints:      76483
2372.88/2379.51	c #Conflicts:     513000 | #Constraints:      77483
2372.88/2379.51	c #Conflicts:     514000 | #Constraints:      78483
2372.88/2379.51	c #Conflicts:     515000 | #Constraints:      79483
2372.88/2379.51	c #Conflicts:     516000 | #Constraints:      80483
2372.88/2379.51	c #Conflicts:     517000 | #Constraints:      81483
2372.88/2379.51	c #Conflicts:     518000 | #Constraints:      82483
2372.88/2379.51	c #Conflicts:     519000 | #Constraints:      83484
2372.88/2379.51	c #Conflicts:     520000 | #Constraints:      84484
2372.88/2379.51	c #Conflicts:     521000 | #Constraints:      85484
2372.88/2379.51	c #Conflicts:     522000 | #Constraints:      86484
2372.88/2379.51	c #Conflicts:     523000 | #Constraints:      87484
2372.88/2379.51	c #Conflicts:     524000 | #Constraints:      88484
2372.88/2379.51	c #Conflicts:     525000 | #Constraints:      89484
2372.88/2379.51	c #Conflicts:     526000 | #Constraints:      90484
2372.88/2379.51	c #Conflicts:     527000 | #Constraints:      91484
2372.88/2379.51	c #Conflicts:     528000 | #Constraints:      92484
2372.88/2379.51	c INPROCESSING
2372.88/2379.51	c GARBAGE COLLECT
2372.88/2379.51	c rational objective 143
2463.33/2470.23	c #Conflicts:     529000 | #Constraints:      56285
2463.33/2470.23	c #Conflicts:     530000 | #Constraints:      57285
2463.33/2470.23	c #Conflicts:     531000 | #Constraints:      58285
2463.33/2470.23	c #Conflicts:     532000 | #Constraints:      59285
2463.33/2470.23	c #Conflicts:     533000 | #Constraints:      60285
2463.33/2470.23	c #Conflicts:     534000 | #Constraints:      61285
2463.33/2470.23	c #Conflicts:     535000 | #Constraints:      62285
2463.33/2470.23	c #Conflicts:     536000 | #Constraints:      63285
2463.33/2470.23	c #Conflicts:     537000 | #Constraints:      64285
2463.33/2470.23	c #Conflicts:     538000 | #Constraints:      65285
2463.33/2470.23	c #Conflicts:     539000 | #Constraints:      66285
2463.33/2470.23	c #Conflicts:     540000 | #Constraints:      67285
2463.33/2470.23	c #Conflicts:     541000 | #Constraints:      68285
2463.33/2470.23	c #Conflicts:     542000 | #Constraints:      69285
2463.33/2470.23	c #Conflicts:     543000 | #Constraints:      70285
2463.33/2470.23	c #Conflicts:     544000 | #Constraints:      71285
2463.33/2470.23	c #Conflicts:     545000 | #Constraints:      72285
2463.33/2470.23	c #Conflicts:     546000 | #Constraints:      73285
2463.33/2470.23	c #Conflicts:     547000 | #Constraints:      74286
2463.33/2470.23	c INPROCESSING
2463.33/2470.23	c GARBAGE COLLECT
2463.33/2470.23	c rational objective 143
2629.00/2636.38	c #Conflicts:     548000 | #Constraints:      47101
2629.00/2636.38	c #Conflicts:     549000 | #Constraints:      48101
2629.00/2636.38	c #Conflicts:     550000 | #Constraints:      49101
2629.00/2636.38	c #Conflicts:     551000 | #Constraints:      50101
2629.00/2636.38	c #Conflicts:     552000 | #Constraints:      51101
2629.00/2636.38	c #Conflicts:     553000 | #Constraints:      52101
2629.00/2636.38	c #Conflicts:     554000 | #Constraints:      53101
2629.00/2636.38	c #Conflicts:     555000 | #Constraints:      54101
2629.00/2636.38	c #Conflicts:     556000 | #Constraints:      55101
2629.00/2636.38	c #Conflicts:     557000 | #Constraints:      56101
2629.00/2636.38	c #Conflicts:     558000 | #Constraints:      57101
2629.00/2636.38	c #Conflicts:     559000 | #Constraints:      58101
2629.00/2636.38	c #Conflicts:     560000 | #Constraints:      59101
2629.00/2636.38	c #Conflicts:     561000 | #Constraints:      60102
2629.00/2636.38	c #Conflicts:     562000 | #Constraints:      61102
2629.00/2636.38	c #Conflicts:     563000 | #Constraints:      62102
2629.00/2636.38	c #Conflicts:     564000 | #Constraints:      63102
2629.00/2636.38	c #Conflicts:     565000 | #Constraints:      64102
2629.00/2636.38	c #Conflicts:     566000 | #Constraints:      65102
2629.00/2636.38	c #Conflicts:     567000 | #Constraints:      66102
2629.00/2636.38	c #Conflicts:     568000 | #Constraints:      67102
2629.00/2636.38	c #Conflicts:     569000 | #Constraints:      68102
2629.00/2636.38	c #Conflicts:     570000 | #Constraints:      69103
2629.00/2636.38	c #Conflicts:     571000 | #Constraints:      70103
2629.00/2636.38	c #Conflicts:     572000 | #Constraints:      71104
2629.00/2636.38	c #Conflicts:     573000 | #Constraints:      72104
2629.00/2636.38	c #Conflicts:     574000 | #Constraints:      73104
2629.00/2636.38	c #Conflicts:     575000 | #Constraints:      74104
2629.00/2636.38	c #Conflicts:     576000 | #Constraints:      75104
2629.00/2636.38	c #Conflicts:     577000 | #Constraints:      76104
2629.00/2636.38	c #Conflicts:     578000 | #Constraints:      77105
2629.00/2636.38	c #Conflicts:     579000 | #Constraints:      78105
2629.00/2636.38	c #Conflicts:     580000 | #Constraints:      79105
2629.00/2636.38	c #Conflicts:     581000 | #Constraints:      80105
2629.00/2636.38	c #Conflicts:     582000 | #Constraints:      81105
2629.00/2636.38	c #Conflicts:     583000 | #Constraints:      82105
2629.00/2636.38	c #Conflicts:     584000 | #Constraints:      83105
2629.00/2636.38	c #Conflicts:     585000 | #Constraints:      84105
2629.00/2636.38	c #Conflicts:     586000 | #Constraints:      85105
2629.00/2636.38	c #Conflicts:     587000 | #Constraints:      86105
2629.00/2636.38	c #Conflicts:     588000 | #Constraints:      87105
2629.00/2636.38	c #Conflicts:     589000 | #Constraints:      88105
2629.00/2636.38	c #Conflicts:     590000 | #Constraints:      89105
2629.00/2636.38	c #Conflicts:     591000 | #Constraints:      90105
2629.00/2636.38	c #Conflicts:     592000 | #Constraints:      91106
2629.00/2636.38	c #Conflicts:     593000 | #Constraints:      92106
2629.00/2636.38	c #Conflicts:     594000 | #Constraints:      93106
2629.00/2636.38	c #Conflicts:     595000 | #Constraints:      94106
2629.00/2636.38	c #Conflicts:     596000 | #Constraints:      95107
2629.00/2636.38	c #Conflicts:     597000 | #Constraints:      96107
2629.00/2636.38	c #Conflicts:     598000 | #Constraints:      97107
2629.00/2636.38	c INPROCESSING
2629.00/2636.38	c GARBAGE COLLECT
2629.00/2636.38	c rational objective 143
2964.36/2972.51	c #Conflicts:     599000 | #Constraints:      58406
2964.36/2972.51	c #Conflicts:     600000 | #Constraints:      59406
2964.36/2972.51	c #Conflicts:     601000 | #Constraints:      60406
2964.36/2972.51	c #Conflicts:     602000 | #Constraints:      61406
2964.36/2972.51	c #Conflicts:     603000 | #Constraints:      62407
2964.36/2972.51	c #Conflicts:     604000 | #Constraints:      63407
2964.36/2972.51	c #Conflicts:     605000 | #Constraints:      64407
2964.36/2972.51	c #Conflicts:     606000 | #Constraints:      65407
2964.36/2972.51	c #Conflicts:     607000 | #Constraints:      66407
2964.36/2972.51	c #Conflicts:     608000 | #Constraints:      67407
2964.36/2972.51	c #Conflicts:     609000 | #Constraints:      68407
2964.36/2972.51	c #Conflicts:     610000 | #Constraints:      69407
2964.36/2972.51	c #Conflicts:     611000 | #Constraints:      70407
2964.36/2972.51	c #Conflicts:     612000 | #Constraints:      71407
2964.36/2972.51	c #Conflicts:     613000 | #Constraints:      72407
2964.36/2972.51	c #Conflicts:     614000 | #Constraints:      73407
2964.36/2972.51	c #Conflicts:     615000 | #Constraints:      74407
2964.36/2972.51	c #Conflicts:     616000 | #Constraints:      75407
2964.36/2972.51	c #Conflicts:     617000 | #Constraints:      76407
2964.36/2972.51	c #Conflicts:     618000 | #Constraints:      77407
2964.36/2972.51	c #Conflicts:     619000 | #Constraints:      78407
2964.36/2972.51	c INPROCESSING
2964.36/2972.51	c GARBAGE COLLECT
2964.36/2972.51	c rational objective 143
3140.66/3149.25	c #Conflicts:     620000 | #Constraints:      49436
3140.66/3149.25	c #Conflicts:     621000 | #Constraints:      50436
3140.66/3149.25	c #Conflicts:     622000 | #Constraints:      51436
3140.66/3149.25	c #Conflicts:     623000 | #Constraints:      52436
3140.66/3149.25	c #Conflicts:     624000 | #Constraints:      53436
3140.66/3149.25	c #Conflicts:     625000 | #Constraints:      54436
3140.66/3149.25	c #Conflicts:     626000 | #Constraints:      55436
3140.66/3149.25	c #Conflicts:     627000 | #Constraints:      56436
3140.66/3149.25	c #Conflicts:     628000 | #Constraints:      57436
3140.66/3149.25	c #Conflicts:     629000 | #Constraints:      58436
3140.66/3149.25	c #Conflicts:     630000 | #Constraints:      59436
3140.66/3149.25	c #Conflicts:     631000 | #Constraints:      60436
3140.66/3149.25	c #Conflicts:     632000 | #Constraints:      61436
3140.66/3149.25	c #Conflicts:     633000 | #Constraints:      62436
3140.66/3149.25	c #Conflicts:     634000 | #Constraints:      63437
3140.66/3149.25	c #Conflicts:     635000 | #Constraints:      64437
3140.66/3149.25	c #Conflicts:     636000 | #Constraints:      65437
3140.66/3149.25	c #Conflicts:     637000 | #Constraints:      66438
3140.66/3149.25	c #Conflicts:     638000 | #Constraints:      67438
3140.66/3149.25	c #Conflicts:     639000 | #Constraints:      68438
3140.66/3149.25	c #Conflicts:     640000 | #Constraints:      69438
3140.66/3149.25	c #Conflicts:     641000 | #Constraints:      70439
3140.66/3149.25	c #Conflicts:     642000 | #Constraints:      71439
3140.66/3149.25	c #Conflicts:     643000 | #Constraints:      72439
3140.66/3149.25	c #Conflicts:     644000 | #Constraints:      73439
3140.66/3149.25	c #Conflicts:     645000 | #Constraints:      74439
3140.66/3149.25	c #Conflicts:     646000 | #Constraints:      75440
3140.66/3149.25	c #Conflicts:     647000 | #Constraints:      76440
3140.66/3149.25	c #Conflicts:     648000 | #Constraints:      77440
3140.66/3149.25	c #Conflicts:     649000 | #Constraints:      78440
3140.66/3149.25	c #Conflicts:     650000 | #Constraints:      79440
3140.66/3149.25	c #Conflicts:     651000 | #Constraints:      80440
3140.66/3149.25	c #Conflicts:     652000 | #Constraints:      81441
3140.66/3149.25	c #Conflicts:     653000 | #Constraints:      82442
3140.66/3149.25	c #Conflicts:     654000 | #Constraints:      83442
3140.66/3149.25	c #Conflicts:     655000 | #Constraints:      84442
3140.66/3149.25	c #Conflicts:     656000 | #Constraints:      85443
3140.66/3149.25	c #Conflicts:     657000 | #Constraints:      86443
3140.66/3149.25	c #Conflicts:     658000 | #Constraints:      87443
3140.66/3149.25	c #Conflicts:     659000 | #Constraints:      88443
3140.66/3149.25	c #Conflicts:     660000 | #Constraints:      89444
3140.66/3149.25	c #Conflicts:     661000 | #Constraints:      90444
3140.66/3149.25	c #Conflicts:     662000 | #Constraints:      91444
3140.66/3149.25	c #Conflicts:     663000 | #Constraints:      92444
3140.66/3149.25	c #Conflicts:     664000 | #Constraints:      93444
3140.66/3149.25	c #Conflicts:     665000 | #Constraints:      94445
3140.66/3149.25	c #Conflicts:     666000 | #Constraints:      95445
3140.66/3149.25	c #Conflicts:     667000 | #Constraints:      96445
3140.66/3149.25	c #Conflicts:     668000 | #Constraints:      97445
3140.66/3149.25	c #Conflicts:     669000 | #Constraints:      98445
3140.66/3149.25	c #Conflicts:     670000 | #Constraints:      99445
3140.66/3149.25	c #Conflicts:     671000 | #Constraints:     100445
3140.66/3149.25	c #Conflicts:     672000 | #Constraints:     101445
3140.66/3149.25	c #Conflicts:     673000 | #Constraints:     102445
3140.66/3149.25	c INPROCESSING
3140.66/3149.25	c GARBAGE COLLECT
3140.66/3149.25	c #Conflicts:     674000 | #Constraints:      61291
3140.66/3149.25	c #Conflicts:     675000 | #Constraints:      62291
3140.66/3149.25	c #Conflicts:     676000 | #Constraints:      63291
3140.66/3149.25	c #Conflicts:     677000 | #Constraints:      64291
3140.66/3149.25	c #Conflicts:     678000 | #Constraints:      65291
3140.66/3149.25	c #Conflicts:     679000 | #Constraints:      66291
3140.66/3149.25	c #Conflicts:     680000 | #Constraints:      67292
3140.66/3149.25	c #Conflicts:     681000 | #Constraints:      68292
3140.66/3149.25	c #Conflicts:     682000 | #Constraints:      69292
3140.66/3149.25	c #Conflicts:     683000 | #Constraints:      70292
3140.66/3149.25	c #Conflicts:     684000 | #Constraints:      71292
3140.66/3149.25	c #Conflicts:     685000 | #Constraints:      72292
3140.66/3149.25	c #Conflicts:     686000 | #Constraints:      73292
3140.66/3149.25	c #Conflicts:     687000 | #Constraints:      74292
3140.66/3149.25	c #Conflicts:     688000 | #Constraints:      75292
3140.66/3149.25	c #Conflicts:     689000 | #Constraints:      76292
3140.66/3149.25	c #Conflicts:     690000 | #Constraints:      77292
3140.66/3149.25	c #Conflicts:     691000 | #Constraints:      78292
3140.66/3149.25	c #Conflicts:     692000 | #Constraints:      79292
3140.66/3149.25	c #Conflicts:     693000 | #Constraints:      80292
3140.66/3149.25	c #Conflicts:     694000 | #Constraints:      81292
3140.66/3149.25	c #Conflicts:     695000 | #Constraints:      82292
3140.66/3149.25	c INPROCESSING
3140.66/3149.25	c GARBAGE COLLECT
3140.66/3149.25	c #Conflicts:     696000 | #Constraints:      51475
3140.66/3149.25	c #Conflicts:     697000 | #Constraints:      52475
3385.56/3394.70	c #Conflicts:     698000 | #Constraints:      53475
3385.56/3394.70	c #Conflicts:     699000 | #Constraints:      54475
3385.56/3394.70	c #Conflicts:     700000 | #Constraints:      55476
3385.56/3394.70	c #Conflicts:     701000 | #Constraints:      56476
3385.56/3394.70	c #Conflicts:     702000 | #Constraints:      57476
3385.56/3394.70	c #Conflicts:     703000 | #Constraints:      58476
3385.56/3394.70	c #Conflicts:     704000 | #Constraints:      59476
3385.56/3394.70	c #Conflicts:     705000 | #Constraints:      60476
3385.56/3394.70	c #Conflicts:     706000 | #Constraints:      61476
3385.56/3394.70	c #Conflicts:     707000 | #Constraints:      62476
3385.56/3394.70	c #Conflicts:     708000 | #Constraints:      63476
3385.56/3394.70	c #Conflicts:     709000 | #Constraints:      64476
3385.56/3394.70	c #Conflicts:     710000 | #Constraints:      65476
3385.56/3394.70	c #Conflicts:     711000 | #Constraints:      66476
3385.56/3394.70	c #Conflicts:     712000 | #Constraints:      67476
3385.56/3394.70	c #Conflicts:     713000 | #Constraints:      68476
3385.56/3394.70	c #Conflicts:     714000 | #Constraints:      69476
3385.56/3394.70	c #Conflicts:     715000 | #Constraints:      70476
3385.56/3394.70	c #Conflicts:     716000 | #Constraints:      71476
3385.56/3394.70	c #Conflicts:     717000 | #Constraints:      72476
3385.56/3394.70	c #Conflicts:     718000 | #Constraints:      73476
3385.56/3394.70	c #Conflicts:     719000 | #Constraints:      74476
3385.56/3394.70	c #Conflicts:     720000 | #Constraints:      75476
3385.56/3394.70	c #Conflicts:     721000 | #Constraints:      76477
3385.56/3394.70	c #Conflicts:     722000 | #Constraints:      77477
3385.56/3394.70	c #Conflicts:     723000 | #Constraints:      78477
3385.56/3394.70	c #Conflicts:     724000 | #Constraints:      79477
3385.56/3394.70	c #Conflicts:     725000 | #Constraints:      80477
3385.56/3394.70	c #Conflicts:     726000 | #Constraints:      81477
3385.56/3394.70	c #Conflicts:     727000 | #Constraints:      82477
3385.56/3394.70	c #Conflicts:     728000 | #Constraints:      83477
3385.56/3394.70	c #Conflicts:     729000 | #Constraints:      84477
3385.56/3394.70	c #Conflicts:     730000 | #Constraints:      85477
3385.56/3394.70	c #Conflicts:     731000 | #Constraints:      86477
3385.56/3394.70	c #Conflicts:     732000 | #Constraints:      87477
3385.56/3394.70	c #Conflicts:     733000 | #Constraints:      88477
3385.56/3394.70	c #Conflicts:     734000 | #Constraints:      89477
3385.56/3394.70	c #Conflicts:     735000 | #Constraints:      90477
3385.56/3394.70	c #Conflicts:     736000 | #Constraints:      91477
3385.56/3394.70	c #Conflicts:     737000 | #Constraints:      92478
3385.56/3394.70	c #Conflicts:     738000 | #Constraints:      93478
3385.56/3394.70	c #Conflicts:     739000 | #Constraints:      94478
3385.56/3394.70	c #Conflicts:     740000 | #Constraints:      95478
3385.56/3394.70	c #Conflicts:     741000 | #Constraints:      96478
3385.56/3394.70	c #Conflicts:     742000 | #Constraints:      97478
3385.56/3394.70	c #Conflicts:     743000 | #Constraints:      98478
3385.56/3394.70	c #Conflicts:     744000 | #Constraints:      99478
3385.56/3394.70	c #Conflicts:     745000 | #Constraints:     100478
3385.56/3394.70	c #Conflicts:     746000 | #Constraints:     101478
3385.56/3394.70	c #Conflicts:     747000 | #Constraints:     102479
3385.56/3394.70	c #Conflicts:     748000 | #Constraints:     103479
3385.56/3394.70	c #Conflicts:     749000 | #Constraints:     104479
3385.56/3394.70	c #Conflicts:     750000 | #Constraints:     105479
3385.56/3394.70	c #Conflicts:     751000 | #Constraints:     106479
3385.56/3394.70	c #Conflicts:     752000 | #Constraints:     107479
3385.56/3394.70	c INPROCESSING
3385.56/3394.70	c GARBAGE COLLECT
3385.56/3394.70	c rational objective 143
3598.85/3608.55	c #Conflicts:     753000 | #Constraints:      63794
3598.85/3608.55	c #Conflicts:     754000 | #Constraints:      64794
3598.85/3608.55	c #Conflicts:     755000 | #Constraints:      65794
3598.85/3608.55	c #Conflicts:     756000 | #Constraints:      66794
3598.85/3608.55	c #Conflicts:     757000 | #Constraints:      67794
3598.85/3608.55	c #Conflicts:     758000 | #Constraints:      68794
3598.85/3608.55	c #Conflicts:     759000 | #Constraints:      69794
3598.85/3608.55	c #Conflicts:     760000 | #Constraints:      70794
3598.85/3608.55	c #Conflicts:     761000 | #Constraints:      71795
3598.85/3608.55	c #Conflicts:     762000 | #Constraints:      72796
3598.85/3608.55	c #Conflicts:     763000 | #Constraints:      73796
3598.85/3608.55	c #Conflicts:     764000 | #Constraints:      74796
3598.85/3608.55	c #Conflicts:     765000 | #Constraints:      75796
3598.85/3608.55	c #Conflicts:     766000 | #Constraints:      76796
3598.85/3608.55	c #Conflicts:     767000 | #Constraints:      77796
3598.85/3608.55	c #Conflicts:     768000 | #Constraints:      78796
3598.85/3608.55	c #Conflicts:     769000 | #Constraints:      79796
3598.85/3608.55	c #Conflicts:     770000 | #Constraints:      80796
3598.85/3608.55	c #Conflicts:     771000 | #Constraints:      81796
3598.85/3608.55	c #Conflicts:     772000 | #Constraints:      82797
3598.85/3608.55	c #Conflicts:     773000 | #Constraints:      83797
3598.85/3608.55	c #Conflicts:     774000 | #Constraints:      84797
3598.85/3608.55	c #Conflicts:     775000 | #Constraints:      85797
3598.85/3608.55	c #Conflicts:     776000 | #Constraints:      86797
3598.85/3608.55	c INPROCESSING
3598.85/3608.55	c GARBAGE COLLECT
3598.85/3608.55	c #Conflicts:     777000 | #Constraints:      53885
3598.85/3608.55	c #Conflicts:     778000 | #Constraints:      54885
3598.85/3608.55	c #Conflicts:     779000 | #Constraints:      55885
3598.85/3608.55	c #Conflicts:     780000 | #Constraints:      56885
3598.85/3608.55	c #Conflicts:     781000 | #Constraints:      57885
3598.85/3608.55	c #Conflicts:     782000 | #Constraints:      58885
3598.85/3608.55	c #Conflicts:     783000 | #Constraints:      59885
3598.85/3608.55	c #Conflicts:     784000 | #Constraints:      60885
3598.85/3608.55	c #Conflicts:     785000 | #Constraints:      61886
3598.85/3608.55	c #Conflicts:     786000 | #Constraints:      62886
3598.85/3608.55	c #Conflicts:     787000 | #Constraints:      63886
3598.85/3608.55	c #Conflicts:     788000 | #Constraints:      64886
3598.85/3608.55	c #Conflicts:     789000 | #Constraints:      65886
3598.85/3608.55	c #Conflicts:     790000 | #Constraints:      66886
3598.85/3608.55	c #Conflicts:     791000 | #Constraints:      67886
3598.85/3608.55	c #Conflicts:     792000 | #Constraints:      68886
3598.85/3608.55	c #Conflicts:     793000 | #Constraints:      69886
3598.85/3608.55	c #Conflicts:     794000 | #Constraints:      70886
3598.85/3608.55	c #Conflicts:     795000 | #Constraints:      71886
3598.85/3608.55	c #Conflicts:     796000 | #Constraints:      72886
3598.85/3608.55	c #Conflicts:     797000 | #Constraints:      73886
3598.85/3608.55	c #Conflicts:     798000 | #Constraints:      74886
3598.85/3608.55	c #Conflicts:     799000 | #Constraints:      75886
3598.85/3608.55	c #Conflicts:     800000 | #Constraints:      76886
3598.85/3608.55	c #Conflicts:     801000 | #Constraints:      77886
3598.85/3608.55	c #Conflicts:     802000 | #Constraints:      78886
3598.85/3608.55	c #Conflicts:     803000 | #Constraints:      79886
3598.85/3608.55	c #Conflicts:     804000 | #Constraints:      80886
3598.85/3608.55	c #Conflicts:     805000 | #Constraints:      81886
3598.85/3608.55	c #Conflicts:     806000 | #Constraints:      82886
3598.85/3608.55	c #Conflicts:     807000 | #Constraints:      83886
3598.85/3608.55	c #Conflicts:     808000 | #Constraints:      84886
3598.85/3608.55	c #Conflicts:     809000 | #Constraints:      85887
3598.85/3608.55	c #Conflicts:     810000 | #Constraints:      86887
3598.85/3608.55	c #Conflicts:     811000 | #Constraints:      87887
3598.85/3608.55	c #Conflicts:     812000 | #Constraints:      88887
3598.85/3608.55	c #Conflicts:     813000 | #Constraints:      89887
3598.85/3608.55	c #Conflicts:     814000 | #Constraints:      90888
3598.85/3608.55	c #Conflicts:     815000 | #Constraints:      91888
3598.85/3608.55	c #Conflicts:     816000 | #Constraints:      92888
3598.85/3608.55	c #Conflicts:     817000 | #Constraints:      93888
3598.85/3608.55	c #Conflicts:     818000 | #Constraints:      94888
3598.85/3608.55	c #Conflicts:     819000 | #Constraints:      95888
3598.85/3608.55	c #Conflicts:     820000 | #Constraints:      96888
3598.85/3608.55	c #Conflicts:     821000 | #Constraints:      97888
3598.85/3608.55	c #Conflicts:     822000 | #Constraints:      98888
3598.85/3608.55	c #Conflicts:     823000 | #Constraints:      99888
3598.85/3608.55	c #Conflicts:     824000 | #Constraints:     100888
3598.85/3608.55	c #Conflicts:     825000 | #Constraints:     101888
3598.85/3608.55	c #Conflicts:     826000 | #Constraints:     102888
3598.85/3608.55	c #Conflicts:     827000 | #Constraints:     103888
3598.85/3608.55	c #Conflicts:     828000 | #Constraints:     104888
3598.85/3608.55	c #Conflicts:     829000 | #Constraints:     105888
3598.85/3608.55	c #Conflicts:     830000 | #Constraints:     106888
3598.85/3608.55	c #Conflicts:     831000 | #Constraints:     107888
3600.05/3609.70	c Program interrupted by user.
3600.05/3609.74	c cpu time 3566.59 s
3600.05/3609.74	c deterministic time 209604793223 2.10e+11
3600.05/3609.74	c optimization time 155.438 s
3600.05/3609.74	c total solve time 3411.03 s
3600.05/3609.74	c core-guided solve time 0 s
3600.05/3609.74	c propagation time 1701.99 s
3600.05/3609.74	c conflict analysis time 577.275 s
3600.05/3609.74	c propagations 609200203
3600.05/3609.74	c resolve steps 38530637
3600.05/3609.74	c decisions 13045617
3600.05/3609.74	c conflicts 831441
3600.05/3609.74	c restarts 1787
3600.05/3609.74	c inprocessing phases 40
3600.05/3609.74	c input clauses 17162
3600.05/3609.74	c input cardinalities 143
3600.05/3609.74	c input general constraints 0
3600.05/3609.74	c input average constraint length 6.43
3600.05/3609.74	c input average constraint degree 1.97
3600.05/3609.74	c learned clauses 530344
3600.05/3609.74	c learned cardinalities 33758
3600.05/3609.74	c learned general constraints 267406
3600.05/3609.74	c learned average constraint length 1121.50
3600.05/3609.74	c learned average constraint degree 548423404.71
3600.05/3609.74	c watched constraints 203750
3600.05/3609.74	c counting constraints 63656
3600.05/3609.74	c gcd simplifications 4368
3600.05/3609.74	c detected cardinalities 4162
3600.05/3609.74	c weakened non-implied lits 198013679
3600.05/3609.74	c weakened non-implying lits 313229
3600.05/3609.74	c original variables 17017
3600.05/3609.74	c clausal propagations 266072249
3600.05/3609.74	c cardinality propagations 211861943
3600.05/3609.74	c watched propagations 38800305
3600.05/3609.74	c counting propagations 84994161
3600.05/3609.74	c watch lookups 11019177869
3600.05/3609.74	c watch backjump lookups 8836617533
3600.05/3609.74	c watch checks 147495479817
3600.05/3609.74	c propagation checks 37717369275
3600.05/3609.74	c constraint additions 3289199780
3600.05/3609.74	c trail pops 623063399
3600.05/3609.74	c formula constraints 17305
3600.05/3609.74	c learned constraints 831372
3600.05/3609.74	c bound constraints 0
3600.05/3609.74	c core-guided constraints 0
3600.05/3609.74	c encountered formula constraints 26822408
3600.05/3609.74	c encountered learned constraints 12537425
3600.05/3609.74	c encountered bound constraints 0
3600.05/3609.74	c encountered core-guided constraints 0
3600.05/3609.74	c LP total time 2079.01 s
3600.05/3609.74	c LP solve time 2076.53 s
3600.05/3609.74	c LP constraints added 19553
3600.05/3609.74	c LP constraints removed 1914
3600.05/3609.74	c LP pivots internal 851946
3600.05/3609.74	c LP pivots root 787783
3600.05/3609.74	c LP calls 93
3600.05/3609.74	c LP optimalities 17
3600.05/3609.74	c LP no pivot count 0
3600.05/3609.74	c LP infeasibilities 68
3600.05/3609.74	c LP valid Farkas constraints 68
3600.05/3609.74	c LP learned Farkas constraints 68
3600.05/3609.74	c LP basis resets 0
3600.05/3609.74	c LP cycling count 0
3600.05/3609.74	c LP singular count 0
3600.05/3609.74	c LP no primal count 0
3600.05/3609.74	c LP no farkas count 0
3600.05/3609.74	c LP other issue count 0
3600.05/3609.74	c LP Gomory cuts 0
3600.05/3609.74	c LP learned cuts 2248
3600.05/3609.74	c LP deleted cuts 1914
3600.05/3609.74	c LP encountered Gomory constraints 0
3600.05/3609.74	c LP encountered Farkas constraints 1301
3600.05/3609.74	c LP encountered learned Farkas constraints 876
3600.05/3609.74	c CG auxiliary variables introduced 0
3600.05/3609.74	c CG solutions found 0
3600.05/3609.74	c CG cores constructed 0
3600.05/3609.74	c CG core cardinality constraints returned 0
3600.05/3609.74	c CG unit cores 0
3600.05/3609.74	c CG single cores 0
3600.05/3609.74	c CG blocks removed during cardinality reduction 0
3600.05/3609.74	c CG first core best 0
3600.05/3609.74	c CG decision core best 0
3600.05/3609.74	c CG core reduction tie 0
3600.05/3609.74	c CG core degree average 0.00
3600.05/3609.74	c CG core slack average 0.00
3600.05/3609.74	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460674-1722069337/watcher-4460674-1722069337 -o /tmp/evaluation-result-4460674-1722069337/solver-4460674-1722069337 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722064837-362352 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460674-1722069337 --lp-cut-gomory=0 HOME/instance-4460674-1722069337.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=365866, runsolver pid=365863

[startup+0.1007 s]*
/proc/loadavg: 4.51 4.31 4.19 5/242 365867
/proc/meminfo: memFree=123113332/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=43176 memory=10536 CPUtime=0.1 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 2269 0 0 0 8 2 0 0 20 0 1 0 42923160 44212224 2634 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 10794 2634 1369 992 0 2652 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43176 KiB
Current children cumulated memory: 10536 KiB

[startup+0.213228 s]*
/proc/loadavg: 4.51 4.31 4.19 6/242 365867
/proc/meminfo: memFree=123089904/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=67448 memory=35172 CPUtime=0.21 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 8660 0 0 0 18 3 0 0 20 0 1 0 42923160 69066752 8793 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 16862 8793 1721 992 0 8720 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 67448 KiB
Current children cumulated memory: 35172 KiB

[startup+0.313318 s]*
/proc/loadavg: 4.51 4.31 4.19 5/242 365867
/proc/meminfo: memFree=123088084/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=67880 memory=35964 CPUtime=0.3 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 8806 0 0 0 27 3 0 0 20 0 1 0 42923160 69509120 8991 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 16970 8991 1721 992 0 8828 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 67880 KiB
Current children cumulated memory: 35964 KiB

[startup+0.700342 s]
/proc/loadavg: 4.51 4.31 4.19 5/242 365867
/proc/meminfo: memFree=123085140/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=69468 memory=38328 CPUtime=0.68 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 9409 0 0 0 64 4 0 0 20 0 1 0 42923160 71135232 9582 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 17367 9582 1721 992 0 9225 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69468 KiB
Current children cumulated memory: 38328 KiB

[startup+1.50035 s]
/proc/loadavg: 4.51 4.31 4.19 5/242 365867
/proc/meminfo: memFree=123079228/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=71100 memory=39648 CPUtime=1.47 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 9744 0 0 0 143 4 0 0 20 0 1 0 42923160 72806400 9912 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 17775 9912 1721 992 0 9633 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 71100 KiB
Current children cumulated memory: 39648 KiB

[startup+3.11288 s]
/proc/loadavg: 4.51 4.31 4.19 5/242 365867
/proc/meminfo: memFree=123064952/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=73200 memory=42724 CPUtime=3.09 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 10514 0 0 0 296 13 0 0 20 0 1 0 42923160 74956800 10681 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 18300 10681 1768 992 0 10158 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 73200 KiB
Current children cumulated memory: 42724 KiB

[startup+6.30032 s]
/proc/loadavg: 4.47 4.30 4.19 5/242 365868
/proc/meminfo: memFree=123050132/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=74884 memory=45096 CPUtime=6.26 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 11062 0 0 0 611 15 0 0 20 0 1 0 42923160 76681216 11274 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 18721 11274 1768 992 0 10579 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 74884 KiB
Current children cumulated memory: 45096 KiB

[startup+12.7003 s]
/proc/loadavg: 4.43 4.30 4.18 5/242 365868
/proc/meminfo: memFree=123031340/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=76216 memory=46912 CPUtime=12.64 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 11487 0 0 0 1241 23 0 0 20 0 1 0 42923160 78045184 11728 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 19054 11728 1831 992 0 10912 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 76216 KiB
Current children cumulated memory: 46912 KiB

[startup+25.5004 s]
/proc/loadavg: 4.33 4.28 4.18 5/242 365871
/proc/meminfo: memFree=122960616/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=80792 memory=50240 CPUtime=25.4 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 12294 0 0 0 2499 41 0 0 20 0 1 0 42923160 82731008 12560 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 20198 12560 1831 992 0 12056 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 80792 KiB
Current children cumulated memory: 50240 KiB

[startup+51.113 s]
/proc/loadavg: 4.29 4.28 4.18 5/242 365874
/proc/meminfo: memFree=122803664/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=104072 memory=73540 CPUtime=50.93 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 15527 0 0 0 5026 67 0 0 20 0 1 0 42923160 106569728 18385 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 26018 18385 1863 992 0 17876 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 104072 KiB
Current children cumulated memory: 73540 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.25 4.18 5/242 365883
/proc/meminfo: memFree=122602928/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=122716 memory=88616 CPUtime=101.95 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 17809 0 0 0 10025 170 0 0 20 0 1 0 42923160 125661184 22154 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 30679 22154 1863 992 0 22537 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 122716 KiB
Current children cumulated memory: 88616 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.20 4.16 5/243 365894
/proc/meminfo: memFree=122376928/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=146648 memory=110132 CPUtime=161.74 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 19590 0 0 0 15967 207 0 0 20 0 1 0 42923160 150167552 27533 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 36662 27533 1863 992 0 28520 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 146648 KiB
Current children cumulated memory: 110132 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.19 4.16 5/243 365905
/proc/meminfo: memFree=122046004/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=188976 memory=135312 CPUtime=221.54 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 22855 0 0 0 21838 316 0 0 20 0 1 0 42923160 193511424 33828 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 47244 33828 1863 992 0 39102 0
Current children cumulated CPU time: 221.54 s
Current children cumulated vsize: 188976 KiB
Current children cumulated memory: 135312 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.17 4.16 5/245 365919
/proc/meminfo: memFree=121801100/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=195320 memory=142464 CPUtime=281.34 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 25120 0 0 0 27760 374 0 0 20 0 1 0 42923160 200007680 35616 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 48830 35616 1863 992 0 40688 0
Current children cumulated CPU time: 281.34 s
Current children cumulated vsize: 195320 KiB
Current children cumulated memory: 142464 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.17 4.16 5/245 365929
/proc/meminfo: memFree=121596772/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=196148 memory=143256 CPUtime=341.11 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 25323 0 0 0 33697 414 0 0 20 0 1 0 42923160 200855552 35814 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 49037 35814 1863 992 0 40895 0
Current children cumulated CPU time: 341.11 s
Current children cumulated vsize: 196148 KiB
Current children cumulated memory: 143256 KiB

[startup+402.3 s]
/proc/loadavg: 4.76 4.33 4.21 5/244 365941
/proc/meminfo: memFree=121393660/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=196584 memory=143784 CPUtime=400.88 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 25470 0 0 0 39656 432 0 0 20 0 1 0 42923160 201302016 35946 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 49146 35946 1863 992 0 41004 0
Current children cumulated CPU time: 400.88 s
Current children cumulated vsize: 196584 KiB
Current children cumulated memory: 143784 KiB

[startup+462.3 s]
/proc/loadavg: 4.47 4.34 4.23 5/245 365952
/proc/meminfo: memFree=121065576/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=335200 memory=244416 CPUtime=460.68 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 28783 0 0 0 45569 499 0 0 20 0 1 0 42923160 343244800 61104 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 83800 61104 1863 992 0 75658 0

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

Current children cumulated memory: 949520 KiB

[startup+2922.3 s]
/proc/loadavg: 4.07 4.15 4.17 5/244 367197
/proc/meminfo: memFree=117445160/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=976300 memory=949584 CPUtime=2914.29 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 105810 0 0 0 288770 2659 0 0 20 0 1 0 42923160 999731200 237396 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 244075 237396 1951 992 0 235933 0
Current children cumulated CPU time: 2914.29 s
Current children cumulated vsize: 976300 KiB
Current children cumulated memory: 949584 KiB

[startup+2982.3 s]
/proc/loadavg: 4.06 4.14 4.17 5/246 367592
/proc/meminfo: memFree=117127476/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=976300 memory=949736 CPUtime=2974.15 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 106134 0 0 0 294710 2705 0 0 20 0 1 0 42923160 999731200 237434 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 244075 237434 1951 992 0 235933 0
Current children cumulated CPU time: 2974.15 s
Current children cumulated vsize: 976300 KiB
Current children cumulated memory: 949736 KiB

[startup+3042.3 s]
/proc/loadavg: 4.06 4.13 4.16 5/244 367602
/proc/meminfo: memFree=116625160/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=976300 memory=949736 CPUtime=3034.01 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 106463 0 0 0 300617 2784 0 0 20 0 1 0 42923160 999731200 237434 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 244075 237434 1951 992 0 235933 0
Current children cumulated CPU time: 3034.01 s
Current children cumulated vsize: 976300 KiB
Current children cumulated memory: 949736 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.13 4.16 5/245 367613
/proc/meminfo: memFree=116394264/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=976300 memory=949736 CPUtime=3093.87 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 106819 0 0 0 306536 2851 0 0 20 0 1 0 42923160 999731200 237434 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 244075 237434 1951 992 0 235933 0
Current children cumulated CPU time: 3093.87 s
Current children cumulated vsize: 976300 KiB
Current children cumulated memory: 949736 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.15 5/246 367792
/proc/meminfo: memFree=116211376/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=976300 memory=949736 CPUtime=3153.73 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 107053 0 0 0 312448 2925 0 0 20 0 1 0 42923160 999731200 237434 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 244075 237434 1951 992 0 235933 0
Current children cumulated CPU time: 3153.73 s
Current children cumulated vsize: 976300 KiB
Current children cumulated memory: 949736 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.11 4.15 5/246 367803
/proc/meminfo: memFree=115831852/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=976300 memory=949736 CPUtime=3213.59 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 107364 0 0 0 318372 2987 0 0 20 0 1 0 42923160 999731200 237434 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 244075 237434 1951 992 0 235933 0
Current children cumulated CPU time: 3213.59 s
Current children cumulated vsize: 976300 KiB
Current children cumulated memory: 949736 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/246 367871
/proc/meminfo: memFree=115410144/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=976300 memory=949736 CPUtime=3273.43 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 107835 0 0 0 324317 3026 0 0 20 0 1 0 42923160 999731200 237434 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 244075 237434 1951 992 0 235933 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 976300 KiB
Current children cumulated memory: 949736 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.10 4.14 5/246 367881
/proc/meminfo: memFree=115086788/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=983612 memory=955768 CPUtime=3333.29 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 109678 0 0 0 330254 3075 0 0 20 0 1 0 42923160 1007218688 238942 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 245903 238942 1951 992 0 237761 0
Current children cumulated CPU time: 3333.29 s
Current children cumulated vsize: 983612 KiB
Current children cumulated memory: 955768 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.09 4.13 5/246 367893
/proc/meminfo: memFree=114572844/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=984156 memory=956820 CPUtime=3393.14 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 110086 0 0 0 336204 3110 0 0 20 0 1 0 42923160 1007775744 239205 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 246039 239205 1951 992 0 237897 0
Current children cumulated CPU time: 3393.14 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956820 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.11 4.13 5/246 367903
/proc/meminfo: memFree=114075588/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=984156 memory=956820 CPUtime=3452.99 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 110387 0 0 0 342115 3184 0 0 20 0 1 0 42923160 1007775744 239205 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 246039 239205 1951 992 0 237897 0
Current children cumulated CPU time: 3452.99 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956820 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/245 367913
/proc/meminfo: memFree=113626768/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=984156 memory=956820 CPUtime=3512.86 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 110767 0 0 0 348020 3266 0 0 20 0 1 0 42923160 1007775744 239205 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 246039 239205 1951 992 0 237897 0
Current children cumulated CPU time: 3512.86 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956820 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.11 4.12 5/242 367924
/proc/meminfo: memFree=113345496/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=984156 memory=956820 CPUtime=3572.71 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 110980 0 0 0 353951 3320 0 0 20 0 1 0 42923160 1007775744 239205 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 246039 239205 1951 992 0 237897 0
Current children cumulated CPU time: 3572.71 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956820 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.09 4.10 4.12 5/242 367928
/proc/meminfo: memFree=113228088/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=984156 memory=956820 CPUtime=3600.05 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 111256 0 0 0 356659 3346 0 0 20 0 1 0 42923160 1007775744 239205 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 246039 239205 1951 992 0 237897 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956820 KiB

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

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

# cumulated CPU time of all completed processes:  user=3566.6 s, system=33.4725 s

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

[startup+3609.7 s]
/proc/loadavg: 4.09 4.10 4.12 5/242 367928
/proc/meminfo: memFree=113228088/131655788 swapFree=131057156/131071996
[pid=365866] ppid=365863 vsize=984156 memory=956820 CPUtime=3600.05 cores=5,7
/proc/365866/stat : 365866 (roundingsat) R 365863 365866 362339 0 -1 4194304 111256 0 0 0 356659 3346 0 0 20 0 1 0 42923160 1007775744 239205 134679101440 4194304 8254357 140731888655472 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 15482880 140731888661343 140731888661605 140731888661605 140731888668617 0
/proc/365866/statm: 246039 239205 1951 992 0 237897 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 984156 KiB
Current children cumulated memory: 956820 KiB

Child status: 0

Real time (s): 3609.75
CPU time (s): 3600.07
CPU user time (s): 3566.6
CPU system time (s): 33.4725
CPU usage (%): 99.7318
Max. virtual memory (cumulated for all children) (KiB): 984156
Max. memory (cumulated for all children) (KiB): 956820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3566.6
system time used= 33.4725
maximum resident set size= 956820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111267
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12912248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 609
involuntary context switches= 3777


# summary of solver processes directly reported to runsolver:
#   pid: 365866
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3566.6
#   total CPU system time (s): 33.4725

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3145 second user time and 35.5436 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-27 10:35:38
IDJOB=4460674
IDBENCH=158274
IDSOLVER=3086
FILE ID=nodeC005/4460674-1722069337
RUNJOBID= nodeC005-1722064837-362352
SLURM_JOB_ID= 8248107
Free space on /tmp= 723760 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K143.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460674-1722069337/watcher-4460674-1722069337 -o /tmp/evaluation-result-4460674-1722069337/solver-4460674-1722069337 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722064837-362352 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460674-1722069337 --lp-cut-gomory=0 HOME/instance-4460674-1722069337.opb

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

MD5SUM BENCH= 5b71eb3fc2b19671b5e391982561b6cd
RANDOM SEED=496659937

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        123119992 kB
MemAvailable:   128855064 kB
Buffers:          358840 kB
Cached:          6203048 kB
SwapCached:          192 kB
Active:          1736976 kB
Inactive:        6242744 kB
Active(anon):       2336 kB
Inactive(anon):  1468508 kB
Active(file):    1734640 kB
Inactive(file):  4774236 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057156 kB
Dirty:             62072 kB
Writeback:            48 kB
AnonPages:       1416032 kB
Mapped:           105892 kB
Shmem:             52880 kB
KReclaimable:     132456 kB
Slab:             242288 kB
SReclaimable:     132456 kB
SUnreclaim:       109832 kB
KernelStack:        3840 kB
PageTables:        12272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1811024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            12064 kB
HardwareCorrupted:     0 kB
AnonHugePages:    970752 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:      418632 kB
DirectMap2M:    51914752 kB
DirectMap1G:    83886080 kB

Free space on /tmp at the end= 723756 MiB
End job on nodeC005 at 2024-07-27 11:35:47