Trace number 4511084

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 63f22adUNSAT 39.6587 39.7976

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (62980 MiB free)
  memory of node 1: 64465 MiB (63763 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511084-1751200344/watcher-4511084-1751200344 -o /tmp/evaluation-result-4511084-1751200344/solver-4511084-1751200344 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751196106-21224 --watchdog 3760 run-dec.sh HOME/instance-4511084-1751200344.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100072 s]*
/proc/loadavg: 4.14 4.16 4.14 5/256 22832
/proc/meminfo: memFree=129785660/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=57796 memory=12192 CPUtime=0.07 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 1060 0 0 0 6 1 0 0 20 0 1 0 35713116 59183104 3048 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 14449 3048 2336 1147 0 1876 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 61988 KiB
Current children cumulated memory: 15264 KiB

[startup+0.215508 s]*
/proc/loadavg: 4.14 4.16 4.14 5/256 22832
/proc/meminfo: memFree=129785660/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=58096 memory=14624 CPUtime=0.18 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 1173 0 0 0 15 3 0 0 20 0 1 0 35713116 59490304 3656 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 14524 3656 2336 1147 0 1951 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 62288 KiB
Current children cumulated memory: 17696 KiB

[startup+0.313986 s]*
/proc/loadavg: 4.14 4.16 4.14 5/256 22832
/proc/meminfo: memFree=129785660/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=58360 memory=14752 CPUtime=0.28 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 1215 0 0 0 24 4 0 0 20 0 1 0 35713116 59760640 3688 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 14590 3688 2336 1147 0 2017 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 62552 KiB
Current children cumulated memory: 17824 KiB

[startup+0.700333 s]
/proc/loadavg: 4.13 4.16 4.13 5/256 22832
/proc/meminfo: memFree=129785660/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=58952 memory=15392 CPUtime=0.66 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 1378 0 0 0 56 10 0 0 20 0 1 0 35713116 60366848 3848 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 14738 3848 2336 1147 0 2165 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 63144 KiB
Current children cumulated memory: 18464 KiB

[startup+1.5004 s]
/proc/loadavg: 4.13 4.16 4.13 5/256 22832
/proc/meminfo: memFree=129785660/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=59788 memory=16288 CPUtime=1.45 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 1586 0 0 0 122 23 0 0 20 0 1 0 35713116 61222912 4072 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 14947 4072 2336 1147 0 2374 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 63980 KiB
Current children cumulated memory: 19360 KiB

[startup+3.11359 s]
/proc/loadavg: 4.13 4.16 4.13 5/256 22832
/proc/meminfo: memFree=129782148/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=62124 memory=18464 CPUtime=3.06 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 2140 0 0 0 261 45 0 0 20 0 1 0 35713116 63614976 4616 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 15531 4616 2336 1147 0 2958 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 66316 KiB
Current children cumulated memory: 21536 KiB

[startup+6.30036 s]
/proc/loadavg: 4.12 4.16 4.13 5/256 22832
/proc/meminfo: memFree=129781896/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=63112 memory=19616 CPUtime=6.24 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 2428 0 0 0 536 88 0 0 20 0 1 0 35713116 64626688 4904 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 15778 4904 2336 1147 0 3205 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 67304 KiB
Current children cumulated memory: 22688 KiB

[startup+12.7004 s]
/proc/loadavg: 4.11 4.15 4.13 5/256 22832
/proc/meminfo: memFree=129779300/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=64520 memory=21136 CPUtime=12.62 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 3059 0 0 0 1105 157 0 0 20 0 1 0 35713116 66068480 5284 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 16130 5284 2336 1147 0 3557 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 68712 KiB
Current children cumulated memory: 24208 KiB

[startup+25.5004 s]
/proc/loadavg: 4.09 4.15 4.13 5/255 22832
/proc/meminfo: memFree=129778624/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=67048 memory=25420 CPUtime=25.38 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 5761 0 0 0 2268 270 0 0 20 0 1 0 35713116 68657152 6355 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 16762 6355 2336 1147 0 4189 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 71240 KiB
Current children cumulated memory: 28492 KiB

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

# cumulated CPU time of all completed processes:  user=35.8636 s, system=3.79517 s

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

[startup+25.6005 s]
/proc/loadavg: 4.09 4.15 4.13 5/255 22832
/proc/meminfo: memFree=129778624/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=67048 memory=25420 CPUtime=25.48 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 5761 0 0 0 2277 271 0 0 20 0 1 0 35713116 68657152 6355 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 16762 6355 2336 1147 0 4189 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 71240 KiB
Current children cumulated memory: 28492 KiB

[startup+32.0004 s]*
/proc/loadavg: 4.08 4.14 4.13 5/255 22832
/proc/meminfo: memFree=129774024/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=68304 memory=26344 CPUtime=31.88 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 7143 0 0 0 2866 322 0 0 20 0 1 0 35713116 69943296 6586 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 17076 6586 2336 1147 0 4503 0
Current children cumulated CPU time: 31.88 s
Current children cumulated vsize: 72496 KiB
Current children cumulated memory: 29416 KiB

[startup+35.2003 s]
/proc/loadavg: 4.08 4.14 4.13 5/255 22832
/proc/meminfo: memFree=129773528/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=69048 memory=26996 CPUtime=35.06 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 7652 0 0 0 3161 345 0 0 20 0 1 0 35713116 70705152 6749 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 17262 6749 2336 1147 0 4689 0
Current children cumulated CPU time: 35.06 s
Current children cumulated vsize: 73240 KiB
Current children cumulated memory: 30068 KiB

