Trace number 4463065

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 (3)? (TO) 3600.13 3609.76

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K150.opb
MD5SUMde861f201885d7430b03c8868c66597b
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 variables17850
Total number of constraints18152
Number of constraints which are clauses18002
Number of constraints which are cardinality constraints (but not clauses)150
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint150
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 151
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.21/0.28	c #variables 17850 #constraints 18152
120.08/120.43	c #Conflicts:       1000 | #Constraints:      19151
120.08/120.43	c #Conflicts:       2000 | #Constraints:      20151
120.08/120.43	c INPROCESSING
120.08/120.43	c GARBAGE COLLECT
120.08/120.43	c #Conflicts:       3000 | #Constraints:      19201
120.08/120.43	c #Conflicts:       4000 | #Constraints:      20201
120.08/120.43	c INPROCESSING
120.08/120.43	c GARBAGE COLLECT
120.08/120.43	c #Conflicts:       5000 | #Constraints:      19712
120.08/120.43	c #Conflicts:       6000 | #Constraints:      20712
120.08/120.43	c INPROCESSING
120.08/120.43	c GARBAGE COLLECT
120.08/120.43	c #Conflicts:       7000 | #Constraints:      19609
120.08/120.43	c #Conflicts:       8000 | #Constraints:      20609
120.08/120.43	c #Conflicts:       9000 | #Constraints:      21609
120.08/120.43	c INPROCESSING
120.08/120.43	c GARBAGE COLLECT
120.08/120.43	c #Conflicts:      10000 | #Constraints:      20375
120.08/120.43	c #Conflicts:      11000 | #Constraints:      21375
120.08/120.43	c #Conflicts:      12000 | #Constraints:      22375
120.08/120.43	c #Conflicts:      13000 | #Constraints:      23375
120.08/120.43	c #Conflicts:      14000 | #Constraints:      24376
120.08/120.43	c #Conflicts:      15000 | #Constraints:      25376
120.08/120.43	c #Conflicts:      16000 | #Constraints:      26376
120.08/120.43	c INPROCESSING
120.08/120.43	c GARBAGE COLLECT
120.08/120.43	c #Conflicts:      17000 | #Constraints:      22659
120.08/120.43	c #Conflicts:      18000 | #Constraints:      23659
120.08/120.43	c #Conflicts:      19000 | #Constraints:      24659
120.08/120.43	c #Conflicts:      20000 | #Constraints:      25659
120.08/120.43	c INPROCESSING
120.08/120.43	c GARBAGE COLLECT
120.08/120.43	c #Conflicts:      21000 | #Constraints:      22426
120.08/120.43	c #Conflicts:      22000 | #Constraints:      23426
120.08/120.43	c #Conflicts:      23000 | #Constraints:      24426
120.08/120.43	c #Conflicts:      24000 | #Constraints:      25426
120.08/120.43	c INPROCESSING
120.08/120.43	c GARBAGE COLLECT
120.08/120.43	c #Conflicts:      25000 | #Constraints:      22283
120.08/120.43	c #Conflicts:      26000 | #Constraints:      23283
120.08/120.43	c #Conflicts:      27000 | #Constraints:      24283
120.08/120.43	c #Conflicts:      28000 | #Constraints:      25283
120.08/120.43	c #Conflicts:      29000 | #Constraints:      26284
120.08/120.43	c #Conflicts:      30000 | #Constraints:      27284
120.08/120.43	c #Conflicts:      31000 | #Constraints:      28284
120.08/120.43	c #Conflicts:      32000 | #Constraints:      29284
120.08/120.43	c #Conflicts:      33000 | #Constraints:      30284
120.08/120.43	c #Conflicts:      34000 | #Constraints:      31284
120.08/120.43	c #Conflicts:      35000 | #Constraints:      32284
120.08/120.43	c #Conflicts:      36000 | #Constraints:      33284
120.08/120.43	c INPROCESSING
120.08/120.43	c GARBAGE COLLECT
120.08/120.43	c rational objective 150
332.06/332.90	c #Conflicts:      37000 | #Constraints:      26515
332.06/332.90	c #Conflicts:      38000 | #Constraints:      27515
332.06/332.90	c #Conflicts:      39000 | #Constraints:      28515
332.06/332.90	c #Conflicts:      40000 | #Constraints:      29515
332.06/332.90	c #Conflicts:      41000 | #Constraints:      30515
332.06/332.90	c INPROCESSING
332.06/332.90	c GARBAGE COLLECT
332.06/332.90	c #Conflicts:      42000 | #Constraints:      25032
332.06/332.90	c #Conflicts:      43000 | #Constraints:      26033
332.06/332.90	c #Conflicts:      44000 | #Constraints:      27033
332.06/332.90	c #Conflicts:      45000 | #Constraints:      28033
332.06/332.90	c #Conflicts:      46000 | #Constraints:      29033
332.06/332.90	c #Conflicts:      47000 | #Constraints:      30033
332.06/332.90	c INPROCESSING
332.06/332.90	c GARBAGE COLLECT
332.06/332.90	c #Conflicts:      48000 | #Constraints:      24855
332.06/332.90	c #Conflicts:      49000 | #Constraints:      25855
332.06/332.90	c #Conflicts:      50000 | #Constraints:      26855
332.06/332.90	c #Conflicts:      51000 | #Constraints:      27855
332.06/332.90	c #Conflicts:      52000 | #Constraints:      28855
332.06/332.90	c #Conflicts:      53000 | #Constraints:      29855
332.06/332.90	c #Conflicts:      54000 | #Constraints:      30855
332.06/332.90	c #Conflicts:      55000 | #Constraints:      31855
332.06/332.90	c #Conflicts:      56000 | #Constraints:      32855
332.06/332.90	c #Conflicts:      57000 | #Constraints:      33856
332.06/332.90	c #Conflicts:      58000 | #Constraints:      34856
332.06/332.90	c #Conflicts:      59000 | #Constraints:      35856
332.06/332.90	c #Conflicts:      60000 | #Constraints:      36856
332.06/332.90	c #Conflicts:      61000 | #Constraints:      37856
332.06/332.90	c #Conflicts:      62000 | #Constraints:      38856
332.06/332.90	c INPROCESSING
332.06/332.90	c GARBAGE COLLECT
332.06/332.90	c #Conflicts:      63000 | #Constraints:      29074
332.06/332.90	c #Conflicts:      64000 | #Constraints:      30074
332.06/332.90	c #Conflicts:      65000 | #Constraints:      31074
332.06/332.90	c #Conflicts:      66000 | #Constraints:      32074
332.06/332.90	c #Conflicts:      67000 | #Constraints:      33074
332.06/332.90	c #Conflicts:      68000 | #Constraints:      34074
332.06/332.90	c #Conflicts:      69000 | #Constraints:      35074
332.06/332.90	c INPROCESSING
332.06/332.90	c GARBAGE COLLECT
332.06/332.90	c #Conflicts:      70000 | #Constraints:      27317
332.06/332.90	c #Conflicts:      71000 | #Constraints:      28317
332.06/332.90	c #Conflicts:      72000 | #Constraints:      29318
332.06/332.90	c #Conflicts:      73000 | #Constraints:      30318
332.06/332.90	c #Conflicts:      74000 | #Constraints:      31318
332.06/332.90	c #Conflicts:      75000 | #Constraints:      32318
332.06/332.90	c #Conflicts:      76000 | #Constraints:      33318
332.06/332.90	c #Conflicts:      77000 | #Constraints:      34318
332.06/332.90	c #Conflicts:      78000 | #Constraints:      35318
332.06/332.90	c #Conflicts:      79000 | #Constraints:      36318
332.06/332.90	c #Conflicts:      80000 | #Constraints:      37318
332.06/332.90	c #Conflicts:      81000 | #Constraints:      38318
332.06/332.90	c #Conflicts:      82000 | #Constraints:      39318
332.06/332.90	c #Conflicts:      83000 | #Constraints:      40318
332.06/332.90	c #Conflicts:      84000 | #Constraints:      41318
332.06/332.90	c #Conflicts:      85000 | #Constraints:      42319
332.06/332.90	c #Conflicts:      86000 | #Constraints:      43319
332.06/332.90	c #Conflicts:      87000 | #Constraints:      44319
332.06/332.90	c #Conflicts:      88000 | #Constraints:      45319
332.06/332.90	c INPROCESSING
332.06/332.90	c GARBAGE COLLECT
332.06/332.90	c rational objective 150
357.80/358.71	c #Conflicts:      89000 | #Constraints:      32486
357.80/358.71	c #Conflicts:      90000 | #Constraints:      33486
357.80/358.71	c #Conflicts:      91000 | #Constraints:      34486
357.80/358.71	c #Conflicts:      92000 | #Constraints:      35486
357.80/358.71	c #Conflicts:      93000 | #Constraints:      36486
357.80/358.71	c #Conflicts:      94000 | #Constraints:      37486
357.80/358.71	c #Conflicts:      95000 | #Constraints:      38486
357.80/358.71	c #Conflicts:      96000 | #Constraints:      39486
357.80/358.71	c INPROCESSING
357.80/358.71	c GARBAGE COLLECT
357.80/358.71	c rational objective 150
425.64/426.72	c #Conflicts:      97000 | #Constraints:      29574
425.64/426.72	c #Conflicts:      98000 | #Constraints:      30574
425.64/426.72	c #Conflicts:      99000 | #Constraints:      31574
425.64/426.72	c #Conflicts:     100000 | #Constraints:      32574
425.64/426.72	c #Conflicts:     101000 | #Constraints:      33574
425.64/426.72	c #Conflicts:     102000 | #Constraints:      34574
425.64/426.72	c #Conflicts:     103000 | #Constraints:      35574
425.64/426.72	c #Conflicts:     104000 | #Constraints:      36574
425.64/426.72	c #Conflicts:     105000 | #Constraints:      37574
425.64/426.72	c #Conflicts:     106000 | #Constraints:      38574
425.64/426.72	c #Conflicts:     107000 | #Constraints:      39574
425.64/426.72	c #Conflicts:     108000 | #Constraints:      40574
425.64/426.72	c #Conflicts:     109000 | #Constraints:      41574
425.64/426.72	c #Conflicts:     110000 | #Constraints:      42574
425.64/426.72	c #Conflicts:     111000 | #Constraints:      43574
425.64/426.72	c #Conflicts:     112000 | #Constraints:      44574
425.64/426.72	c #Conflicts:     113000 | #Constraints:      45574
425.64/426.72	c #Conflicts:     114000 | #Constraints:      46574
425.64/426.72	c #Conflicts:     115000 | #Constraints:      47574
425.64/426.72	c #Conflicts:     116000 | #Constraints:      48574
425.64/426.72	c #Conflicts:     117000 | #Constraints:      49574
425.64/426.72	c #Conflicts:     118000 | #Constraints:      50574
425.64/426.72	c INPROCESSING
425.64/426.72	c GARBAGE COLLECT
425.64/426.72	c rational objective 150
451.88/453.07	c #Conflicts:     119000 | #Constraints:      35213
451.88/453.07	c #Conflicts:     120000 | #Constraints:      36213
451.88/453.07	c #Conflicts:     121000 | #Constraints:      37213
451.88/453.07	c #Conflicts:     122000 | #Constraints:      38213
451.88/453.07	c #Conflicts:     123000 | #Constraints:      39213
451.88/453.07	c #Conflicts:     124000 | #Constraints:      40213
451.88/453.07	c #Conflicts:     125000 | #Constraints:      41213
451.88/453.07	c #Conflicts:     126000 | #Constraints:      42213
451.88/453.07	c #Conflicts:     127000 | #Constraints:      43213
451.88/453.07	c #Conflicts:     128000 | #Constraints:      44213
451.88/453.07	c INPROCESSING
451.88/453.07	c GARBAGE COLLECT
451.88/453.07	c rational objective 150
568.58/570.10	c #Conflicts:     129000 | #Constraints:      32257
568.58/570.10	c #Conflicts:     130000 | #Constraints:      33258
568.58/570.10	c #Conflicts:     131000 | #Constraints:      34259
568.58/570.10	c #Conflicts:     132000 | #Constraints:      35260
568.58/570.10	c #Conflicts:     133000 | #Constraints:      36260
568.58/570.10	c #Conflicts:     134000 | #Constraints:      37260
568.58/570.10	c #Conflicts:     135000 | #Constraints:      38260
568.58/570.10	c #Conflicts:     136000 | #Constraints:      39260
568.58/570.10	c #Conflicts:     137000 | #Constraints:      40260
568.58/570.10	c #Conflicts:     138000 | #Constraints:      41260
568.58/570.10	c #Conflicts:     139000 | #Constraints:      42260
568.58/570.10	c #Conflicts:     140000 | #Constraints:      43260
568.58/570.10	c #Conflicts:     141000 | #Constraints:      44260
568.58/570.10	c #Conflicts:     142000 | #Constraints:      45260
568.58/570.10	c #Conflicts:     143000 | #Constraints:      46260
568.58/570.10	c #Conflicts:     144000 | #Constraints:      47260
568.58/570.10	c #Conflicts:     145000 | #Constraints:      48260
568.58/570.10	c #Conflicts:     146000 | #Constraints:      49260
568.58/570.10	c #Conflicts:     147000 | #Constraints:      50260
568.58/570.10	c #Conflicts:     148000 | #Constraints:      51260
568.58/570.10	c #Conflicts:     149000 | #Constraints:      52260
568.58/570.10	c #Conflicts:     150000 | #Constraints:      53261
568.58/570.10	c #Conflicts:     151000 | #Constraints:      54261
568.58/570.10	c #Conflicts:     152000 | #Constraints:      55261
568.58/570.10	c #Conflicts:     153000 | #Constraints:      56261
568.58/570.10	c INPROCESSING
568.58/570.10	c GARBAGE COLLECT
568.58/570.10	c rational objective 150
694.85/696.61	c #Conflicts:     154000 | #Constraints:      38401
694.85/696.61	c #Conflicts:     155000 | #Constraints:      39401
694.85/696.61	c #Conflicts:     156000 | #Constraints:      40401
694.85/696.61	c #Conflicts:     157000 | #Constraints:      41401
694.85/696.61	c #Conflicts:     158000 | #Constraints:      42401
694.85/696.61	c #Conflicts:     159000 | #Constraints:      43401
694.85/696.61	c #Conflicts:     160000 | #Constraints:      44401
694.85/696.61	c #Conflicts:     161000 | #Constraints:      45401
694.85/696.61	c #Conflicts:     162000 | #Constraints:      46402
694.85/696.61	c #Conflicts:     163000 | #Constraints:      47402
694.85/696.61	c INPROCESSING
694.85/696.61	c GARBAGE COLLECT
694.85/696.61	c rational objective 150
901.17/903.49	c #Conflicts:     164000 | #Constraints:      33673
901.17/903.49	c #Conflicts:     165000 | #Constraints:      34673
901.17/903.49	c #Conflicts:     166000 | #Constraints:      35673
901.17/903.49	c #Conflicts:     167000 | #Constraints:      36673
901.17/903.49	c #Conflicts:     168000 | #Constraints:      37673
901.17/903.49	c #Conflicts:     169000 | #Constraints:      38673
901.17/903.49	c #Conflicts:     170000 | #Constraints:      39673
901.17/903.49	c #Conflicts:     171000 | #Constraints:      40673
901.17/903.49	c #Conflicts:     172000 | #Constraints:      41673
901.17/903.49	c #Conflicts:     173000 | #Constraints:      42673
901.17/903.49	c #Conflicts:     174000 | #Constraints:      43673
901.17/903.49	c #Conflicts:     175000 | #Constraints:      44673
901.17/903.49	c #Conflicts:     176000 | #Constraints:      45673
901.17/903.49	c #Conflicts:     177000 | #Constraints:      46673
901.17/903.49	c #Conflicts:     178000 | #Constraints:      47673
901.17/903.49	c #Conflicts:     179000 | #Constraints:      48673
901.17/903.49	c #Conflicts:     180000 | #Constraints:      49673
901.17/903.49	c #Conflicts:     181000 | #Constraints:      50673
901.17/903.49	c #Conflicts:     182000 | #Constraints:      51674
901.17/903.49	c #Conflicts:     183000 | #Constraints:      52674
901.17/903.49	c #Conflicts:     184000 | #Constraints:      53674
901.17/903.49	c #Conflicts:     185000 | #Constraints:      54674
901.17/903.49	c #Conflicts:     186000 | #Constraints:      55674
901.17/903.49	c #Conflicts:     187000 | #Constraints:      56674
901.17/903.49	c #Conflicts:     188000 | #Constraints:      57674
901.17/903.49	c #Conflicts:     189000 | #Constraints:      58674
901.17/903.49	c #Conflicts:     190000 | #Constraints:      59674
901.17/903.49	c #Conflicts:     191000 | #Constraints:      60674
901.17/903.49	c INPROCESSING
901.17/903.49	c GARBAGE COLLECT
901.17/903.49	c #Conflicts:     192000 | #Constraints:      40073
901.17/903.49	c #Conflicts:     193000 | #Constraints:      41073
901.17/903.49	c #Conflicts:     194000 | #Constraints:      42073
901.17/903.49	c #Conflicts:     195000 | #Constraints:      43073
901.17/903.49	c #Conflicts:     196000 | #Constraints:      44073
901.17/903.49	c #Conflicts:     197000 | #Constraints:      45074
901.17/903.49	c #Conflicts:     198000 | #Constraints:      46074
901.17/903.49	c #Conflicts:     199000 | #Constraints:      47074
901.17/903.49	c #Conflicts:     200000 | #Constraints:      48074
901.17/903.49	c #Conflicts:     201000 | #Constraints:      49074
901.17/903.49	c #Conflicts:     202000 | #Constraints:      50074
901.17/903.49	c #Conflicts:     203000 | #Constraints:      51074
901.17/903.49	c #Conflicts:     204000 | #Constraints:      52074
901.17/903.49	c INPROCESSING
901.17/903.49	c GARBAGE COLLECT
901.17/903.49	c #Conflicts:     205000 | #Constraints:      36289
901.17/903.49	c #Conflicts:     206000 | #Constraints:      37289
901.17/903.49	c #Conflicts:     207000 | #Constraints:      38289
901.17/903.49	c #Conflicts:     208000 | #Constraints:      39289
901.17/903.49	c #Conflicts:     209000 | #Constraints:      40289
901.17/903.49	c #Conflicts:     210000 | #Constraints:      41289
901.17/903.49	c #Conflicts:     211000 | #Constraints:      42289
901.17/903.49	c #Conflicts:     212000 | #Constraints:      43289
901.17/903.49	c #Conflicts:     213000 | #Constraints:      44290
901.17/903.49	c #Conflicts:     214000 | #Constraints:      45290
901.17/903.49	c #Conflicts:     215000 | #Constraints:      46290
901.17/903.49	c #Conflicts:     216000 | #Constraints:      47290
901.17/903.49	c #Conflicts:     217000 | #Constraints:      48290
901.17/903.49	c #Conflicts:     218000 | #Constraints:      49290
901.17/903.49	c #Conflicts:     219000 | #Constraints:      50290
901.17/903.49	c #Conflicts:     220000 | #Constraints:      51290
901.17/903.49	c #Conflicts:     221000 | #Constraints:      52290
901.17/903.49	c #Conflicts:     222000 | #Constraints:      53290
901.17/903.49	c #Conflicts:     223000 | #Constraints:      54290
901.17/903.49	c #Conflicts:     224000 | #Constraints:      55290
901.17/903.49	c #Conflicts:     225000 | #Constraints:      56290
901.17/903.49	c #Conflicts:     226000 | #Constraints:      57290
901.17/903.49	c #Conflicts:     227000 | #Constraints:      58290
901.17/903.49	c #Conflicts:     228000 | #Constraints:      59290
901.17/903.49	c #Conflicts:     229000 | #Constraints:      60290
901.17/903.49	c #Conflicts:     230000 | #Constraints:      61290
901.17/903.49	c #Conflicts:     231000 | #Constraints:      62290
901.17/903.49	c #Conflicts:     232000 | #Constraints:      63291
901.17/903.49	c #Conflicts:     233000 | #Constraints:      64291
901.17/903.49	c #Conflicts:     234000 | #Constraints:      65291
901.17/903.49	c #Conflicts:     235000 | #Constraints:      66291
901.17/903.49	c INPROCESSING
901.17/903.49	c GARBAGE COLLECT
901.17/903.49	c rational objective 150
1036.65/1039.21	c #Conflicts:     236000 | #Constraints:      43409
1036.65/1039.21	c #Conflicts:     237000 | #Constraints:      44409
1036.65/1039.21	c #Conflicts:     238000 | #Constraints:      45409
1036.65/1039.21	c #Conflicts:     239000 | #Constraints:      46409
1036.65/1039.21	c #Conflicts:     240000 | #Constraints:      47409
1036.65/1039.21	c #Conflicts:     241000 | #Constraints:      48409
1036.65/1039.21	c #Conflicts:     242000 | #Constraints:      49409
1036.65/1039.21	c #Conflicts:     243000 | #Constraints:      50409
1036.65/1039.21	c #Conflicts:     244000 | #Constraints:      51410
1036.65/1039.21	c #Conflicts:     245000 | #Constraints:      52410
1036.65/1039.21	c #Conflicts:     246000 | #Constraints:      53410
1036.65/1039.21	c #Conflicts:     247000 | #Constraints:      54410
1036.65/1039.21	c #Conflicts:     248000 | #Constraints:      55410
1036.65/1039.21	c INPROCESSING
1036.65/1039.21	c GARBAGE COLLECT
1036.65/1039.21	c rational objective 150
1201.04/1204.08	c #Conflicts:     249000 | #Constraints:      37699
1201.04/1204.08	c #Conflicts:     250000 | #Constraints:      38699
1201.04/1204.08	c #Conflicts:     251000 | #Constraints:      39699
1201.04/1204.08	c #Conflicts:     252000 | #Constraints:      40699
1201.04/1204.08	c #Conflicts:     253000 | #Constraints:      41699
1201.04/1204.08	c #Conflicts:     254000 | #Constraints:      42699
1201.04/1204.08	c #Conflicts:     255000 | #Constraints:      43699
1201.04/1204.08	c #Conflicts:     256000 | #Constraints:      44699
1201.04/1204.08	c #Conflicts:     257000 | #Constraints:      45699
1201.04/1204.08	c #Conflicts:     258000 | #Constraints:      46699
1201.04/1204.08	c #Conflicts:     259000 | #Constraints:      47699
1201.04/1204.08	c #Conflicts:     260000 | #Constraints:      48699
1201.04/1204.08	c #Conflicts:     261000 | #Constraints:      49700
1201.04/1204.08	c #Conflicts:     262000 | #Constraints:      50700
1201.04/1204.08	c #Conflicts:     263000 | #Constraints:      51700
1201.04/1204.08	c #Conflicts:     264000 | #Constraints:      52700
1201.04/1204.08	c #Conflicts:     265000 | #Constraints:      53700
1201.04/1204.08	c #Conflicts:     266000 | #Constraints:      54701
1201.04/1204.08	c #Conflicts:     267000 | #Constraints:      55701
1201.04/1204.08	c #Conflicts:     268000 | #Constraints:      56701
1201.04/1204.08	c #Conflicts:     269000 | #Constraints:      57701
1201.04/1204.08	c #Conflicts:     270000 | #Constraints:      58701
1201.04/1204.08	c #Conflicts:     271000 | #Constraints:      59701
1201.04/1204.08	c #Conflicts:     272000 | #Constraints:      60701
1201.04/1204.08	c #Conflicts:     273000 | #Constraints:      61701
1201.04/1204.08	c #Conflicts:     274000 | #Constraints:      62701
1201.04/1204.08	c #Conflicts:     275000 | #Constraints:      63701
1201.04/1204.08	c #Conflicts:     276000 | #Constraints:      64701
1201.04/1204.08	c #Conflicts:     277000 | #Constraints:      65701
1201.04/1204.08	c #Conflicts:     278000 | #Constraints:      66701
1201.04/1204.08	c #Conflicts:     279000 | #Constraints:      67701
1201.04/1204.08	c #Conflicts:     280000 | #Constraints:      68701
1201.04/1204.08	c #Conflicts:     281000 | #Constraints:      69701
1201.04/1204.08	c #Conflicts:     282000 | #Constraints:      70701
1201.04/1204.08	c INPROCESSING
1201.04/1204.08	c GARBAGE COLLECT
1201.04/1204.08	c #Conflicts:     283000 | #Constraints:      45324
1201.04/1204.08	c #Conflicts:     284000 | #Constraints:      46324
1201.04/1204.08	c #Conflicts:     285000 | #Constraints:      47324
1201.04/1204.08	c #Conflicts:     286000 | #Constraints:      48324
1201.04/1204.08	c #Conflicts:     287000 | #Constraints:      49324
1201.04/1204.08	c #Conflicts:     288000 | #Constraints:      50324
1201.04/1204.08	c #Conflicts:     289000 | #Constraints:      51324
1201.04/1204.08	c #Conflicts:     290000 | #Constraints:      52324
1201.04/1204.08	c #Conflicts:     291000 | #Constraints:      53324
1201.04/1204.08	c #Conflicts:     292000 | #Constraints:      54324
1201.04/1204.08	c #Conflicts:     293000 | #Constraints:      55324
1201.04/1204.08	c #Conflicts:     294000 | #Constraints:      56325
1201.04/1204.08	c #Conflicts:     295000 | #Constraints:      57325
1201.04/1204.08	c #Conflicts:     296000 | #Constraints:      58325
1201.04/1204.08	c #Conflicts:     297000 | #Constraints:      59325
1201.04/1204.08	c INPROCESSING
1201.04/1204.08	c GARBAGE COLLECT
1201.04/1204.08	c #Conflicts:     298000 | #Constraints:      39849
1201.04/1204.08	c #Conflicts:     299000 | #Constraints:      40850
1201.04/1204.08	c #Conflicts:     300000 | #Constraints:      41850
1201.04/1204.08	c #Conflicts:     301000 | #Constraints:      42850
1201.04/1204.08	c #Conflicts:     302000 | #Constraints:      43850
1201.04/1204.08	c #Conflicts:     303000 | #Constraints:      44850
1201.04/1204.08	c #Conflicts:     304000 | #Constraints:      45850
1201.04/1204.08	c #Conflicts:     305000 | #Constraints:      46850
1201.04/1204.08	c #Conflicts:     306000 | #Constraints:      47850
1201.04/1204.08	c #Conflicts:     307000 | #Constraints:      48850
1201.04/1204.08	c #Conflicts:     308000 | #Constraints:      49850
1201.04/1204.08	c #Conflicts:     309000 | #Constraints:      50850
1201.04/1204.08	c #Conflicts:     310000 | #Constraints:      51850
1201.04/1204.08	c #Conflicts:     311000 | #Constraints:      52850
1201.04/1204.08	c #Conflicts:     312000 | #Constraints:      53850
1201.04/1204.08	c #Conflicts:     313000 | #Constraints:      54850
1201.04/1204.08	c #Conflicts:     314000 | #Constraints:      55850
1201.04/1204.08	c #Conflicts:     315000 | #Constraints:      56851
1201.04/1204.08	c #Conflicts:     316000 | #Constraints:      57851
1201.04/1204.08	c #Conflicts:     317000 | #Constraints:      58851
1201.04/1204.08	c #Conflicts:     318000 | #Constraints:      59851
1201.04/1204.08	c #Conflicts:     319000 | #Constraints:      60851
1201.04/1204.08	c #Conflicts:     320000 | #Constraints:      61851
1201.04/1204.08	c #Conflicts:     321000 | #Constraints:      62851
1201.04/1204.08	c #Conflicts:     322000 | #Constraints:      63851
1201.04/1204.08	c #Conflicts:     323000 | #Constraints:      64852
1201.04/1204.08	c #Conflicts:     324000 | #Constraints:      65852
1201.04/1204.08	c #Conflicts:     325000 | #Constraints:      66852
1201.04/1204.08	c #Conflicts:     326000 | #Constraints:      67852
1590.32/1594.47	c #Conflicts:     327000 | #Constraints:      68852
1590.32/1594.47	c #Conflicts:     328000 | #Constraints:      69852
1590.32/1594.47	c #Conflicts:     329000 | #Constraints:      70852
1590.32/1594.47	c #Conflicts:     330000 | #Constraints:      71852
1590.32/1594.47	c #Conflicts:     331000 | #Constraints:      72852
1590.32/1594.47	c #Conflicts:     332000 | #Constraints:      73852
1590.32/1594.47	c #Conflicts:     333000 | #Constraints:      74853
1590.32/1594.47	c #Conflicts:     334000 | #Constraints:      75853
1590.32/1594.47	c #Conflicts:     335000 | #Constraints:      76853
1590.32/1594.47	c INPROCESSING
1590.32/1594.47	c GARBAGE COLLECT
1590.32/1594.47	c #Conflicts:     336000 | #Constraints:      48914
1590.32/1594.47	c #Conflicts:     337000 | #Constraints:      49914
1590.32/1594.47	c #Conflicts:     338000 | #Constraints:      50914
1590.32/1594.47	c #Conflicts:     339000 | #Constraints:      51914
1590.32/1594.47	c #Conflicts:     340000 | #Constraints:      52914
1590.32/1594.47	c #Conflicts:     341000 | #Constraints:      53914
1590.32/1594.47	c #Conflicts:     342000 | #Constraints:      54914
1590.32/1594.47	c #Conflicts:     343000 | #Constraints:      55914
1590.32/1594.47	c #Conflicts:     344000 | #Constraints:      56914
1590.32/1594.47	c #Conflicts:     345000 | #Constraints:      57914
1590.32/1594.47	c #Conflicts:     346000 | #Constraints:      58914
1590.32/1594.47	c #Conflicts:     347000 | #Constraints:      59914
1590.32/1594.47	c #Conflicts:     348000 | #Constraints:      60914
1590.32/1594.47	c #Conflicts:     349000 | #Constraints:      61914
1590.32/1594.47	c #Conflicts:     350000 | #Constraints:      62914
1590.32/1594.47	c #Conflicts:     351000 | #Constraints:      63914
1590.32/1594.47	c INPROCESSING
1590.32/1594.47	c GARBAGE COLLECT
1590.32/1594.47	c #Conflicts:     352000 | #Constraints:      42497
1590.32/1594.47	c #Conflicts:     353000 | #Constraints:      43497
1590.32/1594.47	c #Conflicts:     354000 | #Constraints:      44497
1590.32/1594.47	c #Conflicts:     355000 | #Constraints:      45497
1590.32/1594.47	c #Conflicts:     356000 | #Constraints:      46497
1590.32/1594.47	c #Conflicts:     357000 | #Constraints:      47497
1590.32/1594.47	c #Conflicts:     358000 | #Constraints:      48497
1590.32/1594.47	c #Conflicts:     359000 | #Constraints:      49497
1590.32/1594.47	c #Conflicts:     360000 | #Constraints:      50497
1590.32/1594.47	c #Conflicts:     361000 | #Constraints:      51497
1590.32/1594.47	c #Conflicts:     362000 | #Constraints:      52497
1590.32/1594.47	c #Conflicts:     363000 | #Constraints:      53497
1590.32/1594.47	c #Conflicts:     364000 | #Constraints:      54497
1590.32/1594.47	c #Conflicts:     365000 | #Constraints:      55497
1590.32/1594.47	c #Conflicts:     366000 | #Constraints:      56497
1590.32/1594.47	c #Conflicts:     367000 | #Constraints:      57497
1590.32/1594.47	c #Conflicts:     368000 | #Constraints:      58497
1590.32/1594.47	c #Conflicts:     369000 | #Constraints:      59497
1590.32/1594.47	c #Conflicts:     370000 | #Constraints:      60497
1590.32/1594.47	c #Conflicts:     371000 | #Constraints:      61497
1590.32/1594.47	c #Conflicts:     372000 | #Constraints:      62497
1590.32/1594.47	c #Conflicts:     373000 | #Constraints:      63497
1590.32/1594.47	c #Conflicts:     374000 | #Constraints:      64497
1590.32/1594.47	c #Conflicts:     375000 | #Constraints:      65497
1590.32/1594.47	c #Conflicts:     376000 | #Constraints:      66498
1590.32/1594.47	c #Conflicts:     377000 | #Constraints:      67498
1590.32/1594.47	c #Conflicts:     378000 | #Constraints:      68498
1590.32/1594.47	c #Conflicts:     379000 | #Constraints:      69498
1590.32/1594.47	c #Conflicts:     380000 | #Constraints:      70498
1590.32/1594.47	c #Conflicts:     381000 | #Constraints:      71498
1590.32/1594.47	c #Conflicts:     382000 | #Constraints:      72498
1590.32/1594.47	c #Conflicts:     383000 | #Constraints:      73498
1590.32/1594.47	c #Conflicts:     384000 | #Constraints:      74498
1590.32/1594.47	c #Conflicts:     385000 | #Constraints:      75498
1590.32/1594.47	c #Conflicts:     386000 | #Constraints:      76498
1590.32/1594.47	c #Conflicts:     387000 | #Constraints:      77498
1590.32/1594.47	c #Conflicts:     388000 | #Constraints:      78498
1590.32/1594.47	c #Conflicts:     389000 | #Constraints:      79498
1590.32/1594.47	c #Conflicts:     390000 | #Constraints:      80498
1590.32/1594.47	c #Conflicts:     391000 | #Constraints:      81498
1590.32/1594.47	c INPROCESSING
1590.32/1594.47	c GARBAGE COLLECT
1590.32/1594.47	c rational objective 150
1801.34/1806.02	c #Conflicts:     392000 | #Constraints:      51014
1801.34/1806.02	c #Conflicts:     393000 | #Constraints:      52014
1801.34/1806.02	c #Conflicts:     394000 | #Constraints:      53014
1801.34/1806.02	c #Conflicts:     395000 | #Constraints:      54014
1801.34/1806.02	c #Conflicts:     396000 | #Constraints:      55014
1801.34/1806.02	c #Conflicts:     397000 | #Constraints:      56014
1801.34/1806.02	c #Conflicts:     398000 | #Constraints:      57014
1801.34/1806.02	c #Conflicts:     399000 | #Constraints:      58014
1801.34/1806.02	c #Conflicts:     400000 | #Constraints:      59014
1801.34/1806.02	c #Conflicts:     401000 | #Constraints:      60014
1801.34/1806.02	c #Conflicts:     402000 | #Constraints:      61014
1801.34/1806.02	c #Conflicts:     403000 | #Constraints:      62014
1801.34/1806.02	c #Conflicts:     404000 | #Constraints:      63014
1801.34/1806.02	c #Conflicts:     405000 | #Constraints:      64014
1801.34/1806.02	c #Conflicts:     406000 | #Constraints:      65014
1801.34/1806.02	c #Conflicts:     407000 | #Constraints:      66014
1801.34/1806.02	c #Conflicts:     408000 | #Constraints:      67014
1801.34/1806.02	c INPROCESSING
1801.34/1806.02	c GARBAGE COLLECT
1801.34/1806.02	c #Conflicts:     409000 | #Constraints:      44145
1801.34/1806.02	c #Conflicts:     410000 | #Constraints:      45145
1801.34/1806.02	c #Conflicts:     411000 | #Constraints:      46145
1801.34/1806.02	c #Conflicts:     412000 | #Constraints:      47145
1801.34/1806.02	c #Conflicts:     413000 | #Constraints:      48145
1801.34/1806.02	c #Conflicts:     414000 | #Constraints:      49145
1801.34/1806.02	c #Conflicts:     415000 | #Constraints:      50145
1801.34/1806.02	c #Conflicts:     416000 | #Constraints:      51145
1801.34/1806.02	c #Conflicts:     417000 | #Constraints:      52145
1801.34/1806.02	c #Conflicts:     418000 | #Constraints:      53145
1801.34/1806.02	c #Conflicts:     419000 | #Constraints:      54145
1801.34/1806.02	c #Conflicts:     420000 | #Constraints:      55145
1801.34/1806.02	c #Conflicts:     421000 | #Constraints:      56145
1801.34/1806.02	c #Conflicts:     422000 | #Constraints:      57145
1801.34/1806.02	c #Conflicts:     423000 | #Constraints:      58146
1801.34/1806.02	c #Conflicts:     424000 | #Constraints:      59146
1801.34/1806.02	c #Conflicts:     425000 | #Constraints:      60146
1801.34/1806.02	c #Conflicts:     426000 | #Constraints:      61146
1801.34/1806.02	c #Conflicts:     427000 | #Constraints:      62146
1801.34/1806.02	c #Conflicts:     428000 | #Constraints:      63146
1801.34/1806.02	c #Conflicts:     429000 | #Constraints:      64146
1801.34/1806.02	c #Conflicts:     430000 | #Constraints:      65146
1801.34/1806.02	c #Conflicts:     431000 | #Constraints:      66146
1801.34/1806.02	c #Conflicts:     432000 | #Constraints:      67146
1801.34/1806.02	c #Conflicts:     433000 | #Constraints:      68146
1801.34/1806.02	c #Conflicts:     434000 | #Constraints:      69146
1801.34/1806.02	c #Conflicts:     435000 | #Constraints:      70146
1801.34/1806.02	c #Conflicts:     436000 | #Constraints:      71146
1801.34/1806.02	c #Conflicts:     437000 | #Constraints:      72146
1801.34/1806.02	c #Conflicts:     438000 | #Constraints:      73146
1801.34/1806.02	c #Conflicts:     439000 | #Constraints:      74146
1801.34/1806.02	c #Conflicts:     440000 | #Constraints:      75147
1801.34/1806.02	c #Conflicts:     441000 | #Constraints:      76147
1801.34/1806.02	c #Conflicts:     442000 | #Constraints:      77147
1801.34/1806.02	c #Conflicts:     443000 | #Constraints:      78147
1801.34/1806.02	c #Conflicts:     444000 | #Constraints:      79147
1801.34/1806.02	c #Conflicts:     445000 | #Constraints:      80147
1801.34/1806.02	c #Conflicts:     446000 | #Constraints:      81147
1801.34/1806.02	c #Conflicts:     447000 | #Constraints:      82147
1801.34/1806.02	c #Conflicts:     448000 | #Constraints:      83147
1801.34/1806.02	c #Conflicts:     449000 | #Constraints:      84147
1801.34/1806.02	c #Conflicts:     450000 | #Constraints:      85147
1801.34/1806.02	c #Conflicts:     451000 | #Constraints:      86147
1801.34/1806.02	c #Conflicts:     452000 | #Constraints:      87147
1801.34/1806.02	c INPROCESSING
1801.34/1806.02	c GARBAGE COLLECT
1801.34/1806.02	c rational objective 150
1884.39/1889.37	c #Conflicts:     453000 | #Constraints:      53979
1884.39/1889.37	c #Conflicts:     454000 | #Constraints:      54979
1884.39/1889.37	c #Conflicts:     455000 | #Constraints:      55979
1884.39/1889.37	c #Conflicts:     456000 | #Constraints:      56979
1884.39/1889.37	c #Conflicts:     457000 | #Constraints:      57979
1884.39/1889.37	c #Conflicts:     458000 | #Constraints:      58980
1884.39/1889.37	c #Conflicts:     459000 | #Constraints:      59981
1884.39/1889.37	c #Conflicts:     460000 | #Constraints:      60982
1884.39/1889.37	c #Conflicts:     461000 | #Constraints:      61983
1884.39/1889.37	c #Conflicts:     462000 | #Constraints:      62985
1884.39/1889.37	c #Conflicts:     463000 | #Constraints:      63985
1884.39/1889.37	c #Conflicts:     464000 | #Constraints:      64986
1884.39/1889.37	c #Conflicts:     465000 | #Constraints:      65986
1884.39/1889.37	c #Conflicts:     466000 | #Constraints:      66987
1884.39/1889.37	c #Conflicts:     467000 | #Constraints:      67987
1884.39/1889.37	c #Conflicts:     468000 | #Constraints:      68987
1884.39/1889.37	c #Conflicts:     469000 | #Constraints:      69987
1884.39/1889.37	c #Conflicts:     470000 | #Constraints:      70987
1884.39/1889.37	c #Conflicts:     471000 | #Constraints:      71987
1884.39/1889.37	c INPROCESSING
1884.39/1889.37	c GARBAGE COLLECT
1884.39/1889.37	c rational objective 150
2256.32/2262.30	c #Conflicts:     472000 | #Constraints:      46693
2256.32/2262.30	c #Conflicts:     473000 | #Constraints:      47693
2256.32/2262.30	c #Conflicts:     474000 | #Constraints:      48693
2256.32/2262.30	c #Conflicts:     475000 | #Constraints:      49693
2256.32/2262.30	c #Conflicts:     476000 | #Constraints:      50693
2256.32/2262.30	c #Conflicts:     477000 | #Constraints:      51693
2256.32/2262.30	c #Conflicts:     478000 | #Constraints:      52693
2256.32/2262.30	c #Conflicts:     479000 | #Constraints:      53693
2256.32/2262.30	c #Conflicts:     480000 | #Constraints:      54694
2256.32/2262.30	c #Conflicts:     481000 | #Constraints:      55694
2256.32/2262.30	c #Conflicts:     482000 | #Constraints:      56694
2256.32/2262.30	c #Conflicts:     483000 | #Constraints:      57694
2256.32/2262.30	c #Conflicts:     484000 | #Constraints:      58694
2256.32/2262.30	c #Conflicts:     485000 | #Constraints:      59695
2256.32/2262.30	c #Conflicts:     486000 | #Constraints:      60695
2256.32/2262.30	c #Conflicts:     487000 | #Constraints:      61695
2256.32/2262.30	c #Conflicts:     488000 | #Constraints:      62695
2256.32/2262.30	c #Conflicts:     489000 | #Constraints:      63695
2256.32/2262.30	c #Conflicts:     490000 | #Constraints:      64695
2256.32/2262.30	c #Conflicts:     491000 | #Constraints:      65695
2256.32/2262.30	c #Conflicts:     492000 | #Constraints:      66695
2256.32/2262.30	c #Conflicts:     493000 | #Constraints:      67695
2256.32/2262.30	c #Conflicts:     494000 | #Constraints:      68695
2256.32/2262.30	c #Conflicts:     495000 | #Constraints:      69695
2256.32/2262.30	c #Conflicts:     496000 | #Constraints:      70695
2256.32/2262.30	c #Conflicts:     497000 | #Constraints:      71695
2256.32/2262.30	c #Conflicts:     498000 | #Constraints:      72695
2256.32/2262.30	c #Conflicts:     499000 | #Constraints:      73695
2256.32/2262.30	c #Conflicts:     500000 | #Constraints:      74697
2256.32/2262.30	c #Conflicts:     501000 | #Constraints:      75697
2256.32/2262.30	c #Conflicts:     502000 | #Constraints:      76697
2256.32/2262.30	c #Conflicts:     503000 | #Constraints:      77698
2256.32/2262.30	c #Conflicts:     504000 | #Constraints:      78698
2256.32/2262.30	c #Conflicts:     505000 | #Constraints:      79698
2256.32/2262.30	c #Conflicts:     506000 | #Constraints:      80698
2256.32/2262.30	c #Conflicts:     507000 | #Constraints:      81698
2256.32/2262.30	c #Conflicts:     508000 | #Constraints:      82698
2256.32/2262.30	c #Conflicts:     509000 | #Constraints:      83698
2256.32/2262.30	c #Conflicts:     510000 | #Constraints:      84698
2256.32/2262.30	c #Conflicts:     511000 | #Constraints:      85698
2256.32/2262.30	c #Conflicts:     512000 | #Constraints:      86698
2256.32/2262.30	c #Conflicts:     513000 | #Constraints:      87698
2256.32/2262.30	c #Conflicts:     514000 | #Constraints:      88698
2256.32/2262.30	c #Conflicts:     515000 | #Constraints:      89698
2256.32/2262.30	c #Conflicts:     516000 | #Constraints:      90698
2256.32/2262.30	c #Conflicts:     517000 | #Constraints:      91698
2256.32/2262.30	c INPROCESSING
2256.32/2262.30	c GARBAGE COLLECT
2256.32/2262.30	c rational objective 150
2307.67/2313.87	c #Conflicts:     518000 | #Constraints:      55934
2307.67/2313.87	c #Conflicts:     519000 | #Constraints:      56934
2307.67/2313.87	c #Conflicts:     520000 | #Constraints:      57934
2307.67/2313.87	c #Conflicts:     521000 | #Constraints:      58934
2307.67/2313.87	c #Conflicts:     522000 | #Constraints:      59934
2307.67/2313.87	c #Conflicts:     523000 | #Constraints:      60934
2307.67/2313.87	c #Conflicts:     524000 | #Constraints:      61934
2307.67/2313.87	c #Conflicts:     525000 | #Constraints:      62934
2307.67/2313.87	c #Conflicts:     526000 | #Constraints:      63934
2307.67/2313.87	c #Conflicts:     527000 | #Constraints:      64934
2307.67/2313.87	c #Conflicts:     528000 | #Constraints:      65934
2307.67/2313.87	c #Conflicts:     529000 | #Constraints:      66934
2307.67/2313.87	c #Conflicts:     530000 | #Constraints:      67934
2307.67/2313.87	c #Conflicts:     531000 | #Constraints:      68934
2307.67/2313.87	c #Conflicts:     532000 | #Constraints:      69934
2307.67/2313.87	c #Conflicts:     533000 | #Constraints:      70934
2307.67/2313.87	c #Conflicts:     534000 | #Constraints:      71934
2307.67/2313.87	c #Conflicts:     535000 | #Constraints:      72934
2307.67/2313.87	c #Conflicts:     536000 | #Constraints:      73934
2307.67/2313.87	c #Conflicts:     537000 | #Constraints:      74934
2307.67/2313.87	c INPROCESSING
2307.67/2313.87	c GARBAGE COLLECT
2307.67/2313.87	c rational objective 150
2531.24/2538.06	c #Conflicts:     538000 | #Constraints:      47950
2531.24/2538.06	c #Conflicts:     539000 | #Constraints:      48950
2531.24/2538.06	c #Conflicts:     540000 | #Constraints:      49950
2531.24/2538.06	c #Conflicts:     541000 | #Constraints:      50950
2531.24/2538.06	c #Conflicts:     542000 | #Constraints:      51950
2531.24/2538.06	c #Conflicts:     543000 | #Constraints:      52950
2531.24/2538.06	c #Conflicts:     544000 | #Constraints:      53950
2531.24/2538.06	c #Conflicts:     545000 | #Constraints:      54950
2531.24/2538.06	c #Conflicts:     546000 | #Constraints:      55950
2531.24/2538.06	c #Conflicts:     547000 | #Constraints:      56950
2531.24/2538.06	c #Conflicts:     548000 | #Constraints:      57950
2531.24/2538.06	c #Conflicts:     549000 | #Constraints:      58950
2531.24/2538.06	c #Conflicts:     550000 | #Constraints:      59950
2531.24/2538.06	c #Conflicts:     551000 | #Constraints:      60950
2531.24/2538.06	c #Conflicts:     552000 | #Constraints:      61950
2531.24/2538.06	c #Conflicts:     553000 | #Constraints:      62950
2531.24/2538.06	c #Conflicts:     554000 | #Constraints:      63950
2531.24/2538.06	c #Conflicts:     555000 | #Constraints:      64950
2531.24/2538.06	c #Conflicts:     556000 | #Constraints:      65950
2531.24/2538.06	c #Conflicts:     557000 | #Constraints:      66950
2531.24/2538.07	c #Conflicts:     558000 | #Constraints:      67950
2531.24/2538.07	c #Conflicts:     559000 | #Constraints:      68950
2531.24/2538.07	c #Conflicts:     560000 | #Constraints:      69950
2531.24/2538.07	c #Conflicts:     561000 | #Constraints:      70950
2531.24/2538.07	c #Conflicts:     562000 | #Constraints:      71950
2531.24/2538.07	c #Conflicts:     563000 | #Constraints:      72950
2531.24/2538.07	c #Conflicts:     564000 | #Constraints:      73950
2531.24/2538.07	c #Conflicts:     565000 | #Constraints:      74950
2531.24/2538.07	c #Conflicts:     566000 | #Constraints:      75950
2531.24/2538.07	c #Conflicts:     567000 | #Constraints:      76950
2531.24/2538.07	c #Conflicts:     568000 | #Constraints:      77951
2531.24/2538.07	c #Conflicts:     569000 | #Constraints:      78951
2531.24/2538.07	c #Conflicts:     570000 | #Constraints:      79951
2531.24/2538.07	c #Conflicts:     571000 | #Constraints:      80951
2531.24/2538.07	c #Conflicts:     572000 | #Constraints:      81951
2531.24/2538.07	c #Conflicts:     573000 | #Constraints:      82951
2531.24/2538.07	c #Conflicts:     574000 | #Constraints:      83951
2531.24/2538.07	c #Conflicts:     575000 | #Constraints:      84951
2531.24/2538.07	c #Conflicts:     576000 | #Constraints:      85951
2531.24/2538.07	c #Conflicts:     577000 | #Constraints:      86951
2531.24/2538.07	c #Conflicts:     578000 | #Constraints:      87951
2531.24/2538.07	c #Conflicts:     579000 | #Constraints:      88951
2531.24/2538.07	c #Conflicts:     580000 | #Constraints:      89951
2531.24/2538.07	c #Conflicts:     581000 | #Constraints:      90951
2531.24/2538.07	c #Conflicts:     582000 | #Constraints:      91951
2531.24/2538.07	c #Conflicts:     583000 | #Constraints:      92951
2531.24/2538.07	c #Conflicts:     584000 | #Constraints:      93952
2531.24/2538.07	c #Conflicts:     585000 | #Constraints:      94952
2531.24/2538.07	c #Conflicts:     586000 | #Constraints:      95952
2531.24/2538.07	c #Conflicts:     587000 | #Constraints:      96952
2531.24/2538.07	c INPROCESSING
2531.24/2538.07	c GARBAGE COLLECT
2531.24/2538.07	c rational objective 150
2801.42/2808.97	c #Conflicts:     588000 | #Constraints:      59128
2801.42/2808.97	c #Conflicts:     589000 | #Constraints:      60128
2801.42/2808.97	c #Conflicts:     590000 | #Constraints:      61128
2801.42/2808.97	c #Conflicts:     591000 | #Constraints:      62128
2801.42/2808.97	c #Conflicts:     592000 | #Constraints:      63128
2801.42/2808.97	c #Conflicts:     593000 | #Constraints:      64128
2801.42/2808.97	c #Conflicts:     594000 | #Constraints:      65128
2801.42/2808.97	c #Conflicts:     595000 | #Constraints:      66128
2801.42/2808.97	c #Conflicts:     596000 | #Constraints:      67128
2801.42/2808.97	c #Conflicts:     597000 | #Constraints:      68128
2801.42/2808.97	c #Conflicts:     598000 | #Constraints:      69128
2801.42/2808.97	c #Conflicts:     599000 | #Constraints:      70128
2801.42/2808.97	c #Conflicts:     600000 | #Constraints:      71128
2801.42/2808.97	c #Conflicts:     601000 | #Constraints:      72128
2801.42/2808.97	c #Conflicts:     602000 | #Constraints:      73128
2801.42/2808.97	c #Conflicts:     603000 | #Constraints:      74128
2801.42/2808.97	c #Conflicts:     604000 | #Constraints:      75128
2801.42/2808.97	c #Conflicts:     605000 | #Constraints:      76128
2801.42/2808.97	c #Conflicts:     606000 | #Constraints:      77128
2801.42/2808.97	c #Conflicts:     607000 | #Constraints:      78128
2801.42/2808.97	c #Conflicts:     608000 | #Constraints:      79129
2801.42/2808.97	c INPROCESSING
2801.42/2808.97	c GARBAGE COLLECT
2801.42/2808.97	c rational objective 150
3003.45/3011.53	c #Conflicts:     609000 | #Constraints:      50604
3003.45/3011.53	c #Conflicts:     610000 | #Constraints:      51604
3003.45/3011.53	c #Conflicts:     611000 | #Constraints:      52604
3003.45/3011.53	c #Conflicts:     612000 | #Constraints:      53604
3003.45/3011.53	c #Conflicts:     613000 | #Constraints:      54604
3003.45/3011.53	c #Conflicts:     614000 | #Constraints:      55604
3003.45/3011.53	c #Conflicts:     615000 | #Constraints:      56604
3003.45/3011.53	c #Conflicts:     616000 | #Constraints:      57604
3003.45/3011.53	c #Conflicts:     617000 | #Constraints:      58604
3003.45/3011.53	c #Conflicts:     618000 | #Constraints:      59604
3003.45/3011.53	c #Conflicts:     619000 | #Constraints:      60604
3003.45/3011.53	c #Conflicts:     620000 | #Constraints:      61604
3003.45/3011.53	c #Conflicts:     621000 | #Constraints:      62604
3003.45/3011.53	c #Conflicts:     622000 | #Constraints:      63604
3003.45/3011.53	c #Conflicts:     623000 | #Constraints:      64604
3003.45/3011.53	c #Conflicts:     624000 | #Constraints:      65604
3003.45/3011.53	c #Conflicts:     625000 | #Constraints:      66604
3003.45/3011.53	c #Conflicts:     626000 | #Constraints:      67604
3003.45/3011.53	c #Conflicts:     627000 | #Constraints:      68604
3003.45/3011.53	c #Conflicts:     628000 | #Constraints:      69605
3003.45/3011.54	c #Conflicts:     629000 | #Constraints:      70606
3003.45/3011.54	c #Conflicts:     630000 | #Constraints:      71606
3003.45/3011.54	c #Conflicts:     631000 | #Constraints:      72606
3003.45/3011.54	c #Conflicts:     632000 | #Constraints:      73606
3003.45/3011.54	c #Conflicts:     633000 | #Constraints:      74607
3003.45/3011.54	c #Conflicts:     634000 | #Constraints:      75607
3003.45/3011.54	c #Conflicts:     635000 | #Constraints:      76608
3003.45/3011.54	c #Conflicts:     636000 | #Constraints:      77608
3003.45/3011.54	c #Conflicts:     637000 | #Constraints:      78608
3003.45/3011.54	c #Conflicts:     638000 | #Constraints:      79609
3003.45/3011.54	c #Conflicts:     639000 | #Constraints:      80609
3003.45/3011.54	c #Conflicts:     640000 | #Constraints:      81609
3003.45/3011.54	c #Conflicts:     641000 | #Constraints:      82609
3003.45/3011.54	c #Conflicts:     642000 | #Constraints:      83609
3003.45/3011.54	c #Conflicts:     643000 | #Constraints:      84609
3003.45/3011.54	c #Conflicts:     644000 | #Constraints:      85609
3003.45/3011.54	c #Conflicts:     645000 | #Constraints:      86609
3003.45/3011.54	c #Conflicts:     646000 | #Constraints:      87609
3003.45/3011.54	c #Conflicts:     647000 | #Constraints:      88610
3003.45/3011.54	c #Conflicts:     648000 | #Constraints:      89610
3003.45/3011.54	c #Conflicts:     649000 | #Constraints:      90610
3003.45/3011.54	c #Conflicts:     650000 | #Constraints:      91610
3003.45/3011.54	c #Conflicts:     651000 | #Constraints:      92610
3003.45/3011.54	c #Conflicts:     652000 | #Constraints:      93610
3003.45/3011.54	c #Conflicts:     653000 | #Constraints:      94610
3003.45/3011.54	c #Conflicts:     654000 | #Constraints:      95610
3003.45/3011.54	c #Conflicts:     655000 | #Constraints:      96610
3003.45/3011.54	c #Conflicts:     656000 | #Constraints:      97610
3003.45/3011.54	c #Conflicts:     657000 | #Constraints:      98610
3003.45/3011.54	c #Conflicts:     658000 | #Constraints:      99610
3003.45/3011.54	c #Conflicts:     659000 | #Constraints:     100610
3003.45/3011.54	c #Conflicts:     660000 | #Constraints:     101610
3003.45/3011.54	c #Conflicts:     661000 | #Constraints:     102610
3003.45/3011.54	c INPROCESSING
3003.45/3011.54	c GARBAGE COLLECT
3003.45/3011.54	c #Conflicts:     662000 | #Constraints:      61871
3003.45/3011.54	c #Conflicts:     663000 | #Constraints:      62871
3003.45/3011.54	c #Conflicts:     664000 | #Constraints:      63871
3003.45/3011.54	c #Conflicts:     665000 | #Constraints:      64871
3003.45/3011.54	c #Conflicts:     666000 | #Constraints:      65871
3003.45/3011.54	c #Conflicts:     667000 | #Constraints:      66871
3003.45/3011.54	c #Conflicts:     668000 | #Constraints:      67871
3003.45/3011.54	c #Conflicts:     669000 | #Constraints:      68871
3003.45/3011.54	c #Conflicts:     670000 | #Constraints:      69871
3003.45/3011.54	c #Conflicts:     671000 | #Constraints:      70871
3003.45/3011.54	c #Conflicts:     672000 | #Constraints:      71871
3003.45/3011.54	c #Conflicts:     673000 | #Constraints:      72871
3003.45/3011.54	c #Conflicts:     674000 | #Constraints:      73871
3003.45/3011.54	c #Conflicts:     675000 | #Constraints:      74871
3003.45/3011.54	c #Conflicts:     676000 | #Constraints:      75871
3003.45/3011.54	c #Conflicts:     677000 | #Constraints:      76871
3003.45/3011.54	c #Conflicts:     678000 | #Constraints:      77871
3003.45/3011.54	c #Conflicts:     679000 | #Constraints:      78871
3003.45/3011.54	c #Conflicts:     680000 | #Constraints:      79871
3003.45/3011.54	c #Conflicts:     681000 | #Constraints:      80871
3003.45/3011.54	c #Conflicts:     682000 | #Constraints:      81871
3003.45/3011.54	c #Conflicts:     683000 | #Constraints:      82871
3003.45/3011.54	c #Conflicts:     684000 | #Constraints:      83871
3003.45/3011.54	c INPROCESSING
3003.45/3011.54	c GARBAGE COLLECT
3003.45/3011.54	c #Conflicts:     685000 | #Constraints:      53722
3003.45/3011.54	c #Conflicts:     686000 | #Constraints:      54722
3295.36/3304.29	c #Conflicts:     687000 | #Constraints:      55722
3295.36/3304.29	c #Conflicts:     688000 | #Constraints:      56722
3295.36/3304.29	c #Conflicts:     689000 | #Constraints:      57722
3295.36/3304.29	c #Conflicts:     690000 | #Constraints:      58722
3295.36/3304.29	c #Conflicts:     691000 | #Constraints:      59722
3295.36/3304.29	c #Conflicts:     692000 | #Constraints:      60722
3295.36/3304.29	c #Conflicts:     693000 | #Constraints:      61722
3295.36/3304.29	c #Conflicts:     694000 | #Constraints:      62722
3295.36/3304.29	c #Conflicts:     695000 | #Constraints:      63722
3295.36/3304.29	c #Conflicts:     696000 | #Constraints:      64722
3295.36/3304.29	c #Conflicts:     697000 | #Constraints:      65722
3295.36/3304.29	c #Conflicts:     698000 | #Constraints:      66722
3295.36/3304.29	c #Conflicts:     699000 | #Constraints:      67722
3295.36/3304.29	c #Conflicts:     700000 | #Constraints:      68722
3295.36/3304.29	c #Conflicts:     701000 | #Constraints:      69722
3295.36/3304.29	c #Conflicts:     702000 | #Constraints:      70722
3295.36/3304.29	c #Conflicts:     703000 | #Constraints:      71722
3295.36/3304.29	c #Conflicts:     704000 | #Constraints:      72722
3295.36/3304.29	c #Conflicts:     705000 | #Constraints:      73722
3295.36/3304.29	c #Conflicts:     706000 | #Constraints:      74722
3295.36/3304.29	c #Conflicts:     707000 | #Constraints:      75722
3295.36/3304.29	c #Conflicts:     708000 | #Constraints:      76723
3295.36/3304.29	c #Conflicts:     709000 | #Constraints:      77723
3295.36/3304.29	c #Conflicts:     710000 | #Constraints:      78723
3295.36/3304.29	c #Conflicts:     711000 | #Constraints:      79723
3295.36/3304.29	c #Conflicts:     712000 | #Constraints:      80723
3295.36/3304.29	c #Conflicts:     713000 | #Constraints:      81723
3295.36/3304.29	c #Conflicts:     714000 | #Constraints:      82723
3295.36/3304.29	c #Conflicts:     715000 | #Constraints:      83723
3295.36/3304.29	c #Conflicts:     716000 | #Constraints:      84723
3295.36/3304.29	c #Conflicts:     717000 | #Constraints:      85723
3295.36/3304.29	c #Conflicts:     718000 | #Constraints:      86723
3295.36/3304.29	c #Conflicts:     719000 | #Constraints:      87723
3295.36/3304.29	c #Conflicts:     720000 | #Constraints:      88723
3295.36/3304.29	c #Conflicts:     721000 | #Constraints:      89723
3295.36/3304.29	c #Conflicts:     722000 | #Constraints:      90723
3295.36/3304.29	c #Conflicts:     723000 | #Constraints:      91723
3295.36/3304.29	c #Conflicts:     724000 | #Constraints:      92723
3295.36/3304.29	c #Conflicts:     725000 | #Constraints:      93723
3295.36/3304.29	c #Conflicts:     726000 | #Constraints:      94723
3295.36/3304.29	c #Conflicts:     727000 | #Constraints:      95724
3295.36/3304.29	c #Conflicts:     728000 | #Constraints:      96724
3295.36/3304.29	c #Conflicts:     729000 | #Constraints:      97724
3295.36/3304.29	c #Conflicts:     730000 | #Constraints:      98724
3295.36/3304.29	c #Conflicts:     731000 | #Constraints:      99724
3295.36/3304.29	c #Conflicts:     732000 | #Constraints:     100724
3295.36/3304.29	c #Conflicts:     733000 | #Constraints:     101724
3295.36/3304.29	c #Conflicts:     734000 | #Constraints:     102724
3295.36/3304.29	c #Conflicts:     735000 | #Constraints:     103724
3295.36/3304.29	c #Conflicts:     736000 | #Constraints:     104724
3295.36/3304.29	c #Conflicts:     737000 | #Constraints:     105724
3295.36/3304.29	c #Conflicts:     738000 | #Constraints:     106724
3295.36/3304.29	c #Conflicts:     739000 | #Constraints:     107724
3295.36/3304.29	c #Conflicts:     740000 | #Constraints:     108724
3295.36/3304.29	c INPROCESSING
3295.36/3304.29	c GARBAGE COLLECT
3295.36/3304.29	c rational objective 150
3369.17/3378.24	c #Conflicts:     741000 | #Constraints:      64874
3369.17/3378.24	c #Conflicts:     742000 | #Constraints:      65874
3369.17/3378.24	c #Conflicts:     743000 | #Constraints:      66874
3369.17/3378.24	c #Conflicts:     744000 | #Constraints:      67875
3369.17/3378.24	c #Conflicts:     745000 | #Constraints:      68876
3369.17/3378.24	c #Conflicts:     746000 | #Constraints:      69876
3369.17/3378.24	c #Conflicts:     747000 | #Constraints:      70877
3369.17/3378.24	c #Conflicts:     748000 | #Constraints:      71878
3369.17/3378.24	c #Conflicts:     749000 | #Constraints:      72878
3369.17/3378.24	c #Conflicts:     750000 | #Constraints:      73878
3369.17/3378.24	c #Conflicts:     751000 | #Constraints:      74878
3369.17/3378.24	c #Conflicts:     752000 | #Constraints:      75879
3369.17/3378.24	c #Conflicts:     753000 | #Constraints:      76879
3369.17/3378.24	c #Conflicts:     754000 | #Constraints:      77879
3369.17/3378.24	c #Conflicts:     755000 | #Constraints:      78879
3369.17/3378.24	c #Conflicts:     756000 | #Constraints:      79879
3369.17/3378.24	c #Conflicts:     757000 | #Constraints:      80879
3369.17/3378.24	c #Conflicts:     758000 | #Constraints:      81879
3369.17/3378.24	c #Conflicts:     759000 | #Constraints:      82879
3369.17/3378.24	c #Conflicts:     760000 | #Constraints:      83879
3369.17/3378.24	c #Conflicts:     761000 | #Constraints:      84879
3369.17/3378.24	c #Conflicts:     762000 | #Constraints:      85879
3369.17/3378.24	c #Conflicts:     763000 | #Constraints:      86879
3369.17/3378.24	c INPROCESSING
3369.17/3378.24	c GARBAGE COLLECT
3369.17/3378.24	c rational objective 150
3600.09/3609.70	c #Conflicts:     764000 | #Constraints:      55154
3600.09/3609.70	c #Conflicts:     765000 | #Constraints:      56154
3600.09/3609.70	c #Conflicts:     766000 | #Constraints:      57154
3600.09/3609.70	c #Conflicts:     767000 | #Constraints:      58154
3600.09/3609.70	c #Conflicts:     768000 | #Constraints:      59154
3600.09/3609.70	c #Conflicts:     769000 | #Constraints:      60154
3600.09/3609.70	c #Conflicts:     770000 | #Constraints:      61154
3600.09/3609.70	c #Conflicts:     771000 | #Constraints:      62154
3600.09/3609.70	c #Conflicts:     772000 | #Constraints:      63154
3600.09/3609.70	c #Conflicts:     773000 | #Constraints:      64154
3600.09/3609.70	c #Conflicts:     774000 | #Constraints:      65154
3600.09/3609.70	c #Conflicts:     775000 | #Constraints:      66154
3600.09/3609.70	c #Conflicts:     776000 | #Constraints:      67154
3600.09/3609.70	c #Conflicts:     777000 | #Constraints:      68154
3600.09/3609.70	c #Conflicts:     778000 | #Constraints:      69154
3600.09/3609.70	c #Conflicts:     779000 | #Constraints:      70155
3600.09/3609.70	c #Conflicts:     780000 | #Constraints:      71155
3600.09/3609.70	c #Conflicts:     781000 | #Constraints:      72156
3600.09/3609.70	c #Conflicts:     782000 | #Constraints:      73157
3600.09/3609.70	c #Conflicts:     783000 | #Constraints:      74157
3600.09/3609.70	c #Conflicts:     784000 | #Constraints:      75158
3600.09/3609.70	c #Conflicts:     785000 | #Constraints:      76158
3600.09/3609.70	c #Conflicts:     786000 | #Constraints:      77158
3600.09/3609.70	c #Conflicts:     787000 | #Constraints:      78158
3600.09/3609.70	c #Conflicts:     788000 | #Constraints:      79158
3600.09/3609.70	c #Conflicts:     789000 | #Constraints:      80158
3600.09/3609.70	c #Conflicts:     790000 | #Constraints:      81158
3600.09/3609.70	c #Conflicts:     791000 | #Constraints:      82158
3600.09/3609.70	c #Conflicts:     792000 | #Constraints:      83159
3600.09/3609.70	c #Conflicts:     793000 | #Constraints:      84159
3600.09/3609.70	c #Conflicts:     794000 | #Constraints:      85159
3600.09/3609.70	c #Conflicts:     795000 | #Constraints:      86159
3600.09/3609.70	c #Conflicts:     796000 | #Constraints:      87159
3600.09/3609.70	c #Conflicts:     797000 | #Constraints:      88159
3600.09/3609.70	c #Conflicts:     798000 | #Constraints:      89159
3600.09/3609.70	c #Conflicts:     799000 | #Constraints:      90159
3600.09/3609.70	c #Conflicts:     800000 | #Constraints:      91159
3600.09/3609.70	c #Conflicts:     801000 | #Constraints:      92159
3600.09/3609.70	c #Conflicts:     802000 | #Constraints:      93159
3600.09/3609.70	c #Conflicts:     803000 | #Constraints:      94159
3600.09/3609.70	c #Conflicts:     804000 | #Constraints:      95159
3600.09/3609.70	c #Conflicts:     805000 | #Constraints:      96159
3600.09/3609.70	c #Conflicts:     806000 | #Constraints:      97159
3600.09/3609.70	c #Conflicts:     807000 | #Constraints:      98160
3600.09/3609.70	c #Conflicts:     808000 | #Constraints:      99160
3600.09/3609.70	c #Conflicts:     809000 | #Constraints:     100160
3600.09/3609.70	c #Conflicts:     810000 | #Constraints:     101160
3600.09/3609.70	c #Conflicts:     811000 | #Constraints:     102160
3600.09/3609.70	c #Conflicts:     812000 | #Constraints:     103160
3600.09/3609.70	c #Conflicts:     813000 | #Constraints:     104160
3600.09/3609.70	c #Conflicts:     814000 | #Constraints:     105160
3600.09/3609.70	c #Conflicts:     815000 | #Constraints:     106160
3600.09/3609.70	c #Conflicts:     816000 | #Constraints:     107160
3600.09/3609.70	c #Conflicts:     817000 | #Constraints:     108160
3600.09/3609.70	c #Conflicts:     818000 | #Constraints:     109160
3600.09/3609.70	c #Conflicts:     819000 | #Constraints:     110161
3600.09/3609.70	c #Conflicts:     820000 | #Constraints:     111161
3600.09/3609.70	c Program interrupted by user.
3600.09/3609.73	c cpu time 3564.69 s
3600.09/3609.73	c deterministic time 244766875358 2.45e+11
3600.09/3609.73	c optimization time 228.507 s
3600.09/3609.73	c total solve time 3335.98 s
3600.09/3609.73	c core-guided solve time 0 s
3600.09/3609.73	c propagation time 1833.6 s
3600.09/3609.73	c conflict analysis time 608.962 s
3600.09/3609.73	c propagations 619661858
3600.09/3609.73	c resolve steps 37142858
3600.09/3609.73	c decisions 14052253
3600.09/3609.73	c conflicts 820050
3600.09/3609.73	c restarts 1776
3600.09/3609.73	c inprocessing phases 38
3600.09/3609.73	c input clauses 18002
3600.09/3609.73	c input cardinalities 150
3600.09/3609.73	c input general constraints 0
3600.09/3609.73	c input average constraint length 6.43
3600.09/3609.73	c input average constraint degree 1.97
3600.09/3609.73	c learned clauses 519452
3600.09/3609.73	c learned cardinalities 34422
3600.09/3609.73	c learned general constraints 266239
3600.09/3609.73	c learned average constraint length 1206.54
3600.09/3609.73	c learned average constraint degree 817031548.87
3600.09/3609.73	c watched constraints 199942
3600.09/3609.73	c counting constraints 66297
3600.09/3609.73	c gcd simplifications 4843
3600.09/3609.73	c detected cardinalities 4369
3600.09/3609.73	c weakened non-implied lits 206637657
3600.09/3609.73	c weakened non-implying lits 325410
3600.09/3609.73	c original variables 17850
3600.09/3609.73	c clausal propagations 270288119
3600.09/3609.73	c cardinality propagations 212290137
3600.09/3609.73	c watched propagations 43275709
3600.09/3609.73	c counting propagations 86132711
3600.09/3609.73	c watch lookups 11984615210
3600.09/3609.73	c watch backjump lookups 9900488194
3600.09/3609.73	c watch checks 179907819234
3600.09/3609.73	c propagation checks 38340684540
3600.09/3609.73	c constraint additions 3363493410
3600.09/3609.73	c trail pops 634519197
3600.09/3609.73	c formula constraints 18152
3600.09/3609.73	c learned constraints 819985
3600.09/3609.73	c bound constraints 0
3600.09/3609.73	c core-guided constraints 0
3600.09/3609.73	c encountered formula constraints 25869952
3600.09/3609.73	c encountered learned constraints 12091338
3600.09/3609.73	c encountered bound constraints 0
3600.09/3609.73	c encountered core-guided constraints 0
3600.09/3609.73	c LP total time 1897.09 s
3600.09/3609.73	c LP solve time 1894.08 s
3600.09/3609.73	c LP constraints added 21435
3600.09/3609.73	c LP constraints removed 3169
3600.09/3609.73	c LP pivots internal 833984
3600.09/3609.73	c LP pivots root 707477
3600.09/3609.73	c LP calls 98
3600.09/3609.73	c LP optimalities 27
3600.09/3609.73	c LP no pivot count 0
3600.09/3609.73	c LP infeasibilities 64
3600.09/3609.73	c LP valid Farkas constraints 64
3600.09/3609.73	c LP learned Farkas constraints 64
3600.09/3609.73	c LP basis resets 0
3600.09/3609.73	c LP cycling count 0
3600.09/3609.73	c LP singular count 0
3600.09/3609.73	c LP no primal count 0
3600.09/3609.73	c LP no farkas count 0
3600.09/3609.73	c LP other issue count 0
3600.09/3609.73	c LP Gomory cuts 0
3600.09/3609.73	c LP learned cuts 3283
3600.09/3609.73	c LP deleted cuts 3169
3600.09/3609.73	c LP encountered Gomory constraints 0
3600.09/3609.73	c LP encountered Farkas constraints 1163
3600.09/3609.73	c LP encountered learned Farkas constraints 391
3600.09/3609.73	c CG auxiliary variables introduced 0
3600.09/3609.73	c CG solutions found 0
3600.09/3609.73	c CG cores constructed 0
3600.09/3609.73	c CG core cardinality constraints returned 0
3600.09/3609.73	c CG unit cores 0
3600.09/3609.73	c CG single cores 0
3600.09/3609.73	c CG blocks removed during cardinality reduction 0
3600.09/3609.73	c CG first core best 0
3600.09/3609.73	c CG decision core best 0
3600.09/3609.73	c CG core reduction tie 0
3600.09/3609.73	c CG core degree average 0.00
3600.09/3609.73	c CG core slack average 0.00
3600.09/3609.73	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64096 MiB (63107 MiB free)
  memory of node 1: 64473 MiB (55879 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100094 s]*
