Trace number 4463074

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) 3602.04 3614.5

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K196.opb
MD5SUM8df9702f370312ff59707c84e3b82f3b
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark77.5563
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23324
Total number of constraints23718
Number of constraints which are clauses23522
Number of constraints which are cardinality constraints (but not clauses)196
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint196
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 197
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.31/0.36	c #variables 23324 #constraints 23718
109.20/109.62	c #Conflicts:       1000 | #Constraints:      24717
109.20/109.62	c #Conflicts:       2000 | #Constraints:      25717
109.20/109.62	c INPROCESSING
109.20/109.62	c GARBAGE COLLECT
109.20/109.62	c #Conflicts:       3000 | #Constraints:      24973
109.20/109.62	c #Conflicts:       4000 | #Constraints:      25973
109.20/109.62	c INPROCESSING
109.20/109.62	c GARBAGE COLLECT
109.20/109.62	c #Conflicts:       5000 | #Constraints:      25502
109.20/109.62	c #Conflicts:       6000 | #Constraints:      26502
109.20/109.62	c #Conflicts:       7000 | #Constraints:      27503
109.20/109.62	c #Conflicts:       8000 | #Constraints:      28503
109.20/109.62	c #Conflicts:       9000 | #Constraints:      29503
109.20/109.62	c INPROCESSING
109.20/109.62	c GARBAGE COLLECT
109.20/109.62	c #Conflicts:      10000 | #Constraints:      27334
109.20/109.62	c #Conflicts:      11000 | #Constraints:      28334
109.20/109.62	c #Conflicts:      12000 | #Constraints:      29334
109.20/109.62	c INPROCESSING
109.20/109.62	c GARBAGE COLLECT
109.20/109.62	c #Conflicts:      13000 | #Constraints:      27223
109.20/109.62	c #Conflicts:      14000 | #Constraints:      28223
109.20/109.62	c #Conflicts:      15000 | #Constraints:      29223
109.20/109.62	c #Conflicts:      16000 | #Constraints:      30223
109.20/109.62	c #Conflicts:      17000 | #Constraints:      31223
109.20/109.62	c #Conflicts:      18000 | #Constraints:      32223
109.20/109.62	c #Conflicts:      19000 | #Constraints:      33223
109.20/109.62	c #Conflicts:      20000 | #Constraints:      34223
109.20/109.62	c #Conflicts:      21000 | #Constraints:      35223
109.20/109.62	c INPROCESSING
109.20/109.62	c GARBAGE COLLECT
109.20/109.62	c #Conflicts:      22000 | #Constraints:      30428
109.20/109.62	c #Conflicts:      23000 | #Constraints:      31428
109.20/109.62	c #Conflicts:      24000 | #Constraints:      32428
109.20/109.62	c #Conflicts:      25000 | #Constraints:      33428
109.20/109.62	c INPROCESSING
109.20/109.62	c GARBAGE COLLECT
109.20/109.62	c rational objective 196
272.64/273.66	c #Conflicts:      26000 | #Constraints:      29743
272.64/273.66	c #Conflicts:      27000 | #Constraints:      30743
272.64/273.66	c #Conflicts:      28000 | #Constraints:      31743
272.64/273.66	c #Conflicts:      29000 | #Constraints:      32743
272.64/273.66	c #Conflicts:      30000 | #Constraints:      33743
272.64/273.66	c #Conflicts:      31000 | #Constraints:      34743
272.64/273.66	c #Conflicts:      32000 | #Constraints:      35743
272.64/273.66	c #Conflicts:      33000 | #Constraints:      36743
272.64/273.66	c #Conflicts:      34000 | #Constraints:      37743
272.64/273.66	c #Conflicts:      35000 | #Constraints:      38744
272.64/273.66	c #Conflicts:      36000 | #Constraints:      39744
272.64/273.66	c #Conflicts:      37000 | #Constraints:      40744
272.64/273.66	c INPROCESSING
272.64/273.66	c GARBAGE COLLECT
272.64/273.66	c #Conflicts:      38000 | #Constraints:      33293
272.64/273.66	c #Conflicts:      39000 | #Constraints:      34293
272.64/273.66	c #Conflicts:      40000 | #Constraints:      35293
272.64/273.66	c #Conflicts:      41000 | #Constraints:      36293
272.64/273.66	c #Conflicts:      42000 | #Constraints:      37293
272.64/273.66	c #Conflicts:      43000 | #Constraints:      38293
272.64/273.66	c INPROCESSING
272.64/273.66	c GARBAGE COLLECT
272.64/273.66	c #Conflicts:      44000 | #Constraints:      33307
272.64/273.66	c #Conflicts:      45000 | #Constraints:      34307
272.64/273.66	c #Conflicts:      46000 | #Constraints:      35307
272.64/273.66	c #Conflicts:      47000 | #Constraints:      36307
272.64/273.66	c #Conflicts:      48000 | #Constraints:      37307
272.64/273.66	c #Conflicts:      49000 | #Constraints:      38307
272.64/273.66	c #Conflicts:      50000 | #Constraints:      39307
272.64/273.66	c #Conflicts:      51000 | #Constraints:      40307
272.64/273.66	c #Conflicts:      52000 | #Constraints:      41307
272.64/273.66	c #Conflicts:      53000 | #Constraints:      42307
272.64/273.66	c #Conflicts:      54000 | #Constraints:      43307
272.64/273.66	c #Conflicts:      55000 | #Constraints:      44307
272.64/273.66	c #Conflicts:      56000 | #Constraints:      45307
272.64/273.66	c #Conflicts:      57000 | #Constraints:      46307
272.64/273.66	c INPROCESSING
272.64/273.66	c GARBAGE COLLECT
272.64/273.66	c rational objective 196
292.67/293.71	c #Conflicts:      58000 | #Constraints:      36084
292.67/293.71	c #Conflicts:      59000 | #Constraints:      37084
292.67/293.71	c #Conflicts:      60000 | #Constraints:      38084
292.67/293.71	c #Conflicts:      61000 | #Constraints:      39084
292.67/293.71	c #Conflicts:      62000 | #Constraints:      40084
292.67/293.71	c #Conflicts:      63000 | #Constraints:      41084
292.67/293.71	c #Conflicts:      64000 | #Constraints:      42084
292.67/293.71	c #Conflicts:      65000 | #Constraints:      43084
292.67/293.71	c INPROCESSING
292.67/293.71	c GARBAGE COLLECT
292.67/293.71	c rational objective 196
322.46/323.64	c #Conflicts:      66000 | #Constraints:      36688
322.46/323.64	c #Conflicts:      67000 | #Constraints:      37688
322.46/323.64	c #Conflicts:      68000 | #Constraints:      38689
322.46/323.64	c #Conflicts:      69000 | #Constraints:      39689
322.46/323.64	c #Conflicts:      70000 | #Constraints:      40689
322.46/323.64	c #Conflicts:      71000 | #Constraints:      41689
322.46/323.64	c #Conflicts:      72000 | #Constraints:      42689
322.46/323.64	c #Conflicts:      73000 | #Constraints:      43689
322.46/323.64	c #Conflicts:      74000 | #Constraints:      44689
322.46/323.64	c #Conflicts:      75000 | #Constraints:      45689
322.46/323.64	c #Conflicts:      76000 | #Constraints:      46689
322.46/323.64	c #Conflicts:      77000 | #Constraints:      47689
322.46/323.64	c #Conflicts:      78000 | #Constraints:      48689
322.46/323.64	c #Conflicts:      79000 | #Constraints:      49689
322.46/323.64	c #Conflicts:      80000 | #Constraints:      50689
322.46/323.64	c #Conflicts:      81000 | #Constraints:      51689
322.46/323.64	c #Conflicts:      82000 | #Constraints:      52689
322.46/323.64	c INPROCESSING
322.46/323.64	c GARBAGE COLLECT
322.46/323.64	c rational objective 196
346.81/348.05	c #Conflicts:      83000 | #Constraints:      39407
346.81/348.05	c #Conflicts:      84000 | #Constraints:      40407
346.81/348.05	c #Conflicts:      85000 | #Constraints:      41407
346.81/348.05	c #Conflicts:      86000 | #Constraints:      42407
346.81/348.05	c #Conflicts:      87000 | #Constraints:      43407
346.81/348.05	c #Conflicts:      88000 | #Constraints:      44407
346.81/348.05	c #Conflicts:      89000 | #Constraints:      45407
346.81/348.05	c #Conflicts:      90000 | #Constraints:      46407
346.81/348.05	c #Conflicts:      91000 | #Constraints:      47407
346.81/348.05	c INPROCESSING
346.81/348.05	c GARBAGE COLLECT
346.81/348.05	c rational objective 196
434.09/435.62	c #Conflicts:      92000 | #Constraints:      39735
434.09/435.62	c #Conflicts:      93000 | #Constraints:      40735
434.09/435.62	c #Conflicts:      94000 | #Constraints:      41735
434.09/435.62	c #Conflicts:      95000 | #Constraints:      42735
434.09/435.62	c #Conflicts:      96000 | #Constraints:      43735
434.09/435.62	c #Conflicts:      97000 | #Constraints:      44735
434.09/435.62	c #Conflicts:      98000 | #Constraints:      45736
434.09/435.62	c #Conflicts:      99000 | #Constraints:      46736
434.09/435.62	c #Conflicts:     100000 | #Constraints:      47739
434.09/435.62	c #Conflicts:     101000 | #Constraints:      48740
434.09/435.62	c #Conflicts:     102000 | #Constraints:      49740
434.09/435.62	c #Conflicts:     103000 | #Constraints:      50740
434.09/435.62	c #Conflicts:     104000 | #Constraints:      51740
434.09/435.62	c #Conflicts:     105000 | #Constraints:      52740
434.09/435.62	c #Conflicts:     106000 | #Constraints:      53740
434.09/435.62	c #Conflicts:     107000 | #Constraints:      54740
434.09/435.62	c #Conflicts:     108000 | #Constraints:      55740
434.09/435.62	c #Conflicts:     109000 | #Constraints:      56740
434.09/435.62	c #Conflicts:     110000 | #Constraints:      57740
434.09/435.62	c #Conflicts:     111000 | #Constraints:      58740
434.09/435.62	c INPROCESSING
434.09/435.62	c GARBAGE COLLECT
434.09/435.62	c rational objective 196
468.67/470.33	c #Conflicts:     112000 | #Constraints:      42485
468.67/470.33	c #Conflicts:     113000 | #Constraints:      43485
468.67/470.33	c #Conflicts:     114000 | #Constraints:      44485
468.67/470.33	c #Conflicts:     115000 | #Constraints:      45485
468.67/470.33	c #Conflicts:     116000 | #Constraints:      46485
468.67/470.33	c #Conflicts:     117000 | #Constraints:      47485
468.67/470.33	c #Conflicts:     118000 | #Constraints:      48485
468.67/470.33	c #Conflicts:     119000 | #Constraints:      49485
468.67/470.33	c #Conflicts:     120000 | #Constraints:      50485
468.67/470.33	c #Conflicts:     121000 | #Constraints:      51485
468.67/470.33	c INPROCESSING
468.67/470.33	c GARBAGE COLLECT
468.67/470.33	c rational objective 196
725.18/727.77	c #Conflicts:     122000 | #Constraints:      41542
725.18/727.77	c #Conflicts:     123000 | #Constraints:      42542
725.18/727.77	c #Conflicts:     124000 | #Constraints:      43542
725.18/727.77	c #Conflicts:     125000 | #Constraints:      44542
725.18/727.77	c #Conflicts:     126000 | #Constraints:      45542
725.18/727.77	c #Conflicts:     127000 | #Constraints:      46542
725.18/727.77	c #Conflicts:     128000 | #Constraints:      47543
725.18/727.77	c #Conflicts:     129000 | #Constraints:      48543
725.18/727.77	c #Conflicts:     130000 | #Constraints:      49543
725.18/727.77	c #Conflicts:     131000 | #Constraints:      50543
725.18/727.77	c #Conflicts:     132000 | #Constraints:      51543
725.18/727.77	c #Conflicts:     133000 | #Constraints:      52543
725.18/727.77	c #Conflicts:     134000 | #Constraints:      53543
725.18/727.77	c #Conflicts:     135000 | #Constraints:      54543
725.18/727.77	c #Conflicts:     136000 | #Constraints:      55543
725.18/727.77	c #Conflicts:     137000 | #Constraints:      56543
725.18/727.77	c #Conflicts:     138000 | #Constraints:      57543
725.18/727.77	c #Conflicts:     139000 | #Constraints:      58543
725.18/727.77	c #Conflicts:     140000 | #Constraints:      59543
725.18/727.77	c #Conflicts:     141000 | #Constraints:      60544
725.18/727.77	c #Conflicts:     142000 | #Constraints:      61544
725.18/727.77	c #Conflicts:     143000 | #Constraints:      62544
725.18/727.77	c #Conflicts:     144000 | #Constraints:      63544
725.18/727.77	c #Conflicts:     145000 | #Constraints:      64544
725.18/727.77	c INPROCESSING
725.18/727.77	c GARBAGE COLLECT
725.18/727.77	c #Conflicts:     146000 | #Constraints:      45505
725.18/727.77	c #Conflicts:     147000 | #Constraints:      46505
725.18/727.77	c #Conflicts:     148000 | #Constraints:      47505
725.18/727.77	c #Conflicts:     149000 | #Constraints:      48505
725.18/727.77	c #Conflicts:     150000 | #Constraints:      49505
725.18/727.77	c #Conflicts:     151000 | #Constraints:      50505
725.18/727.77	c #Conflicts:     152000 | #Constraints:      51505
725.18/727.77	c #Conflicts:     153000 | #Constraints:      52505
725.18/727.77	c #Conflicts:     154000 | #Constraints:      53505
725.18/727.77	c #Conflicts:     155000 | #Constraints:      54506
725.18/727.77	c #Conflicts:     156000 | #Constraints:      55506
725.18/727.77	c INPROCESSING
725.18/727.77	c GARBAGE COLLECT
725.18/727.77	c rational objective 196
800.94/803.77	c #Conflicts:     157000 | #Constraints:      44808
800.94/803.77	c #Conflicts:     158000 | #Constraints:      45808
800.94/803.77	c #Conflicts:     159000 | #Constraints:      46808
800.94/803.77	c #Conflicts:     160000 | #Constraints:      47808
800.94/803.77	c #Conflicts:     161000 | #Constraints:      48808
800.94/803.77	c #Conflicts:     162000 | #Constraints:      49808
800.94/803.77	c #Conflicts:     163000 | #Constraints:      50808
800.94/803.77	c #Conflicts:     164000 | #Constraints:      51808
800.94/803.77	c #Conflicts:     165000 | #Constraints:      52808
800.94/803.77	c #Conflicts:     166000 | #Constraints:      53808
800.94/803.77	c #Conflicts:     167000 | #Constraints:      54808
800.94/803.77	c #Conflicts:     168000 | #Constraints:      55808
800.94/803.77	c #Conflicts:     169000 | #Constraints:      56808
800.94/803.77	c #Conflicts:     170000 | #Constraints:      57808
800.94/803.77	c #Conflicts:     171000 | #Constraints:      58808
800.94/803.77	c #Conflicts:     172000 | #Constraints:      59808
800.94/803.77	c #Conflicts:     173000 | #Constraints:      60808
800.94/803.77	c #Conflicts:     174000 | #Constraints:      61808
800.94/803.77	c #Conflicts:     175000 | #Constraints:      62808
800.94/803.77	c #Conflicts:     176000 | #Constraints:      63808
800.94/803.77	c #Conflicts:     177000 | #Constraints:      64808
800.94/803.77	c #Conflicts:     178000 | #Constraints:      65808
800.94/803.77	c #Conflicts:     179000 | #Constraints:      66808
800.94/803.77	c #Conflicts:     180000 | #Constraints:      67808
800.94/803.77	c #Conflicts:     181000 | #Constraints:      68808
800.94/803.77	c #Conflicts:     182000 | #Constraints:      69808
800.94/803.77	c #Conflicts:     183000 | #Constraints:      70808
800.94/803.77	c INPROCESSING
800.94/803.77	c GARBAGE COLLECT
800.94/803.77	c rational objective 196
834.53/837.42	c #Conflicts:     184000 | #Constraints:      48684
834.53/837.42	c #Conflicts:     185000 | #Constraints:      49684
834.53/837.42	c #Conflicts:     186000 | #Constraints:      50684
834.53/837.42	c #Conflicts:     187000 | #Constraints:      51684
834.53/837.42	c #Conflicts:     188000 | #Constraints:      52684
834.53/837.42	c #Conflicts:     189000 | #Constraints:      53684
834.53/837.42	c #Conflicts:     190000 | #Constraints:      54684
834.53/837.42	c #Conflicts:     191000 | #Constraints:      55684
834.53/837.42	c #Conflicts:     192000 | #Constraints:      56684
834.53/837.42	c #Conflicts:     193000 | #Constraints:      57684
834.53/837.42	c #Conflicts:     194000 | #Constraints:      58684
834.53/837.42	c #Conflicts:     195000 | #Constraints:      59684
834.53/837.42	c #Conflicts:     196000 | #Constraints:      60684
834.53/837.42	c INPROCESSING
834.53/837.42	c GARBAGE COLLECT
834.53/837.42	c rational objective 196
922.24/925.45	c #Conflicts:     197000 | #Constraints:      48484
922.24/925.45	c #Conflicts:     198000 | #Constraints:      49484
922.24/925.45	c #Conflicts:     199000 | #Constraints:      50485
922.24/925.45	c #Conflicts:     200000 | #Constraints:      51485
922.24/925.45	c #Conflicts:     201000 | #Constraints:      52486
922.24/925.45	c #Conflicts:     202000 | #Constraints:      53486
922.24/925.45	c #Conflicts:     203000 | #Constraints:      54486
922.24/925.45	c #Conflicts:     204000 | #Constraints:      55486
922.24/925.45	c #Conflicts:     205000 | #Constraints:      56487
922.24/925.45	c #Conflicts:     206000 | #Constraints:      57487
922.24/925.45	c #Conflicts:     207000 | #Constraints:      58487
922.24/925.45	c #Conflicts:     208000 | #Constraints:      59488
922.24/925.45	c #Conflicts:     209000 | #Constraints:      60488
922.24/925.45	c #Conflicts:     210000 | #Constraints:      61488
922.24/925.45	c #Conflicts:     211000 | #Constraints:      62488
922.24/925.45	c #Conflicts:     212000 | #Constraints:      63488
922.24/925.45	c #Conflicts:     213000 | #Constraints:      64488
922.24/925.45	c #Conflicts:     214000 | #Constraints:      65488
922.24/925.45	c #Conflicts:     215000 | #Constraints:      66488
922.24/925.45	c #Conflicts:     216000 | #Constraints:      67488
922.24/925.45	c #Conflicts:     217000 | #Constraints:      68488
922.24/925.45	c #Conflicts:     218000 | #Constraints:      69488
922.24/925.45	c #Conflicts:     219000 | #Constraints:      70488
922.24/925.45	c #Conflicts:     220000 | #Constraints:      71488
922.24/925.45	c #Conflicts:     221000 | #Constraints:      72488
922.24/925.45	c #Conflicts:     222000 | #Constraints:      73488
922.24/925.45	c #Conflicts:     223000 | #Constraints:      74488
922.24/925.45	c #Conflicts:     224000 | #Constraints:      75488
922.24/925.45	c #Conflicts:     225000 | #Constraints:      76488
922.24/925.45	c #Conflicts:     226000 | #Constraints:      77488
922.24/925.45	c INPROCESSING
922.24/925.45	c GARBAGE COLLECT
922.24/925.45	c rational objective 196
950.05/953.34	c #Conflicts:     227000 | #Constraints:      52261
950.05/953.34	c #Conflicts:     228000 | #Constraints:      53262
950.05/953.34	c #Conflicts:     229000 | #Constraints:      54262
950.05/953.34	c #Conflicts:     230000 | #Constraints:      55262
950.05/953.34	c #Conflicts:     231000 | #Constraints:      56262
950.05/953.34	c #Conflicts:     232000 | #Constraints:      57263
950.05/953.34	c #Conflicts:     233000 | #Constraints:      58263
950.05/953.34	c #Conflicts:     234000 | #Constraints:      59263
950.05/953.34	c #Conflicts:     235000 | #Constraints:      60263
950.05/953.34	c #Conflicts:     236000 | #Constraints:      61263
950.05/953.34	c #Conflicts:     237000 | #Constraints:      62263
950.05/953.34	c #Conflicts:     238000 | #Constraints:      63263
950.05/953.34	c #Conflicts:     239000 | #Constraints:      64263
950.05/953.34	c #Conflicts:     240000 | #Constraints:      65263
950.05/953.34	c INPROCESSING
950.05/953.34	c GARBAGE COLLECT
950.05/953.34	c rational objective 196
1024.62/1028.19	c #Conflicts:     241000 | #Constraints:      50588
1024.62/1028.19	c #Conflicts:     242000 | #Constraints:      51588
1024.62/1028.19	c #Conflicts:     243000 | #Constraints:      52588
1024.62/1028.19	c #Conflicts:     244000 | #Constraints:      53588
1024.62/1028.19	c #Conflicts:     245000 | #Constraints:      54588
1024.62/1028.19	c #Conflicts:     246000 | #Constraints:      55588
1024.62/1028.19	c #Conflicts:     247000 | #Constraints:      56588
1024.62/1028.19	c #Conflicts:     248000 | #Constraints:      57589
1024.62/1028.19	c #Conflicts:     249000 | #Constraints:      58590
1024.62/1028.19	c #Conflicts:     250000 | #Constraints:      59590
1024.62/1028.19	c #Conflicts:     251000 | #Constraints:      60590
1024.62/1028.19	c #Conflicts:     252000 | #Constraints:      61590
1024.62/1028.19	c #Conflicts:     253000 | #Constraints:      62590
1024.62/1028.19	c #Conflicts:     254000 | #Constraints:      63590
1024.62/1028.19	c #Conflicts:     255000 | #Constraints:      64590
1024.62/1028.19	c #Conflicts:     256000 | #Constraints:      65590
1024.62/1028.19	c #Conflicts:     257000 | #Constraints:      66590
1024.62/1028.19	c #Conflicts:     258000 | #Constraints:      67590
1024.62/1028.19	c #Conflicts:     259000 | #Constraints:      68590
1024.62/1028.19	c #Conflicts:     260000 | #Constraints:      69590
1024.62/1028.19	c #Conflicts:     261000 | #Constraints:      70590
1024.62/1028.19	c #Conflicts:     262000 | #Constraints:      71590
1024.62/1028.19	c #Conflicts:     263000 | #Constraints:      72591
1024.62/1028.19	c #Conflicts:     264000 | #Constraints:      73591
1024.62/1028.19	c #Conflicts:     265000 | #Constraints:      74591
1024.62/1028.19	c #Conflicts:     266000 | #Constraints:      75591
1024.62/1028.19	c #Conflicts:     267000 | #Constraints:      76591
1024.62/1028.19	c #Conflicts:     268000 | #Constraints:      77591
1024.62/1028.19	c #Conflicts:     269000 | #Constraints:      78591
1024.62/1028.19	c #Conflicts:     270000 | #Constraints:      79591
1024.62/1028.19	c #Conflicts:     271000 | #Constraints:      80591
1024.62/1028.19	c #Conflicts:     272000 | #Constraints:      81591
1024.62/1028.19	c #Conflicts:     273000 | #Constraints:      82591
1024.62/1028.19	c INPROCESSING
1024.62/1028.19	c GARBAGE COLLECT
1024.62/1028.19	c rational objective 196
1062.98/1066.69	c #Conflicts:     274000 | #Constraints:      55260
1062.98/1066.69	c #Conflicts:     275000 | #Constraints:      56260
1062.98/1066.69	c #Conflicts:     276000 | #Constraints:      57260
1062.98/1066.69	c #Conflicts:     277000 | #Constraints:      58260
1062.98/1066.69	c #Conflicts:     278000 | #Constraints:      59260
1062.98/1066.69	c #Conflicts:     279000 | #Constraints:      60260
1062.98/1066.69	c #Conflicts:     280000 | #Constraints:      61260
1062.98/1066.69	c #Conflicts:     281000 | #Constraints:      62260
1062.98/1066.69	c #Conflicts:     282000 | #Constraints:      63260
1062.98/1066.69	c #Conflicts:     283000 | #Constraints:      64261
1062.98/1066.69	c #Conflicts:     284000 | #Constraints:      65261
1062.98/1066.69	c #Conflicts:     285000 | #Constraints:      66261
1062.98/1066.69	c #Conflicts:     286000 | #Constraints:      67261
1062.98/1066.69	c #Conflicts:     287000 | #Constraints:      68261
1062.98/1066.69	c #Conflicts:     288000 | #Constraints:      69261
1062.98/1066.69	c INPROCESSING
1062.98/1066.69	c GARBAGE COLLECT
1062.98/1066.69	c rational objective 196
1195.16/1199.23	c #Conflicts:     289000 | #Constraints:      53982
1195.16/1199.23	c #Conflicts:     290000 | #Constraints:      54982
1195.16/1199.23	c #Conflicts:     291000 | #Constraints:      55982
1195.16/1199.23	c #Conflicts:     292000 | #Constraints:      56982
1195.16/1199.23	c #Conflicts:     293000 | #Constraints:      57982
1195.16/1199.23	c #Conflicts:     294000 | #Constraints:      58982
1195.16/1199.23	c #Conflicts:     295000 | #Constraints:      59982
1195.16/1199.23	c #Conflicts:     296000 | #Constraints:      60982
1195.16/1199.23	c #Conflicts:     297000 | #Constraints:      61982
1195.16/1199.23	c #Conflicts:     298000 | #Constraints:      62983
1195.16/1199.23	c #Conflicts:     299000 | #Constraints:      63983
1195.16/1199.23	c #Conflicts:     300000 | #Constraints:      64983
1195.16/1199.23	c #Conflicts:     301000 | #Constraints:      65983
1195.16/1199.23	c #Conflicts:     302000 | #Constraints:      66983
1195.16/1199.23	c #Conflicts:     303000 | #Constraints:      67983
1195.16/1199.23	c #Conflicts:     304000 | #Constraints:      68983
1195.16/1199.23	c #Conflicts:     305000 | #Constraints:      69983
1195.16/1199.23	c #Conflicts:     306000 | #Constraints:      70983
1195.16/1199.23	c #Conflicts:     307000 | #Constraints:      71983
1195.16/1199.23	c #Conflicts:     308000 | #Constraints:      72983
1195.16/1199.23	c #Conflicts:     309000 | #Constraints:      73983
1195.16/1199.23	c #Conflicts:     310000 | #Constraints:      74983
1195.16/1199.23	c #Conflicts:     311000 | #Constraints:      75983
1195.16/1199.23	c #Conflicts:     312000 | #Constraints:      76983
1195.16/1199.23	c #Conflicts:     313000 | #Constraints:      77984
1195.16/1199.23	c #Conflicts:     314000 | #Constraints:      78984
1195.16/1199.23	c #Conflicts:     315000 | #Constraints:      79984
1195.16/1199.23	c #Conflicts:     316000 | #Constraints:      80984
1195.16/1199.23	c #Conflicts:     317000 | #Constraints:      81984
1195.16/1199.23	c #Conflicts:     318000 | #Constraints:      82984
1195.16/1199.23	c #Conflicts:     319000 | #Constraints:      83984
1195.16/1199.23	c #Conflicts:     320000 | #Constraints:      84984
1195.16/1199.23	c #Conflicts:     321000 | #Constraints:      85984
1195.16/1199.23	c #Conflicts:     322000 | #Constraints:      86984
1195.16/1199.23	c #Conflicts:     323000 | #Constraints:      87984
1195.16/1199.23	c #Conflicts:     324000 | #Constraints:      88984
1195.16/1199.23	c INPROCESSING
1195.16/1199.23	c GARBAGE COLLECT
1195.16/1199.23	c rational objective 196
1483.21/1488.20	c #Conflicts:     325000 | #Constraints:      57214
1483.21/1488.20	c #Conflicts:     326000 | #Constraints:      58214
1483.21/1488.20	c #Conflicts:     327000 | #Constraints:      59214
1483.21/1488.20	c #Conflicts:     328000 | #Constraints:      60215
1483.21/1488.20	c #Conflicts:     329000 | #Constraints:      61215
1483.21/1488.20	c #Conflicts:     330000 | #Constraints:      62215
1483.21/1488.20	c #Conflicts:     331000 | #Constraints:      63215
1483.21/1488.20	c #Conflicts:     332000 | #Constraints:      64215
1483.21/1488.20	c #Conflicts:     333000 | #Constraints:      65215
1483.21/1488.20	c #Conflicts:     334000 | #Constraints:      66215
1483.21/1488.20	c #Conflicts:     335000 | #Constraints:      67215
1483.21/1488.20	c #Conflicts:     336000 | #Constraints:      68215
1483.21/1488.20	c #Conflicts:     337000 | #Constraints:      69215
1483.21/1488.20	c #Conflicts:     338000 | #Constraints:      70215
1483.21/1488.20	c #Conflicts:     339000 | #Constraints:      71215
1483.21/1488.20	c #Conflicts:     340000 | #Constraints:      72215
1483.21/1488.20	c INPROCESSING
1483.21/1488.20	c GARBAGE COLLECT
1483.21/1488.20	c rational objective 196
1651.36/1657.01	c #Conflicts:     341000 | #Constraints:      56369
1651.36/1657.01	c #Conflicts:     342000 | #Constraints:      57369
1651.36/1657.01	c #Conflicts:     343000 | #Constraints:      58369
1651.36/1657.01	c #Conflicts:     344000 | #Constraints:      59369
1651.36/1657.01	c #Conflicts:     345000 | #Constraints:      60369
1651.36/1657.01	c #Conflicts:     346000 | #Constraints:      61369
1651.36/1657.01	c #Conflicts:     347000 | #Constraints:      62369
1651.36/1657.01	c #Conflicts:     348000 | #Constraints:      63369
1651.36/1657.01	c #Conflicts:     349000 | #Constraints:      64370
1651.36/1657.01	c #Conflicts:     350000 | #Constraints:      65370
1651.36/1657.01	c #Conflicts:     351000 | #Constraints:      66371
1651.36/1657.01	c #Conflicts:     352000 | #Constraints:      67371
1651.36/1657.01	c #Conflicts:     353000 | #Constraints:      68371
1651.36/1657.01	c #Conflicts:     354000 | #Constraints:      69371
1651.36/1657.01	c #Conflicts:     355000 | #Constraints:      70371
1651.36/1657.01	c #Conflicts:     356000 | #Constraints:      71371
1651.36/1657.01	c #Conflicts:     357000 | #Constraints:      72371
1651.36/1657.01	c #Conflicts:     358000 | #Constraints:      73371
1651.36/1657.01	c #Conflicts:     359000 | #Constraints:      74371
1651.36/1657.01	c #Conflicts:     360000 | #Constraints:      75371
1651.36/1657.01	c #Conflicts:     361000 | #Constraints:      76371
1651.36/1657.01	c #Conflicts:     362000 | #Constraints:      77371
1651.36/1657.01	c #Conflicts:     363000 | #Constraints:      78371
1651.36/1657.01	c #Conflicts:     364000 | #Constraints:      79371
1651.36/1657.01	c #Conflicts:     365000 | #Constraints:      80371
1651.36/1657.01	c #Conflicts:     366000 | #Constraints:      81372
1651.36/1657.01	c #Conflicts:     367000 | #Constraints:      82372
1651.36/1657.01	c #Conflicts:     368000 | #Constraints:      83372
1651.36/1657.01	c #Conflicts:     369000 | #Constraints:      84372
1651.36/1657.01	c #Conflicts:     370000 | #Constraints:      85373
1651.36/1657.01	c #Conflicts:     371000 | #Constraints:      86373
1651.36/1657.01	c #Conflicts:     372000 | #Constraints:      87373
1651.36/1657.01	c #Conflicts:     373000 | #Constraints:      88373
1651.36/1657.01	c #Conflicts:     374000 | #Constraints:      89373
1651.36/1657.01	c #Conflicts:     375000 | #Constraints:      90373
1651.36/1657.01	c #Conflicts:     376000 | #Constraints:      91373
1651.36/1657.01	c #Conflicts:     377000 | #Constraints:      92373
1651.36/1657.01	c #Conflicts:     378000 | #Constraints:      93373
1651.36/1657.01	c #Conflicts:     379000 | #Constraints:      94373
1651.36/1657.01	c #Conflicts:     380000 | #Constraints:      95373
1651.36/1657.01	c INPROCESSING
1651.36/1657.01	c GARBAGE COLLECT
1651.36/1657.01	c rational objective 196
1725.92/1731.70	c #Conflicts:     381000 | #Constraints:      61465
1725.92/1731.70	c #Conflicts:     382000 | #Constraints:      62466
1725.92/1731.70	c #Conflicts:     383000 | #Constraints:      63466
1725.92/1731.70	c #Conflicts:     384000 | #Constraints:      64466
1725.92/1731.70	c #Conflicts:     385000 | #Constraints:      65466
1725.92/1731.70	c #Conflicts:     386000 | #Constraints:      66466
1725.92/1731.70	c #Conflicts:     387000 | #Constraints:      67466
1725.92/1731.70	c #Conflicts:     388000 | #Constraints:      68466
1725.92/1731.70	c #Conflicts:     389000 | #Constraints:      69466
1725.92/1731.70	c #Conflicts:     390000 | #Constraints:      70467
1725.92/1731.70	c #Conflicts:     391000 | #Constraints:      71467
1725.92/1731.70	c #Conflicts:     392000 | #Constraints:      72467
1725.92/1731.70	c #Conflicts:     393000 | #Constraints:      73467
1725.92/1731.70	c #Conflicts:     394000 | #Constraints:      74467
1725.92/1731.70	c #Conflicts:     395000 | #Constraints:      75467
1725.92/1731.70	c #Conflicts:     396000 | #Constraints:      76467
1725.92/1731.70	c #Conflicts:     397000 | #Constraints:      77467
1725.92/1731.70	c INPROCESSING
1725.92/1731.70	c GARBAGE COLLECT
1725.92/1731.70	c rational objective 196
2016.57/2023.48	c #Conflicts:     398000 | #Constraints:      59859
2016.57/2023.48	c #Conflicts:     399000 | #Constraints:      60859
2016.57/2023.48	c #Conflicts:     400000 | #Constraints:      61859
2016.57/2023.48	c #Conflicts:     401000 | #Constraints:      62859
2016.57/2023.48	c #Conflicts:     402000 | #Constraints:      63859
2016.57/2023.48	c #Conflicts:     403000 | #Constraints:      64859
2016.57/2023.48	c #Conflicts:     404000 | #Constraints:      65859
2016.57/2023.48	c #Conflicts:     405000 | #Constraints:      66859
2016.57/2023.48	c #Conflicts:     406000 | #Constraints:      67859
2016.57/2023.48	c #Conflicts:     407000 | #Constraints:      68859
2016.57/2023.48	c #Conflicts:     408000 | #Constraints:      69859
2016.57/2023.48	c #Conflicts:     409000 | #Constraints:      70859
2016.57/2023.48	c #Conflicts:     410000 | #Constraints:      71859
2016.57/2023.48	c #Conflicts:     411000 | #Constraints:      72859
2016.57/2023.48	c #Conflicts:     412000 | #Constraints:      73859
2016.57/2023.48	c #Conflicts:     413000 | #Constraints:      74859
2016.57/2023.48	c #Conflicts:     414000 | #Constraints:      75859
2016.57/2023.48	c #Conflicts:     415000 | #Constraints:      76859
2016.57/2023.48	c #Conflicts:     416000 | #Constraints:      77859
2016.57/2023.48	c #Conflicts:     417000 | #Constraints:      78860
2016.57/2023.48	c #Conflicts:     418000 | #Constraints:      79860
2016.57/2023.48	c #Conflicts:     419000 | #Constraints:      80860
2016.57/2023.48	c #Conflicts:     420000 | #Constraints:      81860
2016.57/2023.48	c #Conflicts:     421000 | #Constraints:      82860
2016.57/2023.48	c #Conflicts:     422000 | #Constraints:      83860
2016.57/2023.48	c #Conflicts:     423000 | #Constraints:      84860
2016.57/2023.48	c #Conflicts:     424000 | #Constraints:      85860
2016.57/2023.48	c #Conflicts:     425000 | #Constraints:      86860
2016.57/2023.48	c #Conflicts:     426000 | #Constraints:      87860
2016.57/2023.48	c #Conflicts:     427000 | #Constraints:      88860
2016.57/2023.48	c #Conflicts:     428000 | #Constraints:      89860
2016.57/2023.48	c #Conflicts:     429000 | #Constraints:      90860
2016.57/2023.48	c #Conflicts:     430000 | #Constraints:      91860
2016.57/2023.48	c #Conflicts:     431000 | #Constraints:      92861
2016.57/2023.48	c #Conflicts:     432000 | #Constraints:      93861
2016.57/2023.48	c #Conflicts:     433000 | #Constraints:      94861
2016.57/2023.48	c #Conflicts:     434000 | #Constraints:      95861
2016.57/2023.48	c #Conflicts:     435000 | #Constraints:      96861
2016.57/2023.48	c #Conflicts:     436000 | #Constraints:      97861
2016.57/2023.48	c #Conflicts:     437000 | #Constraints:      98861
2016.57/2023.48	c #Conflicts:     438000 | #Constraints:      99861
2016.57/2023.48	c #Conflicts:     439000 | #Constraints:     100861
2016.57/2023.48	c #Conflicts:     440000 | #Constraints:     101861
2016.57/2023.48	c INPROCESSING
2016.57/2023.48	c GARBAGE COLLECT
2016.57/2023.48	c rational objective 196
2309.97/2317.99	c #Conflicts:     441000 | #Constraints:      64757
2309.97/2317.99	c #Conflicts:     442000 | #Constraints:      65757
2309.97/2317.99	c #Conflicts:     443000 | #Constraints:      66757
2309.97/2317.99	c #Conflicts:     444000 | #Constraints:      67757
2309.97/2317.99	c #Conflicts:     445000 | #Constraints:      68758
2309.97/2317.99	c #Conflicts:     446000 | #Constraints:      69758
2309.97/2317.99	c #Conflicts:     447000 | #Constraints:      70758
2309.97/2317.99	c #Conflicts:     448000 | #Constraints:      71758
2309.97/2317.99	c #Conflicts:     449000 | #Constraints:      72758
2309.97/2317.99	c #Conflicts:     450000 | #Constraints:      73758
2309.97/2317.99	c #Conflicts:     451000 | #Constraints:      74758
2309.97/2317.99	c #Conflicts:     452000 | #Constraints:      75758
2309.97/2317.99	c #Conflicts:     453000 | #Constraints:      76758
2309.97/2317.99	c #Conflicts:     454000 | #Constraints:      77759
2309.97/2317.99	c #Conflicts:     455000 | #Constraints:      78759
2309.97/2317.99	c #Conflicts:     456000 | #Constraints:      79759
2309.97/2317.99	c #Conflicts:     457000 | #Constraints:      80759
2309.97/2317.99	c #Conflicts:     458000 | #Constraints:      81759
2309.97/2317.99	c #Conflicts:     459000 | #Constraints:      82759
2309.97/2317.99	c INPROCESSING
2309.97/2317.99	c GARBAGE COLLECT
2309.97/2317.99	c #Conflicts:     460000 | #Constraints:      62902
2309.97/2317.99	c #Conflicts:     461000 | #Constraints:      63902
2309.97/2317.99	c #Conflicts:     462000 | #Constraints:      64902
2309.97/2317.99	c #Conflicts:     463000 | #Constraints:      65902
2309.97/2317.99	c #Conflicts:     464000 | #Constraints:      66902
2309.97/2317.99	c #Conflicts:     465000 | #Constraints:      67902
2309.97/2317.99	c #Conflicts:     466000 | #Constraints:      68902
2309.97/2317.99	c #Conflicts:     467000 | #Constraints:      69902
2309.97/2317.99	c #Conflicts:     468000 | #Constraints:      70902
2309.97/2317.99	c #Conflicts:     469000 | #Constraints:      71903
2309.97/2317.99	c #Conflicts:     470000 | #Constraints:      72903
2309.97/2317.99	c #Conflicts:     471000 | #Constraints:      73903
2309.97/2317.99	c #Conflicts:     472000 | #Constraints:      74903
2309.97/2317.99	c #Conflicts:     473000 | #Constraints:      75903
2309.97/2317.99	c #Conflicts:     474000 | #Constraints:      76903
2309.97/2317.99	c #Conflicts:     475000 | #Constraints:      77903
2309.97/2317.99	c #Conflicts:     476000 | #Constraints:      78903
2309.97/2317.99	c #Conflicts:     477000 | #Constraints:      79903
2309.97/2317.99	c #Conflicts:     478000 | #Constraints:      80903
2309.97/2317.99	c #Conflicts:     479000 | #Constraints:      81903
2309.97/2317.99	c #Conflicts:     480000 | #Constraints:      82903
2309.97/2317.99	c #Conflicts:     481000 | #Constraints:      83903
2309.97/2317.99	c #Conflicts:     482000 | #Constraints:      84903
2309.97/2317.99	c #Conflicts:     483000 | #Constraints:      85903
2309.97/2317.99	c #Conflicts:     484000 | #Constraints:      86903
2309.97/2317.99	c #Conflicts:     485000 | #Constraints:      87903
2309.97/2317.99	c #Conflicts:     486000 | #Constraints:      88903
2309.97/2317.99	c #Conflicts:     487000 | #Constraints:      89903
2309.97/2317.99	c #Conflicts:     488000 | #Constraints:      90903
2309.97/2317.99	c #Conflicts:     489000 | #Constraints:      91903
2309.97/2317.99	c #Conflicts:     490000 | #Constraints:      92903
2309.97/2317.99	c #Conflicts:     491000 | #Constraints:      93903
2309.97/2317.99	c #Conflicts:     492000 | #Constraints:      94903
2309.97/2317.99	c #Conflicts:     493000 | #Constraints:      95903
2309.97/2317.99	c #Conflicts:     494000 | #Constraints:      96903
2309.97/2317.99	c #Conflicts:     495000 | #Constraints:      97903
2309.97/2317.99	c #Conflicts:     496000 | #Constraints:      98903
2309.97/2317.99	c #Conflicts:     497000 | #Constraints:      99903
2309.97/2317.99	c #Conflicts:     498000 | #Constraints:     100903
2309.97/2317.99	c #Conflicts:     499000 | #Constraints:     101903
2309.97/2317.99	c #Conflicts:     500000 | #Constraints:     102903
2309.97/2317.99	c #Conflicts:     501000 | #Constraints:     103903
2309.97/2317.99	c #Conflicts:     502000 | #Constraints:     104903
2309.97/2317.99	c #Conflicts:     503000 | #Constraints:     105903
2309.97/2317.99	c #Conflicts:     504000 | #Constraints:     106903
2309.97/2317.99	c INPROCESSING
2309.97/2317.99	c GARBAGE COLLECT
2309.97/2317.99	c #Conflicts:     505000 | #Constraints:      67073
2309.97/2317.99	c #Conflicts:     506000 | #Constraints:      68073
2309.97/2317.99	c #Conflicts:     507000 | #Constraints:      69073
2309.97/2317.99	c #Conflicts:     508000 | #Constraints:      70073
2309.97/2317.99	c #Conflicts:     509000 | #Constraints:      71073
2309.97/2317.99	c #Conflicts:     510000 | #Constraints:      72073
2309.97/2317.99	c #Conflicts:     511000 | #Constraints:      73073
2309.97/2317.99	c #Conflicts:     512000 | #Constraints:      74073
2309.97/2317.99	c #Conflicts:     513000 | #Constraints:      75073
2309.97/2317.99	c #Conflicts:     514000 | #Constraints:      76073
2309.97/2317.99	c #Conflicts:     515000 | #Constraints:      77073
2309.97/2317.99	c #Conflicts:     516000 | #Constraints:      78073
2309.97/2317.99	c #Conflicts:     517000 | #Constraints:      79074
2309.97/2317.99	c #Conflicts:     518000 | #Constraints:      80074
2354.92/2363.07	c #Conflicts:     519000 | #Constraints:      81074
2354.92/2363.07	c #Conflicts:     520000 | #Constraints:      82074
2354.92/2363.07	c #Conflicts:     521000 | #Constraints:      83074
2354.92/2363.07	c #Conflicts:     522000 | #Constraints:      84074
2354.92/2363.07	c #Conflicts:     523000 | #Constraints:      85074
2354.92/2363.07	c #Conflicts:     524000 | #Constraints:      86074
2354.92/2363.07	c #Conflicts:     525000 | #Constraints:      87074
2354.92/2363.07	c INPROCESSING
2354.92/2363.07	c GARBAGE COLLECT
2354.92/2363.07	c rational objective 196
2545.68/2554.57	c #Conflicts:     526000 | #Constraints:      65453
2545.68/2554.57	c #Conflicts:     527000 | #Constraints:      66453
2545.68/2554.57	c #Conflicts:     528000 | #Constraints:      67453
2545.68/2554.57	c #Conflicts:     529000 | #Constraints:      68453
2545.68/2554.57	c #Conflicts:     530000 | #Constraints:      69453
2545.68/2554.57	c #Conflicts:     531000 | #Constraints:      70453
2545.68/2554.57	c #Conflicts:     532000 | #Constraints:      71453
2545.68/2554.57	c #Conflicts:     533000 | #Constraints:      72453
2545.68/2554.57	c #Conflicts:     534000 | #Constraints:      73453
2545.68/2554.57	c #Conflicts:     535000 | #Constraints:      74453
2545.68/2554.57	c #Conflicts:     536000 | #Constraints:      75453
2545.68/2554.57	c #Conflicts:     537000 | #Constraints:      76453
2545.68/2554.57	c #Conflicts:     538000 | #Constraints:      77453
2545.68/2554.57	c #Conflicts:     539000 | #Constraints:      78453
2545.68/2554.57	c #Conflicts:     540000 | #Constraints:      79453
2545.68/2554.57	c #Conflicts:     541000 | #Constraints:      80453
2545.68/2554.57	c #Conflicts:     542000 | #Constraints:      81453
2545.68/2554.57	c #Conflicts:     543000 | #Constraints:      82453
2545.68/2554.57	c #Conflicts:     544000 | #Constraints:      83453
2545.68/2554.57	c #Conflicts:     545000 | #Constraints:      84453
2545.68/2554.57	c #Conflicts:     546000 | #Constraints:      85453
2545.68/2554.57	c #Conflicts:     547000 | #Constraints:      86453
2545.68/2554.57	c #Conflicts:     548000 | #Constraints:      87453
2545.68/2554.57	c #Conflicts:     549000 | #Constraints:      88454
2545.68/2554.57	c #Conflicts:     550000 | #Constraints:      89454
2545.68/2554.57	c #Conflicts:     551000 | #Constraints:      90454
2545.68/2554.57	c #Conflicts:     552000 | #Constraints:      91454
2545.68/2554.57	c #Conflicts:     553000 | #Constraints:      92454
2545.68/2554.57	c #Conflicts:     554000 | #Constraints:      93454
2545.68/2554.57	c #Conflicts:     555000 | #Constraints:      94454
2545.68/2554.57	c #Conflicts:     556000 | #Constraints:      95454
2545.68/2554.57	c #Conflicts:     557000 | #Constraints:      96454
2545.68/2554.57	c #Conflicts:     558000 | #Constraints:      97454
2545.68/2554.57	c #Conflicts:     559000 | #Constraints:      98454
2545.68/2554.57	c #Conflicts:     560000 | #Constraints:      99454
2545.68/2554.57	c #Conflicts:     561000 | #Constraints:     100454
2545.68/2554.57	c #Conflicts:     562000 | #Constraints:     101454
2545.68/2554.57	c #Conflicts:     563000 | #Constraints:     102454
2545.68/2554.57	c #Conflicts:     564000 | #Constraints:     103454
2545.68/2554.57	c #Conflicts:     565000 | #Constraints:     104454
2545.68/2554.57	c #Conflicts:     566000 | #Constraints:     105454
2545.68/2554.57	c #Conflicts:     567000 | #Constraints:     106454
2545.68/2554.57	c #Conflicts:     568000 | #Constraints:     107454
2545.68/2554.57	c #Conflicts:     569000 | #Constraints:     108454
2545.68/2554.57	c #Conflicts:     570000 | #Constraints:     109454
2545.68/2554.57	c #Conflicts:     571000 | #Constraints:     110454
2545.68/2554.57	c #Conflicts:     572000 | #Constraints:     111454
2545.68/2554.57	c #Conflicts:     573000 | #Constraints:     112454
2545.68/2554.57	c INPROCESSING
2545.68/2554.57	c GARBAGE COLLECT
2545.68/2554.57	c rational objective 196
2596.79/2605.83	c #Conflicts:     574000 | #Constraints:      70304
2596.79/2605.83	c #Conflicts:     575000 | #Constraints:      71304
2596.79/2605.83	c #Conflicts:     576000 | #Constraints:      72304
2596.79/2605.83	c #Conflicts:     577000 | #Constraints:      73304
2596.79/2605.83	c #Conflicts:     578000 | #Constraints:      74304
2596.79/2605.83	c #Conflicts:     579000 | #Constraints:      75304
2596.79/2605.83	c #Conflicts:     580000 | #Constraints:      76304
2596.79/2605.83	c #Conflicts:     581000 | #Constraints:      77304
2596.79/2605.83	c #Conflicts:     582000 | #Constraints:      78304
2596.79/2605.83	c #Conflicts:     583000 | #Constraints:      79304
2596.79/2605.83	c #Conflicts:     584000 | #Constraints:      80304
2596.79/2605.83	c #Conflicts:     585000 | #Constraints:      81304
2596.79/2605.83	c #Conflicts:     586000 | #Constraints:      82304
2596.79/2605.83	c #Conflicts:     587000 | #Constraints:      83304
2596.79/2605.83	c #Conflicts:     588000 | #Constraints:      84304
2596.79/2605.83	c #Conflicts:     589000 | #Constraints:      85304
2596.79/2605.83	c #Conflicts:     590000 | #Constraints:      86304
2596.79/2605.83	c #Conflicts:     591000 | #Constraints:      87304
2596.79/2605.83	c #Conflicts:     592000 | #Constraints:      88304
2596.79/2605.83	c #Conflicts:     593000 | #Constraints:      89304
2596.79/2605.83	c #Conflicts:     594000 | #Constraints:      90304
2596.79/2605.83	c #Conflicts:     595000 | #Constraints:      91304
2596.79/2605.83	c INPROCESSING
2596.79/2605.83	c GARBAGE COLLECT
2596.79/2605.83	c rational objective 196
2771.01/2780.71	c #Conflicts:     596000 | #Constraints:      68989
2771.01/2780.71	c #Conflicts:     597000 | #Constraints:      69989
2771.01/2780.71	c #Conflicts:     598000 | #Constraints:      70989
2771.01/2780.71	c #Conflicts:     599000 | #Constraints:      71989
2771.01/2780.71	c #Conflicts:     600000 | #Constraints:      72989
2771.01/2780.71	c #Conflicts:     601000 | #Constraints:      73989
2771.01/2780.71	c #Conflicts:     602000 | #Constraints:      74989
2771.01/2780.71	c #Conflicts:     603000 | #Constraints:      75989
2771.01/2780.71	c #Conflicts:     604000 | #Constraints:      76989
2771.01/2780.71	c #Conflicts:     605000 | #Constraints:      77989
2771.01/2780.71	c #Conflicts:     606000 | #Constraints:      78989
2771.01/2780.71	c #Conflicts:     607000 | #Constraints:      79989
2771.01/2780.71	c #Conflicts:     608000 | #Constraints:      80989
2771.01/2780.71	c #Conflicts:     609000 | #Constraints:      81989
2771.01/2780.71	c #Conflicts:     610000 | #Constraints:      82989
2771.01/2780.71	c #Conflicts:     611000 | #Constraints:      83989
2771.01/2780.71	c #Conflicts:     612000 | #Constraints:      84989
2771.01/2780.71	c #Conflicts:     613000 | #Constraints:      85989
2771.01/2780.71	c #Conflicts:     614000 | #Constraints:      86989
2771.01/2780.71	c #Conflicts:     615000 | #Constraints:      87989
2771.01/2780.71	c #Conflicts:     616000 | #Constraints:      88989
2771.01/2780.71	c #Conflicts:     617000 | #Constraints:      89989
2771.01/2780.71	c #Conflicts:     618000 | #Constraints:      90990
2771.01/2780.71	c #Conflicts:     619000 | #Constraints:      91990
2771.01/2780.71	c #Conflicts:     620000 | #Constraints:      92990
2771.01/2780.71	c #Conflicts:     621000 | #Constraints:      93990
2771.01/2780.71	c #Conflicts:     622000 | #Constraints:      94990
2771.01/2780.71	c #Conflicts:     623000 | #Constraints:      95990
2771.01/2780.71	c #Conflicts:     624000 | #Constraints:      96990
2771.01/2780.71	c #Conflicts:     625000 | #Constraints:      97990
2771.01/2780.71	c #Conflicts:     626000 | #Constraints:      98990
2771.01/2780.71	c #Conflicts:     627000 | #Constraints:      99990
2771.01/2780.71	c #Conflicts:     628000 | #Constraints:     100990
2771.01/2780.71	c #Conflicts:     629000 | #Constraints:     101990
2771.01/2780.71	c #Conflicts:     630000 | #Constraints:     102990
2771.01/2780.71	c #Conflicts:     631000 | #Constraints:     103990
2771.01/2780.71	c #Conflicts:     632000 | #Constraints:     104990
2771.01/2780.71	c #Conflicts:     633000 | #Constraints:     105990
2771.01/2780.71	c #Conflicts:     634000 | #Constraints:     106990
2771.01/2780.71	c #Conflicts:     635000 | #Constraints:     107992
2771.01/2780.71	c #Conflicts:     636000 | #Constraints:     108992
2771.01/2780.71	c #Conflicts:     637000 | #Constraints:     109992
2771.01/2780.71	c #Conflicts:     638000 | #Constraints:     110992
2771.01/2780.71	c #Conflicts:     639000 | #Constraints:     111992
2771.01/2780.71	c #Conflicts:     640000 | #Constraints:     112992
2771.01/2780.71	c #Conflicts:     641000 | #Constraints:     113992
2771.01/2780.71	c #Conflicts:     642000 | #Constraints:     114992
2771.01/2780.71	c #Conflicts:     643000 | #Constraints:     115992
2771.01/2780.71	c #Conflicts:     644000 | #Constraints:     116992
2771.01/2780.71	c #Conflicts:     645000 | #Constraints:     117992
2771.01/2780.71	c #Conflicts:     646000 | #Constraints:     118992
2771.01/2780.71	c INPROCESSING
2771.01/2780.71	c GARBAGE COLLECT
2771.01/2780.71	c rational objective 196
2826.59/2836.53	c #Conflicts:     647000 | #Constraints:      73365
2826.59/2836.53	c #Conflicts:     648000 | #Constraints:      74365
2826.59/2836.53	c #Conflicts:     649000 | #Constraints:      75365
2826.59/2836.53	c #Conflicts:     650000 | #Constraints:      76365
2826.59/2836.53	c #Conflicts:     651000 | #Constraints:      77365
2826.59/2836.53	c #Conflicts:     652000 | #Constraints:      78365
2826.59/2836.53	c #Conflicts:     653000 | #Constraints:      79365
2826.59/2836.53	c #Conflicts:     654000 | #Constraints:      80365
2826.59/2836.53	c #Conflicts:     655000 | #Constraints:      81365
2826.59/2836.53	c #Conflicts:     656000 | #Constraints:      82365
2826.59/2836.53	c #Conflicts:     657000 | #Constraints:      83365
2826.59/2836.53	c #Conflicts:     658000 | #Constraints:      84365
2826.59/2836.53	c #Conflicts:     659000 | #Constraints:      85365
2826.59/2836.53	c #Conflicts:     660000 | #Constraints:      86365
2826.59/2836.53	c #Conflicts:     661000 | #Constraints:      87365
2826.59/2836.53	c #Conflicts:     662000 | #Constraints:      88365
2826.59/2836.53	c #Conflicts:     663000 | #Constraints:      89365
2826.59/2836.53	c #Conflicts:     664000 | #Constraints:      90365
2826.59/2836.53	c #Conflicts:     665000 | #Constraints:      91365
2826.59/2836.53	c #Conflicts:     666000 | #Constraints:      92365
2826.59/2836.53	c #Conflicts:     667000 | #Constraints:      93365
2826.59/2836.53	c #Conflicts:     668000 | #Constraints:      94365
2826.59/2836.53	c #Conflicts:     669000 | #Constraints:      95365
2826.59/2836.53	c INPROCESSING
2826.59/2836.53	c GARBAGE COLLECT
2826.59/2836.53	c rational objective 196
2980.82/2991.37	c #Conflicts:     670000 | #Constraints:      71712
2980.82/2991.37	c #Conflicts:     671000 | #Constraints:      72712
2980.82/2991.37	c #Conflicts:     672000 | #Constraints:      73712
2980.82/2991.37	c #Conflicts:     673000 | #Constraints:      74712
2980.82/2991.37	c #Conflicts:     674000 | #Constraints:      75712
2980.82/2991.37	c #Conflicts:     675000 | #Constraints:      76712
2980.82/2991.37	c #Conflicts:     676000 | #Constraints:      77712
2980.82/2991.37	c #Conflicts:     677000 | #Constraints:      78712
2980.82/2991.37	c #Conflicts:     678000 | #Constraints:      79712
2980.82/2991.37	c #Conflicts:     679000 | #Constraints:      80712
2980.82/2991.37	c #Conflicts:     680000 | #Constraints:      81712
2980.82/2991.37	c #Conflicts:     681000 | #Constraints:      82712
2980.82/2991.37	c #Conflicts:     682000 | #Constraints:      83712
2980.82/2991.37	c #Conflicts:     683000 | #Constraints:      84712
2980.82/2991.37	c #Conflicts:     684000 | #Constraints:      85712
2980.82/2991.37	c #Conflicts:     685000 | #Constraints:      86712
2980.82/2991.37	c #Conflicts:     686000 | #Constraints:      87712
2980.82/2991.37	c #Conflicts:     687000 | #Constraints:      88712
2980.82/2991.37	c #Conflicts:     688000 | #Constraints:      89712
2980.82/2991.37	c #Conflicts:     689000 | #Constraints:      90712
2980.82/2991.37	c #Conflicts:     690000 | #Constraints:      91712
2980.82/2991.37	c #Conflicts:     691000 | #Constraints:      92712
2980.82/2991.37	c #Conflicts:     692000 | #Constraints:      93712
2980.82/2991.37	c #Conflicts:     693000 | #Constraints:      94712
2980.82/2991.37	c #Conflicts:     694000 | #Constraints:      95713
2980.82/2991.37	c #Conflicts:     695000 | #Constraints:      96713
2980.82/2991.37	c #Conflicts:     696000 | #Constraints:      97713
2980.82/2991.37	c #Conflicts:     697000 | #Constraints:      98713
2980.82/2991.37	c #Conflicts:     698000 | #Constraints:      99713
2980.82/2991.37	c #Conflicts:     699000 | #Constraints:     100713
2980.82/2991.37	c #Conflicts:     700000 | #Constraints:     101713
2980.82/2991.37	c #Conflicts:     701000 | #Constraints:     102713
2980.82/2991.37	c #Conflicts:     702000 | #Constraints:     103713
2980.82/2991.37	c #Conflicts:     703000 | #Constraints:     104713
2980.82/2991.37	c #Conflicts:     704000 | #Constraints:     105713
2980.82/2991.37	c #Conflicts:     705000 | #Constraints:     106713
2980.82/2991.37	c #Conflicts:     706000 | #Constraints:     107713
2980.82/2991.37	c #Conflicts:     707000 | #Constraints:     108713
2980.82/2991.37	c #Conflicts:     708000 | #Constraints:     109713
2980.82/2991.37	c #Conflicts:     709000 | #Constraints:     110713
2980.82/2991.37	c #Conflicts:     710000 | #Constraints:     111713
2980.82/2991.37	c #Conflicts:     711000 | #Constraints:     112713
2980.82/2991.37	c #Conflicts:     712000 | #Constraints:     113713
2980.82/2991.37	c #Conflicts:     713000 | #Constraints:     114713
2980.82/2991.37	c #Conflicts:     714000 | #Constraints:     115713
2980.82/2991.37	c #Conflicts:     715000 | #Constraints:     116713
2980.82/2991.37	c #Conflicts:     716000 | #Constraints:     117713
2980.82/2991.37	c #Conflicts:     717000 | #Constraints:     118713
2980.82/2991.37	c #Conflicts:     718000 | #Constraints:     119713
2980.82/2991.37	c #Conflicts:     719000 | #Constraints:     120713
2980.82/2991.37	c #Conflicts:     720000 | #Constraints:     121713
2980.82/2991.37	c #Conflicts:     721000 | #Constraints:     122713
2980.82/2991.37	c #Conflicts:     722000 | #Constraints:     123713
2980.82/2991.37	c #Conflicts:     723000 | #Constraints:     124713
2980.82/2991.37	c #Conflicts:     724000 | #Constraints:     125713
2980.82/2991.37	c INPROCESSING
2980.82/2991.37	c GARBAGE COLLECT
2980.82/2991.37	c rational objective 196
3054.58/3065.34	c #Conflicts:     725000 | #Constraints:      76852
3054.58/3065.34	c #Conflicts:     726000 | #Constraints:      77853
3054.58/3065.34	c #Conflicts:     727000 | #Constraints:      78853
3054.58/3065.34	c #Conflicts:     728000 | #Constraints:      79854
3054.58/3065.34	c #Conflicts:     729000 | #Constraints:      80854
3054.58/3065.34	c #Conflicts:     730000 | #Constraints:      81854
3054.58/3065.34	c #Conflicts:     731000 | #Constraints:      82854
3054.58/3065.34	c #Conflicts:     732000 | #Constraints:      83855
3054.58/3065.34	c #Conflicts:     733000 | #Constraints:      84855
3054.58/3065.34	c #Conflicts:     734000 | #Constraints:      85855
3054.58/3065.34	c #Conflicts:     735000 | #Constraints:      86856
3054.58/3065.34	c #Conflicts:     736000 | #Constraints:      87856
3054.58/3065.34	c #Conflicts:     737000 | #Constraints:      88856
3054.58/3065.34	c #Conflicts:     738000 | #Constraints:      89856
3054.58/3065.34	c #Conflicts:     739000 | #Constraints:      90856
3054.58/3065.34	c #Conflicts:     740000 | #Constraints:      91856
3054.58/3065.34	c #Conflicts:     741000 | #Constraints:      92856
3054.58/3065.34	c #Conflicts:     742000 | #Constraints:      93856
3054.58/3065.34	c #Conflicts:     743000 | #Constraints:      94856
3054.58/3065.34	c #Conflicts:     744000 | #Constraints:      95856
3054.58/3065.34	c #Conflicts:     745000 | #Constraints:      96856
3054.58/3065.34	c #Conflicts:     746000 | #Constraints:      97856
3054.58/3065.34	c #Conflicts:     747000 | #Constraints:      98856
3054.58/3065.34	c #Conflicts:     748000 | #Constraints:      99856
3054.58/3065.34	c INPROCESSING
3054.58/3065.34	c GARBAGE COLLECT
3054.58/3065.34	c rational objective 196
3225.75/3237.04	c #Conflicts:     749000 | #Constraints:      74687
3225.75/3237.04	c #Conflicts:     750000 | #Constraints:      75687
3225.75/3237.04	c #Conflicts:     751000 | #Constraints:      76687
3225.75/3237.04	c #Conflicts:     752000 | #Constraints:      77687
3225.75/3237.04	c #Conflicts:     753000 | #Constraints:      78687
3225.75/3237.04	c #Conflicts:     754000 | #Constraints:      79687
3225.75/3237.04	c #Conflicts:     755000 | #Constraints:      80687
3225.75/3237.04	c #Conflicts:     756000 | #Constraints:      81687
3225.75/3237.04	c #Conflicts:     757000 | #Constraints:      82687
3225.75/3237.04	c #Conflicts:     758000 | #Constraints:      83687
3225.75/3237.04	c #Conflicts:     759000 | #Constraints:      84687
3225.75/3237.04	c #Conflicts:     760000 | #Constraints:      85687
3225.75/3237.04	c #Conflicts:     761000 | #Constraints:      86687
3225.75/3237.04	c #Conflicts:     762000 | #Constraints:      87688
3225.75/3237.04	c #Conflicts:     763000 | #Constraints:      88688
3225.75/3237.04	c #Conflicts:     764000 | #Constraints:      89688
3225.75/3237.04	c #Conflicts:     765000 | #Constraints:      90688
3225.75/3237.04	c #Conflicts:     766000 | #Constraints:      91688
3225.75/3237.04	c #Conflicts:     767000 | #Constraints:      92688
3225.75/3237.04	c #Conflicts:     768000 | #Constraints:      93688
3225.75/3237.04	c #Conflicts:     769000 | #Constraints:      94688
3225.75/3237.04	c #Conflicts:     770000 | #Constraints:      95688
3225.75/3237.04	c #Conflicts:     771000 | #Constraints:      96688
3225.75/3237.04	c #Conflicts:     772000 | #Constraints:      97688
3225.75/3237.04	c #Conflicts:     773000 | #Constraints:      98688
3225.75/3237.04	c #Conflicts:     774000 | #Constraints:      99688
3225.75/3237.04	c #Conflicts:     775000 | #Constraints:     100688
3225.75/3237.04	c #Conflicts:     776000 | #Constraints:     101688
3225.75/3237.04	c #Conflicts:     777000 | #Constraints:     102688
3225.75/3237.04	c #Conflicts:     778000 | #Constraints:     103688
3225.75/3237.04	c #Conflicts:     779000 | #Constraints:     104688
3225.75/3237.04	c #Conflicts:     780000 | #Constraints:     105688
3225.75/3237.04	c #Conflicts:     781000 | #Constraints:     106688
3225.75/3237.04	c #Conflicts:     782000 | #Constraints:     107688
3225.75/3237.04	c #Conflicts:     783000 | #Constraints:     108688
3225.75/3237.04	c #Conflicts:     784000 | #Constraints:     109688
3225.75/3237.04	c #Conflicts:     785000 | #Constraints:     110688
3225.75/3237.04	c #Conflicts:     786000 | #Constraints:     111688
3225.75/3237.04	c #Conflicts:     787000 | #Constraints:     112688
3225.75/3237.04	c #Conflicts:     788000 | #Constraints:     113688
3225.75/3237.04	c #Conflicts:     789000 | #Constraints:     114688
3225.75/3237.04	c #Conflicts:     790000 | #Constraints:     115688
3225.75/3237.04	c #Conflicts:     791000 | #Constraints:     116688
3225.75/3237.04	c #Conflicts:     792000 | #Constraints:     117688
3225.75/3237.04	c #Conflicts:     793000 | #Constraints:     118688
3225.75/3237.04	c #Conflicts:     794000 | #Constraints:     119688
3225.75/3237.04	c #Conflicts:     795000 | #Constraints:     120688
3225.75/3237.04	c #Conflicts:     796000 | #Constraints:     121688
3225.75/3237.04	c #Conflicts:     797000 | #Constraints:     122688
3225.75/3237.04	c #Conflicts:     798000 | #Constraints:     123688
3225.75/3237.04	c #Conflicts:     799000 | #Constraints:     124688
3225.75/3237.04	c #Conflicts:     800000 | #Constraints:     125688
3225.75/3237.04	c #Conflicts:     801000 | #Constraints:     126688
3225.75/3237.04	c #Conflicts:     802000 | #Constraints:     127688
3225.75/3237.04	c #Conflicts:     803000 | #Constraints:     128688
3225.75/3237.04	c #Conflicts:     804000 | #Constraints:     129688
3225.75/3237.04	c #Conflicts:     805000 | #Constraints:     130688
3225.75/3237.04	c #Conflicts:     806000 | #Constraints:     131688
3225.75/3237.04	c INPROCESSING
3225.75/3237.04	c GARBAGE COLLECT
3225.75/3237.04	c rational objective 196
3298.01/3309.58	c #Conflicts:     807000 | #Constraints:      79426
3298.01/3309.58	c #Conflicts:     808000 | #Constraints:      80426
3298.01/3309.58	c #Conflicts:     809000 | #Constraints:      81426
3298.01/3309.58	c #Conflicts:     810000 | #Constraints:      82426
3298.01/3309.58	c #Conflicts:     811000 | #Constraints:      83426
3298.01/3309.58	c #Conflicts:     812000 | #Constraints:      84426
3298.01/3309.58	c #Conflicts:     813000 | #Constraints:      85426
3298.01/3309.58	c #Conflicts:     814000 | #Constraints:      86426
3298.01/3309.58	c #Conflicts:     815000 | #Constraints:      87426
3298.01/3309.58	c #Conflicts:     816000 | #Constraints:      88426
3298.01/3309.58	c #Conflicts:     817000 | #Constraints:      89426
3298.01/3309.58	c #Conflicts:     818000 | #Constraints:      90426
3298.01/3309.58	c #Conflicts:     819000 | #Constraints:      91426
3298.01/3309.58	c #Conflicts:     820000 | #Constraints:      92426
3298.01/3309.58	c #Conflicts:     821000 | #Constraints:      93426
3298.01/3309.58	c #Conflicts:     822000 | #Constraints:      94426
3298.01/3309.58	c #Conflicts:     823000 | #Constraints:      95426
3298.01/3309.58	c #Conflicts:     824000 | #Constraints:      96426
3298.01/3309.58	c #Conflicts:     825000 | #Constraints:      97426
3298.01/3309.58	c #Conflicts:     826000 | #Constraints:      98426
3298.01/3309.58	c #Conflicts:     827000 | #Constraints:      99426
3298.01/3309.58	c #Conflicts:     828000 | #Constraints:     100426
3298.01/3309.58	c #Conflicts:     829000 | #Constraints:     101426
3298.01/3309.58	c #Conflicts:     830000 | #Constraints:     102426
3298.01/3309.58	c #Conflicts:     831000 | #Constraints:     103426
3298.01/3309.58	c #Conflicts:     832000 | #Constraints:     104426
3298.01/3309.58	c INPROCESSING
3298.01/3309.58	c GARBAGE COLLECT
3298.01/3309.58	c rational objective 196
3489.68/3501.83	c #Conflicts:     833000 | #Constraints:      78774
3489.68/3501.83	c #Conflicts:     834000 | #Constraints:      79774
3489.68/3501.83	c #Conflicts:     835000 | #Constraints:      80774
3489.68/3501.83	c #Conflicts:     836000 | #Constraints:      81775
3489.68/3501.83	c #Conflicts:     837000 | #Constraints:      82775
3489.68/3501.83	c #Conflicts:     838000 | #Constraints:      83775
3489.68/3501.83	c #Conflicts:     839000 | #Constraints:      84775
3489.68/3501.83	c #Conflicts:     840000 | #Constraints:      85775
3489.68/3501.83	c #Conflicts:     841000 | #Constraints:      86775
3489.68/3501.83	c #Conflicts:     842000 | #Constraints:      87775
3489.68/3501.83	c #Conflicts:     843000 | #Constraints:      88775
3489.68/3501.83	c #Conflicts:     844000 | #Constraints:      89775
3489.68/3501.83	c #Conflicts:     845000 | #Constraints:      90775
3489.68/3501.83	c #Conflicts:     846000 | #Constraints:      91775
3489.68/3501.83	c #Conflicts:     847000 | #Constraints:      92775
3489.68/3501.83	c #Conflicts:     848000 | #Constraints:      93775
3489.68/3501.83	c #Conflicts:     849000 | #Constraints:      94775
3489.68/3501.83	c #Conflicts:     850000 | #Constraints:      95775
3489.68/3501.83	c #Conflicts:     851000 | #Constraints:      96775
3489.68/3501.83	c #Conflicts:     852000 | #Constraints:      97775
3489.68/3501.83	c #Conflicts:     853000 | #Constraints:      98775
3489.68/3501.83	c #Conflicts:     854000 | #Constraints:      99775
3489.68/3501.83	c #Conflicts:     855000 | #Constraints:     100776
3489.68/3501.83	c #Conflicts:     856000 | #Constraints:     101776
3489.68/3501.83	c #Conflicts:     857000 | #Constraints:     102776
3489.68/3501.83	c #Conflicts:     858000 | #Constraints:     103776
3489.68/3501.83	c #Conflicts:     859000 | #Constraints:     104776
3489.68/3501.83	c #Conflicts:     860000 | #Constraints:     105776
3489.68/3501.83	c #Conflicts:     861000 | #Constraints:     106776
3489.68/3501.83	c #Conflicts:     862000 | #Constraints:     107776
3489.68/3501.83	c #Conflicts:     863000 | #Constraints:     108776
3489.68/3501.83	c #Conflicts:     864000 | #Constraints:     109776
3489.68/3501.83	c #Conflicts:     865000 | #Constraints:     110776
3489.68/3501.83	c #Conflicts:     866000 | #Constraints:     111776
3489.68/3501.83	c #Conflicts:     867000 | #Constraints:     112776
3489.68/3501.83	c #Conflicts:     868000 | #Constraints:     113776
3489.68/3501.83	c #Conflicts:     869000 | #Constraints:     114776
3489.68/3501.83	c #Conflicts:     870000 | #Constraints:     115776
3489.68/3501.83	c #Conflicts:     871000 | #Constraints:     116776
3489.68/3501.83	c #Conflicts:     872000 | #Constraints:     117776
3489.68/3501.83	c #Conflicts:     873000 | #Constraints:     118776
3489.68/3501.83	c #Conflicts:     874000 | #Constraints:     119776
3489.68/3501.83	c #Conflicts:     875000 | #Constraints:     120776
3489.68/3501.83	c #Conflicts:     876000 | #Constraints:     121776
3489.68/3501.83	c #Conflicts:     877000 | #Constraints:     122776
3489.68/3501.83	c #Conflicts:     878000 | #Constraints:     123776
3489.68/3501.83	c #Conflicts:     879000 | #Constraints:     124776
3489.68/3501.83	c #Conflicts:     880000 | #Constraints:     125776
3489.68/3501.83	c #Conflicts:     881000 | #Constraints:     126776
3489.68/3501.83	c #Conflicts:     882000 | #Constraints:     127776
3489.68/3501.83	c #Conflicts:     883000 | #Constraints:     128776
3489.68/3501.83	c #Conflicts:     884000 | #Constraints:     129776
3489.68/3501.83	c #Conflicts:     885000 | #Constraints:     130776
3489.68/3501.83	c #Conflicts:     886000 | #Constraints:     131776
3489.68/3501.83	c #Conflicts:     887000 | #Constraints:     132776
3489.68/3501.83	c #Conflicts:     888000 | #Constraints:     133776
3489.68/3501.83	c #Conflicts:     889000 | #Constraints:     134776
3489.68/3501.83	c #Conflicts:     890000 | #Constraints:     135776
3489.68/3501.83	c #Conflicts:     891000 | #Constraints:     136776
3489.68/3501.83	c #Conflicts:     892000 | #Constraints:     137776
3489.68/3501.83	c #Conflicts:     893000 | #Constraints:     138776
3489.68/3501.83	c INPROCESSING
3489.68/3501.83	c GARBAGE COLLECT
3489.68/3501.83	c rational objective 196

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=9441, runsolver pid=9438
Current StackSize limit: 8192 KiB


