Trace number 4511086

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat-ls 63f22adUNSAT 38.5541 38.6615

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511086-1751197801/watcher-4511086-1751197801 -o /tmp/evaluation-result-4511086-1751197801/solver-4511086-1751197801 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC032-1751195386-23839 --watchdog 3760 run-dec-ls.sh HOME/instance-4511086-1751197801.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=24615, runsolver pid=24612

[startup+0.100061 s]*
/proc/loadavg: 4.21 4.14 4.02 5/268 24617
/proc/meminfo: memFree=129651316/131249996 swapFree=33010684/33010684
[pid=24615] ppid=24612 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24615/stat : 24615 (run-dec-ls.sh) S 24612 24615 23826 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35458738 4292608 768 18446744073709551615 93877461327872 93877462222405 140722071089632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93877462461456 93877462509200 93877475434496 140722071091559 140722071091685 140722071091685 140722071097287 0
/proc/24615/statm: 1048 768 704 219 0 110 0
[pid=24617] ppid=24615 vsize=58512 memory=15220 CPUtime=0.09 cores=5,7
/proc/24617/stat : 24617 (roundingsat) R 24615 24615 23826 0 -1 4194304 1246 0 0 0 8 1 0 0 20 0 1 0 35458739 59916288 3805 18446744073709551615 4227072 8923433 140721764105904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43024384 140721764108704 140721764108840 140721764108840 140721764114410 0
/proc/24617/statm: 14628 3805 2368 1147 0 2055 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 62704 KiB
Current children cumulated memory: 18292 KiB

[startup+0.205652 s]*
/proc/loadavg: 4.21 4.14 4.02 5/268 24617
/proc/meminfo: memFree=129651316/131249996 swapFree=33010684/33010684
[pid=24615] ppid=24612 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24615/stat : 24615 (run-dec-ls.sh) S 24612 24615 23826 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35458738 4292608 768 18446744073709551615 93877461327872 93877462222405 140722071089632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93877462461456 93877462509200 93877475434496 140722071091559 140722071091685 140722071091685 140722071097287 0
/proc/24615/statm: 1048 768 704 219 0 110 0
[pid=24617] ppid=24615 vsize=59088 memory=15860 CPUtime=0.19 cores=5,7
/proc/24617/stat : 24617 (roundingsat) R 24615 24615 23826 0 -1 4194304 1411 0 0 0 16 3 0 0 20 0 1 0 35458739 60506112 3965 18446744073709551615 4227072 8923433 140721764105904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43024384 140721764108704 140721764108840 140721764108840 140721764114410 0
/proc/24617/statm: 14772 3965 2368 1147 0 2199 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 63280 KiB
Current children cumulated memory: 18932 KiB

[startup+0.305579 s]*
/proc/loadavg: 4.21 4.14 4.02 5/268 24617
/proc/meminfo: memFree=129649300/131249996 swapFree=33010684/33010684
[pid=24615] ppid=24612 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24615/stat : 24615 (run-dec-ls.sh) S 24612 24615 23826 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35458738 4292608 768 18446744073709551615 93877461327872 93877462222405 140722071089632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93877462461456 93877462509200 93877475434496 140722071091559 140722071091685 140722071091685 140722071097287 0
/proc/24615/statm: 1048 768 704 219 0 110 0
[pid=24617] ppid=24615 vsize=59384 memory=16116 CPUtime=0.29 cores=5,7
/proc/24617/stat : 24617 (roundingsat) R 24615 24615 23826 0 -1 4194304 1493 0 0 0 25 4 0 0 20 0 1 0 35458739 60809216 4029 18446744073709551615 4227072 8923433 140721764105904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43024384 140721764108704 140721764108840 140721764108840 140721764114410 0
/proc/24617/statm: 14846 4029 2368 1147 0 2273 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 63576 KiB
Current children cumulated memory: 19188 KiB