/proc/loadavg: 4.62 4.34 4.17 5/248 9640
/proc/meminfo: memFree=121836396/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=43192 memory=12520 CPUtime=0.1 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 2255 0 0 0 7 3 0 0 20 0 1 0 1125546 44228608 3130 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 10798 3130 1350 992 0 2656 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43192 KiB
Current children cumulated memory: 12520 KiB

[startup+0.213628 s]*
/proc/loadavg: 4.62 4.34 4.17 5/248 9640
/proc/meminfo: memFree=121832988/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=43652 memory=13044 CPUtime=0.21 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 2368 0 0 0 16 5 0 0 20 0 1 0 1125546 44699648 3261 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 10913 3261 1350 992 0 2771 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43652 KiB
Current children cumulated memory: 13044 KiB

[startup+0.313515 s]*
/proc/loadavg: 4.62 4.34 4.17 5/248 9640
/proc/meminfo: memFree=121814752/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=61088 memory=31536 CPUtime=0.3 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 7808 0 0 0 24 6 0 0 20 0 1 0 1125546 62554112 7884 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 15272 7884 1663 992 0 7130 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61088 KiB
Current children cumulated memory: 31536 KiB

[startup+0.700288 s]
/proc/loadavg: 4.62 4.34 4.17 5/248 9640
/proc/meminfo: memFree=121809028/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=69372 memory=36728 CPUtime=0.68 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 9085 0 0 0 61 7 0 0 20 0 1 0 1125546 71036928 9182 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 17343 9182 1711 992 0 9201 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 69372 KiB
Current children cumulated memory: 36728 KiB