[startup+0.100095 s]*
/proc/loadavg: 4.35 4.31 4.27 5/253 9442
/proc/meminfo: memFree=110452208/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=43172 memory=11084 CPUtime=0.1 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 2378 0 0 0 8 2 0 0 20 0 1 0 1130420 44208128 2771 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 10793 2771 1376 992 0 2651 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 43172 KiB
Current children cumulated memory: 11084 KiB

[startup+0.213401 s]*
/proc/loadavg: 4.35 4.31 4.27 5/253 9442
/proc/meminfo: memFree=110447364/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=43676 memory=12140 CPUtime=0.21 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 2668 0 0 0 17 4 0 0 20 0 1 0 1130420 44724224 3035 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 10919 3035 1376 992 0 2777 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 43676 KiB
Current children cumulated memory: 12140 KiB

[startup+0.313196 s]*
/proc/loadavg: 4.35 4.31 4.27 5/253 9442
/proc/meminfo: memFree=110435352/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=49328 memory=19224 CPUtime=0.31 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 5135 0 0 0 26 5 0 0 20 0 1 0 1130420 50511872 4806 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 12332 4806 1663 992 0 4190 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 49328 KiB
Current children cumulated memory: 19224 KiB

[startup+0.700327 s]
/proc/loadavg: 4.35 4.31 4.27 5/253 9442
/proc/meminfo: memFree=110407656/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=76164 memory=42496 CPUtime=0.69 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 11594 0 0 0 61 8 0 0 20 0 1 0 1130420 77991936 10624 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 19041 10624 1711 992 0 10899 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 76164 KiB
Current children cumulated memory: 42496 KiB

