Trace number 4457170

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 (1)? (TO) 3602.03 3611.21

General information on the benchmark

NamePB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K193.opb
MD5SUMa57909b893e448cbfc1c45d11e8afcf3
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 benchmark62.0014
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22967
Total number of constraints23355
Number of constraints which are clauses23162
Number of constraints which are cardinality constraints (but not clauses)193
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint193
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 194
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.09/0.11	c #variables 22967 #constraints 23355
101.55/101.89	c #Conflicts:       1000 | #Constraints:      24354
101.55/101.89	c #Conflicts:       2000 | #Constraints:      25354
101.55/101.89	c INPROCESSING
101.55/101.89	c GARBAGE COLLECT
101.55/101.89	c #Conflicts:       3000 | #Constraints:      24681
101.55/101.89	c #Conflicts:       4000 | #Constraints:      25681
101.55/101.89	c INPROCESSING
101.55/101.89	c GARBAGE COLLECT
101.55/101.89	c #Conflicts:       5000 | #Constraints:      25218
101.55/101.89	c #Conflicts:       6000 | #Constraints:      26218
101.55/101.89	c #Conflicts:       7000 | #Constraints:      27219
101.55/101.89	c #Conflicts:       8000 | #Constraints:      28219
101.55/101.89	c #Conflicts:       9000 | #Constraints:      29219
101.55/101.89	c INPROCESSING
101.55/101.89	c GARBAGE COLLECT
101.55/101.89	c #Conflicts:      10000 | #Constraints:      27033
101.55/101.89	c #Conflicts:      11000 | #Constraints:      28033
101.55/101.89	c #Conflicts:      12000 | #Constraints:      29033
101.55/101.89	c INPROCESSING
101.55/101.89	c GARBAGE COLLECT
101.55/101.89	c #Conflicts:      13000 | #Constraints:      26732
101.55/101.89	c #Conflicts:      14000 | #Constraints:      27732
101.55/101.89	c #Conflicts:      15000 | #Constraints:      28732
101.55/101.89	c #Conflicts:      16000 | #Constraints:      29732
101.55/101.89	c #Conflicts:      17000 | #Constraints:      30732
101.55/101.89	c #Conflicts:      18000 | #Constraints:      31732
101.55/101.89	c #Conflicts:      19000 | #Constraints:      32732
101.55/101.89	c #Conflicts:      20000 | #Constraints:      33732
101.55/101.89	c #Conflicts:      21000 | #Constraints:      34732
101.55/101.89	c INPROCESSING
101.55/101.89	c GARBAGE COLLECT
101.55/101.89	c #Conflicts:      22000 | #Constraints:      30109
101.55/101.89	c #Conflicts:      23000 | #Constraints:      31109
101.55/101.89	c #Conflicts:      24000 | #Constraints:      32109
101.55/101.89	c #Conflicts:      25000 | #Constraints:      33109
101.55/101.89	c INPROCESSING
101.55/101.89	c GARBAGE COLLECT
101.55/101.89	c rational objective 193
114.43/114.72	c #Conflicts:      26000 | #Constraints:      29207
114.43/114.72	c #Conflicts:      27000 | #Constraints:      30207
114.43/114.72	c #Conflicts:      28000 | #Constraints:      31207
114.43/114.72	c #Conflicts:      29000 | #Constraints:      32207
114.43/114.72	c #Conflicts:      30000 | #Constraints:      33207
114.43/114.72	c #Conflicts:      31000 | #Constraints:      34207
114.43/114.72	c #Conflicts:      32000 | #Constraints:      35207
114.43/114.72	c #Conflicts:      33000 | #Constraints:      36207
114.43/114.72	c #Conflicts:      34000 | #Constraints:      37207
114.43/114.72	c #Conflicts:      35000 | #Constraints:      38207
114.43/114.72	c #Conflicts:      36000 | #Constraints:      39207
114.43/114.72	c #Conflicts:      37000 | #Constraints:      40207
114.43/114.72	c INPROCESSING
114.43/114.72	c GARBAGE COLLECT
114.43/114.72	c rational objective 193
246.59/247.25	c #Conflicts:      38000 | #Constraints:      32926
246.59/247.25	c #Conflicts:      39000 | #Constraints:      33926
246.59/247.25	c #Conflicts:      40000 | #Constraints:      34926
246.59/247.25	c #Conflicts:      41000 | #Constraints:      35926
246.59/247.25	c #Conflicts:      42000 | #Constraints:      36926
246.59/247.25	c #Conflicts:      43000 | #Constraints:      37926
246.59/247.25	c INPROCESSING
246.59/247.25	c GARBAGE COLLECT
246.59/247.25	c #Conflicts:      44000 | #Constraints:      32581
246.59/247.25	c #Conflicts:      45000 | #Constraints:      33581
246.59/247.25	c #Conflicts:      46000 | #Constraints:      34581
246.59/247.25	c #Conflicts:      47000 | #Constraints:      35581
246.59/247.25	c #Conflicts:      48000 | #Constraints:      36581
246.59/247.25	c #Conflicts:      49000 | #Constraints:      37581
246.59/247.25	c #Conflicts:      50000 | #Constraints:      38581
246.59/247.25	c #Conflicts:      51000 | #Constraints:      39581
246.59/247.25	c #Conflicts:      52000 | #Constraints:      40581
246.59/247.25	c #Conflicts:      53000 | #Constraints:      41581
246.59/247.25	c #Conflicts:      54000 | #Constraints:      42581
246.59/247.25	c #Conflicts:      55000 | #Constraints:      43581
246.59/247.25	c #Conflicts:      56000 | #Constraints:      44581
246.59/247.25	c #Conflicts:      57000 | #Constraints:      45581
246.59/247.25	c INPROCESSING
246.59/247.25	c GARBAGE COLLECT
246.59/247.25	c #Conflicts:      58000 | #Constraints:      35518
246.59/247.25	c #Conflicts:      59000 | #Constraints:      36518
246.59/247.25	c #Conflicts:      60000 | #Constraints:      37518
246.59/247.25	c #Conflicts:      61000 | #Constraints:      38518
246.59/247.25	c #Conflicts:      62000 | #Constraints:      39518
246.59/247.25	c #Conflicts:      63000 | #Constraints:      40518
246.59/247.25	c #Conflicts:      64000 | #Constraints:      41518
246.59/247.25	c #Conflicts:      65000 | #Constraints:      42518
246.59/247.25	c INPROCESSING
246.59/247.25	c GARBAGE COLLECT
246.59/247.25	c rational objective 193
385.03/386.04	c #Conflicts:      66000 | #Constraints:      36295
385.03/386.04	c #Conflicts:      67000 | #Constraints:      37295
385.03/386.04	c #Conflicts:      68000 | #Constraints:      38295
385.03/386.04	c #Conflicts:      69000 | #Constraints:      39296
385.03/386.04	c #Conflicts:      70000 | #Constraints:      40296
385.03/386.04	c #Conflicts:      71000 | #Constraints:      41296
385.03/386.04	c #Conflicts:      72000 | #Constraints:      42296
385.03/386.04	c #Conflicts:      73000 | #Constraints:      43296
385.03/386.04	c #Conflicts:      74000 | #Constraints:      44296
385.03/386.04	c #Conflicts:      75000 | #Constraints:      45296
385.03/386.04	c #Conflicts:      76000 | #Constraints:      46296
385.03/386.04	c #Conflicts:      77000 | #Constraints:      47297
385.03/386.04	c #Conflicts:      78000 | #Constraints:      48297
385.03/386.04	c #Conflicts:      79000 | #Constraints:      49297
385.03/386.04	c #Conflicts:      80000 | #Constraints:      50297
385.03/386.04	c #Conflicts:      81000 | #Constraints:      51297
385.03/386.04	c #Conflicts:      82000 | #Constraints:      52297
385.03/386.04	c INPROCESSING
385.03/386.04	c GARBAGE COLLECT
385.03/386.04	c rational objective 193
520.86/522.28	c #Conflicts:      83000 | #Constraints:      39067
520.86/522.28	c #Conflicts:      84000 | #Constraints:      40067
520.86/522.28	c #Conflicts:      85000 | #Constraints:      41067
520.86/522.28	c #Conflicts:      86000 | #Constraints:      42067
520.86/522.28	c #Conflicts:      87000 | #Constraints:      43067
520.86/522.28	c #Conflicts:      88000 | #Constraints:      44067
520.86/522.28	c #Conflicts:      89000 | #Constraints:      45067
520.86/522.28	c #Conflicts:      90000 | #Constraints:      46068
520.86/522.28	c #Conflicts:      91000 | #Constraints:      47068
520.86/522.28	c INPROCESSING
520.86/522.28	c GARBAGE COLLECT
520.86/522.28	c #Conflicts:      92000 | #Constraints:      38818
520.86/522.28	c #Conflicts:      93000 | #Constraints:      39818
520.86/522.28	c #Conflicts:      94000 | #Constraints:      40818
520.86/522.28	c #Conflicts:      95000 | #Constraints:      41818
520.86/522.28	c #Conflicts:      96000 | #Constraints:      42818
520.86/522.28	c #Conflicts:      97000 | #Constraints:      43818
520.86/522.28	c #Conflicts:      98000 | #Constraints:      44818
520.86/522.28	c #Conflicts:      99000 | #Constraints:      45818
520.86/522.28	c #Conflicts:     100000 | #Constraints:      46818
520.86/522.28	c #Conflicts:     101000 | #Constraints:      47818
520.86/522.28	c #Conflicts:     102000 | #Constraints:      48818
520.86/522.28	c #Conflicts:     103000 | #Constraints:      49818
520.86/522.28	c #Conflicts:     104000 | #Constraints:      50818
520.86/522.28	c #Conflicts:     105000 | #Constraints:      51818
520.86/522.28	c #Conflicts:     106000 | #Constraints:      52819
520.86/522.28	c #Conflicts:     107000 | #Constraints:      53819
520.86/522.28	c #Conflicts:     108000 | #Constraints:      54819
520.86/522.28	c #Conflicts:     109000 | #Constraints:      55819
520.86/522.28	c #Conflicts:     110000 | #Constraints:      56819
520.86/522.28	c #Conflicts:     111000 | #Constraints:      57819
520.86/522.28	c INPROCESSING
520.86/522.28	c GARBAGE COLLECT
520.86/522.28	c #Conflicts:     112000 | #Constraints:      41835
520.86/522.28	c #Conflicts:     113000 | #Constraints:      42835
520.86/522.28	c #Conflicts:     114000 | #Constraints:      43835
520.86/522.28	c #Conflicts:     115000 | #Constraints:      44835
520.86/522.28	c #Conflicts:     116000 | #Constraints:      45835
520.86/522.28	c #Conflicts:     117000 | #Constraints:      46835
520.86/522.28	c #Conflicts:     118000 | #Constraints:      47836
520.86/522.28	c #Conflicts:     119000 | #Constraints:      48836
520.86/522.28	c #Conflicts:     120000 | #Constraints:      49836
520.86/522.28	c #Conflicts:     121000 | #Constraints:      50836
520.86/522.28	c INPROCESSING
520.86/522.28	c GARBAGE COLLECT
520.86/522.28	c rational objective 193
613.49/615.15	c #Conflicts:     122000 | #Constraints:      41031
613.49/615.15	c #Conflicts:     123000 | #Constraints:      42031
613.49/615.15	c #Conflicts:     124000 | #Constraints:      43031
613.49/615.15	c #Conflicts:     125000 | #Constraints:      44031
613.49/615.15	c #Conflicts:     126000 | #Constraints:      45031
613.49/615.15	c #Conflicts:     127000 | #Constraints:      46031
613.49/615.15	c #Conflicts:     128000 | #Constraints:      47031
613.49/615.15	c #Conflicts:     129000 | #Constraints:      48031
613.49/615.15	c #Conflicts:     130000 | #Constraints:      49031
613.49/615.15	c #Conflicts:     131000 | #Constraints:      50031
613.49/615.15	c #Conflicts:     132000 | #Constraints:      51032
613.49/615.15	c #Conflicts:     133000 | #Constraints:      52032
613.49/615.15	c #Conflicts:     134000 | #Constraints:      53032
613.49/615.15	c #Conflicts:     135000 | #Constraints:      54032
613.49/615.15	c #Conflicts:     136000 | #Constraints:      55033
613.49/615.15	c #Conflicts:     137000 | #Constraints:      56033
613.49/615.15	c #Conflicts:     138000 | #Constraints:      57033
613.49/615.15	c #Conflicts:     139000 | #Constraints:      58033
613.49/615.15	c #Conflicts:     140000 | #Constraints:      59033
613.49/615.15	c #Conflicts:     141000 | #Constraints:      60033
613.49/615.15	c #Conflicts:     142000 | #Constraints:      61033
613.49/615.15	c #Conflicts:     143000 | #Constraints:      62033
613.49/615.15	c #Conflicts:     144000 | #Constraints:      63033
613.49/615.15	c #Conflicts:     145000 | #Constraints:      64033
613.49/615.15	c INPROCESSING
613.49/615.15	c GARBAGE COLLECT
613.49/615.15	c rational objective 193
694.15/696.07	c #Conflicts:     146000 | #Constraints:      45100
694.15/696.07	c #Conflicts:     147000 | #Constraints:      46100
694.15/696.07	c #Conflicts:     148000 | #Constraints:      47100
694.15/696.07	c #Conflicts:     149000 | #Constraints:      48100
694.15/696.07	c #Conflicts:     150000 | #Constraints:      49100
694.15/696.07	c #Conflicts:     151000 | #Constraints:      50100
694.15/696.07	c #Conflicts:     152000 | #Constraints:      51100
694.15/696.07	c #Conflicts:     153000 | #Constraints:      52100
694.15/696.07	c #Conflicts:     154000 | #Constraints:      53100
694.15/696.07	c #Conflicts:     155000 | #Constraints:      54100
694.15/696.07	c #Conflicts:     156000 | #Constraints:      55100
694.15/696.07	c INPROCESSING
694.15/696.07	c GARBAGE COLLECT
694.15/696.07	c #Conflicts:     157000 | #Constraints:      43863
694.15/696.07	c #Conflicts:     158000 | #Constraints:      44863
694.15/696.07	c #Conflicts:     159000 | #Constraints:      45863
694.15/696.07	c #Conflicts:     160000 | #Constraints:      46863
694.15/696.07	c #Conflicts:     161000 | #Constraints:      47863
694.15/696.07	c #Conflicts:     162000 | #Constraints:      48864
694.15/696.07	c #Conflicts:     163000 | #Constraints:      49864
694.15/696.07	c #Conflicts:     164000 | #Constraints:      50864
694.15/696.07	c #Conflicts:     165000 | #Constraints:      51865
694.15/696.07	c #Conflicts:     166000 | #Constraints:      52865
694.15/696.07	c #Conflicts:     167000 | #Constraints:      53865
694.15/696.07	c #Conflicts:     168000 | #Constraints:      54865
694.15/696.07	c #Conflicts:     169000 | #Constraints:      55865
694.15/696.07	c #Conflicts:     170000 | #Constraints:      56865
694.15/696.07	c #Conflicts:     171000 | #Constraints:      57865
694.15/696.07	c #Conflicts:     172000 | #Constraints:      58865
694.15/696.07	c #Conflicts:     173000 | #Constraints:      59865
694.15/696.07	c #Conflicts:     174000 | #Constraints:      60865
694.15/696.07	c #Conflicts:     175000 | #Constraints:      61865
694.15/696.07	c #Conflicts:     176000 | #Constraints:      62865
694.15/696.07	c #Conflicts:     177000 | #Constraints:      63865
694.15/696.07	c #Conflicts:     178000 | #Constraints:      64865
694.15/696.07	c #Conflicts:     179000 | #Constraints:      65865
694.15/696.07	c #Conflicts:     180000 | #Constraints:      66865
694.15/696.07	c #Conflicts:     181000 | #Constraints:      67865
694.15/696.07	c #Conflicts:     182000 | #Constraints:      68865
694.15/696.07	c #Conflicts:     183000 | #Constraints:      69865
694.15/696.07	c INPROCESSING
694.15/696.07	c GARBAGE COLLECT
694.15/696.07	c rational objective 193
805.33/807.59	c #Conflicts:     184000 | #Constraints:      48020
805.33/807.59	c #Conflicts:     185000 | #Constraints:      49020
805.33/807.59	c #Conflicts:     186000 | #Constraints:      50020
805.33/807.59	c #Conflicts:     187000 | #Constraints:      51020
805.33/807.59	c #Conflicts:     188000 | #Constraints:      52020
805.33/807.59	c #Conflicts:     189000 | #Constraints:      53020
805.33/807.59	c #Conflicts:     190000 | #Constraints:      54020
805.33/807.59	c #Conflicts:     191000 | #Constraints:      55021
805.33/807.59	c #Conflicts:     192000 | #Constraints:      56021
805.33/807.59	c #Conflicts:     193000 | #Constraints:      57021
805.33/807.59	c #Conflicts:     194000 | #Constraints:      58021
805.33/807.59	c #Conflicts:     195000 | #Constraints:      59021
805.33/807.59	c #Conflicts:     196000 | #Constraints:      60021
805.33/807.59	c INPROCESSING
805.33/807.59	c GARBAGE COLLECT
805.33/807.59	c rational objective 193
1045.26/1048.17	c #Conflicts:     197000 | #Constraints:      47718
1045.26/1048.17	c #Conflicts:     198000 | #Constraints:      48718
1045.26/1048.17	c #Conflicts:     199000 | #Constraints:      49718
1045.26/1048.17	c #Conflicts:     200000 | #Constraints:      50718
1045.26/1048.17	c #Conflicts:     201000 | #Constraints:      51718
1045.26/1048.17	c #Conflicts:     202000 | #Constraints:      52719
1045.26/1048.17	c #Conflicts:     203000 | #Constraints:      53719
1045.26/1048.17	c #Conflicts:     204000 | #Constraints:      54719
1045.26/1048.17	c #Conflicts:     205000 | #Constraints:      55719
1045.26/1048.17	c #Conflicts:     206000 | #Constraints:      56719
1045.26/1048.17	c #Conflicts:     207000 | #Constraints:      57719
1045.26/1048.17	c #Conflicts:     208000 | #Constraints:      58719
1045.26/1048.17	c #Conflicts:     209000 | #Constraints:      59719
1045.26/1048.17	c #Conflicts:     210000 | #Constraints:      60719
1045.26/1048.17	c #Conflicts:     211000 | #Constraints:      61719
1045.26/1048.17	c #Conflicts:     212000 | #Constraints:      62719
1045.26/1048.17	c #Conflicts:     213000 | #Constraints:      63719
1045.26/1048.17	c #Conflicts:     214000 | #Constraints:      64719
1045.26/1048.17	c #Conflicts:     215000 | #Constraints:      65719
1045.26/1048.17	c #Conflicts:     216000 | #Constraints:      66719
1045.26/1048.17	c #Conflicts:     217000 | #Constraints:      67719
1045.26/1048.17	c #Conflicts:     218000 | #Constraints:      68719
1045.26/1048.17	c #Conflicts:     219000 | #Constraints:      69719
1045.26/1048.17	c #Conflicts:     220000 | #Constraints:      70720
1045.26/1048.17	c #Conflicts:     221000 | #Constraints:      71720
1045.26/1048.17	c #Conflicts:     222000 | #Constraints:      72720
1045.26/1048.17	c #Conflicts:     223000 | #Constraints:      73720
1045.26/1048.17	c #Conflicts:     224000 | #Constraints:      74720
1045.26/1048.17	c #Conflicts:     225000 | #Constraints:      75720
1045.26/1048.17	c #Conflicts:     226000 | #Constraints:      76720
1045.26/1048.17	c INPROCESSING
1045.26/1048.17	c GARBAGE COLLECT
1045.26/1048.17	c #Conflicts:     227000 | #Constraints:      48357
1045.26/1048.17	c #Conflicts:     228000 | #Constraints:      49357
1045.26/1048.17	c #Conflicts:     229000 | #Constraints:      50357
1045.26/1048.17	c #Conflicts:     230000 | #Constraints:      51357
1045.26/1048.17	c #Conflicts:     231000 | #Constraints:      52357
1045.26/1048.17	c #Conflicts:     232000 | #Constraints:      53358
1045.26/1048.17	c #Conflicts:     233000 | #Constraints:      54358
1045.26/1048.17	c #Conflicts:     234000 | #Constraints:      55358
1045.26/1048.17	c #Conflicts:     235000 | #Constraints:      56358
1045.26/1048.17	c #Conflicts:     236000 | #Constraints:      57358
1045.26/1048.17	c #Conflicts:     237000 | #Constraints:      58358
1045.26/1048.17	c #Conflicts:     238000 | #Constraints:      59358
1045.26/1048.17	c #Conflicts:     239000 | #Constraints:      60358
1045.26/1048.17	c #Conflicts:     240000 | #Constraints:      61358
1045.26/1048.17	c #Conflicts:     241000 | #Constraints:      62358
1045.26/1048.17	c #Conflicts:     242000 | #Constraints:      63358
1045.26/1048.17	c #Conflicts:     243000 | #Constraints:      64358
1045.26/1048.17	c #Conflicts:     244000 | #Constraints:      65358
1045.26/1048.17	c #Conflicts:     245000 | #Constraints:      66358
1045.26/1048.17	c #Conflicts:     246000 | #Constraints:      67358
1045.26/1048.17	c #Conflicts:     247000 | #Constraints:      68359
1045.26/1048.17	c #Conflicts:     248000 | #Constraints:      69359
1045.26/1048.17	c #Conflicts:     249000 | #Constraints:      70359
1045.26/1048.17	c #Conflicts:     250000 | #Constraints:      71359
1045.26/1048.17	c #Conflicts:     251000 | #Constraints:      72359
1045.26/1048.17	c #Conflicts:     252000 | #Constraints:      73359
1045.26/1048.17	c #Conflicts:     253000 | #Constraints:      74359
1045.26/1048.17	c #Conflicts:     254000 | #Constraints:      75359
1045.26/1048.17	c #Conflicts:     255000 | #Constraints:      76359
1045.26/1048.17	c #Conflicts:     256000 | #Constraints:      77359
1045.26/1048.17	c #Conflicts:     257000 | #Constraints:      78359
1045.26/1048.17	c #Conflicts:     258000 | #Constraints:      79359
1045.26/1048.17	c INPROCESSING
1045.26/1048.17	c GARBAGE COLLECT
1045.26/1048.17	c rational objective 193
1072.97/1075.91	c #Conflicts:     259000 | #Constraints:      53126
1072.97/1075.91	c #Conflicts:     260000 | #Constraints:      54126
1072.97/1075.91	c #Conflicts:     261000 | #Constraints:      55127
1072.97/1075.91	c #Conflicts:     262000 | #Constraints:      56127
1072.97/1075.91	c #Conflicts:     263000 | #Constraints:      57127
1072.97/1075.91	c #Conflicts:     264000 | #Constraints:      58127
1072.97/1075.91	c #Conflicts:     265000 | #Constraints:      59127
1072.97/1075.91	c #Conflicts:     266000 | #Constraints:      60127
1072.97/1075.91	c #Conflicts:     267000 | #Constraints:      61127
1072.97/1075.91	c #Conflicts:     268000 | #Constraints:      62127
1072.97/1075.91	c #Conflicts:     269000 | #Constraints:      63127
1072.97/1075.91	c #Conflicts:     270000 | #Constraints:      64127
1072.97/1075.91	c #Conflicts:     271000 | #Constraints:      65127
1072.97/1075.91	c #Conflicts:     272000 | #Constraints:      66127
1072.97/1075.91	c #Conflicts:     273000 | #Constraints:      67127
1072.97/1075.91	c INPROCESSING
1072.97/1075.91	c GARBAGE COLLECT
1072.97/1075.91	c rational objective 193
1168.90/1172.10	c #Conflicts:     274000 | #Constraints:      52150
1168.90/1172.10	c #Conflicts:     275000 | #Constraints:      53150
1168.90/1172.10	c #Conflicts:     276000 | #Constraints:      54150
1168.90/1172.10	c #Conflicts:     277000 | #Constraints:      55150
1168.90/1172.10	c #Conflicts:     278000 | #Constraints:      56151
1168.90/1172.10	c #Conflicts:     279000 | #Constraints:      57151
1168.90/1172.10	c #Conflicts:     280000 | #Constraints:      58151
1168.90/1172.10	c #Conflicts:     281000 | #Constraints:      59151
1168.90/1172.10	c #Conflicts:     282000 | #Constraints:      60151
1168.90/1172.10	c #Conflicts:     283000 | #Constraints:      61151
1168.90/1172.10	c #Conflicts:     284000 | #Constraints:      62151
1168.90/1172.10	c #Conflicts:     285000 | #Constraints:      63152
1168.90/1172.10	c #Conflicts:     286000 | #Constraints:      64152
1168.90/1172.10	c #Conflicts:     287000 | #Constraints:      65152
1168.90/1172.10	c #Conflicts:     288000 | #Constraints:      66152
1168.90/1172.10	c #Conflicts:     289000 | #Constraints:      67152
1168.90/1172.10	c #Conflicts:     290000 | #Constraints:      68152
1168.90/1172.10	c #Conflicts:     291000 | #Constraints:      69152
1168.90/1172.10	c #Conflicts:     292000 | #Constraints:      70152
1168.90/1172.10	c #Conflicts:     293000 | #Constraints:      71152
1168.90/1172.10	c #Conflicts:     294000 | #Constraints:      72152
1168.90/1172.10	c #Conflicts:     295000 | #Constraints:      73152
1168.90/1172.10	c #Conflicts:     296000 | #Constraints:      74152
1168.90/1172.10	c #Conflicts:     297000 | #Constraints:      75152
1168.90/1172.10	c #Conflicts:     298000 | #Constraints:      76152
1168.90/1172.10	c #Conflicts:     299000 | #Constraints:      77152
1168.90/1172.10	c #Conflicts:     300000 | #Constraints:      78152
1168.90/1172.10	c #Conflicts:     301000 | #Constraints:      79152
1168.90/1172.10	c #Conflicts:     302000 | #Constraints:      80152
1168.90/1172.10	c #Conflicts:     303000 | #Constraints:      81152
1168.90/1172.10	c #Conflicts:     304000 | #Constraints:      82152
1168.90/1172.10	c #Conflicts:     305000 | #Constraints:      83152
1168.90/1172.10	c #Conflicts:     306000 | #Constraints:      84152
1168.90/1172.10	c #Conflicts:     307000 | #Constraints:      85152
1168.90/1172.10	c #Conflicts:     308000 | #Constraints:      86152
1168.90/1172.10	c INPROCESSING
1168.90/1172.10	c GARBAGE COLLECT
1168.90/1172.10	c rational objective 193
1206.69/1210.04	c #Conflicts:     309000 | #Constraints:      56499
1206.69/1210.04	c #Conflicts:     310000 | #Constraints:      57499
1206.69/1210.04	c #Conflicts:     311000 | #Constraints:      58499
1206.69/1210.04	c #Conflicts:     312000 | #Constraints:      59499
1206.69/1210.04	c #Conflicts:     313000 | #Constraints:      60499
1206.69/1210.04	c #Conflicts:     314000 | #Constraints:      61500
1206.69/1210.04	c #Conflicts:     315000 | #Constraints:      62500
1206.69/1210.04	c #Conflicts:     316000 | #Constraints:      63500
1206.69/1210.04	c #Conflicts:     317000 | #Constraints:      64500
1206.69/1210.04	c #Conflicts:     318000 | #Constraints:      65500
1206.69/1210.04	c #Conflicts:     319000 | #Constraints:      66501
1206.69/1210.04	c #Conflicts:     320000 | #Constraints:      67501
1206.69/1210.04	c #Conflicts:     321000 | #Constraints:      68501
1206.69/1210.04	c #Conflicts:     322000 | #Constraints:      69501
1206.69/1210.04	c #Conflicts:     323000 | #Constraints:      70501
1206.69/1210.04	c #Conflicts:     324000 | #Constraints:      71501
1206.69/1210.04	c INPROCESSING
1206.69/1210.04	c GARBAGE COLLECT
1206.69/1210.04	c rational objective 193
1351.78/1355.50	c #Conflicts:     325000 | #Constraints:      55407
1351.78/1355.50	c #Conflicts:     326000 | #Constraints:      56407
1351.78/1355.50	c #Conflicts:     327000 | #Constraints:      57407
1351.78/1355.50	c #Conflicts:     328000 | #Constraints:      58407
1351.78/1355.50	c #Conflicts:     329000 | #Constraints:      59407
1351.78/1355.50	c #Conflicts:     330000 | #Constraints:      60407
1351.78/1355.50	c #Conflicts:     331000 | #Constraints:      61407
1351.78/1355.50	c #Conflicts:     332000 | #Constraints:      62407
1351.78/1355.50	c #Conflicts:     333000 | #Constraints:      63407
1351.78/1355.50	c #Conflicts:     334000 | #Constraints:      64407
1351.78/1355.50	c #Conflicts:     335000 | #Constraints:      65407
1351.78/1355.50	c #Conflicts:     336000 | #Constraints:      66407
1351.78/1355.50	c #Conflicts:     337000 | #Constraints:      67407
1351.78/1355.50	c #Conflicts:     338000 | #Constraints:      68407
1351.78/1355.50	c #Conflicts:     339000 | #Constraints:      69407
1351.78/1355.50	c #Conflicts:     340000 | #Constraints:      70407
1351.78/1355.50	c #Conflicts:     341000 | #Constraints:      71407
1351.78/1355.50	c #Conflicts:     342000 | #Constraints:      72407
1351.78/1355.50	c #Conflicts:     343000 | #Constraints:      73407
1351.78/1355.50	c #Conflicts:     344000 | #Constraints:      74407
1351.78/1355.50	c #Conflicts:     345000 | #Constraints:      75407
1351.78/1355.50	c #Conflicts:     346000 | #Constraints:      76407
1351.78/1355.50	c #Conflicts:     347000 | #Constraints:      77407
1351.78/1355.50	c #Conflicts:     348000 | #Constraints:      78407
1351.78/1355.50	c #Conflicts:     349000 | #Constraints:      79408
1351.78/1355.50	c #Conflicts:     350000 | #Constraints:      80408
1351.78/1355.50	c #Conflicts:     351000 | #Constraints:      81408
1351.78/1355.50	c #Conflicts:     352000 | #Constraints:      82408
1351.78/1355.50	c #Conflicts:     353000 | #Constraints:      83408
1351.78/1355.50	c #Conflicts:     354000 | #Constraints:      84408
1351.78/1355.50	c #Conflicts:     355000 | #Constraints:      85408
1351.78/1355.50	c #Conflicts:     356000 | #Constraints:      86408
1351.78/1355.50	c #Conflicts:     357000 | #Constraints:      87408
1351.78/1355.50	c #Conflicts:     358000 | #Constraints:      88409
1351.78/1355.50	c #Conflicts:     359000 | #Constraints:      89409
1351.78/1355.50	c #Conflicts:     360000 | #Constraints:      90409
1351.78/1355.50	c #Conflicts:     361000 | #Constraints:      91409
1351.78/1355.50	c #Conflicts:     362000 | #Constraints:      92409
1351.78/1355.50	c INPROCESSING
1351.78/1355.50	c GARBAGE COLLECT
1351.78/1355.50	c rational objective 193
1744.75/1749.61	c #Conflicts:     363000 | #Constraints:      59599
1744.75/1749.61	c #Conflicts:     364000 | #Constraints:      60599
1744.75/1749.61	c #Conflicts:     365000 | #Constraints:      61599
1744.75/1749.61	c #Conflicts:     366000 | #Constraints:      62599
1744.75/1749.61	c #Conflicts:     367000 | #Constraints:      63599
1744.75/1749.61	c #Conflicts:     368000 | #Constraints:      64599
1744.75/1749.61	c #Conflicts:     369000 | #Constraints:      65599
1744.75/1749.61	c #Conflicts:     370000 | #Constraints:      66599
1744.75/1749.61	c #Conflicts:     371000 | #Constraints:      67600
1744.75/1749.61	c #Conflicts:     372000 | #Constraints:      68600
1744.75/1749.61	c #Conflicts:     373000 | #Constraints:      69600
1744.75/1749.61	c #Conflicts:     374000 | #Constraints:      70600
1744.75/1749.61	c #Conflicts:     375000 | #Constraints:      71600
1744.75/1749.61	c #Conflicts:     376000 | #Constraints:      72600
1744.75/1749.61	c #Conflicts:     377000 | #Constraints:      73600
1744.75/1749.61	c #Conflicts:     378000 | #Constraints:      74600
1744.75/1749.61	c #Conflicts:     379000 | #Constraints:      75600
1744.75/1749.61	c #Conflicts:     380000 | #Constraints:      76600
1744.75/1749.61	c INPROCESSING
1744.75/1749.61	c GARBAGE COLLECT
1744.75/1749.61	c #Conflicts:     381000 | #Constraints:      59104
1744.75/1749.61	c #Conflicts:     382000 | #Constraints:      60104
1744.75/1749.61	c #Conflicts:     383000 | #Constraints:      61104
1744.75/1749.61	c #Conflicts:     384000 | #Constraints:      62104
1744.75/1749.61	c #Conflicts:     385000 | #Constraints:      63104
1744.75/1749.61	c #Conflicts:     386000 | #Constraints:      64104
1744.75/1749.61	c #Conflicts:     387000 | #Constraints:      65104
1744.75/1749.61	c #Conflicts:     388000 | #Constraints:      66104
1744.75/1749.61	c #Conflicts:     389000 | #Constraints:      67104
1744.75/1749.61	c #Conflicts:     390000 | #Constraints:      68104
1744.75/1749.61	c #Conflicts:     391000 | #Constraints:      69104
1744.75/1749.61	c #Conflicts:     392000 | #Constraints:      70104
1744.75/1749.61	c #Conflicts:     393000 | #Constraints:      71104
1744.75/1749.61	c #Conflicts:     394000 | #Constraints:      72104
1744.75/1749.61	c #Conflicts:     395000 | #Constraints:      73104
1744.75/1749.61	c #Conflicts:     396000 | #Constraints:      74104
1744.75/1749.61	c #Conflicts:     397000 | #Constraints:      75104
1744.75/1749.61	c #Conflicts:     398000 | #Constraints:      76104
1744.75/1749.61	c #Conflicts:     399000 | #Constraints:      77104
1744.75/1749.61	c #Conflicts:     400000 | #Constraints:      78104
1744.75/1749.61	c #Conflicts:     401000 | #Constraints:      79104
1744.75/1749.61	c #Conflicts:     402000 | #Constraints:      80104
1744.75/1749.61	c #Conflicts:     403000 | #Constraints:      81104
1744.75/1749.61	c #Conflicts:     404000 | #Constraints:      82104
1744.75/1749.61	c #Conflicts:     405000 | #Constraints:      83104
1744.75/1749.61	c #Conflicts:     406000 | #Constraints:      84104
1744.75/1749.61	c #Conflicts:     407000 | #Constraints:      85104
1744.75/1749.61	c #Conflicts:     408000 | #Constraints:      86104
1744.75/1749.61	c #Conflicts:     409000 | #Constraints:      87104
1744.75/1749.61	c #Conflicts:     410000 | #Constraints:      88105
1744.75/1749.61	c #Conflicts:     411000 | #Constraints:      89105
1744.75/1749.61	c #Conflicts:     412000 | #Constraints:      90105
1744.75/1749.61	c #Conflicts:     413000 | #Constraints:      91105
1744.75/1749.61	c #Conflicts:     414000 | #Constraints:      92105
1744.75/1749.61	c #Conflicts:     415000 | #Constraints:      93105
1744.75/1749.61	c #Conflicts:     416000 | #Constraints:      94105
1744.75/1749.61	c #Conflicts:     417000 | #Constraints:      95105
1744.75/1749.61	c #Conflicts:     418000 | #Constraints:      96106
1744.75/1749.61	c #Conflicts:     419000 | #Constraints:      97106
1744.75/1749.61	c #Conflicts:     420000 | #Constraints:      98106
1744.75/1749.61	c #Conflicts:     421000 | #Constraints:      99106
1744.75/1749.61	c INPROCESSING
1744.75/1749.61	c GARBAGE COLLECT
1744.75/1749.61	c rational objective 193
1781.44/1786.49	c #Conflicts:     422000 | #Constraints:      62869
1781.44/1786.49	c #Conflicts:     423000 | #Constraints:      63869
1781.44/1786.49	c #Conflicts:     424000 | #Constraints:      64869
1781.44/1786.49	c #Conflicts:     425000 | #Constraints:      65869
1781.44/1786.49	c #Conflicts:     426000 | #Constraints:      66869
1781.44/1786.49	c #Conflicts:     427000 | #Constraints:      67869
1781.44/1786.49	c #Conflicts:     428000 | #Constraints:      68869
1781.44/1786.49	c #Conflicts:     429000 | #Constraints:      69869
1781.44/1786.49	c #Conflicts:     430000 | #Constraints:      70869
1781.44/1786.49	c #Conflicts:     431000 | #Constraints:      71870
1781.44/1786.49	c #Conflicts:     432000 | #Constraints:      72870
1781.44/1786.49	c #Conflicts:     433000 | #Constraints:      73870
1781.44/1786.49	c #Conflicts:     434000 | #Constraints:      74870
1781.44/1786.49	c #Conflicts:     435000 | #Constraints:      75870
1781.44/1786.49	c #Conflicts:     436000 | #Constraints:      76870
1781.44/1786.49	c #Conflicts:     437000 | #Constraints:      77870
1781.44/1786.49	c #Conflicts:     438000 | #Constraints:      78870
1781.44/1786.49	c #Conflicts:     439000 | #Constraints:      79870
1781.44/1786.49	c #Conflicts:     440000 | #Constraints:      80870
1781.44/1786.49	c INPROCESSING
1781.44/1786.49	c GARBAGE COLLECT
1781.44/1786.49	c rational objective 193
1995.73/2001.38	c #Conflicts:     441000 | #Constraints:      62431
1995.73/2001.38	c #Conflicts:     442000 | #Constraints:      63431
1995.73/2001.38	c #Conflicts:     443000 | #Constraints:      64431
1995.73/2001.38	c #Conflicts:     444000 | #Constraints:      65431
1995.73/2001.38	c #Conflicts:     445000 | #Constraints:      66431
1995.73/2001.38	c #Conflicts:     446000 | #Constraints:      67431
1995.73/2001.38	c #Conflicts:     447000 | #Constraints:      68431
1995.73/2001.38	c #Conflicts:     448000 | #Constraints:      69431
1995.73/2001.38	c #Conflicts:     449000 | #Constraints:      70431
1995.73/2001.38	c #Conflicts:     450000 | #Constraints:      71431
1995.73/2001.38	c #Conflicts:     451000 | #Constraints:      72432
1995.73/2001.38	c #Conflicts:     452000 | #Constraints:      73432
1995.73/2001.38	c #Conflicts:     453000 | #Constraints:      74432
1995.73/2001.38	c #Conflicts:     454000 | #Constraints:      75433
1995.73/2001.38	c #Conflicts:     455000 | #Constraints:      76433
1995.73/2001.38	c #Conflicts:     456000 | #Constraints:      77433
1995.73/2001.38	c #Conflicts:     457000 | #Constraints:      78433
1995.73/2001.38	c #Conflicts:     458000 | #Constraints:      79433
1995.73/2001.38	c #Conflicts:     459000 | #Constraints:      80433
1995.73/2001.38	c #Conflicts:     460000 | #Constraints:      81433
1995.73/2001.38	c #Conflicts:     461000 | #Constraints:      82433
1995.73/2001.38	c #Conflicts:     462000 | #Constraints:      83433
1995.73/2001.38	c #Conflicts:     463000 | #Constraints:      84433
1995.73/2001.38	c #Conflicts:     464000 | #Constraints:      85433
1995.73/2001.38	c #Conflicts:     465000 | #Constraints:      86433
1995.73/2001.38	c #Conflicts:     466000 | #Constraints:      87433
1995.73/2001.38	c #Conflicts:     467000 | #Constraints:      88433
1995.73/2001.38	c #Conflicts:     468000 | #Constraints:      89433
1995.73/2001.38	c #Conflicts:     469000 | #Constraints:      90433
1995.73/2001.38	c #Conflicts:     470000 | #Constraints:      91433
1995.73/2001.38	c #Conflicts:     471000 | #Constraints:      92433
1995.73/2001.38	c #Conflicts:     472000 | #Constraints:      93433
1995.73/2001.38	c #Conflicts:     473000 | #Constraints:      94433
1995.73/2001.38	c #Conflicts:     474000 | #Constraints:      95433
1995.73/2001.38	c #Conflicts:     475000 | #Constraints:      96433
1995.73/2001.38	c #Conflicts:     476000 | #Constraints:      97433
1995.73/2001.38	c #Conflicts:     477000 | #Constraints:      98433
1995.73/2001.38	c #Conflicts:     478000 | #Constraints:      99433
1995.73/2001.38	c #Conflicts:     479000 | #Constraints:     100433
1995.73/2001.38	c #Conflicts:     480000 | #Constraints:     101433
1995.73/2001.38	c #Conflicts:     481000 | #Constraints:     102434
1995.73/2001.38	c #Conflicts:     482000 | #Constraints:     103434
1995.73/2001.38	c #Conflicts:     483000 | #Constraints:     104435
1995.73/2001.38	c #Conflicts:     484000 | #Constraints:     105436
1995.73/2001.38	c INPROCESSING
1995.73/2001.38	c GARBAGE COLLECT
1995.73/2001.38	c rational objective 193
2049.28/2055.05	c #Conflicts:     485000 | #Constraints:      65860
2049.28/2055.05	c #Conflicts:     486000 | #Constraints:      66860
2049.28/2055.05	c #Conflicts:     487000 | #Constraints:      67860
2049.28/2055.05	c #Conflicts:     488000 | #Constraints:      68860
2049.28/2055.05	c #Conflicts:     489000 | #Constraints:      69860
2049.28/2055.05	c #Conflicts:     490000 | #Constraints:      70860
2049.28/2055.05	c #Conflicts:     491000 | #Constraints:      71860
2049.28/2055.05	c #Conflicts:     492000 | #Constraints:      72860
2049.28/2055.05	c #Conflicts:     493000 | #Constraints:      73860
2049.28/2055.05	c #Conflicts:     494000 | #Constraints:      74860
2049.28/2055.05	c #Conflicts:     495000 | #Constraints:      75860
2049.28/2055.05	c #Conflicts:     496000 | #Constraints:      76860
2049.28/2055.05	c #Conflicts:     497000 | #Constraints:      77861
2049.28/2055.05	c #Conflicts:     498000 | #Constraints:      78861
2049.28/2055.05	c #Conflicts:     499000 | #Constraints:      79861
2049.28/2055.05	c #Conflicts:     500000 | #Constraints:      80861
2049.28/2055.05	c #Conflicts:     501000 | #Constraints:      81861
2049.28/2055.05	c #Conflicts:     502000 | #Constraints:      82861
2049.28/2055.05	c #Conflicts:     503000 | #Constraints:      83861
2049.28/2055.05	c #Conflicts:     504000 | #Constraints:      84861
2049.28/2055.05	c INPROCESSING
2049.28/2055.05	c GARBAGE COLLECT
2049.28/2055.05	c rational objective 193
2271.04/2277.49	c #Conflicts:     505000 | #Constraints:      63789
2271.04/2277.49	c #Conflicts:     506000 | #Constraints:      64789
2271.04/2277.49	c #Conflicts:     507000 | #Constraints:      65789
2271.04/2277.49	c #Conflicts:     508000 | #Constraints:      66789
2271.04/2277.49	c #Conflicts:     509000 | #Constraints:      67789
2271.04/2277.49	c #Conflicts:     510000 | #Constraints:      68789
2271.04/2277.49	c #Conflicts:     511000 | #Constraints:      69789
2271.04/2277.49	c #Conflicts:     512000 | #Constraints:      70789
2271.04/2277.49	c #Conflicts:     513000 | #Constraints:      71789
2271.04/2277.49	c #Conflicts:     514000 | #Constraints:      72789
2271.04/2277.49	c #Conflicts:     515000 | #Constraints:      73789
2271.04/2277.49	c #Conflicts:     516000 | #Constraints:      74789
2271.04/2277.49	c #Conflicts:     517000 | #Constraints:      75789
2271.04/2277.49	c #Conflicts:     518000 | #Constraints:      76789
2271.04/2277.49	c #Conflicts:     519000 | #Constraints:      77789
2271.04/2277.49	c #Conflicts:     520000 | #Constraints:      78789
2271.04/2277.49	c #Conflicts:     521000 | #Constraints:      79790
2271.04/2277.49	c #Conflicts:     522000 | #Constraints:      80790
2271.04/2277.49	c #Conflicts:     523000 | #Constraints:      81790
2271.04/2277.49	c #Conflicts:     524000 | #Constraints:      82790
2271.04/2277.49	c #Conflicts:     525000 | #Constraints:      83790
2271.04/2277.49	c #Conflicts:     526000 | #Constraints:      84790
2271.04/2277.49	c #Conflicts:     527000 | #Constraints:      85790
2271.04/2277.49	c #Conflicts:     528000 | #Constraints:      86790
2271.04/2277.49	c #Conflicts:     529000 | #Constraints:      87790
2271.04/2277.49	c #Conflicts:     530000 | #Constraints:      88790
2271.04/2277.49	c #Conflicts:     531000 | #Constraints:      89790
2271.04/2277.49	c #Conflicts:     532000 | #Constraints:      90790
2271.04/2277.49	c #Conflicts:     533000 | #Constraints:      91790
2271.04/2277.49	c #Conflicts:     534000 | #Constraints:      92790
2271.04/2277.49	c #Conflicts:     535000 | #Constraints:      93790
2271.04/2277.49	c #Conflicts:     536000 | #Constraints:      94790
2271.04/2277.49	c #Conflicts:     537000 | #Constraints:      95790
2271.04/2277.49	c #Conflicts:     538000 | #Constraints:      96790
2271.04/2277.49	c #Conflicts:     539000 | #Constraints:      97790
2271.04/2277.49	c #Conflicts:     540000 | #Constraints:      98790
2271.04/2277.49	c #Conflicts:     541000 | #Constraints:      99790
2271.04/2277.49	c #Conflicts:     542000 | #Constraints:     100790
2271.04/2277.49	c #Conflicts:     543000 | #Constraints:     101791
2271.04/2277.49	c #Conflicts:     544000 | #Constraints:     102791
2271.04/2277.49	c #Conflicts:     545000 | #Constraints:     103791
2271.04/2277.49	c #Conflicts:     546000 | #Constraints:     104791
2271.04/2277.49	c #Conflicts:     547000 | #Constraints:     105791
2271.04/2277.49	c #Conflicts:     548000 | #Constraints:     106791
2271.04/2277.49	c #Conflicts:     549000 | #Constraints:     107791
2271.04/2277.49	c #Conflicts:     550000 | #Constraints:     108791
2271.04/2277.49	c #Conflicts:     551000 | #Constraints:     109791
2271.04/2277.49	c #Conflicts:     552000 | #Constraints:     110791
2271.04/2277.49	c INPROCESSING
2271.04/2277.49	c GARBAGE COLLECT
2271.04/2277.49	c rational objective 193
2358.21/2364.84	c #Conflicts:     553000 | #Constraints:      69193
2358.21/2364.84	c #Conflicts:     554000 | #Constraints:      70193
2358.21/2364.84	c #Conflicts:     555000 | #Constraints:      71193
2358.21/2364.84	c #Conflicts:     556000 | #Constraints:      72194
2358.21/2364.84	c #Conflicts:     557000 | #Constraints:      73194
2358.21/2364.84	c #Conflicts:     558000 | #Constraints:      74196
2358.21/2364.84	c #Conflicts:     559000 | #Constraints:      75196
2358.21/2364.84	c #Conflicts:     560000 | #Constraints:      76196
2358.21/2364.84	c #Conflicts:     561000 | #Constraints:      77197
2358.21/2364.84	c #Conflicts:     562000 | #Constraints:      78197
2358.21/2364.84	c #Conflicts:     563000 | #Constraints:      79197
2358.21/2364.84	c #Conflicts:     564000 | #Constraints:      80197
2358.21/2364.84	c #Conflicts:     565000 | #Constraints:      81197
2358.21/2364.84	c #Conflicts:     566000 | #Constraints:      82197
2358.21/2364.84	c #Conflicts:     567000 | #Constraints:      83197
2358.21/2364.84	c #Conflicts:     568000 | #Constraints:      84197
2358.21/2364.84	c #Conflicts:     569000 | #Constraints:      85197
2358.21/2364.84	c #Conflicts:     570000 | #Constraints:      86197
2358.21/2364.84	c #Conflicts:     571000 | #Constraints:      87197
2358.21/2364.84	c #Conflicts:     572000 | #Constraints:      88197
2358.21/2364.84	c #Conflicts:     573000 | #Constraints:      89197
2358.21/2364.84	c INPROCESSING
2358.21/2364.84	c GARBAGE COLLECT
2358.21/2364.84	c rational objective 193
2719.20/2726.64	c #Conflicts:     574000 | #Constraints:      67671
2719.20/2726.64	c #Conflicts:     575000 | #Constraints:      68671
2719.20/2726.64	c #Conflicts:     576000 | #Constraints:      69671
2719.20/2726.64	c #Conflicts:     577000 | #Constraints:      70671
2719.20/2726.64	c #Conflicts:     578000 | #Constraints:      71671
2719.20/2726.64	c #Conflicts:     579000 | #Constraints:      72671
2719.20/2726.64	c #Conflicts:     580000 | #Constraints:      73671
2719.20/2726.64	c #Conflicts:     581000 | #Constraints:      74671
2719.20/2726.64	c #Conflicts:     582000 | #Constraints:      75671
2719.20/2726.64	c #Conflicts:     583000 | #Constraints:      76671
2719.20/2726.64	c #Conflicts:     584000 | #Constraints:      77671
2719.20/2726.64	c #Conflicts:     585000 | #Constraints:      78671
2719.20/2726.64	c #Conflicts:     586000 | #Constraints:      79671
2719.20/2726.64	c #Conflicts:     587000 | #Constraints:      80671
2719.20/2726.64	c #Conflicts:     588000 | #Constraints:      81671
2719.20/2726.64	c #Conflicts:     589000 | #Constraints:      82671
2719.20/2726.64	c #Conflicts:     590000 | #Constraints:      83671
2719.20/2726.64	c #Conflicts:     591000 | #Constraints:      84671
2719.20/2726.64	c #Conflicts:     592000 | #Constraints:      85671
2719.20/2726.64	c #Conflicts:     593000 | #Constraints:      86671
2719.20/2726.64	c #Conflicts:     594000 | #Constraints:      87671
2719.20/2726.64	c #Conflicts:     595000 | #Constraints:      88672
2719.20/2726.64	c #Conflicts:     596000 | #Constraints:      89672
2719.20/2726.64	c #Conflicts:     597000 | #Constraints:      90672
2719.20/2726.64	c #Conflicts:     598000 | #Constraints:      91672
2719.20/2726.64	c #Conflicts:     599000 | #Constraints:      92672
2719.20/2726.64	c #Conflicts:     600000 | #Constraints:      93672
2719.20/2726.64	c #Conflicts:     601000 | #Constraints:      94672
2719.20/2726.64	c #Conflicts:     602000 | #Constraints:      95672
2719.20/2726.64	c #Conflicts:     603000 | #Constraints:      96672
2719.20/2726.64	c #Conflicts:     604000 | #Constraints:      97672
2719.20/2726.64	c #Conflicts:     605000 | #Constraints:      98672
2719.20/2726.64	c #Conflicts:     606000 | #Constraints:      99672
2719.20/2726.64	c #Conflicts:     607000 | #Constraints:     100672
2719.20/2726.64	c #Conflicts:     608000 | #Constraints:     101672
2719.20/2726.64	c #Conflicts:     609000 | #Constraints:     102672
2719.20/2726.64	c #Conflicts:     610000 | #Constraints:     103672
2719.20/2726.64	c #Conflicts:     611000 | #Constraints:     104672
2719.20/2726.64	c #Conflicts:     612000 | #Constraints:     105672
2719.20/2726.64	c #Conflicts:     613000 | #Constraints:     106672
2719.20/2726.64	c #Conflicts:     614000 | #Constraints:     107672
2719.20/2726.64	c #Conflicts:     615000 | #Constraints:     108672
2719.20/2726.64	c #Conflicts:     616000 | #Constraints:     109672
2719.20/2726.64	c #Conflicts:     617000 | #Constraints:     110672
2719.20/2726.64	c #Conflicts:     618000 | #Constraints:     111672
2719.20/2726.64	c #Conflicts:     619000 | #Constraints:     112673
2719.20/2726.64	c #Conflicts:     620000 | #Constraints:     113673
2719.20/2726.64	c #Conflicts:     621000 | #Constraints:     114673
2719.20/2726.64	c #Conflicts:     622000 | #Constraints:     115673
2719.20/2726.64	c #Conflicts:     623000 | #Constraints:     116673
2719.20/2726.64	c #Conflicts:     624000 | #Constraints:     117673
2719.20/2726.64	c INPROCESSING
2719.20/2726.64	c GARBAGE COLLECT
2719.20/2726.64	c #Conflicts:     625000 | #Constraints:      72631
2719.20/2726.64	c #Conflicts:     626000 | #Constraints:      73631
2719.20/2726.64	c #Conflicts:     627000 | #Constraints:      74631
2719.20/2726.64	c #Conflicts:     628000 | #Constraints:      75631
2719.20/2726.64	c #Conflicts:     629000 | #Constraints:      76631
2719.20/2726.64	c #Conflicts:     630000 | #Constraints:      77631
2719.20/2726.64	c #Conflicts:     631000 | #Constraints:      78631
2719.20/2726.64	c #Conflicts:     632000 | #Constraints:      79631
2719.20/2726.64	c #Conflicts:     633000 | #Constraints:      80631
2719.20/2726.64	c #Conflicts:     634000 | #Constraints:      81631
2719.20/2726.64	c #Conflicts:     635000 | #Constraints:      82631
2719.20/2726.64	c #Conflicts:     636000 | #Constraints:      83631
2719.20/2726.64	c #Conflicts:     637000 | #Constraints:      84631
2719.20/2726.64	c #Conflicts:     638000 | #Constraints:      85631
2719.20/2726.64	c #Conflicts:     639000 | #Constraints:      86631
2719.20/2726.64	c #Conflicts:     640000 | #Constraints:      87631
2719.20/2726.64	c #Conflicts:     641000 | #Constraints:      88631
2719.20/2726.64	c #Conflicts:     642000 | #Constraints:      89631
2719.20/2726.64	c #Conflicts:     643000 | #Constraints:      90631
2719.20/2726.64	c #Conflicts:     644000 | #Constraints:      91631
2719.20/2726.64	c #Conflicts:     645000 | #Constraints:      92631
2719.20/2726.64	c #Conflicts:     646000 | #Constraints:      93631
2719.20/2726.64	c INPROCESSING
2719.20/2726.64	c GARBAGE COLLECT
2719.20/2726.64	c #Conflicts:     647000 | #Constraints:      71075
2719.20/2726.64	c #Conflicts:     648000 | #Constraints:      72075
2719.20/2726.64	c #Conflicts:     649000 | #Constraints:      73075
2719.20/2726.64	c #Conflicts:     650000 | #Constraints:      74075
2719.20/2726.64	c #Conflicts:     651000 | #Constraints:      75075
2854.34/2862.06	c #Conflicts:     652000 | #Constraints:      76075
2854.34/2862.06	c #Conflicts:     653000 | #Constraints:      77076
2854.34/2862.06	c #Conflicts:     654000 | #Constraints:      78076
2854.34/2862.06	c #Conflicts:     655000 | #Constraints:      79076
2854.34/2862.06	c #Conflicts:     656000 | #Constraints:      80076
2854.34/2862.06	c #Conflicts:     657000 | #Constraints:      81076
2854.34/2862.06	c #Conflicts:     658000 | #Constraints:      82076
2854.34/2862.06	c #Conflicts:     659000 | #Constraints:      83076
2854.34/2862.06	c #Conflicts:     660000 | #Constraints:      84076
2854.34/2862.06	c #Conflicts:     661000 | #Constraints:      85076
2854.34/2862.06	c #Conflicts:     662000 | #Constraints:      86076
2854.34/2862.06	c #Conflicts:     663000 | #Constraints:      87076
2854.34/2862.06	c #Conflicts:     664000 | #Constraints:      88076
2854.34/2862.06	c #Conflicts:     665000 | #Constraints:      89077
2854.34/2862.06	c #Conflicts:     666000 | #Constraints:      90077
2854.34/2862.06	c #Conflicts:     667000 | #Constraints:      91077
2854.34/2862.06	c #Conflicts:     668000 | #Constraints:      92077
2854.34/2862.06	c #Conflicts:     669000 | #Constraints:      93077
2854.34/2862.06	c #Conflicts:     670000 | #Constraints:      94077
2854.34/2862.06	c #Conflicts:     671000 | #Constraints:      95077
2854.34/2862.06	c #Conflicts:     672000 | #Constraints:      96077
2854.34/2862.06	c #Conflicts:     673000 | #Constraints:      97077
2854.34/2862.06	c #Conflicts:     674000 | #Constraints:      98077
2854.34/2862.06	c #Conflicts:     675000 | #Constraints:      99077
2854.34/2862.06	c #Conflicts:     676000 | #Constraints:     100077
2854.34/2862.06	c #Conflicts:     677000 | #Constraints:     101077
2854.34/2862.06	c #Conflicts:     678000 | #Constraints:     102077
2854.34/2862.06	c #Conflicts:     679000 | #Constraints:     103077
2854.34/2862.06	c #Conflicts:     680000 | #Constraints:     104077
2854.34/2862.06	c #Conflicts:     681000 | #Constraints:     105077
2854.34/2862.06	c #Conflicts:     682000 | #Constraints:     106077
2854.34/2862.06	c #Conflicts:     683000 | #Constraints:     107077
2854.34/2862.06	c #Conflicts:     684000 | #Constraints:     108077
2854.34/2862.06	c #Conflicts:     685000 | #Constraints:     109077
2854.34/2862.06	c #Conflicts:     686000 | #Constraints:     110077
2854.34/2862.06	c #Conflicts:     687000 | #Constraints:     111077
2854.34/2862.06	c #Conflicts:     688000 | #Constraints:     112077
2854.34/2862.06	c #Conflicts:     689000 | #Constraints:     113077
2854.34/2862.06	c #Conflicts:     690000 | #Constraints:     114077
2854.34/2862.06	c #Conflicts:     691000 | #Constraints:     115077
2854.34/2862.06	c #Conflicts:     692000 | #Constraints:     116077
2854.34/2862.06	c #Conflicts:     693000 | #Constraints:     117077
2854.34/2862.06	c #Conflicts:     694000 | #Constraints:     118077
2854.34/2862.06	c #Conflicts:     695000 | #Constraints:     119077
2854.34/2862.06	c #Conflicts:     696000 | #Constraints:     120077
2854.34/2862.06	c #Conflicts:     697000 | #Constraints:     121077
2854.34/2862.06	c #Conflicts:     698000 | #Constraints:     122077
2854.34/2862.06	c #Conflicts:     699000 | #Constraints:     123077
2854.34/2862.06	c #Conflicts:     700000 | #Constraints:     124077
2854.34/2862.06	c INPROCESSING
2854.34/2862.06	c GARBAGE COLLECT
2854.34/2862.06	c rational objective 193
2901.25/2909.00	c #Conflicts:     701000 | #Constraints:      75426
2901.25/2909.00	c #Conflicts:     702000 | #Constraints:      76426
2901.25/2909.00	c #Conflicts:     703000 | #Constraints:      77426
2901.25/2909.00	c #Conflicts:     704000 | #Constraints:      78427
2901.25/2909.00	c #Conflicts:     705000 | #Constraints:      79427
2901.25/2909.00	c #Conflicts:     706000 | #Constraints:      80427
2901.25/2909.00	c #Conflicts:     707000 | #Constraints:      81427
2901.25/2909.00	c #Conflicts:     708000 | #Constraints:      82427
2901.25/2909.00	c #Conflicts:     709000 | #Constraints:      83427
2901.25/2909.00	c #Conflicts:     710000 | #Constraints:      84427
2901.25/2909.00	c #Conflicts:     711000 | #Constraints:      85427
2901.25/2909.00	c #Conflicts:     712000 | #Constraints:      86427
2901.25/2909.00	c #Conflicts:     713000 | #Constraints:      87427
2901.25/2909.00	c #Conflicts:     714000 | #Constraints:      88427
2901.25/2909.00	c #Conflicts:     715000 | #Constraints:      89427
2901.25/2909.00	c #Conflicts:     716000 | #Constraints:      90427
2901.25/2909.00	c #Conflicts:     717000 | #Constraints:      91427
2901.25/2909.00	c #Conflicts:     718000 | #Constraints:      92427
2901.25/2909.00	c #Conflicts:     719000 | #Constraints:      93427
2901.25/2909.00	c #Conflicts:     720000 | #Constraints:      94427
2901.25/2909.00	c #Conflicts:     721000 | #Constraints:      95427
2901.25/2909.00	c #Conflicts:     722000 | #Constraints:      96427
2901.25/2909.00	c #Conflicts:     723000 | #Constraints:      97427
2901.25/2909.00	c #Conflicts:     724000 | #Constraints:      98427
2901.25/2909.00	c INPROCESSING
2901.25/2909.00	c GARBAGE COLLECT
2901.25/2909.00	c rational objective 193
3131.47/3139.72	c #Conflicts:     725000 | #Constraints:      74563
3131.47/3139.72	c #Conflicts:     726000 | #Constraints:      75564
3131.47/3139.72	c #Conflicts:     727000 | #Constraints:      76564
3131.47/3139.72	c #Conflicts:     728000 | #Constraints:      77564
3131.47/3139.72	c #Conflicts:     729000 | #Constraints:      78565
3131.47/3139.72	c #Conflicts:     730000 | #Constraints:      79565
3131.47/3139.72	c #Conflicts:     731000 | #Constraints:      80565
3131.47/3139.72	c #Conflicts:     732000 | #Constraints:      81565
3131.47/3139.72	c #Conflicts:     733000 | #Constraints:      82565
3131.47/3139.72	c #Conflicts:     734000 | #Constraints:      83565
3131.47/3139.72	c #Conflicts:     735000 | #Constraints:      84565
3131.47/3139.72	c #Conflicts:     736000 | #Constraints:      85566
3131.47/3139.72	c #Conflicts:     737000 | #Constraints:      86566
3131.47/3139.72	c #Conflicts:     738000 | #Constraints:      87566
3131.47/3139.72	c #Conflicts:     739000 | #Constraints:      88566
3131.47/3139.72	c #Conflicts:     740000 | #Constraints:      89566
3131.47/3139.72	c #Conflicts:     741000 | #Constraints:      90566
3131.47/3139.72	c #Conflicts:     742000 | #Constraints:      91566
3131.47/3139.72	c #Conflicts:     743000 | #Constraints:      92566
3131.47/3139.72	c #Conflicts:     744000 | #Constraints:      93566
3131.47/3139.72	c #Conflicts:     745000 | #Constraints:      94566
3131.47/3139.72	c #Conflicts:     746000 | #Constraints:      95566
3131.47/3139.72	c #Conflicts:     747000 | #Constraints:      96566
3131.47/3139.72	c #Conflicts:     748000 | #Constraints:      97566
3131.47/3139.72	c #Conflicts:     749000 | #Constraints:      98566
3131.47/3139.72	c #Conflicts:     750000 | #Constraints:      99566
3131.47/3139.72	c #Conflicts:     751000 | #Constraints:     100566
3131.47/3139.72	c #Conflicts:     752000 | #Constraints:     101566
3131.47/3139.72	c #Conflicts:     753000 | #Constraints:     102566
3131.47/3139.72	c #Conflicts:     754000 | #Constraints:     103566
3131.47/3139.72	c #Conflicts:     755000 | #Constraints:     104566
3131.47/3139.72	c #Conflicts:     756000 | #Constraints:     105566
3131.47/3139.72	c #Conflicts:     757000 | #Constraints:     106566
3131.47/3139.72	c #Conflicts:     758000 | #Constraints:     107566
3131.47/3139.72	c #Conflicts:     759000 | #Constraints:     108566
3131.47/3139.72	c #Conflicts:     760000 | #Constraints:     109566
3131.47/3139.72	c #Conflicts:     761000 | #Constraints:     110566
3131.47/3139.72	c #Conflicts:     762000 | #Constraints:     111566
3131.47/3139.72	c #Conflicts:     763000 | #Constraints:     112566
3131.47/3139.72	c #Conflicts:     764000 | #Constraints:     113566
3131.47/3139.72	c #Conflicts:     765000 | #Constraints:     114566
3131.47/3139.72	c #Conflicts:     766000 | #Constraints:     115566
3131.47/3139.72	c #Conflicts:     767000 | #Constraints:     116566
3131.47/3139.72	c #Conflicts:     768000 | #Constraints:     117566
3131.47/3139.72	c #Conflicts:     769000 | #Constraints:     118566
3131.47/3139.72	c #Conflicts:     770000 | #Constraints:     119566
3131.47/3139.72	c #Conflicts:     771000 | #Constraints:     120567
3131.47/3139.72	c #Conflicts:     772000 | #Constraints:     121567
3131.47/3139.72	c #Conflicts:     773000 | #Constraints:     122567
3131.47/3139.72	c #Conflicts:     774000 | #Constraints:     123567
3131.47/3139.72	c #Conflicts:     775000 | #Constraints:     124567
3131.47/3139.72	c #Conflicts:     776000 | #Constraints:     125567
3131.47/3139.72	c #Conflicts:     777000 | #Constraints:     126567
3131.47/3139.72	c #Conflicts:     778000 | #Constraints:     127567
3131.47/3139.72	c #Conflicts:     779000 | #Constraints:     128568
3131.47/3139.72	c #Conflicts:     780000 | #Constraints:     129568
3131.47/3139.72	c #Conflicts:     781000 | #Constraints:     130568
3131.47/3139.72	c INPROCESSING
3131.47/3139.72	c GARBAGE COLLECT
3131.47/3139.72	c rational objective 193
3349.34/3358.09	c #Conflicts:     782000 | #Constraints:      79088
3349.34/3358.09	c #Conflicts:     783000 | #Constraints:      80088
3349.34/3358.09	c #Conflicts:     784000 | #Constraints:      81088
3349.34/3358.09	c #Conflicts:     785000 | #Constraints:      82088
3349.34/3358.09	c #Conflicts:     786000 | #Constraints:      83088
3349.34/3358.09	c #Conflicts:     787000 | #Constraints:      84088
3349.34/3358.09	c #Conflicts:     788000 | #Constraints:      85088
3349.34/3358.09	c #Conflicts:     789000 | #Constraints:      86088
3349.34/3358.09	c #Conflicts:     790000 | #Constraints:      87088
3349.34/3358.09	c #Conflicts:     791000 | #Constraints:      88088
3349.34/3358.09	c #Conflicts:     792000 | #Constraints:      89088
3349.34/3358.09	c #Conflicts:     793000 | #Constraints:      90088
3349.34/3358.09	c #Conflicts:     794000 | #Constraints:      91088
3349.34/3358.09	c #Conflicts:     795000 | #Constraints:      92088
3349.34/3358.09	c #Conflicts:     796000 | #Constraints:      93088
3349.34/3358.09	c #Conflicts:     797000 | #Constraints:      94088
3349.34/3358.09	c #Conflicts:     798000 | #Constraints:      95089
3349.34/3358.09	c #Conflicts:     799000 | #Constraints:      96089
3349.34/3358.09	c #Conflicts:     800000 | #Constraints:      97089
3349.34/3358.09	c #Conflicts:     801000 | #Constraints:      98089
3349.34/3358.09	c #Conflicts:     802000 | #Constraints:      99089
3349.34/3358.09	c #Conflicts:     803000 | #Constraints:     100089
3349.34/3358.09	c #Conflicts:     804000 | #Constraints:     101089
3349.34/3358.09	c #Conflicts:     805000 | #Constraints:     102089
3349.34/3358.09	c #Conflicts:     806000 | #Constraints:     103089
3349.34/3358.09	c INPROCESSING
3349.34/3358.09	c GARBAGE COLLECT
3349.34/3358.09	c rational objective 193
3536.35/3545.49	c #Conflicts:     807000 | #Constraints:      77973
3536.35/3545.49	c #Conflicts:     808000 | #Constraints:      78973
3536.35/3545.49	c #Conflicts:     809000 | #Constraints:      79973
3536.35/3545.49	c #Conflicts:     810000 | #Constraints:      80973
3536.35/3545.49	c #Conflicts:     811000 | #Constraints:      81973
3536.35/3545.49	c #Conflicts:     812000 | #Constraints:      82973
3536.35/3545.49	c #Conflicts:     813000 | #Constraints:      83973
3536.35/3545.49	c #Conflicts:     814000 | #Constraints:      84973
3536.35/3545.49	c #Conflicts:     815000 | #Constraints:      85973
3536.35/3545.49	c #Conflicts:     816000 | #Constraints:      86973
3536.35/3545.49	c #Conflicts:     817000 | #Constraints:      87973
3536.35/3545.49	c #Conflicts:     818000 | #Constraints:      88973
3536.35/3545.49	c #Conflicts:     819000 | #Constraints:      89973
3536.35/3545.49	c #Conflicts:     820000 | #Constraints:      90973
3536.35/3545.49	c #Conflicts:     821000 | #Constraints:      91973
3536.35/3545.49	c #Conflicts:     822000 | #Constraints:      92973
3536.35/3545.49	c #Conflicts:     823000 | #Constraints:      93973
3536.35/3545.49	c #Conflicts:     824000 | #Constraints:      94973
3536.35/3545.49	c #Conflicts:     825000 | #Constraints:      95973
3536.35/3545.49	c #Conflicts:     826000 | #Constraints:      96973
3536.35/3545.49	c #Conflicts:     827000 | #Constraints:      97973
3536.35/3545.49	c #Conflicts:     828000 | #Constraints:      98973
3536.35/3545.49	c #Conflicts:     829000 | #Constraints:      99973
3536.35/3545.49	c #Conflicts:     830000 | #Constraints:     100973
3536.35/3545.49	c #Conflicts:     831000 | #Constraints:     101973
3536.35/3545.49	c #Conflicts:     832000 | #Constraints:     102973
3536.35/3545.49	c #Conflicts:     833000 | #Constraints:     103974
3536.35/3545.49	c #Conflicts:     834000 | #Constraints:     104974
3536.35/3545.49	c #Conflicts:     835000 | #Constraints:     105974
3536.35/3545.49	c #Conflicts:     836000 | #Constraints:     106974
3536.35/3545.49	c #Conflicts:     837000 | #Constraints:     107974
3536.35/3545.49	c #Conflicts:     838000 | #Constraints:     108974
3536.35/3545.49	c #Conflicts:     839000 | #Constraints:     109974
3536.35/3545.49	c #Conflicts:     840000 | #Constraints:     110974
3536.35/3545.49	c #Conflicts:     841000 | #Constraints:     111974
3536.35/3545.49	c #Conflicts:     842000 | #Constraints:     112974
3536.35/3545.49	c #Conflicts:     843000 | #Constraints:     113974
3536.35/3545.49	c #Conflicts:     844000 | #Constraints:     114974
3536.35/3545.49	c #Conflicts:     845000 | #Constraints:     115975
3536.35/3545.49	c #Conflicts:     846000 | #Constraints:     116975
3536.35/3545.49	c #Conflicts:     847000 | #Constraints:     117975
3536.35/3545.49	c #Conflicts:     848000 | #Constraints:     118975
3536.35/3545.49	c #Conflicts:     849000 | #Constraints:     119975
3536.35/3545.49	c #Conflicts:     850000 | #Constraints:     120975
3536.35/3545.49	c #Conflicts:     851000 | #Constraints:     121975
3536.35/3545.49	c #Conflicts:     852000 | #Constraints:     122975
3536.35/3545.49	c #Conflicts:     853000 | #Constraints:     123975
3536.35/3545.49	c #Conflicts:     854000 | #Constraints:     124975
3536.35/3545.49	c #Conflicts:     855000 | #Constraints:     125975
3536.35/3545.49	c #Conflicts:     856000 | #Constraints:     126975
3536.35/3545.49	c #Conflicts:     857000 | #Constraints:     127975
3536.35/3545.49	c #Conflicts:     858000 | #Constraints:     128975
3536.35/3545.49	c #Conflicts:     859000 | #Constraints:     129975
3536.35/3545.49	c #Conflicts:     860000 | #Constraints:     130975
3536.35/3545.49	c #Conflicts:     861000 | #Constraints:     131975
3536.35/3545.49	c #Conflicts:     862000 | #Constraints:     132975
3536.35/3545.49	c #Conflicts:     863000 | #Constraints:     133975
3536.35/3545.49	c #Conflicts:     864000 | #Constraints:     134975
3536.35/3545.49	c #Conflicts:     865000 | #Constraints:     135975
3536.35/3545.49	c #Conflicts:     866000 | #Constraints:     136975
3536.35/3545.49	c INPROCESSING
3536.35/3545.49	c GARBAGE COLLECT
3536.35/3545.49	c rational objective 193

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: 63931 MiB (32631 MiB free)
  memory of node 1: 64510 MiB (52796 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10009 s]*