[startup+1.50029 s]
/proc/loadavg: 4.62 4.34 4.17 5/248 9640
/proc/meminfo: memFree=121803988/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=72488 memory=39896 CPUtime=1.48 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 9899 0 0 0 140 8 0 0 20 0 1 0 1125546 74227712 9974 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 18122 9974 1711 992 0 9980 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 72488 KiB
Current children cumulated memory: 39896 KiB

[startup+3.11335 s]
/proc/loadavg: 4.57 4.33 4.17 5/248 9640
/proc/meminfo: memFree=121781992/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=72488 memory=41860 CPUtime=3.08 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 10357 0 0 0 289 19 0 0 20 0 1 0 1125546 74227712 10465 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 18122 10465 1743 992 0 9980 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 72488 KiB
Current children cumulated memory: 41860 KiB

[startup+6.30028 s]
/proc/loadavg: 4.57 4.33 4.17 5/248 9640
/proc/meminfo: memFree=121755328/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=76436 memory=45556 CPUtime=6.26 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 11304 0 0 0 604 22 0 0 20 0 1 0 1125546 78270464 11389 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 19109 11389 1743 992 0 10967 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 76436 KiB
Current children cumulated memory: 45556 KiB

[startup+12.7003 s]
/proc/loadavg: 4.56 4.33 4.17 5/248 9642
/proc/meminfo: memFree=121732668/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=80072 memory=48168 CPUtime=12.64 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 11863 0 0 0 1226 38 0 0 20 0 1 0 1125546 81993728 12042 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 20018 12042 1804 992 0 11876 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 80072 KiB
Current children cumulated memory: 48168 KiB