[startup+36.8004 s]
/proc/loadavg: 4.15 4.16 4.13 5/255 22832
/proc/meminfo: memFree=129773528/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=69052 memory=27008 CPUtime=36.66 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 7848 0 0 0 3309 357 0 0 20 0 1 0 35713116 70709248 6752 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 17263 6752 2336 1147 0 4690 0
Current children cumulated CPU time: 36.66 s
Current children cumulated vsize: 73244 KiB
Current children cumulated memory: 30080 KiB

[startup+38.4004 s]
/proc/loadavg: 4.15 4.16 4.13 5/255 22832
/proc/meminfo: memFree=129773780/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=69184 memory=27392 CPUtime=38.25 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 8032 0 0 0 3456 369 0 0 20 0 1 0 35713116 70844416 6848 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 17296 6848 2336 1147 0 4723 0
Current children cumulated CPU time: 38.25 s
Current children cumulated vsize: 73376 KiB
Current children cumulated memory: 30464 KiB

[startup+39.2003 s]
/proc/loadavg: 4.15 4.16 4.13 5/255 22832
/proc/meminfo: memFree=129773528/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=69696 memory=27612 CPUtime=39.04 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 8181 0 0 0 3530 374 0 0 20 0 1 0 35713116 71368704 6903 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 17424 6903 2336 1147 0 4851 0
Current children cumulated CPU time: 39.04 s
Current children cumulated vsize: 73888 KiB
Current children cumulated memory: 30684 KiB

[startup+39.6003 s]
/proc/loadavg: 4.15 4.16 4.13 5/255 22832
/proc/meminfo: memFree=129773528/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=70068 memory=27868 CPUtime=39.45 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 8249 0 0 0 3568 377 0 0 20 0 1 0 35713116 71749632 6967 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 17517 6967 2336 1147 0 4944 0
Current children cumulated CPU time: 39.45 s
Current children cumulated vsize: 74260 KiB
Current children cumulated memory: 30940 KiB

[startup+39.7003 s]
/proc/loadavg: 4.15 4.16 4.13 5/255 22832
/proc/meminfo: memFree=129773528/131382120 swapFree=33010684/33010684
[pid=22830] ppid=22827 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/22830/stat : 22830 (run-dec.sh) S 22827 22830 21214 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35713115 4292608 768 18446744073709551615 94567803731968 94567804626501 140736261308864 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94567804865552 94567804913296 94567823745024 140736261310829 140736261310952 140736261310952 140736261316554 0
/proc/22830/statm: 1048 768 704 219 0 110 0
[pid=22832] ppid=22830 vsize=70068 memory=27868 CPUtime=39.55 cores=0,2
/proc/22832/stat : 22832 (roundingsat) R 22830 22830 21214 0 -1 4194304 8249 0 0 0 3577 378 0 0 20 0 1 0 35713116 71749632 6967 18446744073709551615 4227072 8923433 140732909067504 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 22556672 140732909074871 140732909074984 140732909074984 140732909080554 0
/proc/22832/statm: 17517 6967 2336 1147 0 4944 0
Current children cumulated CPU time: 39.55 s
Current children cumulated vsize: 74260 KiB
Current children cumulated memory: 30940 KiB

Child status: 0

Real time (s): 39.7976
CPU time (s): 39.6587
CPU user time (s): 35.8636
CPU system time (s): 3.79517
CPU usage (%): 99.651
Max. virtual memory (cumulated for all children) (KiB): 74260
Max. memory (cumulated for all children) (KiB): 30940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.8636
system time used= 3.79517
maximum resident set size= 27868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8479
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149
involuntary context switches= 105


# summary of solver processes directly reported to runsolver:
#   pid: 22830
#   total CPU time (s): 39.6587
#   total CPU user time (s): 35.8636
#   total CPU system time (s): 3.79517

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.226139 second user time and 0.501372 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-06-29 14:32:24
IDJOB=4511084
IDBENCH=160428
IDSOLVER=3349
FILE ID=nodeC003/4511084-1751200344
RUNJOBID= nodeC003-1751196106-21224
SLURM_JOB_ID= 9587607
Free space on /tmp= 433016 MiB

SOLVER NAME= roundingsat 63f22ad
BENCH NAME= PB24/normalized-PB15eval/DEC-LIN/EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
COMMAND LINE= run-dec.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511084-1751200344/watcher-4511084-1751200344 -o /tmp/evaluation-result-4511084-1751200344/solver-4511084-1751200344 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1751196106-21224 --watchdog 3760  run-dec.sh HOME/instance-4511084-1751200344.opb

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

MD5SUM BENCH= 1a3ecc72c33db076137ced748302e815
RANDOM SEED=1566822633

nodeC003 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	: 0xb00001f
cpu MHz		: 1197.520
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3691.300
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.144
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.593
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3661.670
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3691.248
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.362
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 1197.543
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129785580 kB
MemAvailable:   129605428 kB
Buffers:            3280 kB
Cached:           630204 kB
SwapCached:            0 kB
Active:           578268 kB
Inactive:         416956 kB
Active(anon):     379736 kB
Inactive(anon):        0 kB
Active(file):     198532 kB
Inactive(file):   416956 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7340 kB
Writeback:             0 kB
AnonPages:        360472 kB
Mapped:           111332 kB
Shmem:             17960 kB
KReclaimable:      87972 kB
Slab:             169100 kB
SReclaimable:      87972 kB
SUnreclaim:        81128 kB
KernelStack:        4160 kB
PageTables:         3844 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     724480 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149448 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    270336 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:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC003 at 2025-06-29 14:33:04