Trace number 4511085

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat-log 63f22adUNSAT cert. 44.2028 44.3637

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

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

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

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (60550 MiB free)
  memory of node 1: 64465 MiB (61553 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511085-1751199633/watcher-4511085-1751199633 -o /tmp/evaluation-result-4511085-1751199633/solver-4511085-1751199633 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC033-1751193766-27547 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4511085-1751199633.opb PROOFDIR/proof-4511085-1751199633 

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 FSIZE limit: 102400000 KiB
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=29346, runsolver pid=29343

[startup+0.10006 s]*
/proc/loadavg: 4.43 4.26 4.15 5/274 29348
/proc/meminfo: memFree=125025608/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=58404 memory=14832 CPUtime=0.08 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 1243 0 0 0 7 1 0 0 20 0 1 0 35642703 59805696 3708 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 14601 3708 2304 1147 0 2028 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 62596 KiB
Current children cumulated memory: 17776 KiB

[startup+0.205943 s]*
/proc/loadavg: 4.43 4.26 4.15 5/274 29348
/proc/meminfo: memFree=125025608/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=58956 memory=15344 CPUtime=0.19 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 1373 0 0 0 16 3 0 0 20 0 1 0 35642703 60370944 3836 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 14739 3836 2304 1147 0 2166 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63148 KiB
Current children cumulated memory: 18288 KiB

[startup+0.305765 s]*
/proc/loadavg: 4.43 4.26 4.15 5/274 29348
/proc/meminfo: memFree=125025608/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=59372 memory=15728 CPUtime=0.28 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 1460 0 0 0 24 4 0 0 20 0 1 0 35642703 60796928 3932 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 14843 3932 2304 1147 0 2270 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 63564 KiB
Current children cumulated memory: 18672 KiB

[startup+0.700146 s]
/proc/loadavg: 4.43 4.26 4.15 6/274 29348
/proc/meminfo: memFree=125024852/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=59948 memory=16368 CPUtime=0.68 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 1625 0 0 0 58 10 0 0 20 0 1 0 35642703 61386752 4092 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 14987 4092 2304 1147 0 2414 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 64140 KiB
Current children cumulated memory: 19312 KiB

[startup+1.50018 s]
/proc/loadavg: 4.43 4.26 4.15 5/274 29348
/proc/meminfo: memFree=125018048/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=61240 memory=17520 CPUtime=1.47 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 1918 0 0 0 128 19 0 0 20 0 1 0 35642703 62709760 4380 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 15310 4380 2304 1147 0 2737 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 65432 KiB
Current children cumulated memory: 20464 KiB

[startup+3.10579 s]
/proc/loadavg: 4.43 4.26 4.15 5/275 29349
/proc/meminfo: memFree=124986920/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=62736 memory=19056 CPUtime=3.07 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 2291 0 0 0 268 39 0 0 20 0 1 0 35642703 64241664 4764 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 15684 4764 2304 1147 0 3111 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 66928 KiB
Current children cumulated memory: 22000 KiB

[startup+6.30017 s]
/proc/loadavg: 4.40 4.25 4.15 6/275 29350
/proc/meminfo: memFree=124959060/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=63984 memory=20336 CPUtime=6.26 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 2628 0 0 0 551 75 0 0 20 0 1 0 35642703 65519616 5084 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 15996 5084 2304 1147 0 3423 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 68176 KiB
Current children cumulated memory: 23280 KiB

[startup+12.7002 s]
/proc/loadavg: 4.37 4.25 4.14 5/275 29350
/proc/meminfo: memFree=124906092/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=65600 memory=21980 CPUtime=12.64 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 3216 0 0 0 1129 135 0 0 20 0 1 0 35642703 67174400 5495 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 16400 5495 2304 1147 0 3827 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 69792 KiB
Current children cumulated memory: 24924 KiB

[startup+25.5002 s]
/proc/loadavg: 4.37 4.25 4.15 6/276 29352
/proc/meminfo: memFree=124757584/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=68080 memory=26380 CPUtime=25.41 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 5457 0 0 0 2302 239 0 0 20 0 1 0 35642703 69713920 6595 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 17020 6595 2304 1147 0 4447 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 72272 KiB
Current children cumulated memory: 29324 KiB

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

# cumulated CPU time of all completed processes:  user=40.4631 s, system=3.73969 s

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

[startup+25.6002 s]
/proc/loadavg: 4.37 4.25 4.15 6/276 29352
/proc/meminfo: memFree=124757584/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=68080 memory=26380 CPUtime=25.51 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 5457 0 0 0 2311 240 0 0 20 0 1 0 35642703 69713920 6595 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 17020 6595 2304 1147 0 4447 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 72272 KiB
Current children cumulated memory: 29324 KiB

[startup+32.0001 s]*
/proc/loadavg: 4.34 4.25 4.15 6/276 29352
/proc/meminfo: memFree=124698824/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=68688 memory=27080 CPUtime=31.9 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 6485 0 0 0 2903 287 0 0 20 0 1 0 35642703 70336512 6770 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 17172 6770 2304 1147 0 4599 0
Current children cumulated CPU time: 31.9 s
Current children cumulated vsize: 72880 KiB
Current children cumulated memory: 30024 KiB

[startup+38.4001 s]
/proc/loadavg: 4.31 4.24 4.15 6/276 29352
/proc/meminfo: memFree=124662844/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=70404 memory=28088 CPUtime=38.28 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 7375 0 0 0 3497 331 0 0 20 0 1 0 35642703 72093696 7022 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 17601 7022 2304 1147 0 5028 0
Current children cumulated CPU time: 38.28 s
Current children cumulated vsize: 74596 KiB
Current children cumulated memory: 31032 KiB

[startup+41.6001 s]
/proc/loadavg: 4.36 4.26 4.15 6/276 29352
/proc/meminfo: memFree=124651440/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=70544 memory=28356 CPUtime=41.47 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 7719 0 0 0 3793 354 0 0 20 0 1 0 35642703 72237056 7089 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 17636 7089 2304 1147 0 5063 0
Current children cumulated CPU time: 41.47 s
Current children cumulated vsize: 74736 KiB
Current children cumulated memory: 31300 KiB

[startup+43.2001 s]
/proc/loadavg: 4.36 4.26 4.15 6/276 29352
/proc/meminfo: memFree=124644184/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=71140 memory=29088 CPUtime=43.06 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 7991 0 0 0 3941 365 0 0 20 0 1 0 35642703 72847360 7272 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 17785 7272 2304 1147 0 5212 0
Current children cumulated CPU time: 43.06 s
Current children cumulated vsize: 75332 KiB
Current children cumulated memory: 32032 KiB

[startup+44.0002 s]*
/proc/loadavg: 4.36 4.26 4.15 6/276 29352
/proc/meminfo: memFree=124635112/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=71428 memory=29344 CPUtime=43.87 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 8084 0 0 0 4017 370 0 0 20 0 1 0 35642703 73142272 7336 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 17857 7336 2304 1147 0 5284 0
Current children cumulated CPU time: 43.87 s
Current children cumulated vsize: 75620 KiB
Current children cumulated memory: 32288 KiB

[startup+44.2002 s]
/proc/loadavg: 4.36 4.26 4.15 6/276 29352
/proc/meminfo: memFree=124635112/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=71428 memory=29344 CPUtime=44.06 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 8084 0 0 0 4034 372 0 0 20 0 1 0 35642703 73142272 7336 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 17857 7336 2304 1147 0 5284 0
Current children cumulated CPU time: 44.06 s
Current children cumulated vsize: 75620 KiB
Current children cumulated memory: 32288 KiB

[startup+44.3001 s]
/proc/loadavg: 4.36 4.26 4.15 6/276 29352
/proc/meminfo: memFree=124635112/131250000 swapFree=33010684/33010684
[pid=29346] ppid=29343 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/29346/stat : 29346 (run-dec-log.sh) S 29343 29346 27537 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35642702 4292608 736 18446744073709551615 93875099906048 93875100800581 140723250146544 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93875101039632 93875101087376 93875128524800 140723250149665 140723250149860 140723250149860 140723250155462 0
/proc/29346/statm: 1048 736 672 219 0 110 0
[pid=29348] ppid=29346 vsize=71428 memory=29344 CPUtime=44.17 cores=0,2
/proc/29348/stat : 29348 (roundingsat) R 29346 29346 27537 0 -1 4194304 8084 0 0 0 4044 373 0 0 20 0 1 0 35642703 73142272 7336 18446744073709551615 4227072 8923433 140724738894320 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 38944768 140724738898279 140724738898472 140724738898472 140724738904042 0
/proc/29348/statm: 17857 7336 2304 1147 0 5284 0
Current children cumulated CPU time: 44.17 s
Current children cumulated vsize: 75620 KiB
Current children cumulated memory: 32288 KiB

Child status: 0

Real time (s): 44.3637
CPU time (s): 44.2028
CPU user time (s): 40.4631
CPU system time (s): 3.73969
CPU usage (%): 99.6372
Max. virtual memory (cumulated for all children) (KiB): 75620
Max. memory (cumulated for all children) (KiB): 32288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.4631
system time used= 3.73969
maximum resident set size= 29344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8317
page faults= 0
swaps= 0
block input operations= 0
block output operations= 231256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 502
involuntary context switches= 116


# summary of solver processes directly reported to runsolver:
#   pid: 29346
#   total CPU time (s): 44.2028
#   total CPU user time (s): 40.4631
#   total CPU system time (s): 3.73969

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.11433 second user time and 0.22226 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-06-29 14:20:33
IDJOB=4511085
IDBENCH=160428
IDSOLVER=3352
FILE ID=nodeC033/4511085-1751199633
RUNJOBID= nodeC033-1751193766-27547
SLURM_JOB_ID= 9587591
Free space on /tmp= 433040 MiB

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

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

MD5SUM BENCH= 1a3ecc72c33db076137ced748302e815
RANDOM SEED=502469488

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        125034240 kB
MemAvailable:   129612544 kB
Buffers:            3280 kB
Cached:          5378664 kB
SwapCached:            0 kB
Active:           538952 kB
Inactive:        5120580 kB
Active(anon):     295732 kB
Inactive(anon):        0 kB
Active(file):     243220 kB
Inactive(file):  5120580 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             85820 kB
Writeback:           120 kB
AnonPages:        280456 kB
Mapped:           113432 kB
Shmem:             18120 kB
KReclaimable:     107484 kB
Slab:             196296 kB
SReclaimable:     107484 kB
SUnreclaim:        88812 kB
KernelStack:        4448 kB
PageTables:         3820 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     654740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150648 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    174080 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:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433032 MiB
End job on nodeC033 at 2025-06-29 14:21:17