[startup+25.5003 s]
/proc/loadavg: 4.47 4.32 4.17 5/248 9643
/proc/meminfo: memFree=121630712/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=91428 memory=60992 CPUtime=25.41 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 14567 0 0 0 2479 62 0 0 20 0 1 0 1125546 93622272 15248 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 22857 15248 1836 992 0 14715 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 91428 KiB
Current children cumulated memory: 60992 KiB

[startup+51.1136 s]
/proc/loadavg: 4.38 4.31 4.17 5/248 9648
/proc/meminfo: memFree=121531592/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=96344 memory=64952 CPUtime=50.96 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 15524 0 0 0 5004 92 0 0 20 0 1 0 1125546 98656256 16238 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 24086 16238 1836 992 0 15944 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 96344 KiB
Current children cumulated memory: 64952 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.27 4.17 5/245 9658
/proc/meminfo: memFree=121355564/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=152920 memory=111152 CPUtime=102.03 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 21474 0 0 0 10016 187 0 0 20 0 1 0 1125546 156590080 27788 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 38230 27788 1836 992 0 30088 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 152920 KiB
Current children cumulated memory: 111152 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.24 4.16 5/245 9669
/proc/meminfo: memFree=120544244/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=273608 memory=213832 CPUtime=161.88 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 32932 0 0 0 15938 250 0 0 20 0 1 0 1125546 280174592 53458 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 68402 53458 1836 992 0 60260 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 273608 KiB
Current children cumulated memory: 213832 KiB