/proc/loadavg: 4.13 4.14 4.12 5/265 197375
/proc/meminfo: memFree=87459812/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=49780 memory=20832 CPUtime=0.09 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 4958 0 0 0 8 1 0 0 20 0 1 0 19218844 50974720 5208 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 12445 5208 1660 992 0 4303 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49780 KiB
Current children cumulated memory: 20832 KiB

[startup+0.206062 s]*
/proc/loadavg: 4.13 4.14 4.12 5/265 197375
/proc/meminfo: memFree=87441136/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=75212 memory=41560 CPUtime=0.2 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 10873 0 0 0 18 2 0 0 20 0 1 0 19218844 77017088 10390 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 18803 10390 1708 992 0 10661 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 75212 KiB
Current children cumulated memory: 41560 KiB

[startup+0.30604 s]*
/proc/loadavg: 4.13 4.14 4.12 5/265 197375
/proc/meminfo: memFree=87434256/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=76008 memory=43144 CPUtime=0.3 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 11230 0 0 0 28 2 0 0 20 0 1 0 19218844 77832192 10786 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 19002 10786 1708 992 0 10860 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 76008 KiB
Current children cumulated memory: 43144 KiB

[startup+0.700247 s]
/proc/loadavg: 4.13 4.14 4.12 5/265 197375
/proc/meminfo: memFree=87426360/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=79276 memory=45256 CPUtime=0.69 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 11759 0 0 0 66 3 0 0 20 0 1 0 19218844 81178624 11314 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 19819 11314 1708 992 0 11677 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 79276 KiB
Current children cumulated memory: 45256 KiB