[startup+0.700177 s]
/proc/loadavg: 4.21 4.14 4.02 5/268 24617
/proc/meminfo: memFree=129649888/131249996 swapFree=33010684/33010684
[pid=24615] ppid=24612 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24615/stat : 24615 (run-dec-ls.sh) S 24612 24615 23826 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35458738 4292608 768 18446744073709551615 93877461327872 93877462222405 140722071089632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93877462461456 93877462509200 93877475434496 140722071091559 140722071091685 140722071091685 140722071097287 0
/proc/24615/statm: 1048 768 704 219 0 110 0
[pid=24617] ppid=24615 vsize=59936 memory=16756 CPUtime=0.68 cores=5,7
/proc/24617/stat : 24617 (roundingsat) R 24615 24615 23826 0 -1 4194304 1633 0 0 0 58 10 0 0 20 0 1 0 35458739 61374464 4189 18446744073709551615 4227072 8923433 140721764105904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43024384 140721764108704 140721764108840 140721764108840 140721764114410 0
/proc/24617/statm: 14984 4189 2368 1147 0 2411 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 64128 KiB
Current children cumulated memory: 19828 KiB

[startup+1.50014 s]
/proc/loadavg: 4.21 4.14 4.02 5/268 24617
/proc/meminfo: memFree=129648124/131249996 swapFree=33010684/33010684
[pid=24615] ppid=24612 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24615/stat : 24615 (run-dec-ls.sh) S 24612 24615 23826 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35458738 4292608 768 18446744073709551615 93877461327872 93877462222405 140722071089632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93877462461456 93877462509200 93877475434496 140722071091559 140722071091685 140722071091685 140722071097287 0
/proc/24615/statm: 1048 768 704 219 0 110 0
[pid=24617] ppid=24615 vsize=61700 memory=18292 CPUtime=1.47 cores=5,7
/proc/24617/stat : 24617 (roundingsat) R 24615 24615 23826 0 -1 4194304 2018 0 0 0 126 21 0 0 20 0 1 0 35458739 63180800 4573 18446744073709551615 4227072 8923433 140721764105904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43024384 140721764108704 140721764108840 140721764108840 140721764114410 0
/proc/24617/statm: 15425 4573 2368 1147 0 2852 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 65892 KiB
Current children cumulated memory: 21364 KiB

[startup+3.10472 s]
/proc/loadavg: 4.21 4.14 4.02 5/268 24617
/proc/meminfo: memFree=129644432/131249996 swapFree=33010684/33010684
[pid=24615] ppid=24612 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24615/stat : 24615 (run-dec-ls.sh) S 24612 24615 23826 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35458738 4292608 768 18446744073709551615 93877461327872 93877462222405 140722071089632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93877462461456 93877462509200 93877475434496 140722071091559 140722071091685 140722071091685 140722071097287 0
/proc/24615/statm: 1048 768 704 219 0 110 0
[pid=24617] ppid=24615 vsize=62488 memory=19188 CPUtime=3.07 cores=5,7
/proc/24617/stat : 24617 (roundingsat) R 24615 24615 23826 0 -1 4194304 2253 0 0 0 263 44 0 0 20 0 1 0 35458739 63987712 4797 18446744073709551615 4227072 8923433 140721764105904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43024384 140721764108704 140721764108840 140721764108840 140721764114410 0
/proc/24617/statm: 15622 4797 2368 1147 0 3049 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 66680 KiB
Current children cumulated memory: 22260 KiB

[startup+6.30019 s]
/proc/loadavg: 4.20 4.13 4.02 5/268 24617
/proc/meminfo: memFree=129644464/131249996 swapFree=33010684/33010684
[pid=24615] ppid=24612 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24615/stat : 24615 (run-dec-ls.sh) S 24612 24615 23826 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35458738 4292608 768 18446744073709551615 93877461327872 93877462222405 140722071089632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93877462461456 93877462509200 93877475434496 140722071091559 140722071091685 140722071091685 140722071097287 0
/proc/24615/statm: 1048 768 704 219 0 110 0
[pid=24617] ppid=24615 vsize=63648 memory=20340 CPUtime=6.26 cores=5,7
/proc/24617/stat : 24617 (roundingsat) R 24615 24615 23826 0 -1 4194304 2526 0 0 0 542 84 0 0 20 0 1 0 35458739 65175552 5085 18446744073709551615 4227072 8923433 140721764105904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43024384 140721764108704 140721764108840 140721764108840 140721764114410 0
/proc/24617/statm: 15912 5085 2368 1147 0 3339 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 67840 KiB
Current children cumulated memory: 23412 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.13 4.02 5/268 24618
/proc/meminfo: memFree=129644524/131249996 swapFree=33010684/33010684
[pid=24615] ppid=24612 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24615/stat : 24615 (run-dec-ls.sh) S 24612 24615 23826 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35458738 4292608 768 18446744073709551615 93877461327872 93877462222405 140722071089632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93877462461456 93877462509200 93877475434496 140722071091559 140722071091685 140722071091685 140722071097287 0
/proc/24615/statm: 1048 768 704 219 0 110 0
[pid=24617] ppid=24615 vsize=64844 memory=23736 CPUtime=12.65 cores=5,7
/proc/24617/stat : 24617 (roundingsat) R 24615 24615 23826 0 -1 4194304 3312 0 0 0 1115 150 0 0 20 0 1 0 35458739 66400256 5934 18446744073709551615 4227072 8923433 140721764105904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43024384 140721764108704 140721764108840 140721764108840 140721764114410 0
/proc/24617/statm: 16211 5934 2368 1147 0 3638 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 69036 KiB
Current children cumulated memory: 26808 KiB