[startup+222.3 s]
/proc/loadavg: 4.27 4.25 4.17 5/245 9681
/proc/meminfo: memFree=120174628/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=293848 memory=258860 CPUtime=221.73 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 38127 0 0 0 21855 318 0 0 20 0 1 0 1125546 300900352 64715 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 73462 64715 1836 992 0 65320 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 293848 KiB
Current children cumulated memory: 258860 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.22 4.17 5/245 9692
/proc/meminfo: memFree=119804856/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=295160 memory=260444 CPUtime=281.59 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 38511 0 0 0 27729 430 0 0 20 0 1 0 1125546 302243840 65111 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 73790 65111 1836 992 0 65648 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 295160 KiB
Current children cumulated memory: 260444 KiB

[startup+342.3 s]
/proc/loadavg: 4.10 4.19 4.16 5/244 9702
/proc/meminfo: memFree=119482276/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=304524 memory=269392 CPUtime=341.43 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 40781 0 0 0 33659 484 0 0 20 0 1 0 1125546 311832576 67348 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 76131 67348 1836 992 0 67989 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 304524 KiB
Current children cumulated memory: 269392 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.19 4.16 5/247 9717
/proc/meminfo: memFree=119152464/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=306072 memory=270448 CPUtime=401.29 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 41042 0 0 0 39575 554 0 0 20 0 1 0 1125546 313417728 67612 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 76518 67612 1836 992 0 68376 0
Current children cumulated CPU time: 401.29 s
Current children cumulated vsize: 306072 KiB
Current children cumulated memory: 270448 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.16 4.16 5/247 9727
/proc/meminfo: memFree=118845780/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=312356 memory=277312 CPUtime=461.15 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 42754 0 0 0 45466 649 0 0 20 0 1 0 1125546 319852544 69328 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 78089 69328 1836 992 0 69947 0

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