[startup+1.50023 s]
/proc/loadavg: 4.13 4.14 4.12 5/265 197375
/proc/meminfo: memFree=87414572/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=79276 memory=46312 CPUtime=1.48 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 12054 0 0 0 145 3 0 0 20 0 1 0 19218844 81178624 11578 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 19819 11578 1708 992 0 11677 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 79276 KiB
Current children cumulated memory: 46312 KiB

[startup+3.10603 s]
/proc/loadavg: 4.13 4.14 4.12 5/265 197378
/proc/meminfo: memFree=87335612/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=79276 memory=49052 CPUtime=3.09 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 12153 0 0 0 291 18 0 0 20 0 1 0 19218844 81178624 12263 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 19819 12263 1754 992 0 11677 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 79276 KiB
Current children cumulated memory: 49052 KiB

[startup+6.30022 s]
/proc/loadavg: 4.12 4.14 4.12 5/265 197378
/proc/meminfo: memFree=87173948/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=83684 memory=53004 CPUtime=6.28 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 13173 0 0 0 608 20 0 0 20 0 1 0 19218844 85692416 13251 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 20921 13251 1754 992 0 12779 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 83684 KiB
Current children cumulated memory: 53004 KiB

[startup+12.7002 s]
/proc/loadavg: 4.11 4.13 4.12 5/265 197380
/proc/meminfo: memFree=86846504/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=85196 memory=55644 CPUtime=12.66 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 13797 0 0 0 1242 24 0 0 20 0 1 0 19218844 87240704 13911 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 21299 13911 1754 992 0 13157 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 85196 KiB
Current children cumulated memory: 55644 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.13 4.12 5/265 197381
/proc/meminfo: memFree=86373308/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=90384 memory=58904 CPUtime=25.43 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 14596 0 0 0 2481 62 0 0 20 0 1 0 19218844 92553216 14726 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 22596 14726 1828 992 0 14454 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 90384 KiB
Current children cumulated memory: 58904 KiB