[startup+1.50031 s]
/proc/loadavg: 4.35 4.31 4.27 4/253 9442
/proc/meminfo: memFree=110391376/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=79176 memory=45400 CPUtime=1.48 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 12366 0 0 0 140 8 0 0 20 0 1 0 1130420 81076224 11350 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 19794 11350 1711 992 0 11652 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79176 KiB
Current children cumulated memory: 45400 KiB

[startup+3.11307 s]
/proc/loadavg: 4.35 4.31 4.27 6/253 9445
/proc/meminfo: memFree=110341892/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=80072 memory=49148 CPUtime=3.09 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 12762 0 0 0 285 24 0 0 20 0 1 0 1130420 81993728 12287 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 20018 12287 1742 992 0 11876 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 80072 KiB
Current children cumulated memory: 49148 KiB

[startup+6.30026 s]
/proc/loadavg: 4.32 4.31 4.27 5/250 9445
/proc/meminfo: memFree=110224252/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=81904 memory=51040 CPUtime=6.26 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 13188 0 0 0 597 29 0 0 20 0 1 0 1130420 83869696 12760 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 20476 12760 1757 992 0 12334 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 81904 KiB
Current children cumulated memory: 51040 KiB

[startup+12.7003 s]
/proc/loadavg: 4.30 4.30 4.27 5/250 9446
/proc/meminfo: memFree=109980440/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=86096 memory=55788 CPUtime=12.63 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 14403 0 0 0 1232 31 0 0 20 0 1 0 1130420 88162304 13947 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 21524 13947 1757 992 0 13382 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 86096 KiB
Current children cumulated memory: 55788 KiB