Current children cumulated memory: 1170020 KiB

[startup+2922.3 s]
/proc/loadavg: 4.20 4.20 4.18 5/251 11551
/proc/meminfo: memFree=120590168/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=1334104 memory=1170020 CPUtime=2914.51 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 110165 0 0 0 288600 2851 0 0 20 0 1 0 1125546 1366122496 292505 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 333526 292505 1933 992 0 325384 0
Current children cumulated CPU time: 2914.51 s
Current children cumulated vsize: 1334104 KiB
Current children cumulated memory: 1170020 KiB

[startup+2982.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/250 11563
/proc/meminfo: memFree=119666632/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=1334104 memory=1170020 CPUtime=2974.34 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 110308 0 0 0 294516 2918 0 0 20 0 1 0 1125546 1366122496 292505 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 333526 292505 1933 992 0 325384 0
Current children cumulated CPU time: 2974.34 s
Current children cumulated vsize: 1334104 KiB
Current children cumulated memory: 1170020 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.17 4.17 5/249 11574
/proc/meminfo: memFree=118826812/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=1334104 memory=1170020 CPUtime=3034.18 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 110740 0 0 0 300408 3010 0 0 20 0 1 0 1125546 1366122496 292505 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 333526 292505 1933 992 0 325384 0
Current children cumulated CPU time: 3034.18 s
Current children cumulated vsize: 1334104 KiB
Current children cumulated memory: 1170020 KiB

[startup+3102.3 s]
/proc/loadavg: 4.17 4.17 4.17 6/249 11587
/proc/meminfo: memFree=116840364/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=1348004 memory=1183116 CPUtime=3094 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 113013 0 0 0 306341 3059 0 0 20 0 1 0 1125546 1380356096 295779 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 337001 295779 1933 992 0 328859 0
Current children cumulated CPU time: 3094 s
Current children cumulated vsize: 1348004 KiB
Current children cumulated memory: 1183116 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.17 5/247 11596
/proc/meminfo: memFree=115339360/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=1387428 memory=1221912 CPUtime=3153.84 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 123291 0 0 0 312273 3111 0 0 20 0 1 0 1125546 1420726272 305478 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 346857 305478 1933 992 0 338715 0
Current children cumulated CPU time: 3153.84 s
Current children cumulated vsize: 1387428 KiB
Current children cumulated memory: 1221912 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/247 11607
/proc/meminfo: memFree=114727688/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=1418556 memory=1252372 CPUtime=3213.67 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 131392 0 0 0 318206 3161 0 0 20 0 1 0 1125546 1452601344 313093 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 354639 313093 1933 992 0 346497 0
Current children cumulated CPU time: 3213.67 s
Current children cumulated vsize: 1418556 KiB
Current children cumulated memory: 1252372 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/247 11621
/proc/meminfo: memFree=114149444/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=2016880 memory=1431624 CPUtime=3273.51 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 139327 0 0 0 324145 3206 0 0 20 0 1 0 1125546 2065285120 357906 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 504220 357906 1933 992 0 496078 0
Current children cumulated CPU time: 3273.51 s
Current children cumulated vsize: 2016880 KiB
Current children cumulated memory: 1431624 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.13 4.16 5/246 11632
/proc/meminfo: memFree=113983932/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=2017552 memory=1432044 CPUtime=3333.36 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 139930 0 0 0 330051 3285 0 0 20 0 1 0 1125546 2065973248 358011 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 504388 358011 1933 992 0 496246 0
Current children cumulated CPU time: 3333.36 s
Current children cumulated vsize: 2017552 KiB
Current children cumulated memory: 1432044 KiB

[startup+3402.3 s]
/proc/loadavg: 4.08 4.12 4.15 5/249 11649
/proc/meminfo: memFree=113428388/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=2017552 memory=1432052 CPUtime=3393.22 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 140505 0 0 0 335954 3368 0 0 20 0 1 0 1125546 2065973248 358013 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 504388 358013 1933 992 0 496246 0
Current children cumulated CPU time: 3393.22 s
Current children cumulated vsize: 2017552 KiB
Current children cumulated memory: 1432052 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.12 4.15 5/249 11659
/proc/meminfo: memFree=112706260/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=2017552 memory=1432052 CPUtime=3453.07 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 141075 0 0 0 341883 3424 0 0 20 0 1 0 1125546 2065973248 358013 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 504388 358013 1933 992 0 496246 0
Current children cumulated CPU time: 3453.07 s
Current children cumulated vsize: 2017552 KiB
Current children cumulated memory: 1432052 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.11 4.14 5/249 11671
/proc/meminfo: memFree=112264200/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=2017552 memory=1432056 CPUtime=3512.91 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 141567 0 0 0 347811 3480 0 0 20 0 1 0 1125546 2065973248 358014 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 504388 358014 1933 992 0 496246 0
Current children cumulated CPU time: 3512.91 s
Current children cumulated vsize: 2017552 KiB
Current children cumulated memory: 1432056 KiB

[startup+3582.3 s]
/proc/loadavg: 4.14 4.12 4.14 5/249 11681
/proc/meminfo: memFree=111171836/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=2017552 memory=1432224 CPUtime=3572.76 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 142242 0 0 0 353754 3522 0 0 20 0 1 0 1125546 2065973248 358056 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 504388 358056 1933 992 0 496246 0
Current children cumulated CPU time: 3572.76 s
Current children cumulated vsize: 2017552 KiB
Current children cumulated memory: 1432224 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.7 s]
/proc/loadavg: 4.09 4.11 4.14 5/249 11687
/proc/meminfo: memFree=110930016/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=2020956 memory=1434796 CPUtime=3600.09 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 143080 0 0 0 356469 3540 0 0 20 0 1 0 1125546 2069458944 358699 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 505239 358699 1933 992 0 497097 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2020956 KiB
Current children cumulated memory: 1434796 KiB

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

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