[startup+51.1061 s]
/proc/loadavg: 4.20 4.15 4.13 5/265 197384
/proc/meminfo: memFree=84532740/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=152944 memory=101640 CPUtime=50.98 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 21120 0 0 0 5001 97 0 0 20 0 1 0 19218844 156614656 25410 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 38236 25410 1860 992 0 30094 0
Current children cumulated CPU time: 50.98 s
Current children cumulated vsize: 152944 KiB
Current children cumulated memory: 101640 KiB

[startup+102.3 s]
/proc/loadavg: 4.46 4.22 4.15 5/264 197394
/proc/meminfo: memFree=81903480/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=159520 memory=115164 CPUtime=102.05 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 23000 0 0 0 9989 216 0 0 20 0 1 0 19218844 163348480 28791 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 39880 28791 1860 992 0 31738 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 159520 KiB
Current children cumulated memory: 115164 KiB

[startup+162.3 s]
/proc/loadavg: 4.29 4.21 4.15 5/264 197406
/proc/meminfo: memFree=79782416/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=176264 memory=132856 CPUtime=161.91 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 26400 0 0 0 15869 322 0 0 20 0 1 0 19218844 180494336 33214 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 44066 33214 1860 992 0 35924 0
Current children cumulated CPU time: 161.91 s
Current children cumulated vsize: 176264 KiB
Current children cumulated memory: 132856 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.18 4.15 5/261 197417
/proc/meminfo: memFree=79184840/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=179084 memory=135744 CPUtime=221.75 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 27146 0 0 0 21787 388 0 0 20 0 1 0 19218844 183382016 33936 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 44771 33936 1860 992 0 36629 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 179084 KiB
Current children cumulated memory: 135744 KiB