[startup+25.5003 s]
/proc/loadavg: 4.23 4.28 4.26 5/250 9448
/proc/meminfo: memFree=109654932/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=89944 memory=57644 CPUtime=25.39 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 14800 0 0 0 2466 73 0 0 20 0 1 0 1130420 92102656 14411 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 22486 14411 1808 992 0 14344 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 89944 KiB
Current children cumulated memory: 57644 KiB

[startup+51.1132 s]
/proc/loadavg: 4.15 4.26 4.26 5/249 9451
/proc/meminfo: memFree=108600648/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=113048 memory=76260 CPUtime=50.91 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 19141 0 0 0 4984 107 0 0 20 0 1 0 1130420 115761152 19065 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 28262 19065 1840 992 0 20120 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 113048 KiB
Current children cumulated memory: 76260 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.23 4.25 5/249 9463
/proc/meminfo: memFree=105658024/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=149060 memory=108132 CPUtime=101.92 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 21974 0 0 0 10006 186 0 0 20 0 1 0 1130420 152637440 27033 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 37265 27033 1840 992 0 29123 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 149060 KiB
Current children cumulated memory: 108132 KiB

[startup+162.3 s]
/proc/loadavg: 4.28 4.26 4.26 5/248 9476
/proc/meminfo: memFree=103571364/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=210752 memory=171244 CPUtime=161.72 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 28128 0 0 0 15864 308 0 0 20 0 1 0 1130420 215810048 42811 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 52688 42811 1840 992 0 44546 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 210752 KiB
Current children cumulated memory: 171244 KiB