# cumulated CPU time of all completed processes:  user=3564.7 s, system=35.4347 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.11 4.14 5/249 11687
/proc/meminfo: memFree=110930016/131655788 swapFree=131071996/131071996
[pid=9639] ppid=9636 vsize=2020956 memory=1434796 CPUtime=3600.09 cores=4,6
/proc/9639/stat : 9639 (roundingsat) R 9636 9639 6796 0 -1 4194304 143080 0 0 0 356469 3540 0 0 20 0 1 0 1125546 2069458944 358699 134679101440 4194304 8255733 140734612199328 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34942976 140734612206430 140734612206692 140734612206692 140734612213705 0
/proc/9639/statm: 505239 358699 1933 992 0 497097 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 2020956 KiB
Current children cumulated memory: 1434796 KiB

Child status: 0

Real time (s): 3609.76
CPU time (s): 3600.13
CPU user time (s): 3564.7
CPU system time (s): 35.4347
CPU usage (%): 99.7334
Max. virtual memory (cumulated for all children) (KiB): 2020956
Max. memory (cumulated for all children) (KiB): 1434796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3564.7
system time used= 35.4347
maximum resident set size= 1434796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143091
page faults= 0
swaps= 0
block input operations= 0
block output operations= 14106040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1293
involuntary context switches= 3924