[startup+282.3 s]
/proc/loadavg: 4.11 4.16 4.14 5/263 197431
/proc/meminfo: memFree=79063212/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=215376 memory=159736 CPUtime=281.6 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 29778 0 0 0 27586 574 0 0 20 0 1 0 19218844 220545024 39934 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 53844 39934 1860 992 0 45702 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 215376 KiB
Current children cumulated memory: 159736 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.16 4.14 5/263 197443
/proc/meminfo: memFree=79047988/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=220168 memory=163956 CPUtime=341.44 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 30895 0 0 0 33545 599 0 0 20 0 1 0 19218844 225452032 40989 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 55042 40989 1860 992 0 46900 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 220168 KiB
Current children cumulated memory: 163956 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.13 4.13 5/263 197454
/proc/meminfo: memFree=78658560/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=223592 memory=168176 CPUtime=401.27 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 31946 0 0 0 39477 650 0 0 20 0 1 0 19218844 228958208 42044 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 55898 42044 1860 992 0 47756 0
Current children cumulated CPU time: 401.27 s
Current children cumulated vsize: 223592 KiB
Current children cumulated memory: 168176 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.14 4.13 5/259 197464
/proc/meminfo: memFree=77517180/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=283620 memory=204712 CPUtime=461.11 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 34952 0 0 0 45332 779 0 0 20 0 1 0 19218844 290426880 51178 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 70905 51178 1860 992 0 62763 0

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