[startup+222.3 s]
/proc/loadavg: 4.23 4.26 4.26 5/246 9488
/proc/meminfo: memFree=101341340/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=216552 memory=178204 CPUtime=221.5 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 34738 0 0 0 21802 348 0 0 20 0 1 0 1130420 221749248 44551 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 54138 44551 1840 992 0 45996 0
Current children cumulated CPU time: 221.5 s
Current children cumulated vsize: 216552 KiB
Current children cumulated memory: 178204 KiB

[startup+282.3 s]
/proc/loadavg: 4.23 4.25 4.26 5/247 9546
/proc/meminfo: memFree=99583676/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=223476 memory=183456 CPUtime=281.31 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 36091 0 0 0 27656 475 0 0 20 0 1 0 1130420 228839424 45864 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 55869 45864 1840 992 0 47727 0
Current children cumulated CPU time: 281.31 s
Current children cumulated vsize: 223476 KiB
Current children cumulated memory: 183456 KiB

[startup+342.3 s]
/proc/loadavg: 4.18 4.24 4.25 5/248 9559
/proc/meminfo: memFree=96783096/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=225804 memory=186956 CPUtime=341.1 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 37036 0 0 0 33500 610 0 0 20 0 1 0 1130420 231223296 46739 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 56451 46739 1840 992 0 48309 0
Current children cumulated CPU time: 341.1 s
Current children cumulated vsize: 225804 KiB
Current children cumulated memory: 186956 KiB