[startup+25.5002 s]
/proc/loadavg: 4.14 4.12 4.02 5/268 24618
/proc/meminfo: memFree=129637292/131249996 swapFree=33010684/33010684
[pid=24615] ppid=24612 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24615/stat : 24615 (run-dec-ls.sh) S 24612 24615 23826 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35458738 4292608 768 18446744073709551615 93877461327872 93877462222405 140722071089632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93877462461456 93877462509200 93877475434496 140722071091559 140722071091685 140722071091685 140722071097287 0
/proc/24615/statm: 1048 768 704 219 0 110 0
[pid=24617] ppid=24615 vsize=67404 memory=26012 CPUtime=25.41 cores=5,7
/proc/24617/stat : 24617 (roundingsat) R 24615 24615 23826 0 -1 4194304 6050 0 0 0 2284 257 0 0 20 0 1 0 35458739 69021696 6503 18446744073709551615 4227072 8923433 140721764105904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43024384 140721764108704 140721764108840 140721764108840 140721764114410 0
/proc/24617/statm: 16851 6503 2368 1147 0 4278 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 71596 KiB
Current children cumulated memory: 29084 KiB

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

# cumulated CPU time of all completed processes:  user=34.988 s, system=3.5661 s

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

[startup+25.6002 s]
/proc/loadavg: 4.14 4.12 4.02 5/268 24618
/proc/meminfo: memFree=129637292/131249996 swapFree=33010684/33010684
[pid=24615] ppid=24612 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24615/stat : 24615 (run-dec-ls.sh) S 24612 24615 23826 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35458738 4292608 768 18446744073709551615 93877461327872 93877462222405 140722071089632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93877462461456 93877462509200 93877475434496 140722071091559 140722071091685 140722071091685 140722071097287 0
/proc/24615/statm: 1048 768 704 219 0 110 0
[pid=24617] ppid=24615 vsize=67404 memory=26012 CPUtime=25.51 cores=5,7
/proc/24617/stat : 24617 (roundingsat) R 24615 24615 23826 0 -1 4194304 6050 0 0 0 2293 258 0 0 20 0 1 0 35458739 69021696 6503 18446744073709551615 4227072 8923433 140721764105904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43024384 140721764108704 140721764108840 140721764108840 140721764114410 0
/proc/24617/statm: 16851 6503 2368 1147 0 4278 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 71596 KiB
Current children cumulated memory: 29084 KiB

[startup+32.0001 s]*
/proc/loadavg: 4.13 4.12 4.02 5/268 24618
/proc/meminfo: memFree=129636324/131249996 swapFree=33010684/33010684
[pid=24615] ppid=24612 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24615/stat : 24615 (run-dec-ls.sh) S 24612 24615 23826 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35458738 4292608 768 18446744073709551615 93877461327872 93877462222405 140722071089632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93877462461456 93877462509200 93877475434496 140722071091559 140722071091685 140722071091685 140722071097287 0
/proc/24615/statm: 1048 768 704 219 0 110 0
[pid=24617] ppid=24615 vsize=68624 memory=26932 CPUtime=31.9 cores=5,7
/proc/24617/stat : 24617 (roundingsat) R 24615 24615 23826 0 -1 4194304 7325 0 0 0 2881 309 0 0 20 0 1 0 35458739 70270976 6733 18446744073709551615 4227072 8923433 140721764105904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43024384 140721764108704 140721764108840 140721764108840 140721764114410 0
/proc/24617/statm: 17156 6733 2368 1147 0 4583 0
Current children cumulated CPU time: 31.9 s
Current children cumulated vsize: 72816 KiB
Current children cumulated memory: 30004 KiB