[startup+3102.3 s]
/proc/loadavg: 1.13 1.27 2.07 2/237 199234
/proc/meminfo: memFree=121182564/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=890400 memory=821656 CPUtime=3094.15 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 81645 0 0 0 305417 3998 0 0 20 0 1 0 19218844 911769600 205414 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 222600 205414 1932 992 0 214458 0
Current children cumulated CPU time: 3094.15 s
Current children cumulated vsize: 890400 KiB
Current children cumulated memory: 821656 KiB

[startup+3162.3 s]
/proc/loadavg: 1.10 1.23 2.01 2/237 199245
/proc/meminfo: memFree=121169536/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=891360 memory=822984 CPUtime=3154.03 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 82183 0 0 0 311370 4033 0 0 20 0 1 0 19218844 912752640 205746 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 222840 205746 1932 992 0 214698 0
Current children cumulated CPU time: 3154.03 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 822984 KiB

[startup+3222.3 s]
/proc/loadavg: 1.15 1.22 1.95 2/238 199257
/proc/meminfo: memFree=121084084/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=891360 memory=822984 CPUtime=3213.91 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 82455 0 0 0 317263 4128 0 0 20 0 1 0 19218844 912752640 205746 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 222840 205746 1932 992 0 214698 0
Current children cumulated CPU time: 3213.91 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 822984 KiB