[startup+402.3 s]
/proc/loadavg: 4.45 4.29 4.27 5/250 9573
/proc/meminfo: memFree=93583892/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=388184 memory=352000 CPUtime=400.9 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 46146 0 0 0 39421 669 0 0 20 0 1 0 1130420 397500416 88000 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 97046 88000 1840 992 0 88904 0
Current children cumulated CPU time: 400.9 s
Current children cumulated vsize: 388184 KiB
Current children cumulated memory: 352000 KiB

[startup+462.3 s]
/proc/loadavg: 4.27 4.26 4.26 5/250 9583
/proc/meminfo: memFree=90126960/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=549620 memory=405064 CPUtime=460.7 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 53804 0 0 0 45301 769 0 0 20 0 1 0 1130420 562810880 101266 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 137405 101266 1840 992 0 129263 0

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

[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.18 5/245 11387
/proc/meminfo: memFree=109582324/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=894104 memory=813340 CPUtime=3151.27 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 91465 0 0 0 311156 3971 0 0 20 0 1 0 1130420 915562496 203335 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 223526 203335 1840 992 0 215384 0
Current children cumulated CPU time: 3151.27 s
Current children cumulated vsize: 894104 KiB
Current children cumulated memory: 813340 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.18 5/245 11400
/proc/meminfo: memFree=109041388/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=894104 memory=813340 CPUtime=3211.08 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 91736 0 0 0 317050 4058 0 0 20 0 1 0 1130420 915562496 203335 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 223526 203335 1840 992 0 215384 0
Current children cumulated CPU time: 3211.08 s
Current children cumulated vsize: 894104 KiB
Current children cumulated memory: 813340 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.12 4.17 5/248 11416
/proc/meminfo: memFree=108711216/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=898264 memory=816832 CPUtime=3270.89 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 92801 0 0 0 322926 4163 0 0 20 0 1 0 1130420 919822336 204208 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 224566 204208 1840 992 0 216424 0
Current children cumulated CPU time: 3270.89 s
Current children cumulated vsize: 898264 KiB
Current children cumulated memory: 816832 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.11 4.16 5/247 11426
/proc/meminfo: memFree=108465720/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=898264 memory=818032 CPUtime=3330.7 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 93166 0 0 0 328828 4242 0 0 20 0 1 0 1130420 919822336 204508 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 224566 204508 1840 992 0 216424 0
Current children cumulated CPU time: 3330.7 s
Current children cumulated vsize: 898264 KiB
Current children cumulated memory: 818032 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.16 5/247 11438
/proc/meminfo: memFree=108140900/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=901272 memory=821028 CPUtime=3390.5 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 94201 0 0 0 334702 4348 0 0 20 0 1 0 1130420 922902528 205257 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 225318 205257 1840 992 0 217176 0
Current children cumulated CPU time: 3390.5 s
Current children cumulated vsize: 901272 KiB
Current children cumulated memory: 821028 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.16 5/252 11453
/proc/meminfo: memFree=107769292/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=901272 memory=821264 CPUtime=3450.31 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 94600 0 0 0 340616 4415 0 0 20 0 1 0 1130420 922902528 205316 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 225318 205316 1840 992 0 217176 0
Current children cumulated CPU time: 3450.31 s
Current children cumulated vsize: 901272 KiB
Current children cumulated memory: 821264 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.16 5/254 11466
/proc/meminfo: memFree=107218592/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=910672 memory=830000 CPUtime=3510.12 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 97007 0 0 0 346535 4477 0 0 20 0 1 0 1130420 932528128 207500 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 227668 207500 1840 992 0 219526 0
Current children cumulated CPU time: 3510.12 s
Current children cumulated vsize: 910672 KiB
Current children cumulated memory: 830000 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/254 11478
/proc/meminfo: memFree=106552836/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=911452 memory=830612 CPUtime=3569.93 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 97449 0 0 0 352418 4575 0 0 20 0 1 0 1130420 933326848 207653 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 227863 207653 1840 992 0 219721 0
Current children cumulated CPU time: 3569.93 s
Current children cumulated vsize: 911452 KiB
Current children cumulated memory: 830612 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.5 s]
/proc/loadavg: 4.11 4.11 4.15 5/254 11484
/proc/meminfo: memFree=106391520/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=911584 memory=831044 CPUtime=3600.03 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 97585 0 0 0 355418 4585 0 0 20 0 1 0 1130420 933462016 207761 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 227896 207761 1840 992 0 219754 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 911584 KiB
Current children cumulated memory: 831044 KiB

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