[startup+35.2001 s]
/proc/loadavg: 4.20 4.14 4.03 5/267 24618
/proc/meminfo: memFree=129635592/131249996 swapFree=33010684/33010684
[pid=24615] ppid=24612 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24615/stat : 24615 (run-dec-ls.sh) S 24612 24615 23826 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35458738 4292608 768 18446744073709551615 93877461327872 93877462222405 140722071089632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93877462461456 93877462509200 93877475434496 140722071091559 140722071091685 140722071091685 140722071097287 0
/proc/24615/statm: 1048 768 704 219 0 110 0
[pid=24617] ppid=24615 vsize=69308 memory=27584 CPUtime=35.09 cores=5,7
/proc/24617/stat : 24617 (roundingsat) R 24615 24615 23826 0 -1 4194304 7907 0 0 0 3177 332 0 0 20 0 1 0 35458739 70971392 6896 18446744073709551615 4227072 8923433 140721764105904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43024384 140721764108704 140721764108840 140721764108840 140721764114410 0
/proc/24617/statm: 17327 6896 2368 1147 0 4754 0
Current children cumulated CPU time: 35.09 s
Current children cumulated vsize: 73500 KiB
Current children cumulated memory: 30656 KiB

[startup+36.8002 s]
/proc/loadavg: 4.20 4.14 4.03 5/267 24618
/proc/meminfo: memFree=129635592/131249996 swapFree=33010684/33010684
[pid=24615] ppid=24612 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24615/stat : 24615 (run-dec-ls.sh) S 24612 24615 23826 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35458738 4292608 768 18446744073709551615 93877461327872 93877462222405 140722071089632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93877462461456 93877462509200 93877475434496 140722071091559 140722071091685 140722071091685 140722071097287 0
/proc/24615/statm: 1048 768 704 219 0 110 0
[pid=24617] ppid=24615 vsize=69568 memory=27968 CPUtime=36.68 cores=5,7
/proc/24617/stat : 24617 (roundingsat) R 24615 24615 23826 0 -1 4194304 8092 0 0 0 3326 342 0 0 20 0 1 0 35458739 71237632 6992 18446744073709551615 4227072 8923433 140721764105904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43024384 140721764108704 140721764108840 140721764108840 140721764114410 0
/proc/24617/statm: 17392 6992 2368 1147 0 4819 0
Current children cumulated CPU time: 36.68 s
Current children cumulated vsize: 73760 KiB
Current children cumulated memory: 31040 KiB

[startup+37.6002 s]
/proc/loadavg: 4.20 4.14 4.03 5/267 24618
/proc/meminfo: memFree=129635592/131249996 swapFree=33010684/33010684
[pid=24615] ppid=24612 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24615/stat : 24615 (run-dec-ls.sh) S 24612 24615 23826 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35458738 4292608 768 18446744073709551615 93877461327872 93877462222405 140722071089632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93877462461456 93877462509200 93877475434496 140722071091559 140722071091685 140722071091685 140722071097287 0
/proc/24615/statm: 1048 768 704 219 0 110 0
[pid=24617] ppid=24615 vsize=69952 memory=28192 CPUtime=37.48 cores=5,7
/proc/24617/stat : 24617 (roundingsat) R 24615 24615 23826 0 -1 4194304 8235 0 0 0 3401 347 0 0 20 0 1 0 35458739 71630848 7048 18446744073709551615 4227072 8923433 140721764105904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43024384 140721764108704 140721764108840 140721764108840 140721764114410 0
/proc/24617/statm: 17488 7048 2368 1147 0 4915 0
Current children cumulated CPU time: 37.48 s
Current children cumulated vsize: 74144 KiB
Current children cumulated memory: 31264 KiB