[startup+3282.3 s]
/proc/loadavg: 1.11 1.19 1.90 2/240 199271
/proc/meminfo: memFree=121084268/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=891360 memory=822984 CPUtime=3273.79 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 82562 0 0 0 323232 4147 0 0 20 0 1 0 19218844 912752640 205746 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 222840 205746 1932 992 0 214698 0
Current children cumulated CPU time: 3273.79 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 822984 KiB

[startup+3342.3 s]
/proc/loadavg: 1.08 1.17 1.84 2/239 199282
/proc/meminfo: memFree=121083056/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=891360 memory=823256 CPUtime=3333.66 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 82670 0 0 0 329203 4163 0 0 20 0 1 0 19218844 912752640 205814 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 222840 205814 1932 992 0 214698 0
Current children cumulated CPU time: 3333.66 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 823256 KiB

[startup+3402.3 s]
/proc/loadavg: 1.14 1.17 1.80 2/240 199295
/proc/meminfo: memFree=120994312/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=891360 memory=823292 CPUtime=3393.55 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 82997 0 0 0 335102 4253 0 0 20 0 1 0 19218844 912752640 205823 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 222840 205823 1932 992 0 214698 0
Current children cumulated CPU time: 3393.55 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 823292 KiB

[startup+3462.3 s]
/proc/loadavg: 1.10 1.15 1.75 2/240 199305
/proc/meminfo: memFree=120948656/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=891360 memory=823292 CPUtime=3453.42 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 83315 0 0 0 341042 4300 0 0 20 0 1 0 19218844 912752640 205823 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 222840 205823 1932 992 0 214698 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 891360 KiB
Current children cumulated memory: 823292 KiB