Sending SIGKILL to process tree (bottom up)

[startup+3614.5 s]
# the end of solver process 9441 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3556.17 s, system=45.8689 s

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

[startup+3612.8 s]
/proc/loadavg: 4.11 4.11 4.15 5/254 11484
/proc/meminfo: memFree=106391520/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=911584 memory=831044 CPUtime=3600.34 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 97585 0 0 0 355448 4586 0 0 20 0 1 0 1130420 933462016 207761 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 227896 207761 1840 992 0 219754 0
Current children cumulated CPU time: 3600.34 s
Current children cumulated vsize: 911584 KiB
Current children cumulated memory: 831044 KiB

[startup+3613.6 s]
/proc/loadavg: 4.11 4.11 4.15 5/254 11484
/proc/meminfo: memFree=106383936/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=911584 memory=831044 CPUtime=3601.13 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 97585 0 0 0 355527 4586 0 0 20 0 1 0 1130420 933462016 207761 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 227896 207761 1840 992 0 219754 0
Current children cumulated CPU time: 3601.13 s
Current children cumulated vsize: 911584 KiB
Current children cumulated memory: 831044 KiB

[startup+3614 s]*
/proc/loadavg: 4.10 4.11 4.15 5/254 11484
/proc/meminfo: memFree=106381820/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=911584 memory=831044 CPUtime=3601.54 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 97585 0 0 0 355568 4586 0 0 20 0 1 0 1130420 933462016 207761 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 227896 207761 1840 992 0 219754 0
Current children cumulated CPU time: 3601.54 s
Current children cumulated vsize: 911584 KiB
Current children cumulated memory: 831044 KiB