# summary of solver processes directly reported to runsolver:
#   pid: 9639
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3564.7
#   total CPU system time (s): 35.4347

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.0099 second user time and 35.3918 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-30 15:14:45
IDJOB=4463065
IDBENCH=158322
IDSOLVER=3089
FILE ID=nodeC005/4463065-1722345285
RUNJOBID= nodeC005-1722340763-6809
SLURM_JOB_ID= 8248985
Free space on /tmp= 723712 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathNG/normalized-NG_K150.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-4463065-1722345285/watcher-4463065-1722345285 -o /tmp/evaluation-result-4463065-1722345285/solver-4463065-1722345285 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1722340763-6809 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4463065-1722345285 --lp-cut-gomory=0 HOME/instance-4463065-1722345285.opb

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

MD5SUM BENCH= de861f201885d7430b03c8868c66597b
RANDOM SEED=1778411649

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        121844408 kB
MemAvailable:   127499620 kB
Buffers:           48712 kB
Cached:          6438464 kB
SwapCached:            0 kB
Active:           211016 kB
Inactive:        9160604 kB
Active(anon):       1476 kB
Inactive(anon):  2904324 kB
Active(file):     209540 kB
Inactive(file):  6256280 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            123288 kB
Writeback:             0 kB
AnonPages:       2882456 kB
Mapped:            96880 kB
Shmem:             21320 kB
KReclaimable:      59180 kB
Slab:             136392 kB
SReclaimable:      59180 kB
SUnreclaim:        77212 kB
KernelStack:        3968 kB
PageTables:        14704 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    3728316 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6368 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1380352 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:      160584 kB
DirectMap2M:     6035456 kB
DirectMap1G:    130023424 kB

Free space on /tmp at the end= 723628 MiB
End job on nodeC005 at 2024-07-30 16:14:55