[startup+3522.3 s]
/proc/loadavg: 1.15 1.15 1.71 2/239 199317
/proc/meminfo: memFree=120743040/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=905016 memory=834468 CPUtime=3513.3 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 86531 0 0 0 346947 4383 0 0 20 0 1 0 19218844 926736384 208617 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 226254 208617 1932 992 0 218112 0
Current children cumulated CPU time: 3513.3 s
Current children cumulated vsize: 905016 KiB
Current children cumulated memory: 834468 KiB

[startup+3582.3 s]
/proc/loadavg: 1.12 1.14 1.67 2/238 199329
/proc/meminfo: memFree=120659996/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=908976 memory=838956 CPUtime=3573.18 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 87918 0 0 0 352846 4472 0 0 20 0 1 0 19218844 930791424 209739 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 227244 209739 1932 992 0 219102 0
Current children cumulated CPU time: 3573.18 s
Current children cumulated vsize: 908976 KiB
Current children cumulated memory: 838956 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.2 s]
/proc/loadavg: 1.08 1.13 1.65 2/238 199333
/proc/meminfo: memFree=120608772/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=909600 memory=839464 CPUtime=3600.02 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 88213 0 0 0 355488 4514 0 0 20 0 1 0 19218844 931430400 209866 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 227400 209866 1932 992 0 219258 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 909600 KiB
Current children cumulated memory: 839464 KiB

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3556.86 s, system=45.1751 s

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

[startup+3609.6 s]
/proc/loadavg: 1.08 1.13 1.65 2/238 199333
/proc/meminfo: memFree=120608772/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=909600 memory=839464 CPUtime=3600.42 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 88213 0 0 0 355528 4514 0 0 20 0 1 0 19218844 931430400 209866 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 227400 209866 1932 992 0 219258 0
Current children cumulated CPU time: 3600.42 s
Current children cumulated vsize: 909600 KiB
Current children cumulated memory: 839464 KiB

[startup+3610.4 s]
/proc/loadavg: 1.08 1.13 1.65 2/238 199333
/proc/meminfo: memFree=120608772/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=909600 memory=839464 CPUtime=3601.22 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 88213 0 0 0 355606 4516 0 0 20 0 1 0 19218844 931430400 209866 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 227400 209866 1932 992 0 219258 0
Current children cumulated CPU time: 3601.22 s
Current children cumulated vsize: 909600 KiB
Current children cumulated memory: 839464 KiB

[startup+3610.8 s]
/proc/loadavg: 1.08 1.13 1.65 2/238 199333
/proc/meminfo: memFree=120608772/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=909600 memory=839464 CPUtime=3601.62 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 88213 0 0 0 355645 4517 0 0 20 0 1 0 19218844 931430400 209866 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 227400 209866 1932 992 0 219258 0
Current children cumulated CPU time: 3601.62 s
Current children cumulated vsize: 909600 KiB
Current children cumulated memory: 839464 KiB

[startup+3611.2 s]
/proc/loadavg: 1.15 1.14 1.65 2/238 199333
/proc/meminfo: memFree=120608772/131524600 swapFree=131057052/131071996
[pid=197374] ppid=197371 vsize=910128 memory=839980 CPUtime=3602.02 cores=1,3
/proc/197374/stat : 197374 (roundingsat) R 197371 197374 191699 0 -1 4194304 88335 0 0 0 355685 4517 0 0 20 0 1 0 19218844 931971072 209995 134679101440 4194304 8254037 140721133827088 0 0 0 0 0 25182210 0 0 0 17 1 0 0 0 0 0 9037040 9046032 22822912 140721133831004 140721133831266 140721133831266 140721133838281 0
/proc/197374/statm: 227532 209995 1932 992 0 219390 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 910128 KiB
Current children cumulated memory: 839980 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.21
CPU time (s): 3602.03
CPU user time (s): 3556.86
CPU system time (s): 45.1751
CPU usage (%): 99.7459
Max. virtual memory (cumulated for all children) (KiB): 910128
Max. memory (cumulated for all children) (KiB): 839980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3556.86
system time used= 45.1751
maximum resident set size= 840100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88335
page faults= 0
swaps= 0
block input operations= 0
block output operations= 7631136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78
involuntary context switches= 3736


# summary of solver processes directly reported to runsolver:
#   pid: 197374
#   total CPU time (s): 3602.03
#   total CPU user time (s): 3556.86
#   total CPU system time (s): 45.1751

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.86817 second user time and 17.4776 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2024-07-24 15:15:52
IDJOB=4457170
IDBENCH=158306
IDSOLVER=3085
FILE ID=nodeC032/4457170-1721826952
RUNJOBID= nodeC032-1721817188-191711
SLURM_JOB_ID= 7816896
Free space on /tmp= 889912 MiB

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

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

MD5SUM BENCH= a57909b893e448cbfc1c45d11e8afcf3
RANDOM SEED=748071501

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        87478860 kB
MemAvailable:   119269648 kB
Buffers:          244680 kB
Cached:         32282744 kB
SwapCached:           52 kB
Active:          2709008 kB
Inactive:       40508756 kB
Active(anon):       2356 kB
Inactive(anon): 10741584 kB
Active(file):    2706652 kB
Inactive(file): 29767172 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131057052 kB
Dirty:            363352 kB
Writeback:             8 kB
AnonPages:      10684436 kB
Mapped:           127976 kB
Shmem:             53492 kB
KReclaimable:     313224 kB
Slab:             445876 kB
SReclaimable:     313224 kB
SUnreclaim:       132652 kB
KernelStack:        4276 kB
PageTables:        30584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:   12477472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            23392 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4354048 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:      363220 kB
DirectMap2M:    42401792 kB
DirectMap1G:    93323264 kB

Free space on /tmp at the end= 890076 MiB
End job on nodeC032 at 2024-07-24 16:16:04