[startup+3614.4 s]
/proc/loadavg: 4.10 4.11 4.15 5/254 11484
/proc/meminfo: memFree=106381820/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=911584 memory=831044 CPUtime=3601.93 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 97585 0 0 0 355607 4586 0 0 20 0 1 0 1130420 933462016 207761 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 227896 207761 1840 992 0 219754 0
Current children cumulated CPU time: 3601.93 s
Current children cumulated vsize: 911584 KiB
Current children cumulated memory: 831044 KiB

[startup+3614.5 s]
/proc/loadavg: 4.10 4.11 4.15 5/254 11484
/proc/meminfo: memFree=106381820/131655788 swapFree=131071996/131071996
[pid=9441] ppid=9438 vsize=911584 memory=831044 CPUtime=3602.03 cores=0,2
/proc/9441/stat : 9441 (roundingsat) R 9438 9441 6802 0 -1 4194304 97585 0 0 0 355617 4586 0 0 20 0 1 0 1130420 933462016 207761 134679101440 4194304 8255733 140725149418224 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 40992768 140725149422430 140725149422692 140725149422692 140725149429705 0
/proc/9441/statm: 227896 207761 1840 992 0 219754 0
Current children cumulated CPU time: 3602.03 s
Current children cumulated vsize: 911584 KiB
Current children cumulated memory: 831044 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3614.5
CPU time (s): 3602.04
CPU user time (s): 3556.17
CPU system time (s): 45.8689
CPU usage (%): 99.6552
Max. virtual memory (cumulated for all children) (KiB): 911584
Max. memory (cumulated for all children) (KiB): 831044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.17
system time used= 45.8689
maximum resident set size= 831256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97585
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8414304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108
involuntary context switches= 25203


# summary of solver processes directly reported to runsolver:
#   pid: 9441
#   total CPU time (s): 3602.04
#   total CPU user time (s): 3556.17
#   total CPU system time (s): 45.8689

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.6353 second user time and 36.3216 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-30 15:15:48
IDJOB=4463074
IDBENCH=158326
IDSOLVER=3089
FILE ID=nodeC002/4463074-1722345348
RUNJOBID= nodeC002-1722340763-6812
SLURM_JOB_ID= 8248982
Free space on /tmp= 723728 MiB

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

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

MD5SUM BENCH= 8df9702f370312ff59707c84e3b82f3b
RANDOM SEED=768974306

nodeC002.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		: 1197.219
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.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3590.680
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.23
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		: 2095.101
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.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.295
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.23
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		: 3666.420
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.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.312
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.23
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.400
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.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.827
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.23
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        110464588 kB
MemAvailable:   125513960 kB
Buffers:           52200 kB
Cached:         15827888 kB
SwapCached:            0 kB
Active:           203708 kB
Inactive:       20520736 kB
Active(anon):       1908 kB
Inactive(anon):  4872088 kB
Active(file):     201800 kB
Inactive(file): 15648648 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:            106704 kB
Writeback:             0 kB
AnonPages:       4844216 kB
Mapped:            98108 kB
Shmem:             29512 kB
KReclaimable:      77908 kB
Slab:             157736 kB
SReclaimable:      77908 kB
SUnreclaim:        79828 kB
KernelStack:        4096 kB
PageTables:        18608 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    5338476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             6400 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1705984 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:      152392 kB
DirectMap2M:    10237952 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 723740 MiB
End job on nodeC002 at 2024-07-30 16:16:03