Trace number 4511087

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-ls-log 63f22adUNSAT cert. 43.686 43.8818

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
MD5SUM1a3ecc72c33db076137ced748302e815
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark17.8759
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables801
Total number of constraints401
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)401
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
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.03	c RoundingSat 2
0.00/0.03	c branch pb25
0.00/0.03	c commit 63f22ad
0.00/0.04	c #variables 801 #constraints 802
0.00/0.05	c rational objective 400.5
0.26/0.37	c #Conflicts:       1000 | #Constraints:       1809
0.26/0.37	c #Conflicts:       2000 | #Constraints:       2809
0.26/0.37	c INPROCESSING
0.26/0.37	c GARBAGE COLLECT
0.26/0.37	c #Conflicts:       3000 | #Constraints:       2857
0.26/0.37	c #Conflicts:       4000 | #Constraints:       3857
0.26/0.37	c INPROCESSING
0.26/0.37	c GARBAGE COLLECT
0.26/0.37	c #Conflicts:       5000 | #Constraints:       3279
0.26/0.37	c #Conflicts:       6000 | #Constraints:       4279
0.26/0.37	c INPROCESSING
0.26/0.37	c GARBAGE COLLECT
0.26/0.37	c #Conflicts:       7000 | #Constraints:       3295
0.26/0.37	c #Conflicts:       8000 | #Constraints:       4295
0.26/0.37	c #Conflicts:       9000 | #Constraints:       5295
0.26/0.37	c INPROCESSING
0.26/0.37	c GARBAGE COLLECT
0.26/0.37	c rational objective 400.5
0.36/0.48	c #Conflicts:      10000 | #Constraints:       4000
0.36/0.48	c #Conflicts:      11000 | #Constraints:       5000
0.36/0.48	c #Conflicts:      12000 | #Constraints:       6000
0.36/0.48	c INPROCESSING
0.36/0.48	c GARBAGE COLLECT
0.36/0.48	c rational objective 400.5
0.56/0.60	c #Conflicts:      13000 | #Constraints:       4459
0.56/0.60	c #Conflicts:      14000 | #Constraints:       5459
0.56/0.60	c #Conflicts:      15000 | #Constraints:       6459
0.56/0.60	c INPROCESSING
0.56/0.60	c GARBAGE COLLECT
0.56/0.60	c rational objective 400.5
0.65/0.75	c #Conflicts:      16000 | #Constraints:       4685
0.65/0.75	c #Conflicts:      17000 | #Constraints:       5685
0.65/0.75	c #Conflicts:      18000 | #Constraints:       6685
0.65/0.75	c INPROCESSING
0.65/0.75	c GARBAGE COLLECT
0.65/0.75	c rational objective 400.5
0.85/0.91	c #Conflicts:      19000 | #Constraints:       4697
0.85/0.91	c #Conflicts:      20000 | #Constraints:       5697
0.85/0.91	c #Conflicts:      21000 | #Constraints:       6697
0.85/0.91	c INPROCESSING
0.85/0.91	c GARBAGE COLLECT
0.85/0.91	c rational objective 400.5
0.96/1.09	c #Conflicts:      22000 | #Constraints:       4506
0.96/1.09	c #Conflicts:      23000 | #Constraints:       5506
0.96/1.09	c #Conflicts:      24000 | #Constraints:       6506
0.96/1.09	c #Conflicts:      25000 | #Constraints:       7506
0.96/1.09	c INPROCESSING
0.96/1.09	c GARBAGE COLLECT
0.96/1.09	c rational objective 400.5
1.15/1.28	c #Conflicts:      26000 | #Constraints:       5107
1.15/1.28	c #Conflicts:      27000 | #Constraints:       6107
1.15/1.28	c #Conflicts:      28000 | #Constraints:       7107
1.15/1.28	c #Conflicts:      29000 | #Constraints:       8107
1.15/1.28	c INPROCESSING
1.15/1.28	c GARBAGE COLLECT
1.15/1.28	c rational objective 400.5
1.45/1.53	c #Conflicts:      30000 | #Constraints:       5508
1.45/1.53	c #Conflicts:      31000 | #Constraints:       6509
1.45/1.53	c #Conflicts:      32000 | #Constraints:       7510
1.45/1.53	c #Conflicts:      33000 | #Constraints:       8510
1.45/1.53	c INPROCESSING
1.45/1.53	c GARBAGE COLLECT
1.45/1.53	c rational objective 400.5
1.75/1.80	c #Conflicts:      34000 | #Constraints:       5712
1.75/1.80	c #Conflicts:      35000 | #Constraints:       6712
1.75/1.80	c #Conflicts:      36000 | #Constraints:       7713
1.75/1.80	c #Conflicts:      37000 | #Constraints:       8713
1.75/1.80	c INPROCESSING
1.75/1.80	c GARBAGE COLLECT
1.75/1.80	c rational objective 400.5
2.05/2.10	c #Conflicts:      38000 | #Constraints:       5717
2.05/2.10	c #Conflicts:      39000 | #Constraints:       6717
2.05/2.10	c #Conflicts:      40000 | #Constraints:       7717
2.05/2.10	c #Conflicts:      41000 | #Constraints:       8717
2.05/2.10	c INPROCESSING
2.05/2.10	c GARBAGE COLLECT
2.05/2.10	c rational objective 400.5
2.35/2.46	c #Conflicts:      42000 | #Constraints:       5522
2.35/2.46	c #Conflicts:      43000 | #Constraints:       6522
2.35/2.46	c #Conflicts:      44000 | #Constraints:       7522
2.35/2.46	c #Conflicts:      45000 | #Constraints:       8522
2.35/2.46	c #Conflicts:      46000 | #Constraints:       9522
2.35/2.46	c INPROCESSING
2.35/2.46	c GARBAGE COLLECT
2.35/2.46	c rational objective 400.5
2.65/2.78	c #Conflicts:      47000 | #Constraints:       6118
2.65/2.78	c #Conflicts:      48000 | #Constraints:       7118
2.65/2.78	c #Conflicts:      49000 | #Constraints:       8118
2.65/2.78	c #Conflicts:      50000 | #Constraints:       9118
2.65/2.78	c #Conflicts:      51000 | #Constraints:      10118
2.65/2.78	c INPROCESSING
2.65/2.78	c GARBAGE COLLECT
2.65/2.78	c rational objective 400.5
2.95/3.06	c #Conflicts:      52000 | #Constraints:       6519
2.95/3.06	c #Conflicts:      53000 | #Constraints:       7519
2.95/3.06	c #Conflicts:      54000 | #Constraints:       8519
2.95/3.06	c #Conflicts:      55000 | #Constraints:       9519
2.95/3.06	c #Conflicts:      56000 | #Constraints:      10519
2.95/3.06	c INPROCESSING
2.95/3.06	c GARBAGE COLLECT
2.95/3.06	c rational objective 400.5
3.24/3.34	c #Conflicts:      57000 | #Constraints:       6716
3.24/3.34	c #Conflicts:      58000 | #Constraints:       7717
3.24/3.34	c #Conflicts:      59000 | #Constraints:       8717
3.24/3.34	c #Conflicts:      60000 | #Constraints:       9717
3.24/3.34	c #Conflicts:      61000 | #Constraints:      10717
3.24/3.34	c INPROCESSING
3.24/3.34	c GARBAGE COLLECT
3.24/3.34	c rational objective 400.5
3.54/3.63	c #Conflicts:      62000 | #Constraints:       6718
3.54/3.63	c #Conflicts:      63000 | #Constraints:       7718
3.54/3.63	c #Conflicts:      64000 | #Constraints:       8718
3.54/3.63	c #Conflicts:      65000 | #Constraints:       9718
3.54/3.63	c #Conflicts:      66000 | #Constraints:      10718
3.54/3.63	c INPROCESSING
3.54/3.63	c GARBAGE COLLECT
3.54/3.63	c rational objective 400.5
3.85/3.93	c #Conflicts:      67000 | #Constraints:       6521
3.85/3.93	c #Conflicts:      68000 | #Constraints:       7521
3.85/3.93	c #Conflicts:      69000 | #Constraints:       8521
3.85/3.93	c #Conflicts:      70000 | #Constraints:       9521
3.85/3.93	c #Conflicts:      71000 | #Constraints:      10522
3.85/3.93	c #Conflicts:      72000 | #Constraints:      11522
3.85/3.93	c INPROCESSING
3.85/3.93	c GARBAGE COLLECT
3.85/3.93	c rational objective 400.5
4.14/4.24	c #Conflicts:      73000 | #Constraints:       7121
4.14/4.24	c #Conflicts:      74000 | #Constraints:       8121
4.14/4.24	c #Conflicts:      75000 | #Constraints:       9121
4.14/4.24	c #Conflicts:      76000 | #Constraints:      10121
4.14/4.24	c #Conflicts:      77000 | #Constraints:      11121
4.14/4.24	c #Conflicts:      78000 | #Constraints:      12121
4.14/4.24	c INPROCESSING
4.14/4.24	c GARBAGE COLLECT
4.14/4.24	c rational objective 400.5
4.44/4.55	c #Conflicts:      79000 | #Constraints:       7527
4.44/4.55	c #Conflicts:      80000 | #Constraints:       8527
4.44/4.55	c #Conflicts:      81000 | #Constraints:       9527
4.44/4.55	c #Conflicts:      82000 | #Constraints:      10527
4.44/4.55	c #Conflicts:      83000 | #Constraints:      11527
4.44/4.55	c #Conflicts:      84000 | #Constraints:      12527
4.44/4.55	c INPROCESSING
4.44/4.55	c GARBAGE COLLECT
4.44/4.55	c rational objective 400.5
4.84/4.95	c #Conflicts:      85000 | #Constraints:       7723
4.84/4.95	c #Conflicts:      86000 | #Constraints:       8723
4.84/4.95	c #Conflicts:      87000 | #Constraints:       9723
4.84/4.95	c #Conflicts:      88000 | #Constraints:      10723
4.84/4.95	c #Conflicts:      89000 | #Constraints:      11723
4.84/4.95	c #Conflicts:      90000 | #Constraints:      12723
4.84/4.95	c INPROCESSING
4.84/4.95	c GARBAGE COLLECT
4.84/4.95	c rational objective 400.5
5.14/5.29	c #Conflicts:      91000 | #Constraints:       7725
5.14/5.29	c #Conflicts:      92000 | #Constraints:       8725
5.14/5.29	c #Conflicts:      93000 | #Constraints:       9725
5.14/5.29	c #Conflicts:      94000 | #Constraints:      10725
5.14/5.29	c #Conflicts:      95000 | #Constraints:      11725
5.14/5.29	c #Conflicts:      96000 | #Constraints:      12725
5.14/5.29	c INPROCESSING
5.14/5.29	c GARBAGE COLLECT
5.14/5.29	c rational objective 400.5
5.54/5.63	c #Conflicts:      97000 | #Constraints:       7527
5.54/5.63	c #Conflicts:      98000 | #Constraints:       8527
5.54/5.63	c #Conflicts:      99000 | #Constraints:       9527
5.54/5.63	c #Conflicts:     100000 | #Constraints:      10527
5.54/5.63	c #Conflicts:     101000 | #Constraints:      11527
5.54/5.63	c #Conflicts:     102000 | #Constraints:      12527
5.54/5.63	c #Conflicts:     103000 | #Constraints:      13527
5.54/5.63	c INPROCESSING
5.54/5.63	c GARBAGE COLLECT
5.54/5.63	c rational objective 400.5
5.84/5.96	c #Conflicts:     104000 | #Constraints:       8125
5.84/5.96	c #Conflicts:     105000 | #Constraints:       9125
5.84/5.96	c #Conflicts:     106000 | #Constraints:      10125
5.84/5.96	c #Conflicts:     107000 | #Constraints:      11125
5.84/5.96	c #Conflicts:     108000 | #Constraints:      12125
5.84/5.96	c #Conflicts:     109000 | #Constraints:      13125
5.84/5.96	c #Conflicts:     110000 | #Constraints:      14125
5.84/5.96	c INPROCESSING
5.84/5.96	c GARBAGE COLLECT
5.84/5.96	c rational objective 400.5
6.23/6.32	c #Conflicts:     111000 | #Constraints:       8520
6.23/6.32	c #Conflicts:     112000 | #Constraints:       9520
6.23/6.32	c #Conflicts:     113000 | #Constraints:      10520
6.23/6.32	c #Conflicts:     114000 | #Constraints:      11520
6.23/6.32	c #Conflicts:     115000 | #Constraints:      12520
6.23/6.32	c #Conflicts:     116000 | #Constraints:      13520
6.23/6.32	c #Conflicts:     117000 | #Constraints:      14520
6.23/6.32	c INPROCESSING
6.23/6.32	c GARBAGE COLLECT
6.23/6.32	c rational objective 400.5
6.64/6.74	c #Conflicts:     118000 | #Constraints:       8731
6.64/6.74	c #Conflicts:     119000 | #Constraints:       9731
6.64/6.74	c #Conflicts:     120000 | #Constraints:      10731
6.64/6.74	c #Conflicts:     121000 | #Constraints:      11731
6.64/6.74	c #Conflicts:     122000 | #Constraints:      12731
6.64/6.74	c #Conflicts:     123000 | #Constraints:      13731
6.64/6.74	c #Conflicts:     124000 | #Constraints:      14731
6.64/6.74	c INPROCESSING
6.64/6.74	c GARBAGE COLLECT
6.64/6.74	c rational objective 400.5
7.05/7.11	c #Conflicts:     125000 | #Constraints:       8725
7.05/7.11	c #Conflicts:     126000 | #Constraints:       9725
7.05/7.11	c #Conflicts:     127000 | #Constraints:      10725
7.05/7.11	c #Conflicts:     128000 | #Constraints:      11725
7.05/7.11	c #Conflicts:     129000 | #Constraints:      12725
7.05/7.11	c #Conflicts:     130000 | #Constraints:      13725
7.05/7.11	c #Conflicts:     131000 | #Constraints:      14725
7.05/7.11	c INPROCESSING
7.05/7.11	c GARBAGE COLLECT
7.05/7.11	c rational objective 400.5
7.44/7.51	c #Conflicts:     132000 | #Constraints:       8524
7.44/7.51	c #Conflicts:     133000 | #Constraints:       9524
7.44/7.51	c #Conflicts:     134000 | #Constraints:      10524
7.44/7.51	c #Conflicts:     135000 | #Constraints:      11524
7.44/7.51	c #Conflicts:     136000 | #Constraints:      12524
7.44/7.51	c #Conflicts:     137000 | #Constraints:      13524
7.44/7.51	c #Conflicts:     138000 | #Constraints:      14524
7.44/7.51	c #Conflicts:     139000 | #Constraints:      15524
7.44/7.51	c INPROCESSING
7.44/7.51	c GARBAGE COLLECT
7.44/7.51	c rational objective 400.5
7.83/7.91	c #Conflicts:     140000 | #Constraints:       9135
7.83/7.91	c #Conflicts:     141000 | #Constraints:      10135
7.83/7.91	c #Conflicts:     142000 | #Constraints:      11135
7.83/7.91	c #Conflicts:     143000 | #Constraints:      12135
7.83/7.91	c #Conflicts:     144000 | #Constraints:      13135
7.83/7.91	c #Conflicts:     145000 | #Constraints:      14135
7.83/7.91	c #Conflicts:     146000 | #Constraints:      15135
7.83/7.91	c #Conflicts:     147000 | #Constraints:      16135
7.83/7.91	c INPROCESSING
7.83/7.91	c GARBAGE COLLECT
7.83/7.91	c rational objective 400.5
8.23/8.33	c #Conflicts:     148000 | #Constraints:       9540
8.23/8.33	c #Conflicts:     149000 | #Constraints:      10540
8.23/8.33	c #Conflicts:     150000 | #Constraints:      11540
8.23/8.33	c #Conflicts:     151000 | #Constraints:      12540
8.23/8.33	c #Conflicts:     152000 | #Constraints:      13540
8.23/8.33	c #Conflicts:     153000 | #Constraints:      14540
8.23/8.33	c #Conflicts:     154000 | #Constraints:      15540
8.23/8.33	c #Conflicts:     155000 | #Constraints:      16540
8.23/8.33	c INPROCESSING
8.23/8.33	c GARBAGE COLLECT
8.23/8.33	c rational objective 400.5
8.63/8.77	c #Conflicts:     156000 | #Constraints:       9738
8.63/8.77	c #Conflicts:     157000 | #Constraints:      10738
8.63/8.77	c #Conflicts:     158000 | #Constraints:      11738
8.63/8.77	c #Conflicts:     159000 | #Constraints:      12738
8.63/8.77	c #Conflicts:     160000 | #Constraints:      13738
8.63/8.77	c #Conflicts:     161000 | #Constraints:      14738
8.63/8.77	c #Conflicts:     162000 | #Constraints:      15738
8.63/8.77	c #Conflicts:     163000 | #Constraints:      16738
8.63/8.77	c INPROCESSING
8.63/8.77	c GARBAGE COLLECT
8.63/8.77	c rational objective 400.5
9.03/9.17	c #Conflicts:     164000 | #Constraints:       9730
9.03/9.17	c #Conflicts:     165000 | #Constraints:      10730
9.03/9.17	c #Conflicts:     166000 | #Constraints:      11730
9.03/9.17	c #Conflicts:     167000 | #Constraints:      12730
9.03/9.17	c #Conflicts:     168000 | #Constraints:      13730
9.03/9.17	c #Conflicts:     169000 | #Constraints:      14730
9.03/9.17	c #Conflicts:     170000 | #Constraints:      15730
9.03/9.17	c #Conflicts:     171000 | #Constraints:      16730
9.03/9.17	c INPROCESSING
9.03/9.17	c GARBAGE COLLECT
9.03/9.17	c rational objective 400.5
9.53/9.61	c #Conflicts:     172000 | #Constraints:       9521
9.53/9.61	c #Conflicts:     173000 | #Constraints:      10521
9.53/9.61	c #Conflicts:     174000 | #Constraints:      11521
9.53/9.61	c #Conflicts:     175000 | #Constraints:      12521
9.53/9.61	c #Conflicts:     176000 | #Constraints:      13521
9.53/9.61	c #Conflicts:     177000 | #Constraints:      14521
9.53/9.61	c #Conflicts:     178000 | #Constraints:      15521
9.53/9.61	c #Conflicts:     179000 | #Constraints:      16521
9.53/9.61	c #Conflicts:     180000 | #Constraints:      17521
9.53/9.61	c INPROCESSING
9.53/9.61	c GARBAGE COLLECT
9.53/9.61	c rational objective 400.5
9.94/10.06	c #Conflicts:     181000 | #Constraints:      10127
9.94/10.06	c #Conflicts:     182000 | #Constraints:      11127
9.94/10.06	c #Conflicts:     183000 | #Constraints:      12127
9.94/10.06	c #Conflicts:     184000 | #Constraints:      13127
9.94/10.06	c #Conflicts:     185000 | #Constraints:      14127
9.94/10.06	c #Conflicts:     186000 | #Constraints:      15127
9.94/10.06	c #Conflicts:     187000 | #Constraints:      16127
9.94/10.06	c #Conflicts:     188000 | #Constraints:      17127
9.94/10.06	c #Conflicts:     189000 | #Constraints:      18127
9.94/10.06	c INPROCESSING
9.94/10.06	c GARBAGE COLLECT
9.94/10.06	c rational objective 400.5
10.53/10.60	c #Conflicts:     190000 | #Constraints:      10527
10.53/10.60	c #Conflicts:     191000 | #Constraints:      11527
10.53/10.60	c #Conflicts:     192000 | #Constraints:      12527
10.53/10.60	c #Conflicts:     193000 | #Constraints:      13527
10.53/10.60	c #Conflicts:     194000 | #Constraints:      14527
10.53/10.60	c #Conflicts:     195000 | #Constraints:      15527
10.53/10.60	c #Conflicts:     196000 | #Constraints:      16527
10.53/10.60	c #Conflicts:     197000 | #Constraints:      17527
10.53/10.60	c #Conflicts:     198000 | #Constraints:      18527
10.53/10.60	c INPROCESSING
10.53/10.60	c GARBAGE COLLECT
10.53/10.60	c rational objective 400.5
11.03/11.10	c #Conflicts:     199000 | #Constraints:      10734
11.03/11.10	c #Conflicts:     200000 | #Constraints:      11734
11.03/11.10	c #Conflicts:     201000 | #Constraints:      12734
11.03/11.10	c #Conflicts:     202000 | #Constraints:      13734
11.03/11.10	c #Conflicts:     203000 | #Constraints:      14734
11.03/11.10	c #Conflicts:     204000 | #Constraints:      15734
11.03/11.10	c #Conflicts:     205000 | #Constraints:      16734
11.03/11.10	c #Conflicts:     206000 | #Constraints:      17734
11.03/11.10	c #Conflicts:     207000 | #Constraints:      18734
11.03/11.10	c INPROCESSING
11.03/11.10	c GARBAGE COLLECT
11.03/11.10	c rational objective 400.5
11.52/11.66	c #Conflicts:     208000 | #Constraints:      10734
11.52/11.66	c #Conflicts:     209000 | #Constraints:      11734
11.52/11.66	c #Conflicts:     210000 | #Constraints:      12734
11.52/11.66	c #Conflicts:     211000 | #Constraints:      13734
11.52/11.66	c #Conflicts:     212000 | #Constraints:      14734
11.52/11.66	c #Conflicts:     213000 | #Constraints:      15734
11.52/11.66	c #Conflicts:     214000 | #Constraints:      16734
11.52/11.66	c #Conflicts:     215000 | #Constraints:      17734
11.52/11.66	c #Conflicts:     216000 | #Constraints:      18734
11.52/11.66	c INPROCESSING
11.52/11.66	c GARBAGE COLLECT
11.52/11.66	c rational objective 400.5
12.03/12.12	c #Conflicts:     217000 | #Constraints:      10529
12.03/12.12	c #Conflicts:     218000 | #Constraints:      11529
12.03/12.12	c #Conflicts:     219000 | #Constraints:      12529
12.03/12.12	c #Conflicts:     220000 | #Constraints:      13529
12.03/12.12	c #Conflicts:     221000 | #Constraints:      14529
12.03/12.12	c #Conflicts:     222000 | #Constraints:      15529
12.03/12.12	c #Conflicts:     223000 | #Constraints:      16529
12.03/12.12	c #Conflicts:     224000 | #Constraints:      17529
12.03/12.12	c #Conflicts:     225000 | #Constraints:      18529
12.03/12.12	c #Conflicts:     226000 | #Constraints:      19529
12.03/12.12	c INPROCESSING
12.03/12.12	c GARBAGE COLLECT
12.03/12.12	c rational objective 400.5
12.52/12.60	c #Conflicts:     227000 | #Constraints:      11136
12.52/12.60	c #Conflicts:     228000 | #Constraints:      12136
12.52/12.60	c #Conflicts:     229000 | #Constraints:      13136
12.52/12.60	c #Conflicts:     230000 | #Constraints:      14136
12.52/12.60	c #Conflicts:     231000 | #Constraints:      15136
12.52/12.60	c #Conflicts:     232000 | #Constraints:      16136
12.52/12.60	c #Conflicts:     233000 | #Constraints:      17136
12.52/12.60	c #Conflicts:     234000 | #Constraints:      18136
12.52/12.60	c #Conflicts:     235000 | #Constraints:      19136
12.52/12.60	c #Conflicts:     236000 | #Constraints:      20136
12.52/12.60	c INPROCESSING
12.52/12.60	c GARBAGE COLLECT
12.52/12.60	c rational objective 400.5
13.03/13.12	c #Conflicts:     237000 | #Constraints:      11530
13.03/13.12	c #Conflicts:     238000 | #Constraints:      12530
13.03/13.12	c #Conflicts:     239000 | #Constraints:      13530
13.03/13.12	c #Conflicts:     240000 | #Constraints:      14530
13.03/13.12	c #Conflicts:     241000 | #Constraints:      15530
13.03/13.12	c #Conflicts:     242000 | #Constraints:      16530
13.03/13.12	c #Conflicts:     243000 | #Constraints:      17530
13.03/13.12	c #Conflicts:     244000 | #Constraints:      18530
13.03/13.12	c #Conflicts:     245000 | #Constraints:      19530
13.03/13.12	c #Conflicts:     246000 | #Constraints:      20530
13.03/13.12	c INPROCESSING
13.03/13.12	c GARBAGE COLLECT
13.03/13.12	c rational objective 400.5
13.52/13.66	c #Conflicts:     247000 | #Constraints:      11734
13.52/13.66	c #Conflicts:     248000 | #Constraints:      12734
13.52/13.66	c #Conflicts:     249000 | #Constraints:      13734
13.52/13.66	c #Conflicts:     250000 | #Constraints:      14734
13.52/13.66	c #Conflicts:     251000 | #Constraints:      15734
13.52/13.66	c #Conflicts:     252000 | #Constraints:      16734
13.52/13.66	c #Conflicts:     253000 | #Constraints:      17734
13.52/13.66	c #Conflicts:     254000 | #Constraints:      18734
13.52/13.66	c #Conflicts:     255000 | #Constraints:      19734
13.52/13.66	c #Conflicts:     256000 | #Constraints:      20734
13.52/13.66	c INPROCESSING
13.52/13.66	c GARBAGE COLLECT
13.52/13.66	c rational objective 400.5
14.12/14.22	c #Conflicts:     257000 | #Constraints:      11734
14.12/14.22	c #Conflicts:     258000 | #Constraints:      12734
14.12/14.22	c #Conflicts:     259000 | #Constraints:      13734
14.12/14.22	c #Conflicts:     260000 | #Constraints:      14734
14.12/14.22	c #Conflicts:     261000 | #Constraints:      15734
14.12/14.22	c #Conflicts:     262000 | #Constraints:      16734
14.12/14.22	c #Conflicts:     263000 | #Constraints:      17734
14.12/14.22	c #Conflicts:     264000 | #Constraints:      18734
14.12/14.22	c #Conflicts:     265000 | #Constraints:      19734
14.12/14.22	c #Conflicts:     266000 | #Constraints:      20734
14.12/14.22	c INPROCESSING
14.12/14.22	c GARBAGE COLLECT
14.12/14.22	c rational objective 400.5
14.72/14.81	c #Conflicts:     267000 | #Constraints:      11536
14.72/14.81	c #Conflicts:     268000 | #Constraints:      12536
14.72/14.81	c #Conflicts:     269000 | #Constraints:      13536
14.72/14.81	c #Conflicts:     270000 | #Constraints:      14536
14.72/14.81	c #Conflicts:     271000 | #Constraints:      15536
14.72/14.81	c #Conflicts:     272000 | #Constraints:      16536
14.72/14.81	c #Conflicts:     273000 | #Constraints:      17536
14.72/14.81	c #Conflicts:     274000 | #Constraints:      18536
14.72/14.81	c #Conflicts:     275000 | #Constraints:      19536
14.72/14.81	c #Conflicts:     276000 | #Constraints:      20536
14.72/14.81	c #Conflicts:     277000 | #Constraints:      21536
14.72/14.81	c INPROCESSING
14.72/14.81	c GARBAGE COLLECT
14.72/14.81	c rational objective 400.5
15.21/15.36	c #Conflicts:     278000 | #Constraints:      12141
15.21/15.36	c #Conflicts:     279000 | #Constraints:      13141
15.21/15.36	c #Conflicts:     280000 | #Constraints:      14141
15.21/15.36	c #Conflicts:     281000 | #Constraints:      15141
15.21/15.36	c #Conflicts:     282000 | #Constraints:      16141
15.21/15.36	c #Conflicts:     283000 | #Constraints:      17141
15.21/15.36	c #Conflicts:     284000 | #Constraints:      18141
15.21/15.36	c #Conflicts:     285000 | #Constraints:      19141
15.21/15.36	c #Conflicts:     286000 | #Constraints:      20141
15.21/15.36	c #Conflicts:     287000 | #Constraints:      21141
15.21/15.36	c #Conflicts:     288000 | #Constraints:      22141
15.21/15.36	c INPROCESSING
15.21/15.36	c GARBAGE COLLECT
15.21/15.36	c rational objective 400.5
15.81/15.93	c #Conflicts:     289000 | #Constraints:      12539
15.81/15.93	c #Conflicts:     290000 | #Constraints:      13539
15.81/15.93	c #Conflicts:     291000 | #Constraints:      14539
15.81/15.93	c #Conflicts:     292000 | #Constraints:      15539
15.81/15.93	c #Conflicts:     293000 | #Constraints:      16539
15.81/15.93	c #Conflicts:     294000 | #Constraints:      17539
15.81/15.93	c #Conflicts:     295000 | #Constraints:      18539
15.81/15.93	c #Conflicts:     296000 | #Constraints:      19539
15.81/15.93	c #Conflicts:     297000 | #Constraints:      20539
15.81/15.93	c #Conflicts:     298000 | #Constraints:      21539
15.81/15.93	c #Conflicts:     299000 | #Constraints:      22539
15.81/15.93	c INPROCESSING
15.81/15.93	c GARBAGE COLLECT
15.81/15.93	c rational objective 400.5
16.41/16.57	c #Conflicts:     300000 | #Constraints:      12729
16.41/16.57	c #Conflicts:     301000 | #Constraints:      13729
16.41/16.57	c #Conflicts:     302000 | #Constraints:      14729
16.41/16.57	c #Conflicts:     303000 | #Constraints:      15729
16.41/16.57	c #Conflicts:     304000 | #Constraints:      16729
16.41/16.57	c #Conflicts:     305000 | #Constraints:      17729
16.41/16.57	c #Conflicts:     306000 | #Constraints:      18729
16.41/16.57	c #Conflicts:     307000 | #Constraints:      19729
16.41/16.57	c #Conflicts:     308000 | #Constraints:      20729
16.41/16.57	c #Conflicts:     309000 | #Constraints:      21729
16.41/16.57	c #Conflicts:     310000 | #Constraints:      22729
16.41/16.57	c INPROCESSING
16.41/16.57	c GARBAGE COLLECT
16.41/16.57	c rational objective 400.5
17.02/17.18	c #Conflicts:     311000 | #Constraints:      12731
17.02/17.18	c #Conflicts:     312000 | #Constraints:      13731
17.02/17.18	c #Conflicts:     313000 | #Constraints:      14731
17.02/17.18	c #Conflicts:     314000 | #Constraints:      15731
17.02/17.18	c #Conflicts:     315000 | #Constraints:      16731
17.02/17.18	c #Conflicts:     316000 | #Constraints:      17731
17.02/17.18	c #Conflicts:     317000 | #Constraints:      18731
17.02/17.18	c #Conflicts:     318000 | #Constraints:      19731
17.02/17.18	c #Conflicts:     319000 | #Constraints:      20731
17.02/17.18	c #Conflicts:     320000 | #Constraints:      21731
17.02/17.18	c #Conflicts:     321000 | #Constraints:      22731
17.02/17.18	c INPROCESSING
17.02/17.18	c GARBAGE COLLECT
17.02/17.18	c rational objective 400.5
17.71/17.89	c #Conflicts:     322000 | #Constraints:      12531
17.71/17.89	c #Conflicts:     323000 | #Constraints:      13531
17.71/17.89	c #Conflicts:     324000 | #Constraints:      14531
17.71/17.89	c #Conflicts:     325000 | #Constraints:      15531
17.71/17.89	c #Conflicts:     326000 | #Constraints:      16531
17.71/17.89	c #Conflicts:     327000 | #Constraints:      17531
17.71/17.89	c #Conflicts:     328000 | #Constraints:      18531
17.71/17.89	c #Conflicts:     329000 | #Constraints:      19531
17.71/17.89	c #Conflicts:     330000 | #Constraints:      20531
17.71/17.89	c #Conflicts:     331000 | #Constraints:      21531
17.71/17.89	c #Conflicts:     332000 | #Constraints:      22531
17.71/17.89	c #Conflicts:     333000 | #Constraints:      23531
17.71/17.89	c INPROCESSING
17.71/17.89	c GARBAGE COLLECT
17.71/17.89	c rational objective 400.5
18.31/18.47	c #Conflicts:     334000 | #Constraints:      13133
18.31/18.47	c #Conflicts:     335000 | #Constraints:      14133
18.31/18.47	c #Conflicts:     336000 | #Constraints:      15133
18.31/18.47	c #Conflicts:     337000 | #Constraints:      16133
18.31/18.47	c #Conflicts:     338000 | #Constraints:      17133
18.31/18.47	c #Conflicts:     339000 | #Constraints:      18133
18.31/18.47	c #Conflicts:     340000 | #Constraints:      19133
18.31/18.47	c #Conflicts:     341000 | #Constraints:      20133
18.31/18.47	c #Conflicts:     342000 | #Constraints:      21133
18.31/18.47	c #Conflicts:     343000 | #Constraints:      22133
18.31/18.47	c #Conflicts:     344000 | #Constraints:      23133
18.31/18.47	c #Conflicts:     345000 | #Constraints:      24133
18.31/18.47	c INPROCESSING
18.31/18.47	c GARBAGE COLLECT
18.31/18.47	c rational objective 400.5
18.91/19.06	c #Conflicts:     346000 | #Constraints:      13534
18.91/19.06	c #Conflicts:     347000 | #Constraints:      14534
18.91/19.06	c #Conflicts:     348000 | #Constraints:      15534
18.91/19.06	c #Conflicts:     349000 | #Constraints:      16534
18.91/19.06	c #Conflicts:     350000 | #Constraints:      17534
18.91/19.06	c #Conflicts:     351000 | #Constraints:      18534
18.91/19.06	c #Conflicts:     352000 | #Constraints:      19534
18.91/19.06	c #Conflicts:     353000 | #Constraints:      20534
18.91/19.06	c #Conflicts:     354000 | #Constraints:      21534
18.91/19.06	c #Conflicts:     355000 | #Constraints:      22534
18.91/19.06	c #Conflicts:     356000 | #Constraints:      23534
18.91/19.06	c #Conflicts:     357000 | #Constraints:      24534
18.91/19.06	c INPROCESSING
18.91/19.06	c GARBAGE COLLECT
18.91/19.06	c rational objective 400.5
19.51/19.69	c #Conflicts:     358000 | #Constraints:      13731
19.51/19.69	c #Conflicts:     359000 | #Constraints:      14731
19.51/19.69	c #Conflicts:     360000 | #Constraints:      15731
19.51/19.69	c #Conflicts:     361000 | #Constraints:      16731
19.51/19.69	c #Conflicts:     362000 | #Constraints:      17731
19.51/19.69	c #Conflicts:     363000 | #Constraints:      18731
19.51/19.69	c #Conflicts:     364000 | #Constraints:      19731
19.51/19.69	c #Conflicts:     365000 | #Constraints:      20731
19.51/19.69	c #Conflicts:     366000 | #Constraints:      21731
19.51/19.69	c #Conflicts:     367000 | #Constraints:      22731
19.51/19.69	c #Conflicts:     368000 | #Constraints:      23731
19.51/19.69	c #Conflicts:     369000 | #Constraints:      24731
19.51/19.69	c INPROCESSING
19.51/19.69	c GARBAGE COLLECT
19.51/19.69	c rational objective 400.5
20.20/20.32	c #Conflicts:     370000 | #Constraints:      13735
20.20/20.32	c #Conflicts:     371000 | #Constraints:      14735
20.20/20.32	c #Conflicts:     372000 | #Constraints:      15735
20.20/20.32	c #Conflicts:     373000 | #Constraints:      16735
20.20/20.32	c #Conflicts:     374000 | #Constraints:      17735
20.20/20.32	c #Conflicts:     375000 | #Constraints:      18735
20.20/20.32	c #Conflicts:     376000 | #Constraints:      19735
20.20/20.32	c #Conflicts:     377000 | #Constraints:      20735
20.20/20.32	c #Conflicts:     378000 | #Constraints:      21735
20.20/20.32	c #Conflicts:     379000 | #Constraints:      22735
20.20/20.32	c #Conflicts:     380000 | #Constraints:      23735
20.20/20.32	c #Conflicts:     381000 | #Constraints:      24735
20.20/20.32	c INPROCESSING
20.20/20.32	c GARBAGE COLLECT
20.20/20.32	c rational objective 400.5
20.79/20.91	c #Conflicts:     382000 | #Constraints:      13537
20.79/20.91	c #Conflicts:     383000 | #Constraints:      14537
20.79/20.91	c #Conflicts:     384000 | #Constraints:      15537
20.79/20.91	c #Conflicts:     385000 | #Constraints:      16537
20.79/20.91	c #Conflicts:     386000 | #Constraints:      17537
20.79/20.91	c #Conflicts:     387000 | #Constraints:      18537
20.79/20.91	c #Conflicts:     388000 | #Constraints:      19537
20.79/20.91	c #Conflicts:     389000 | #Constraints:      20537
20.79/20.91	c #Conflicts:     390000 | #Constraints:      21537
20.79/20.91	c #Conflicts:     391000 | #Constraints:      22537
20.79/20.91	c #Conflicts:     392000 | #Constraints:      23537
20.79/20.91	c #Conflicts:     393000 | #Constraints:      24537
20.79/20.91	c #Conflicts:     394000 | #Constraints:      25537
20.79/20.91	c INPROCESSING
20.79/20.91	c GARBAGE COLLECT
20.79/20.91	c rational objective 400.5
21.50/21.61	c #Conflicts:     395000 | #Constraints:      14141
21.50/21.61	c #Conflicts:     396000 | #Constraints:      15141
21.50/21.61	c #Conflicts:     397000 | #Constraints:      16141
21.50/21.61	c #Conflicts:     398000 | #Constraints:      17141
21.50/21.61	c #Conflicts:     399000 | #Constraints:      18141
21.50/21.61	c #Conflicts:     400000 | #Constraints:      19141
21.50/21.61	c #Conflicts:     401000 | #Constraints:      20141
21.50/21.61	c #Conflicts:     402000 | #Constraints:      21141
21.50/21.61	c #Conflicts:     403000 | #Constraints:      22141
21.50/21.61	c #Conflicts:     404000 | #Constraints:      23141
21.50/21.61	c #Conflicts:     405000 | #Constraints:      24141
21.50/21.61	c #Conflicts:     406000 | #Constraints:      25141
21.50/21.61	c #Conflicts:     407000 | #Constraints:      26141
21.50/21.61	c INPROCESSING
21.50/21.61	c GARBAGE COLLECT
21.50/21.61	c rational objective 400.5
22.09/22.23	c #Conflicts:     408000 | #Constraints:      14545
22.09/22.23	c #Conflicts:     409000 | #Constraints:      15545
22.09/22.23	c #Conflicts:     410000 | #Constraints:      16545
22.09/22.23	c #Conflicts:     411000 | #Constraints:      17545
22.09/22.23	c #Conflicts:     412000 | #Constraints:      18545
22.09/22.23	c #Conflicts:     413000 | #Constraints:      19545
22.09/22.23	c #Conflicts:     414000 | #Constraints:      20545
22.09/22.23	c #Conflicts:     415000 | #Constraints:      21545
22.09/22.23	c #Conflicts:     416000 | #Constraints:      22545
22.09/22.23	c #Conflicts:     417000 | #Constraints:      23545
22.09/22.23	c #Conflicts:     418000 | #Constraints:      24545
22.09/22.23	c #Conflicts:     419000 | #Constraints:      25545
22.09/22.23	c #Conflicts:     420000 | #Constraints:      26545
22.09/22.23	c INPROCESSING
22.09/22.23	c GARBAGE COLLECT
22.09/22.23	c rational objective 400.5
22.80/22.91	c #Conflicts:     421000 | #Constraints:      14743
22.80/22.91	c #Conflicts:     422000 | #Constraints:      15743
22.80/22.91	c #Conflicts:     423000 | #Constraints:      16743
22.80/22.91	c #Conflicts:     424000 | #Constraints:      17743
22.80/22.91	c #Conflicts:     425000 | #Constraints:      18743
22.80/22.91	c #Conflicts:     426000 | #Constraints:      19743
22.80/22.91	c #Conflicts:     427000 | #Constraints:      20743
22.80/22.91	c #Conflicts:     428000 | #Constraints:      21743
22.80/22.91	c #Conflicts:     429000 | #Constraints:      22743
22.80/22.91	c #Conflicts:     430000 | #Constraints:      23743
22.80/22.91	c #Conflicts:     431000 | #Constraints:      24743
22.80/22.91	c #Conflicts:     432000 | #Constraints:      25743
22.80/22.91	c #Conflicts:     433000 | #Constraints:      26743
22.80/22.91	c INPROCESSING
22.80/22.91	c GARBAGE COLLECT
22.80/22.91	c rational objective 400.5
23.59/23.76	c #Conflicts:     434000 | #Constraints:      14739
23.59/23.76	c #Conflicts:     435000 | #Constraints:      15739
23.59/23.76	c #Conflicts:     436000 | #Constraints:      16739
23.59/23.76	c #Conflicts:     437000 | #Constraints:      17739
23.59/23.76	c #Conflicts:     438000 | #Constraints:      18739
23.59/23.76	c #Conflicts:     439000 | #Constraints:      19739
23.59/23.76	c #Conflicts:     440000 | #Constraints:      20739
23.59/23.76	c #Conflicts:     441000 | #Constraints:      21739
23.59/23.76	c #Conflicts:     442000 | #Constraints:      22739
23.59/23.76	c #Conflicts:     443000 | #Constraints:      23739
23.59/23.76	c #Conflicts:     444000 | #Constraints:      24739
23.59/23.76	c #Conflicts:     445000 | #Constraints:      25739
23.59/23.76	c #Conflicts:     446000 | #Constraints:      26739
23.59/23.76	c INPROCESSING
23.59/23.76	c GARBAGE COLLECT
23.59/23.76	c rational objective 400.5
24.29/24.41	c #Conflicts:     447000 | #Constraints:      14544
24.29/24.41	c #Conflicts:     448000 | #Constraints:      15544
24.29/24.41	c #Conflicts:     449000 | #Constraints:      16544
24.29/24.41	c #Conflicts:     450000 | #Constraints:      17544
24.29/24.41	c #Conflicts:     451000 | #Constraints:      18544
24.29/24.41	c #Conflicts:     452000 | #Constraints:      19544
24.29/24.41	c #Conflicts:     453000 | #Constraints:      20544
24.29/24.41	c #Conflicts:     454000 | #Constraints:      21544
24.29/24.41	c #Conflicts:     455000 | #Constraints:      22544
24.29/24.41	c #Conflicts:     456000 | #Constraints:      23544
24.29/24.41	c #Conflicts:     457000 | #Constraints:      24544
24.29/24.41	c #Conflicts:     458000 | #Constraints:      25544
24.29/24.41	c #Conflicts:     459000 | #Constraints:      26544
24.29/24.41	c #Conflicts:     460000 | #Constraints:      27544
24.29/24.41	c INPROCESSING
24.29/24.41	c GARBAGE COLLECT
24.29/24.41	c rational objective 400.5
24.89/25.10	c #Conflicts:     461000 | #Constraints:      15148
24.89/25.10	c #Conflicts:     462000 | #Constraints:      16148
24.89/25.10	c #Conflicts:     463000 | #Constraints:      17148
24.89/25.10	c #Conflicts:     464000 | #Constraints:      18148
24.89/25.10	c #Conflicts:     465000 | #Constraints:      19148
24.89/25.10	c #Conflicts:     466000 | #Constraints:      20148
24.89/25.10	c #Conflicts:     467000 | #Constraints:      21148
24.89/25.10	c #Conflicts:     468000 | #Constraints:      22148
24.89/25.10	c #Conflicts:     469000 | #Constraints:      23148
24.89/25.10	c #Conflicts:     470000 | #Constraints:      24148
24.89/25.10	c #Conflicts:     471000 | #Constraints:      25148
24.89/25.10	c #Conflicts:     472000 | #Constraints:      26148
24.89/25.10	c #Conflicts:     473000 | #Constraints:      27148
24.89/25.10	c #Conflicts:     474000 | #Constraints:      28148
24.89/25.10	c INPROCESSING
24.89/25.10	c GARBAGE COLLECT
24.89/25.10	c rational objective 400.5
25.89/26.05	c #Conflicts:     475000 | #Constraints:      15547
25.89/26.05	c #Conflicts:     476000 | #Constraints:      16547
25.89/26.05	c #Conflicts:     477000 | #Constraints:      17547
25.89/26.05	c #Conflicts:     478000 | #Constraints:      18547
25.89/26.05	c #Conflicts:     479000 | #Constraints:      19547
25.89/26.05	c #Conflicts:     480000 | #Constraints:      20547
25.89/26.05	c #Conflicts:     481000 | #Constraints:      21547
25.89/26.05	c #Conflicts:     482000 | #Constraints:      22547
25.89/26.05	c #Conflicts:     483000 | #Constraints:      23547
25.89/26.05	c #Conflicts:     484000 | #Constraints:      24547
25.89/26.05	c #Conflicts:     485000 | #Constraints:      25547
25.89/26.05	c #Conflicts:     486000 | #Constraints:      26547
25.89/26.05	c #Conflicts:     487000 | #Constraints:      27547
25.89/26.05	c #Conflicts:     488000 | #Constraints:      28547
25.89/26.05	c INPROCESSING
25.89/26.05	c GARBAGE COLLECT
25.89/26.05	c rational objective 400.5
26.58/26.77	c #Conflicts:     489000 | #Constraints:      15757
26.58/26.77	c #Conflicts:     490000 | #Constraints:      16757
26.58/26.77	c #Conflicts:     491000 | #Constraints:      17757
26.58/26.77	c #Conflicts:     492000 | #Constraints:      18757
26.58/26.77	c #Conflicts:     493000 | #Constraints:      19757
26.58/26.77	c #Conflicts:     494000 | #Constraints:      20757
26.58/26.77	c #Conflicts:     495000 | #Constraints:      21757
26.58/26.77	c #Conflicts:     496000 | #Constraints:      22757
26.58/26.77	c #Conflicts:     497000 | #Constraints:      23757
26.58/26.77	c #Conflicts:     498000 | #Constraints:      24757
26.58/26.77	c #Conflicts:     499000 | #Constraints:      25757
26.58/26.77	c #Conflicts:     500000 | #Constraints:      26757
26.58/26.77	c #Conflicts:     501000 | #Constraints:      27757
26.58/26.77	c #Conflicts:     502000 | #Constraints:      28757
26.58/26.77	c INPROCESSING
26.58/26.77	c GARBAGE COLLECT
26.58/26.77	c rational objective 400.5
27.28/27.45	c #Conflicts:     503000 | #Constraints:      15758
27.28/27.45	c #Conflicts:     504000 | #Constraints:      16758
27.28/27.45	c #Conflicts:     505000 | #Constraints:      17758
27.28/27.45	c #Conflicts:     506000 | #Constraints:      18758
27.28/27.45	c #Conflicts:     507000 | #Constraints:      19758
27.28/27.45	c #Conflicts:     508000 | #Constraints:      20758
27.28/27.45	c #Conflicts:     509000 | #Constraints:      21758
27.28/27.45	c #Conflicts:     510000 | #Constraints:      22758
27.28/27.45	c #Conflicts:     511000 | #Constraints:      23758
27.28/27.45	c #Conflicts:     512000 | #Constraints:      24758
27.28/27.45	c #Conflicts:     513000 | #Constraints:      25758
27.28/27.45	c #Conflicts:     514000 | #Constraints:      26758
27.28/27.45	c #Conflicts:     515000 | #Constraints:      27758
27.28/27.45	c #Conflicts:     516000 | #Constraints:      28758
27.28/27.45	c INPROCESSING
27.28/27.45	c GARBAGE COLLECT
27.28/27.45	c rational objective 400.5
27.98/28.15	c #Conflicts:     517000 | #Constraints:      15551
27.98/28.15	c #Conflicts:     518000 | #Constraints:      16551
27.98/28.15	c #Conflicts:     519000 | #Constraints:      17551
27.98/28.15	c #Conflicts:     520000 | #Constraints:      18551
27.98/28.15	c #Conflicts:     521000 | #Constraints:      19551
27.98/28.15	c #Conflicts:     522000 | #Constraints:      20551
27.98/28.15	c #Conflicts:     523000 | #Constraints:      21551
27.98/28.15	c #Conflicts:     524000 | #Constraints:      22551
27.98/28.15	c #Conflicts:     525000 | #Constraints:      23551
27.98/28.15	c #Conflicts:     526000 | #Constraints:      24551
27.98/28.15	c #Conflicts:     527000 | #Constraints:      25551
27.98/28.15	c #Conflicts:     528000 | #Constraints:      26551
27.98/28.15	c #Conflicts:     529000 | #Constraints:      27551
27.98/28.15	c #Conflicts:     530000 | #Constraints:      28551
27.98/28.15	c #Conflicts:     531000 | #Constraints:      29551
27.98/28.15	c INPROCESSING
27.98/28.15	c GARBAGE COLLECT
27.98/28.15	c rational objective 400.5
28.77/28.90	c #Conflicts:     532000 | #Constraints:      16148
28.77/28.90	c #Conflicts:     533000 | #Constraints:      17148
28.77/28.90	c #Conflicts:     534000 | #Constraints:      18148
28.77/28.90	c #Conflicts:     535000 | #Constraints:      19148
28.77/28.90	c #Conflicts:     536000 | #Constraints:      20148
28.77/28.90	c #Conflicts:     537000 | #Constraints:      21148
28.77/28.90	c #Conflicts:     538000 | #Constraints:      22148
28.77/28.90	c #Conflicts:     539000 | #Constraints:      23148
28.77/28.90	c #Conflicts:     540000 | #Constraints:      24148
28.77/28.90	c #Conflicts:     541000 | #Constraints:      25148
28.77/28.90	c #Conflicts:     542000 | #Constraints:      26148
28.77/28.90	c #Conflicts:     543000 | #Constraints:      27148
28.77/28.90	c #Conflicts:     544000 | #Constraints:      28148
28.77/28.90	c #Conflicts:     545000 | #Constraints:      29148
28.77/28.90	c #Conflicts:     546000 | #Constraints:      30148
28.77/28.90	c INPROCESSING
28.77/28.90	c GARBAGE COLLECT
28.77/28.90	c rational objective 400.5
29.48/29.67	c #Conflicts:     547000 | #Constraints:      16543
29.48/29.67	c #Conflicts:     548000 | #Constraints:      17543
29.48/29.67	c #Conflicts:     549000 | #Constraints:      18543
29.48/29.67	c #Conflicts:     550000 | #Constraints:      19543
29.48/29.67	c #Conflicts:     551000 | #Constraints:      20543
29.48/29.67	c #Conflicts:     552000 | #Constraints:      21543
29.48/29.67	c #Conflicts:     553000 | #Constraints:      22543
29.48/29.67	c #Conflicts:     554000 | #Constraints:      23543
29.48/29.67	c #Conflicts:     555000 | #Constraints:      24543
29.48/29.67	c #Conflicts:     556000 | #Constraints:      25543
29.48/29.67	c #Conflicts:     557000 | #Constraints:      26543
29.48/29.67	c #Conflicts:     558000 | #Constraints:      27543
29.48/29.67	c #Conflicts:     559000 | #Constraints:      28543
29.48/29.67	c #Conflicts:     560000 | #Constraints:      29543
29.48/29.67	c #Conflicts:     561000 | #Constraints:      30543
29.48/29.67	c INPROCESSING
29.48/29.67	c GARBAGE COLLECT
29.48/29.67	c rational objective 400.5
30.28/30.46	c #Conflicts:     562000 | #Constraints:      16742
30.28/30.46	c #Conflicts:     563000 | #Constraints:      17742
30.28/30.46	c #Conflicts:     564000 | #Constraints:      18742
30.28/30.46	c #Conflicts:     565000 | #Constraints:      19742
30.28/30.46	c #Conflicts:     566000 | #Constraints:      20742
30.28/30.46	c #Conflicts:     567000 | #Constraints:      21742
30.28/30.46	c #Conflicts:     568000 | #Constraints:      22742
30.28/30.46	c #Conflicts:     569000 | #Constraints:      23742
30.28/30.46	c #Conflicts:     570000 | #Constraints:      24742
30.28/30.46	c #Conflicts:     571000 | #Constraints:      25742
30.28/30.46	c #Conflicts:     572000 | #Constraints:      26742
30.28/30.46	c #Conflicts:     573000 | #Constraints:      27742
30.28/30.46	c #Conflicts:     574000 | #Constraints:      28742
30.28/30.46	c #Conflicts:     575000 | #Constraints:      29742
30.28/30.46	c #Conflicts:     576000 | #Constraints:      30742
30.28/30.46	c INPROCESSING
30.28/30.46	c GARBAGE COLLECT
30.28/30.46	c rational objective 400.5
31.07/31.21	c #Conflicts:     577000 | #Constraints:      16748
31.07/31.21	c #Conflicts:     578000 | #Constraints:      17748
31.07/31.21	c #Conflicts:     579000 | #Constraints:      18748
31.07/31.21	c #Conflicts:     580000 | #Constraints:      19748
31.07/31.21	c #Conflicts:     581000 | #Constraints:      20748
31.07/31.21	c #Conflicts:     582000 | #Constraints:      21748
31.07/31.21	c #Conflicts:     583000 | #Constraints:      22748
31.07/31.21	c #Conflicts:     584000 | #Constraints:      23748
31.07/31.21	c #Conflicts:     585000 | #Constraints:      24748
31.07/31.21	c #Conflicts:     586000 | #Constraints:      25748
31.07/31.21	c #Conflicts:     587000 | #Constraints:      26748
31.07/31.21	c #Conflicts:     588000 | #Constraints:      27748
31.07/31.21	c #Conflicts:     589000 | #Constraints:      28748
31.07/31.21	c #Conflicts:     590000 | #Constraints:      29748
31.07/31.21	c #Conflicts:     591000 | #Constraints:      30748
31.07/31.21	c INPROCESSING
31.07/31.21	c GARBAGE COLLECT
31.07/31.21	c rational objective 400.5
31.87/32.02	c #Conflicts:     592000 | #Constraints:      16558
31.87/32.02	c #Conflicts:     593000 | #Constraints:      17558
31.87/32.02	c #Conflicts:     594000 | #Constraints:      18558
31.87/32.02	c #Conflicts:     595000 | #Constraints:      19558
31.87/32.02	c #Conflicts:     596000 | #Constraints:      20558
31.87/32.02	c #Conflicts:     597000 | #Constraints:      21558
31.87/32.02	c #Conflicts:     598000 | #Constraints:      22558
31.87/32.02	c #Conflicts:     599000 | #Constraints:      23558
31.87/32.02	c #Conflicts:     600000 | #Constraints:      24558
31.87/32.02	c #Conflicts:     601000 | #Constraints:      25558
31.87/32.02	c #Conflicts:     602000 | #Constraints:      26558
31.87/32.02	c #Conflicts:     603000 | #Constraints:      27558
31.87/32.02	c #Conflicts:     604000 | #Constraints:      28558
31.87/32.02	c #Conflicts:     605000 | #Constraints:      29558
31.87/32.02	c #Conflicts:     606000 | #Constraints:      30558
31.87/32.02	c #Conflicts:     607000 | #Constraints:      31558
31.87/32.02	c INPROCESSING
31.87/32.02	c GARBAGE COLLECT
31.87/32.02	c rational objective 400.5
32.57/32.70	c #Conflicts:     608000 | #Constraints:      17154
32.57/32.70	c #Conflicts:     609000 | #Constraints:      18154
32.57/32.70	c #Conflicts:     610000 | #Constraints:      19154
32.57/32.70	c #Conflicts:     611000 | #Constraints:      20154
32.57/32.70	c #Conflicts:     612000 | #Constraints:      21154
32.57/32.70	c #Conflicts:     613000 | #Constraints:      22154
32.57/32.70	c #Conflicts:     614000 | #Constraints:      23154
32.57/32.70	c #Conflicts:     615000 | #Constraints:      24154
32.57/32.70	c #Conflicts:     616000 | #Constraints:      25154
32.57/32.70	c #Conflicts:     617000 | #Constraints:      26154
32.57/32.70	c #Conflicts:     618000 | #Constraints:      27154
32.57/32.70	c #Conflicts:     619000 | #Constraints:      28154
32.57/32.70	c #Conflicts:     620000 | #Constraints:      29154
32.57/32.70	c #Conflicts:     621000 | #Constraints:      30154
32.57/32.70	c #Conflicts:     622000 | #Constraints:      31154
32.57/32.70	c #Conflicts:     623000 | #Constraints:      32154
32.57/32.70	c INPROCESSING
32.57/32.70	c GARBAGE COLLECT
32.57/32.70	c rational objective 400.5
33.26/33.46	c #Conflicts:     624000 | #Constraints:      17551
33.26/33.46	c #Conflicts:     625000 | #Constraints:      18551
33.26/33.46	c #Conflicts:     626000 | #Constraints:      19551
33.26/33.46	c #Conflicts:     627000 | #Constraints:      20551
33.26/33.46	c #Conflicts:     628000 | #Constraints:      21551
33.26/33.46	c #Conflicts:     629000 | #Constraints:      22551
33.26/33.46	c #Conflicts:     630000 | #Constraints:      23551
33.26/33.46	c #Conflicts:     631000 | #Constraints:      24551
33.26/33.46	c #Conflicts:     632000 | #Constraints:      25551
33.26/33.46	c #Conflicts:     633000 | #Constraints:      26551
33.26/33.46	c #Conflicts:     634000 | #Constraints:      27551
33.26/33.46	c #Conflicts:     635000 | #Constraints:      28551
33.26/33.46	c #Conflicts:     636000 | #Constraints:      29551
33.26/33.46	c #Conflicts:     637000 | #Constraints:      30551
33.26/33.46	c #Conflicts:     638000 | #Constraints:      31551
33.26/33.46	c #Conflicts:     639000 | #Constraints:      32551
33.26/33.46	c INPROCESSING
33.26/33.46	c GARBAGE COLLECT
33.26/33.46	c rational objective 400.5
34.07/34.21	c #Conflicts:     640000 | #Constraints:      17752
34.07/34.21	c #Conflicts:     641000 | #Constraints:      18752
34.07/34.21	c #Conflicts:     642000 | #Constraints:      19752
34.07/34.21	c #Conflicts:     643000 | #Constraints:      20752
34.07/34.21	c #Conflicts:     644000 | #Constraints:      21752
34.07/34.21	c #Conflicts:     645000 | #Constraints:      22752
34.07/34.21	c #Conflicts:     646000 | #Constraints:      23752
34.07/34.21	c #Conflicts:     647000 | #Constraints:      24752
34.07/34.21	c #Conflicts:     648000 | #Constraints:      25752
34.07/34.21	c #Conflicts:     649000 | #Constraints:      26752
34.07/34.21	c #Conflicts:     650000 | #Constraints:      27752
34.07/34.21	c #Conflicts:     651000 | #Constraints:      28752
34.07/34.21	c #Conflicts:     652000 | #Constraints:      29752
34.07/34.21	c #Conflicts:     653000 | #Constraints:      30752
34.07/34.21	c #Conflicts:     654000 | #Constraints:      31752
34.07/34.21	c #Conflicts:     655000 | #Constraints:      32752
34.07/34.21	c INPROCESSING
34.07/34.21	c GARBAGE COLLECT
34.07/34.21	c rational objective 400.5
34.76/35.00	c #Conflicts:     656000 | #Constraints:      17753
34.76/35.00	c #Conflicts:     657000 | #Constraints:      18753
34.76/35.00	c #Conflicts:     658000 | #Constraints:      19753
34.76/35.00	c #Conflicts:     659000 | #Constraints:      20753
34.76/35.00	c #Conflicts:     660000 | #Constraints:      21753
34.76/35.00	c #Conflicts:     661000 | #Constraints:      22753
34.76/35.00	c #Conflicts:     662000 | #Constraints:      23753
34.76/35.00	c #Conflicts:     663000 | #Constraints:      24753
34.76/35.00	c #Conflicts:     664000 | #Constraints:      25753
34.76/35.00	c #Conflicts:     665000 | #Constraints:      26753
34.76/35.00	c #Conflicts:     666000 | #Constraints:      27753
34.76/35.00	c #Conflicts:     667000 | #Constraints:      28753
34.76/35.00	c #Conflicts:     668000 | #Constraints:      29753
34.76/35.00	c #Conflicts:     669000 | #Constraints:      30753
34.76/35.00	c #Conflicts:     670000 | #Constraints:      31753
34.76/35.00	c #Conflicts:     671000 | #Constraints:      32753
34.76/35.00	c INPROCESSING
34.76/35.00	c GARBAGE COLLECT
34.76/35.00	c rational objective 400.5
35.56/35.79	c #Conflicts:     672000 | #Constraints:      17561
35.56/35.79	c #Conflicts:     673000 | #Constraints:      18561
35.56/35.79	c #Conflicts:     674000 | #Constraints:      19561
35.56/35.79	c #Conflicts:     675000 | #Constraints:      20561
35.56/35.79	c #Conflicts:     676000 | #Constraints:      21561
35.56/35.79	c #Conflicts:     677000 | #Constraints:      22561
35.56/35.79	c #Conflicts:     678000 | #Constraints:      23561
35.56/35.79	c #Conflicts:     679000 | #Constraints:      24561
35.56/35.79	c #Conflicts:     680000 | #Constraints:      25561
35.56/35.79	c #Conflicts:     681000 | #Constraints:      26561
35.56/35.79	c #Conflicts:     682000 | #Constraints:      27561
35.56/35.79	c #Conflicts:     683000 | #Constraints:      28561
35.56/35.79	c #Conflicts:     684000 | #Constraints:      29561
35.56/35.79	c #Conflicts:     685000 | #Constraints:      30561
35.56/35.79	c #Conflicts:     686000 | #Constraints:      31561
35.56/35.79	c #Conflicts:     687000 | #Constraints:      32561
35.56/35.79	c #Conflicts:     688000 | #Constraints:      33561
35.56/35.79	c INPROCESSING
35.56/35.79	c GARBAGE COLLECT
35.56/35.79	c rational objective 400.5
36.35/36.57	c #Conflicts:     689000 | #Constraints:      18164
36.35/36.57	c #Conflicts:     690000 | #Constraints:      19164
36.35/36.57	c #Conflicts:     691000 | #Constraints:      20164
36.35/36.57	c #Conflicts:     692000 | #Constraints:      21164
36.35/36.57	c #Conflicts:     693000 | #Constraints:      22164
36.35/36.57	c #Conflicts:     694000 | #Constraints:      23164
36.35/36.57	c #Conflicts:     695000 | #Constraints:      24164
36.35/36.57	c #Conflicts:     696000 | #Constraints:      25164
36.35/36.57	c #Conflicts:     697000 | #Constraints:      26164
36.35/36.57	c #Conflicts:     698000 | #Constraints:      27164
36.35/36.57	c #Conflicts:     699000 | #Constraints:      28164
36.35/36.57	c #Conflicts:     700000 | #Constraints:      29164
36.35/36.57	c #Conflicts:     701000 | #Constraints:      30164
36.35/36.57	c #Conflicts:     702000 | #Constraints:      31164
36.35/36.57	c #Conflicts:     703000 | #Constraints:      32164
36.35/36.57	c #Conflicts:     704000 | #Constraints:      33164
36.35/36.57	c #Conflicts:     705000 | #Constraints:      34164
36.35/36.57	c INPROCESSING
36.35/36.57	c GARBAGE COLLECT
36.35/36.57	c rational objective 400.5
37.26/37.43	c #Conflicts:     706000 | #Constraints:      18565
37.26/37.43	c #Conflicts:     707000 | #Constraints:      19565
37.26/37.43	c #Conflicts:     708000 | #Constraints:      20565
37.26/37.43	c #Conflicts:     709000 | #Constraints:      21565
37.26/37.43	c #Conflicts:     710000 | #Constraints:      22565
37.26/37.43	c #Conflicts:     711000 | #Constraints:      23565
37.26/37.43	c #Conflicts:     712000 | #Constraints:      24565
37.26/37.43	c #Conflicts:     713000 | #Constraints:      25565
37.26/37.43	c #Conflicts:     714000 | #Constraints:      26565
37.26/37.43	c #Conflicts:     715000 | #Constraints:      27565
37.26/37.43	c #Conflicts:     716000 | #Constraints:      28565
37.26/37.43	c #Conflicts:     717000 | #Constraints:      29565
37.26/37.43	c #Conflicts:     718000 | #Constraints:      30565
37.26/37.43	c #Conflicts:     719000 | #Constraints:      31565
37.26/37.43	c #Conflicts:     720000 | #Constraints:      32565
37.26/37.43	c #Conflicts:     721000 | #Constraints:      33565
37.26/37.43	c #Conflicts:     722000 | #Constraints:      34565
37.26/37.43	c INPROCESSING
37.26/37.43	c GARBAGE COLLECT
37.26/37.43	c rational objective 400.5
38.15/38.30	c #Conflicts:     723000 | #Constraints:      18765
38.15/38.30	c #Conflicts:     724000 | #Constraints:      19765
38.15/38.30	c #Conflicts:     725000 | #Constraints:      20765
38.15/38.30	c #Conflicts:     726000 | #Constraints:      21765
38.15/38.30	c #Conflicts:     727000 | #Constraints:      22765
38.15/38.30	c #Conflicts:     728000 | #Constraints:      23765
38.15/38.30	c #Conflicts:     729000 | #Constraints:      24765
38.15/38.30	c #Conflicts:     730000 | #Constraints:      25765
38.15/38.30	c #Conflicts:     731000 | #Constraints:      26765
38.15/38.30	c #Conflicts:     732000 | #Constraints:      27765
38.15/38.30	c #Conflicts:     733000 | #Constraints:      28765
38.15/38.30	c #Conflicts:     734000 | #Constraints:      29765
38.15/38.30	c #Conflicts:     735000 | #Constraints:      30765
38.15/38.30	c #Conflicts:     736000 | #Constraints:      31765
38.15/38.30	c #Conflicts:     737000 | #Constraints:      32765
38.15/38.30	c #Conflicts:     738000 | #Constraints:      33765
38.15/38.30	c #Conflicts:     739000 | #Constraints:      34765
38.15/38.30	c INPROCESSING
38.15/38.30	c GARBAGE COLLECT
38.15/38.30	c rational objective 400.5
38.96/39.13	c #Conflicts:     740000 | #Constraints:      18777
38.96/39.13	c #Conflicts:     741000 | #Constraints:      19777
38.96/39.13	c #Conflicts:     742000 | #Constraints:      20777
38.96/39.13	c #Conflicts:     743000 | #Constraints:      21777
38.96/39.13	c #Conflicts:     744000 | #Constraints:      22777
38.96/39.13	c #Conflicts:     745000 | #Constraints:      23777
38.96/39.13	c #Conflicts:     746000 | #Constraints:      24777
38.96/39.13	c #Conflicts:     747000 | #Constraints:      25777
38.96/39.13	c #Conflicts:     748000 | #Constraints:      26777
38.96/39.13	c #Conflicts:     749000 | #Constraints:      27777
38.96/39.13	c #Conflicts:     750000 | #Constraints:      28777
38.96/39.13	c #Conflicts:     751000 | #Constraints:      29777
38.96/39.13	c #Conflicts:     752000 | #Constraints:      30777
38.96/39.13	c #Conflicts:     753000 | #Constraints:      31777
38.96/39.13	c #Conflicts:     754000 | #Constraints:      32777
38.96/39.13	c #Conflicts:     755000 | #Constraints:      33777
38.96/39.13	c #Conflicts:     756000 | #Constraints:      34777
38.96/39.13	c INPROCESSING
38.96/39.13	c GARBAGE COLLECT
38.96/39.13	c rational objective 400.5
39.74/39.95	c #Conflicts:     757000 | #Constraints:      18579
39.74/39.95	c #Conflicts:     758000 | #Constraints:      19579
39.74/39.95	c #Conflicts:     759000 | #Constraints:      20579
39.74/39.95	c #Conflicts:     760000 | #Constraints:      21579
39.74/39.95	c #Conflicts:     761000 | #Constraints:      22579
39.74/39.95	c #Conflicts:     762000 | #Constraints:      23579
39.74/39.95	c #Conflicts:     763000 | #Constraints:      24579
39.74/39.95	c #Conflicts:     764000 | #Constraints:      25579
39.74/39.95	c #Conflicts:     765000 | #Constraints:      26579
39.74/39.95	c #Conflicts:     766000 | #Constraints:      27579
39.74/39.95	c #Conflicts:     767000 | #Constraints:      28579
39.74/39.95	c #Conflicts:     768000 | #Constraints:      29579
39.74/39.95	c #Conflicts:     769000 | #Constraints:      30579
39.74/39.95	c #Conflicts:     770000 | #Constraints:      31579
39.74/39.95	c #Conflicts:     771000 | #Constraints:      32579
39.74/39.95	c #Conflicts:     772000 | #Constraints:      33579
39.74/39.95	c #Conflicts:     773000 | #Constraints:      34579
39.74/39.95	c #Conflicts:     774000 | #Constraints:      35579
39.74/39.95	c INPROCESSING
39.74/39.95	c GARBAGE COLLECT
39.74/39.95	c rational objective 400.5
40.55/40.74	c #Conflicts:     775000 | #Constraints:      19175
40.55/40.74	c #Conflicts:     776000 | #Constraints:      20175
40.55/40.74	c #Conflicts:     777000 | #Constraints:      21175
40.55/40.74	c #Conflicts:     778000 | #Constraints:      22175
40.55/40.74	c #Conflicts:     779000 | #Constraints:      23175
40.55/40.74	c #Conflicts:     780000 | #Constraints:      24175
40.55/40.74	c #Conflicts:     781000 | #Constraints:      25175
40.55/40.74	c #Conflicts:     782000 | #Constraints:      26175
40.55/40.74	c #Conflicts:     783000 | #Constraints:      27175
40.55/40.74	c #Conflicts:     784000 | #Constraints:      28175
40.55/40.74	c #Conflicts:     785000 | #Constraints:      29175
40.55/40.74	c #Conflicts:     786000 | #Constraints:      30175
40.55/40.74	c #Conflicts:     787000 | #Constraints:      31175
40.55/40.74	c #Conflicts:     788000 | #Constraints:      32175
40.55/40.74	c #Conflicts:     789000 | #Constraints:      33175
40.55/40.74	c #Conflicts:     790000 | #Constraints:      34175
40.55/40.74	c #Conflicts:     791000 | #Constraints:      35175
40.55/40.74	c #Conflicts:     792000 | #Constraints:      36175
40.55/40.74	c INPROCESSING
40.55/40.74	c GARBAGE COLLECT
40.55/40.74	c rational objective 400.5
41.44/41.61	c #Conflicts:     793000 | #Constraints:      19573
41.44/41.61	c #Conflicts:     794000 | #Constraints:      20573
41.44/41.61	c #Conflicts:     795000 | #Constraints:      21573
41.44/41.61	c #Conflicts:     796000 | #Constraints:      22573
41.44/41.61	c #Conflicts:     797000 | #Constraints:      23573
41.44/41.61	c #Conflicts:     798000 | #Constraints:      24573
41.44/41.61	c #Conflicts:     799000 | #Constraints:      25573
41.44/41.61	c #Conflicts:     800000 | #Constraints:      26573
41.44/41.61	c #Conflicts:     801000 | #Constraints:      27573
41.44/41.61	c #Conflicts:     802000 | #Constraints:      28573
41.44/41.61	c #Conflicts:     803000 | #Constraints:      29573
41.44/41.61	c #Conflicts:     804000 | #Constraints:      30573
41.44/41.61	c #Conflicts:     805000 | #Constraints:      31573
41.44/41.61	c #Conflicts:     806000 | #Constraints:      32573
41.44/41.61	c #Conflicts:     807000 | #Constraints:      33573
41.44/41.61	c #Conflicts:     808000 | #Constraints:      34573
41.44/41.61	c #Conflicts:     809000 | #Constraints:      35573
41.44/41.61	c #Conflicts:     810000 | #Constraints:      36573
41.44/41.61	c INPROCESSING
41.44/41.61	c GARBAGE COLLECT
41.44/41.61	c rational objective 400.5
42.24/42.47	c #Conflicts:     811000 | #Constraints:      19779
42.24/42.47	c #Conflicts:     812000 | #Constraints:      20779
42.24/42.47	c #Conflicts:     813000 | #Constraints:      21779
42.24/42.47	c #Conflicts:     814000 | #Constraints:      22779
42.24/42.47	c #Conflicts:     815000 | #Constraints:      23779
42.24/42.47	c #Conflicts:     816000 | #Constraints:      24779
42.24/42.47	c #Conflicts:     817000 | #Constraints:      25779
42.24/42.47	c #Conflicts:     818000 | #Constraints:      26779
42.24/42.47	c #Conflicts:     819000 | #Constraints:      27779
42.24/42.47	c #Conflicts:     820000 | #Constraints:      28779
42.24/42.47	c #Conflicts:     821000 | #Constraints:      29779
42.24/42.47	c #Conflicts:     822000 | #Constraints:      30779
42.24/42.47	c #Conflicts:     823000 | #Constraints:      31779
42.24/42.47	c #Conflicts:     824000 | #Constraints:      32779
42.24/42.47	c #Conflicts:     825000 | #Constraints:      33779
42.24/42.47	c #Conflicts:     826000 | #Constraints:      34779
42.24/42.47	c #Conflicts:     827000 | #Constraints:      35779
42.24/42.47	c #Conflicts:     828000 | #Constraints:      36779
42.24/42.47	c INPROCESSING
42.24/42.47	c GARBAGE COLLECT
42.24/42.47	c rational objective 400.5
43.14/43.37	c #Conflicts:     829000 | #Constraints:      19786
43.14/43.37	c #Conflicts:     830000 | #Constraints:      20786
43.14/43.37	c #Conflicts:     831000 | #Constraints:      21786
43.14/43.37	c #Conflicts:     832000 | #Constraints:      22786
43.14/43.37	c #Conflicts:     833000 | #Constraints:      23786
43.14/43.37	c #Conflicts:     834000 | #Constraints:      24786
43.14/43.37	c #Conflicts:     835000 | #Constraints:      25786
43.14/43.37	c #Conflicts:     836000 | #Constraints:      26786
43.14/43.37	c #Conflicts:     837000 | #Constraints:      27786
43.14/43.37	c #Conflicts:     838000 | #Constraints:      28786
43.14/43.37	c #Conflicts:     839000 | #Constraints:      29786
43.14/43.37	c #Conflicts:     840000 | #Constraints:      30786
43.14/43.37	c #Conflicts:     841000 | #Constraints:      31786
43.14/43.37	c #Conflicts:     842000 | #Constraints:      32786
43.14/43.37	c #Conflicts:     843000 | #Constraints:      33786
43.14/43.37	c #Conflicts:     844000 | #Constraints:      34786
43.14/43.37	c #Conflicts:     845000 | #Constraints:      35786
43.14/43.37	c #Conflicts:     846000 | #Constraints:      36786
43.14/43.37	c INPROCESSING
43.14/43.37	c GARBAGE COLLECT
43.14/43.37	c rational objective 400.5
43.64/43.83	c #Conflicts:     847000 | #Constraints:       9044
43.64/43.83	c #Conflicts:     848000 | #Constraints:      10044
43.64/43.83	c #Conflicts:     849000 | #Constraints:      11044
43.64/43.83	c #Conflicts:     850000 | #Constraints:      12044
43.64/43.83	c #Conflicts:     851000 | #Constraints:      13044
43.64/43.83	c #Conflicts:     852000 | #Constraints:      14044
43.64/43.83	c #Conflicts:     853000 | #Constraints:      15044
43.64/43.83	c #Conflicts:     854000 | #Constraints:      16044
43.64/43.83	c #Conflicts:     855000 | #Constraints:      17044
43.64/43.83	c #Conflicts:     856000 | #Constraints:      18044
43.64/43.83	c #Conflicts:     857000 | #Constraints:      19044
43.64/43.83	c cpu time 39.9429 s
43.64/43.83	c deterministic time 1606390394 1.61e+09
43.64/43.83	c optimization time 6.2e-05 s
43.64/43.83	c total solve time 39.9387 s
43.64/43.83	c core-guided solve time 0 s
43.64/43.83	c propagation time 24.7629 s
43.64/43.83	c conflict analysis time 8.51096 s
43.64/43.83	c propagations 7786529
43.64/43.83	c resolve steps 2538657
43.64/43.83	c decisions 2815656
43.64/43.83	c conflicts 857068
43.64/43.83	c restarts 1837
43.64/43.83	c inprocessing phases 83
43.64/43.83	c garbage collections 83 ,( 100.00 )
43.64/43.83	c input clauses 2 ,( 0.25 )
43.64/43.83	c input cardinalities 800 ,( 99.75 )
43.64/43.83	c input general constraints 0 ,( 0.00 )
43.64/43.83	c input average constraint length 4.00
43.64/43.83	c input average constraint degree 2.00
43.64/43.83	c learned clauses 747917 ,( 87.22 )
43.64/43.83	c learned cardinalities 6074 ,( 0.71 )
43.64/43.83	c learned general constraints 103551 ,( 12.08 )
43.64/43.83	c learned average constraint length 17.57
43.64/43.83	c learned average constraint degree 37997882.39
43.64/43.83	c watched  CF 32, 64, 128, Arb: 50816 , 0 , 0 , 0
43.64/43.83	c counting CF 32, 64, 128, Arb: 52735 , 0 , 0 , 0
43.64/43.83	c watched   constraints 50816 ,( 49.07 ) 
43.64/43.83	c counting  constraints 52735 ,( 50.93 ) 
43.64/43.83	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 203373377 , 13209715 , 20207614 ,( 12185868 , 8021746 )
43.64/43.83	c gcd simplifications 45768
43.64/43.83	c detected cardinalities 990
43.64/43.83	c weakened non-implied lits 1019448
43.64/43.83	c weakened non-implying lits 62829
43.64/43.83	c original variables 801
43.64/43.83	c clausal propagations 1473605
43.64/43.83	c cardinality propagations 2870213
43.64/43.83	c watched propagations 105917
43.64/43.83	c counting propagations 2419279
43.64/43.83	c watch lookups 949536932
43.64/43.83	c watch backjump lookups 0
43.64/43.83	c watch checks 464862083
43.64/43.83	c propagation checks 116213732
43.64/43.83	c constraint additions 53629352
43.64/43.83	c trail pops 11459218
43.64/43.83	c formula constraints 802
43.64/43.83	c learned constraints 857055
43.64/43.83	c bound constraints 0
43.64/43.83	c core-guided constraints 0
43.64/43.83	c encountered formula constraints 85092
43.64/43.83	c encountered learned constraints 3300627
43.64/43.83	c encountered bound constraints 0
43.64/43.83	c encountered core-guided constraints 0
43.64/43.83	c LP total time 5.07136 s
43.64/43.83	c LP solve time 2.52 s
43.64/43.83	c LP constraints added 1348
43.64/43.83	c LP constraints removed 535
43.64/43.83	c LP pivots internal 85718
43.64/43.83	c LP pivots root 1173
43.64/43.83	c LP calls 5109
43.64/43.83	c LP optimalities 5096
43.64/43.83	c LP no pivot count 373
43.64/43.83	c LP infeasibilities 12
43.64/43.83	c LP valid Farkas constraints 12
43.64/43.83	c LP learned Farkas constraints 12
43.64/43.83	c LP basis resets 0
43.64/43.83	c LP cycling count 0
43.64/43.83	c LP singular count 0
43.64/43.83	c LP no primal count 0
43.64/43.83	c LP no farkas count 0
43.64/43.83	c LP other issue count 0
43.64/43.83	c LP Gomory cuts 463
43.64/43.83	c LP learned cuts 83
43.64/43.83	c LP deleted cuts 535
43.64/43.83	c LP encountered Gomory constraints 0
43.64/43.83	c LP encountered Farkas constraints 9895
43.64/43.83	c LP encountered learned Farkas constraints 99
43.64/43.83	c CG auxiliary variables introduced 0
43.64/43.83	c CG solutions found 0
43.64/43.83	c CG cores constructed 0
43.64/43.83	c CG core cardinality constraints returned 0
43.64/43.83	c CG unit cores 0
43.64/43.83	c CG single cores 0
43.64/43.83	c CG blocks removed during cardinality reduction 0
43.64/43.83	c CG first core best 0
43.64/43.83	c CG decision core best 0
43.64/43.83	c CG core reduction tie 0
43.64/43.83	c CG core degree average 0.00
43.64/43.83	c CG core slack average 0.00
43.64/43.83	c CG core upper bound improvements 0
43.64/43.83	c STR number of successful calls 0
43.64/43.83	c STR number of unsuccessful calls 0
43.64/43.83	c STR number of inconclusive calls 0
43.64/43.83	c STR number of successful attempts 0
43.64/43.83	c STR number of unsuccessful attempts 0
43.64/43.83	c STR number of inconclusive attempts 0
43.64/43.83	c STR average degree increase per successful call inf
43.64/43.83	c STR average degree increase per successful attempt inf
43.64/43.83	c STR total number of conflicts for successful attempts 0
43.64/43.83	c STR total number of conflicts for unsuccessful attempts 0
43.64/43.83	c STR total number of conflicts for inconclusive attempts 0
43.64/43.83	c STR average number of conflicts per successful attempt inf
43.64/43.83	c STR average number of conflicts per unsuccessful attempt inf
43.64/43.83	c STR average number of conflicts per inconclusive attempt inf
43.64/43.83	c AVG.sumWPerc 38.92 
43.64/43.83	c bigint constraints 0 
43.64/43.88	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 15:12:20 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED UNSATISFIABLE
Verification succeeded.
-- cakepb --
s VERIFIED UNSATISFIABLE
--summary--
ALL OK

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: 63708 MiB (61270 MiB free)
  memory of node 1: 64465 MiB (61295 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511087-1751196016/watcher-4511087-1751196016 -o /tmp/evaluation-result-4511087-1751196016/solver-4511087-1751196016 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751195206-22312 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4511087-1751196016.opb PROOFDIR/proof-4511087-1751196016 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing FSIZE limit: 102400000 KiB
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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
solver pid=23150, runsolver pid=23147
Current StackSize limit: 8192 KiB


[startup+0.10006 s]*
/proc/loadavg: 4.14 3.99 3.67 4/268 23152
/proc/meminfo: memFree=125533516/131249996 swapFree=33010684/33010684
[pid=23150] ppid=23147 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23150/stat : 23150 (run-dec-ls-log.) S 23147 23150 22301 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 35279427 4292608 768 18446744073709551615 94339434561536 94339435456069 140729384329808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94339435695120 94339435742864 94339438956544 140729384335643 140729384335841 140729384335841 140729384341443 0
/proc/23150/statm: 1048 768 704 219 0 110 0
[pid=23152] ppid=23150 vsize=58440 memory=12832 CPUtime=0.06 cores=4,6
/proc/23152/stat : 23152 (roundingsat) R 23150 23150 22301 0 -1 4194304 1239 0 0 0 6 0 0 0 20 0 1 0 35279428 59842560 3208 18446744073709551615 4227072 8923433 140731683098800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12496896 140731683105104 140731683105320 140731683105320 140731683110890 0
/proc/23152/statm: 14610 3208 2336 1147 0 2037 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 62632 KiB
Current children cumulated memory: 15904 KiB

[startup+0.205773 s]*
/proc/loadavg: 4.14 3.99 3.67 4/268 23152
/proc/meminfo: memFree=125528920/131249996 swapFree=33010684/33010684
[pid=23150] ppid=23147 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23150/stat : 23150 (run-dec-ls-log.) S 23147 23150 22301 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 35279427 4292608 768 18446744073709551615 94339434561536 94339435456069 140729384329808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94339435695120 94339435742864 94339438956544 140729384335643 140729384335841 140729384335841 140729384341443 0
/proc/23150/statm: 1048 768 704 219 0 110 0
[pid=23152] ppid=23150 vsize=59004 memory=15516 CPUtime=0.17 cores=4,6
/proc/23152/stat : 23152 (roundingsat) R 23150 23150 22301 0 -1 4194304 1394 0 0 0 15 2 0 0 20 0 1 0 35279428 60420096 3879 18446744073709551615 4227072 8923433 140731683098800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12496896 140731683105104 140731683105320 140731683105320 140731683110890 0
/proc/23152/statm: 14751 3879 2336 1147 0 2178 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 63196 KiB
Current children cumulated memory: 18588 KiB

[startup+0.305751 s]*
/proc/loadavg: 4.14 3.99 3.67 4/268 23156
/proc/meminfo: memFree=126222968/131249996 swapFree=33010684/33010684
[pid=23150] ppid=23147 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23150/stat : 23150 (run-dec-ls-log.) S 23147 23150 22301 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 35279427 4292608 768 18446744073709551615 94339434561536 94339435456069 140729384329808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94339435695120 94339435742864 94339438956544 140729384335643 140729384335841 140729384335841 140729384341443 0
/proc/23150/statm: 1048 768 704 219 0 110 0
[pid=23152] ppid=23150 vsize=59424 memory=15900 CPUtime=0.26 cores=4,6
/proc/23152/stat : 23152 (roundingsat) R 23150 23150 22301 0 -1 4194304 1494 0 0 0 23 3 0 0 20 0 1 0 35279428 60850176 3975 18446744073709551615 4227072 8923433 140731683098800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12496896 140731683105104 140731683105320 140731683105320 140731683110890 0
/proc/23152/statm: 14856 3975 2336 1147 0 2283 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 63616 KiB
Current children cumulated memory: 18972 KiB

[startup+0.700142 s]
/proc/loadavg: 4.14 3.99 3.67 5/273 23172
/proc/meminfo: memFree=126214100/131249996 swapFree=33010684/33010684
[pid=23150] ppid=23147 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23150/stat : 23150 (run-dec-ls-log.) S 23147 23150 22301 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 35279427 4292608 768 18446744073709551615 94339434561536 94339435456069 140729384329808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94339435695120 94339435742864 94339438956544 140729384335643 140729384335841 140729384335841 140729384341443 0
/proc/23150/statm: 1048 768 704 219 0 110 0
[pid=23152] ppid=23150 vsize=60136 memory=16540 CPUtime=0.65 cores=4,6
/proc/23152/stat : 23152 (roundingsat) R 23150 23150 22301 0 -1 4194304 1648 0 0 0 57 8 0 0 20 0 1 0 35279428 61579264 4135 18446744073709551615 4227072 8923433 140731683098800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12496896 140731683105104 140731683105320 140731683105320 140731683110890 0
/proc/23152/statm: 15034 4135 2336 1147 0 2461 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 64328 KiB
Current children cumulated memory: 19612 KiB

[startup+1.50015 s]
/proc/loadavg: 4.14 3.99 3.67 4/270 23186
/proc/meminfo: memFree=126213784/131249996 swapFree=33010684/33010684
[pid=23150] ppid=23147 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23150/stat : 23150 (run-dec-ls-log.) S 23147 23150 22301 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 35279427 4292608 768 18446744073709551615 94339434561536 94339435456069 140729384329808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94339435695120 94339435742864 94339438956544 140729384335643 140729384335841 140729384335841 140729384341443 0
/proc/23150/statm: 1048 768 704 219 0 110 0
[pid=23152] ppid=23150 vsize=61136 memory=17564 CPUtime=1.45 cores=4,6
/proc/23152/stat : 23152 (roundingsat) R 23150 23150 22301 0 -1 4194304 1899 0 0 0 127 18 0 0 20 0 1 0 35279428 62603264 4391 18446744073709551615 4227072 8923433 140731683098800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12496896 140731683105104 140731683105320 140731683105320 140731683110890 0
/proc/23152/statm: 15284 4391 2336 1147 0 2711 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 65328 KiB
Current children cumulated memory: 20636 KiB

[startup+3.1057 s]
/proc/loadavg: 4.12 3.99 3.67 5/273 23219
/proc/meminfo: memFree=126197428/131249996 swapFree=33010684/33010684
[pid=23150] ppid=23147 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23150/stat : 23150 (run-dec-ls-log.) S 23147 23150 22301 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 35279427 4292608 768 18446744073709551615 94339434561536 94339435456069 140729384329808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94339435695120 94339435742864 94339438956544 140729384335643 140729384335841 140729384335841 140729384341443 0
/proc/23150/statm: 1048 768 704 219 0 110 0
[pid=23152] ppid=23150 vsize=63004 memory=19356 CPUtime=3.05 cores=4,6
/proc/23152/stat : 23152 (roundingsat) R 23150 23150 22301 0 -1 4194304 2343 0 0 0 268 37 0 0 20 0 1 0 35279428 64516096 4839 18446744073709551615 4227072 8923433 140731683098800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12496896 140731683105104 140731683105320 140731683105320 140731683110890 0
/proc/23152/statm: 15751 4839 2336 1147 0 3178 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 67196 KiB
Current children cumulated memory: 22428 KiB

[startup+6.30013 s]
/proc/loadavg: 4.12 3.99 3.67 5/273 23219
/proc/meminfo: memFree=126198860/131249996 swapFree=33010684/33010684
[pid=23150] ppid=23147 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23150/stat : 23150 (run-dec-ls-log.) S 23147 23150 22301 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 35279427 4292608 768 18446744073709551615 94339434561536 94339435456069 140729384329808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94339435695120 94339435742864 94339438956544 140729384335643 140729384335841 140729384335841 140729384341443 0
/proc/23150/statm: 1048 768 704 219 0 110 0
[pid=23152] ppid=23150 vsize=64096 memory=20636 CPUtime=6.23 cores=4,6
/proc/23152/stat : 23152 (roundingsat) R 23150 23150 22301 0 -1 4194304 2658 0 0 0 549 74 0 0 20 0 1 0 35279428 65634304 5159 18446744073709551615 4227072 8923433 140731683098800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12496896 140731683105104 140731683105320 140731683105320 140731683110890 0
/proc/23152/statm: 16024 5159 2336 1147 0 3451 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 68288 KiB
Current children cumulated memory: 23708 KiB

[startup+12.7001 s]
/proc/loadavg: 4.10 3.99 3.68 5/273 23219
/proc/meminfo: memFree=126167128/131249996 swapFree=33010684/33010684
[pid=23150] ppid=23147 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23150/stat : 23150 (run-dec-ls-log.) S 23147 23150 22301 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 35279427 4292608 768 18446744073709551615 94339434561536 94339435456069 140729384329808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94339435695120 94339435742864 94339438956544 140729384335643 140729384335841 140729384335841 140729384341443 0
/proc/23150/statm: 1048 768 704 219 0 110 0
[pid=23152] ppid=23150 vsize=65716 memory=22232 CPUtime=12.62 cores=4,6
/proc/23152/stat : 23152 (roundingsat) R 23150 23150 22301 0 -1 4194304 3237 0 0 0 1127 135 0 0 20 0 1 0 35279428 67293184 5558 18446744073709551615 4227072 8923433 140731683098800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12496896 140731683105104 140731683105320 140731683105320 140731683110890 0
/proc/23152/statm: 16429 5558 2336 1147 0 3856 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 69908 KiB
Current children cumulated memory: 25304 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 3.99 3.68 5/273 23220
/proc/meminfo: memFree=126071404/131249996 swapFree=33010684/33010684
[pid=23150] ppid=23147 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23150/stat : 23150 (run-dec-ls-log.) S 23147 23150 22301 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 35279427 4292608 768 18446744073709551615 94339434561536 94339435456069 140729384329808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94339435695120 94339435742864 94339438956544 140729384335643 140729384335841 140729384335841 140729384341443 0
/proc/23150/statm: 1048 768 704 219 0 110 0
[pid=23152] ppid=23150 vsize=68264 memory=26648 CPUtime=25.39 cores=4,6
/proc/23152/stat : 23152 (roundingsat) R 23150 23150 22301 0 -1 4194304 5542 0 0 0 2296 243 0 0 20 0 1 0 35279428 69902336 6662 18446744073709551615 4227072 8923433 140731683098800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12496896 140731683105104 140731683105320 140731683105320 140731683110890 0
/proc/23152/statm: 17066 6662 2336 1147 0 4493 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 72456 KiB
Current children cumulated memory: 29720 KiB

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

# cumulated CPU time of all completed processes:  user=39.9485 s, system=3.73752 s

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

[startup+25.6002 s]
/proc/loadavg: 4.09 3.99 3.68 5/273 23220
/proc/meminfo: memFree=126071404/131249996 swapFree=33010684/33010684
[pid=23150] ppid=23147 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23150/stat : 23150 (run-dec-ls-log.) S 23147 23150 22301 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 35279427 4292608 768 18446744073709551615 94339434561536 94339435456069 140729384329808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94339435695120 94339435742864 94339438956544 140729384335643 140729384335841 140729384335841 140729384341443 0
/proc/23150/statm: 1048 768 704 219 0 110 0
[pid=23152] ppid=23150 vsize=68264 memory=26648 CPUtime=25.49 cores=4,6
/proc/23152/stat : 23152 (roundingsat) R 23150 23150 22301 0 -1 4194304 5542 0 0 0 2306 243 0 0 20 0 1 0 35279428 69902336 6662 18446744073709551615 4227072 8923433 140731683098800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12496896 140731683105104 140731683105320 140731683105320 140731683110890 0
/proc/23152/statm: 17066 6662 2336 1147 0 4493 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 72456 KiB
Current children cumulated memory: 29720 KiB

[startup+32.0001 s]*
/proc/loadavg: 4.07 4.00 3.68 5/273 23220
/proc/meminfo: memFree=126022988/131249996 swapFree=33010684/33010684
[pid=23150] ppid=23147 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23150/stat : 23150 (run-dec-ls-log.) S 23147 23150 22301 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 35279427 4292608 768 18446744073709551615 94339434561536 94339435456069 140729384329808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94339435695120 94339435742864 94339438956544 140729384335643 140729384335841 140729384335841 140729384341443 0
/proc/23150/statm: 1048 768 704 219 0 110 0
[pid=23152] ppid=23150 vsize=69000 memory=27332 CPUtime=31.87 cores=4,6
/proc/23152/stat : 23152 (roundingsat) R 23150 23150 22301 0 -1 4194304 6614 0 0 0 2898 289 0 0 20 0 1 0 35279428 70656000 6833 18446744073709551615 4227072 8923433 140731683098800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12496896 140731683105104 140731683105320 140731683105320 140731683110890 0
/proc/23152/statm: 17250 6833 2336 1147 0 4677 0
Current children cumulated CPU time: 31.87 s
Current children cumulated vsize: 73192 KiB
Current children cumulated memory: 30404 KiB

[startup+38.4002 s]
/proc/loadavg: 4.15 4.01 3.69 5/273 23220
/proc/meminfo: memFree=125962116/131249996 swapFree=33010684/33010684
[pid=23150] ppid=23147 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23150/stat : 23150 (run-dec-ls-log.) S 23147 23150 22301 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 35279427 4292608 768 18446744073709551615 94339434561536 94339435456069 140729384329808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94339435695120 94339435742864 94339438956544 140729384335643 140729384335841 140729384335841 140729384341443 0
/proc/23150/statm: 1048 768 704 219 0 110 0
[pid=23152] ppid=23150 vsize=70616 memory=28588 CPUtime=38.25 cores=4,6
/proc/23152/stat : 23152 (roundingsat) R 23150 23150 22301 0 -1 4194304 7577 0 0 0 3490 335 0 0 20 0 1 0 35279428 72310784 7147 18446744073709551615 4227072 8923433 140731683098800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12496896 140731683105104 140731683105320 140731683105320 140731683110890 0
/proc/23152/statm: 17654 7147 2336 1147 0 5081 0
Current children cumulated CPU time: 38.25 s
Current children cumulated vsize: 74808 KiB
Current children cumulated memory: 31660 KiB

[startup+41.6001 s]
/proc/loadavg: 4.15 4.01 3.69 5/273 23220
/proc/meminfo: memFree=125945384/131249996 swapFree=33010684/33010684
[pid=23150] ppid=23147 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23150/stat : 23150 (run-dec-ls-log.) S 23147 23150 22301 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 35279427 4292608 768 18446744073709551615 94339434561536 94339435456069 140729384329808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94339435695120 94339435742864 94339438956544 140729384335643 140729384335841 140729384335841 140729384341443 0
/proc/23150/statm: 1048 768 704 219 0 110 0
[pid=23152] ppid=23150 vsize=70920 memory=28788 CPUtime=41.44 cores=4,6
/proc/23152/stat : 23152 (roundingsat) R 23150 23150 22301 0 -1 4194304 7811 0 0 0 3786 358 0 0 20 0 1 0 35279428 72622080 7197 18446744073709551615 4227072 8923433 140731683098800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12496896 140731683105104 140731683105320 140731683105320 140731683110890 0
/proc/23152/statm: 17730 7197 2336 1147 0 5157 0
Current children cumulated CPU time: 41.44 s
Current children cumulated vsize: 75112 KiB
Current children cumulated memory: 31860 KiB

[startup+43.2001 s]
/proc/loadavg: 4.14 4.01 3.69 5/273 23220
/proc/meminfo: memFree=125933288/131249996 swapFree=33010684/33010684
[pid=23150] ppid=23147 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23150/stat : 23150 (run-dec-ls-log.) S 23147 23150 22301 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 35279427 4292608 768 18446744073709551615 94339434561536 94339435456069 140729384329808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94339435695120 94339435742864 94339438956544 140729384335643 140729384335841 140729384335841 140729384341443 0
/proc/23150/statm: 1048 768 704 219 0 110 0
[pid=23152] ppid=23150 vsize=71436 memory=29268 CPUtime=43.04 cores=4,6
/proc/23152/stat : 23152 (roundingsat) R 23150 23150 22301 0 -1 4194304 8055 0 0 0 3936 368 0 0 20 0 1 0 35279428 73150464 7317 18446744073709551615 4227072 8923433 140731683098800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12496896 140731683105104 140731683105320 140731683105320 140731683110890 0
/proc/23152/statm: 17859 7317 2336 1147 0 5286 0
Current children cumulated CPU time: 43.04 s
Current children cumulated vsize: 75628 KiB
Current children cumulated memory: 32340 KiB

[startup+43.6001 s]
/proc/loadavg: 4.14 4.01 3.69 5/273 23220
/proc/meminfo: memFree=125933288/131249996 swapFree=33010684/33010684
[pid=23150] ppid=23147 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23150/stat : 23150 (run-dec-ls-log.) S 23147 23150 22301 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 35279427 4292608 768 18446744073709551615 94339434561536 94339435456069 140729384329808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94339435695120 94339435742864 94339438956544 140729384335643 140729384335841 140729384335841 140729384341443 0
/proc/23150/statm: 1048 768 704 219 0 110 0
[pid=23152] ppid=23150 vsize=71804 memory=29524 CPUtime=43.44 cores=4,6
/proc/23152/stat : 23152 (roundingsat) R 23150 23150 22301 0 -1 4194304 8142 0 0 0 3973 371 0 0 20 0 1 0 35279428 73527296 7381 18446744073709551615 4227072 8923433 140731683098800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12496896 140731683105104 140731683105320 140731683105320 140731683110890 0
/proc/23152/statm: 17951 7381 2336 1147 0 5378 0
Current children cumulated CPU time: 43.44 s
Current children cumulated vsize: 75996 KiB
Current children cumulated memory: 32596 KiB

[startup+43.8002 s]
/proc/loadavg: 4.14 4.01 3.69 5/273 23220
/proc/meminfo: memFree=125933288/131249996 swapFree=33010684/33010684
[pid=23150] ppid=23147 vsize=4192 memory=3072 CPUtime=0 cores=4,6
/proc/23150/stat : 23150 (run-dec-ls-log.) S 23147 23150 22301 0 -1 4194304 211 0 0 0 0 0 0 0 20 0 1 0 35279427 4292608 768 18446744073709551615 94339434561536 94339435456069 140729384329808 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94339435695120 94339435742864 94339438956544 140729384335643 140729384335841 140729384335841 140729384341443 0
/proc/23150/statm: 1048 768 704 219 0 110 0
[pid=23152] ppid=23150 vsize=71804 memory=29524 CPUtime=43.64 cores=4,6
/proc/23152/stat : 23152 (roundingsat) R 23150 23150 22301 0 -1 4194304 8142 0 0 0 3991 373 0 0 20 0 1 0 35279428 73527296 7381 18446744073709551615 4227072 8923433 140731683098800 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12496896 140731683105104 140731683105320 140731683105320 140731683110890 0
/proc/23152/statm: 17951 7381 2336 1147 0 5378 0
Current children cumulated CPU time: 43.64 s
Current children cumulated vsize: 75996 KiB
Current children cumulated memory: 32596 KiB

Child status: 0

Real time (s): 43.8818
CPU time (s): 43.686
CPU user time (s): 39.9485
CPU system time (s): 3.73752
CPU usage (%): 99.5538
Max. virtual memory (cumulated for all children) (KiB): 75996
Max. memory (cumulated for all children) (KiB): 32596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.9485
system time used= 3.73752
maximum resident set size= 29524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8376
page faults= 0
swaps= 0
block input operations= 0
block output operations= 231256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 993
involuntary context switches= 87


# summary of solver processes directly reported to runsolver:
#   pid: 23150
#   total CPU time (s): 43.686
#   total CPU user time (s): 39.9485
#   total CPU system time (s): 3.73752

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.099826 second user time and 0.220136 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2025-06-29 13:20:16
IDJOB=4511087
IDBENCH=160428
IDSOLVER=3354
FILE ID=nodeC023/4511087-1751196016
RUNJOBID= nodeC023-1751195206-22312
SLURM_JOB_ID= 9587603
Free space on /tmp= 433036 MiB

SOLVER NAME= roundingsat-ls-log 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
COMMAND LINE= run-dec-ls-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511087-1751196016/watcher-4511087-1751196016 -o /tmp/evaluation-result-4511087-1751196016/solver-4511087-1751196016 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1751195206-22312 --watchdog 3760 --file-size-limit 100000 run-dec-ls-log.sh HOME/instance-4511087-1751196016.opb PROOFDIR/proof-4511087-1751196016

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

MD5SUM BENCH= 1a3ecc72c33db076137ced748302e815
RANDOM SEED=745352630

nodeC023 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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		: 3599.876
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3600.600
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3773.346
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.482
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3787.493
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.872
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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.694
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
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		: 3599.793
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 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        125511024 kB
MemAvailable:   129537312 kB
Buffers:            3280 kB
Cached:          4831524 kB
SwapCached:            0 kB
Active:           621568 kB
Inactive:        4526696 kB
Active(anon):     331304 kB
Inactive(anon):        0 kB
Active(file):     290264 kB
Inactive(file):  4526696 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             94044 kB
Writeback:            12 kB
AnonPages:        311576 kB
Mapped:           110476 kB
Shmem:             18064 kB
KReclaimable:      97136 kB
Slab:             186272 kB
SReclaimable:      97136 kB
SUnreclaim:        89136 kB
KernelStack:        4240 kB
PageTables:         3648 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     628104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     9011200 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC023 at 2025-06-29 13:21:00