[startup+38.4002 s]
/proc/loadavg: 4.20 4.14 4.03 5/267 24618
/proc/meminfo: memFree=129635592/131249996 swapFree=33010684/33010684
[pid=24615] ppid=24612 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24615/stat : 24615 (run-dec-ls.sh) S 24612 24615 23826 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35458738 4292608 768 18446744073709551615 93877461327872 93877462222405 140722071089632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93877462461456 93877462509200 93877475434496 140722071091559 140722071091685 140722071091685 140722071097287 0
/proc/24615/statm: 1048 768 704 219 0 110 0
[pid=24617] ppid=24615 vsize=70196 memory=28320 CPUtime=38.28 cores=5,7
/proc/24617/stat : 24617 (roundingsat) R 24615 24615 23826 0 -1 4194304 8297 0 0 0 3474 354 0 0 20 0 1 0 35458739 71880704 7080 18446744073709551615 4227072 8923433 140721764105904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43024384 140721764108704 140721764108840 140721764108840 140721764114410 0
/proc/24617/statm: 17549 7080 2368 1147 0 4976 0
Current children cumulated CPU time: 38.28 s
Current children cumulated vsize: 74388 KiB
Current children cumulated memory: 31392 KiB

[startup+38.6001 s]
/proc/loadavg: 4.20 4.14 4.03 5/267 24618
/proc/meminfo: memFree=129635592/131249996 swapFree=33010684/33010684
[pid=24615] ppid=24612 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/24615/stat : 24615 (run-dec-ls.sh) S 24612 24615 23826 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35458738 4292608 768 18446744073709551615 93877461327872 93877462222405 140722071089632 0 0 0 65536 4 65538 1 0 0 17 7 0 0 0 0 0 93877462461456 93877462509200 93877475434496 140722071091559 140722071091685 140722071091685 140722071097287 0
/proc/24615/statm: 1048 768 704 219 0 110 0
[pid=24617] ppid=24615 vsize=70196 memory=28320 CPUtime=38.48 cores=5,7
/proc/24617/stat : 24617 (roundingsat) R 24615 24615 23826 0 -1 4194304 8297 0 0 0 3493 355 0 0 20 0 1 0 35458739 71880704 7080 18446744073709551615 4227072 8923433 140721764105904 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 43024384 140721764108704 140721764108840 140721764108840 140721764114410 0
/proc/24617/statm: 17549 7080 2368 1147 0 4976 0
Current children cumulated CPU time: 38.48 s
Current children cumulated vsize: 74388 KiB
Current children cumulated memory: 31392 KiB

Child status: 0

Real time (s): 38.6615
CPU time (s): 38.5541
CPU user time (s): 34.988
CPU system time (s): 3.5661
CPU usage (%): 99.7222
Max. virtual memory (cumulated for all children) (KiB): 74388
Max. memory (cumulated for all children) (KiB): 31392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.988
system time used= 3.5661
maximum resident set size= 28352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8525
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145
involuntary context switches= 246


# summary of solver processes directly reported to runsolver:
#   pid: 24615
#   total CPU time (s): 38.5541
#   total CPU user time (s): 34.988
#   total CPU system time (s): 3.5661

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.0999 second user time and 0.165782 second system time

The end

Launcher Data 

Begin job on nodeC032 at 2025-06-29 13:50:01
IDJOB=4511086
IDBENCH=160428
IDSOLVER=3353
FILE ID=nodeC032/4511086-1751197801
RUNJOBID= nodeC032-1751195386-23839
SLURM_JOB_ID= 9587604
Free space on /tmp= 432036 MiB

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

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

MD5SUM BENCH= 1a3ecc72c33db076137ced748302e815
RANDOM SEED=209790644

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129653736 kB
MemAvailable:   129319816 kB
Buffers:            3280 kB
Cached:           476672 kB
SwapCached:            0 kB
Active:           813652 kB
Inactive:         223580 kB
Active(anon):     575360 kB
Inactive(anon):        0 kB
Active(file):     238292 kB
Inactive(file):   223580 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7144 kB
Writeback:             8 kB
AnonPages:        554812 kB
Mapped:           112580 kB
Shmem:             18068 kB
KReclaimable:      86892 kB
Slab:             170700 kB
SReclaimable:      86892 kB
SUnreclaim:        83808 kB
KernelStack:        4320 kB
PageTables:         4244 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     934092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    448512 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:      203476 kB
DirectMap2M:     7956480 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432032 MiB
End job on nodeC032 at 2025-06-29 13:50:40