Trace number 4511408

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat 63f22adUNSAT 34.8168 34.9242

General information on the benchmark

NamePB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x40split.opb
MD5SUM6e0d6ec9878888f9bd2fd3a9da68de38
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 benchmark0.047082
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables401
Total number of constraints201
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)201
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 6
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.03	c #variables 401 #constraints 402
0.00/0.04	c rational objective 200.5
0.30/0.33	c #Conflicts:       1000 | #Constraints:       1403
0.30/0.33	c #Conflicts:       2000 | #Constraints:       2404
0.30/0.33	c INPROCESSING
0.30/0.33	c GARBAGE COLLECT
0.30/0.33	c #Conflicts:       3000 | #Constraints:       2428
0.30/0.33	c #Conflicts:       4000 | #Constraints:       3428
0.30/0.33	c INPROCESSING
0.30/0.33	c GARBAGE COLLECT
0.30/0.33	c rational objective 200.5
0.39/0.50	c #Conflicts:       5000 | #Constraints:       2845
0.39/0.50	c #Conflicts:       6000 | #Constraints:       3845
0.39/0.50	c INPROCESSING
0.39/0.50	c GARBAGE COLLECT
0.39/0.50	c rational objective 200.5
0.58/0.66	c #Conflicts:       7000 | #Constraints:       2853
0.58/0.66	c #Conflicts:       8000 | #Constraints:       3853
0.58/0.66	c #Conflicts:       9000 | #Constraints:       4853
0.58/0.66	c INPROCESSING
0.58/0.66	c GARBAGE COLLECT
0.58/0.66	c rational objective 200.5
0.77/0.83	c #Conflicts:      10000 | #Constraints:       3557
0.77/0.83	c #Conflicts:      11000 | #Constraints:       4557
0.77/0.83	c #Conflicts:      12000 | #Constraints:       5557
0.77/0.83	c INPROCESSING
0.77/0.83	c GARBAGE COLLECT
0.77/0.83	c rational objective 200.5
0.87/0.99	c #Conflicts:      13000 | #Constraints:       4010
0.87/0.99	c #Conflicts:      14000 | #Constraints:       5010
0.87/0.99	c #Conflicts:      15000 | #Constraints:       6010
0.87/0.99	c INPROCESSING
0.87/0.99	c GARBAGE COLLECT
0.87/0.99	c rational objective 200.5
1.08/1.13	c #Conflicts:      16000 | #Constraints:       4239
1.08/1.13	c #Conflicts:      17000 | #Constraints:       5239
1.08/1.13	c #Conflicts:      18000 | #Constraints:       6239
1.08/1.13	c INPROCESSING
1.08/1.13	c GARBAGE COLLECT
1.08/1.13	c rational objective 200.5
1.27/1.30	c #Conflicts:      19000 | #Constraints:       4258
1.27/1.30	c #Conflicts:      20000 | #Constraints:       5258
1.27/1.30	c #Conflicts:      21000 | #Constraints:       6258
1.27/1.30	c INPROCESSING
1.27/1.30	c GARBAGE COLLECT
1.27/1.30	c rational objective 200.5
1.36/1.46	c #Conflicts:      22000 | #Constraints:       4062
1.36/1.46	c #Conflicts:      23000 | #Constraints:       5062
1.36/1.46	c #Conflicts:      24000 | #Constraints:       6062
1.36/1.46	c #Conflicts:      25000 | #Constraints:       7062
1.36/1.46	c INPROCESSING
1.36/1.46	c GARBAGE COLLECT
1.36/1.46	c rational objective 200.5
1.47/1.60	c #Conflicts:      26000 | #Constraints:       4662
1.47/1.60	c #Conflicts:      27000 | #Constraints:       5662
1.47/1.60	c #Conflicts:      28000 | #Constraints:       6662
1.47/1.60	c #Conflicts:      29000 | #Constraints:       7662
1.47/1.60	c INPROCESSING
1.47/1.60	c GARBAGE COLLECT
1.47/1.60	c rational objective 200.5
1.67/1.74	c #Conflicts:      30000 | #Constraints:       5055
1.67/1.74	c #Conflicts:      31000 | #Constraints:       6055
1.67/1.74	c #Conflicts:      32000 | #Constraints:       7055
1.67/1.74	c #Conflicts:      33000 | #Constraints:       8055
1.67/1.74	c INPROCESSING
1.67/1.74	c GARBAGE COLLECT
1.67/1.74	c rational objective 200.5
1.87/1.90	c #Conflicts:      34000 | #Constraints:       5262
1.87/1.90	c #Conflicts:      35000 | #Constraints:       6262
1.87/1.90	c #Conflicts:      36000 | #Constraints:       7262
1.87/1.90	c #Conflicts:      37000 | #Constraints:       8262
1.87/1.90	c INPROCESSING
1.87/1.90	c GARBAGE COLLECT
1.87/1.90	c rational objective 200.5
1.98/2.07	c #Conflicts:      38000 | #Constraints:       5266
1.98/2.07	c #Conflicts:      39000 | #Constraints:       6266
1.98/2.07	c #Conflicts:      40000 | #Constraints:       7266
1.98/2.07	c #Conflicts:      41000 | #Constraints:       8266
1.98/2.07	c INPROCESSING
1.98/2.07	c GARBAGE COLLECT
1.98/2.07	c rational objective 200.5
2.17/2.23	c #Conflicts:      42000 | #Constraints:       5067
2.17/2.23	c #Conflicts:      43000 | #Constraints:       6067
2.17/2.23	c #Conflicts:      44000 | #Constraints:       7067
2.17/2.23	c #Conflicts:      45000 | #Constraints:       8067
2.17/2.23	c #Conflicts:      46000 | #Constraints:       9067
2.17/2.23	c INPROCESSING
2.17/2.23	c GARBAGE COLLECT
2.17/2.23	c rational objective 200.5
2.27/2.38	c #Conflicts:      47000 | #Constraints:       5666
2.27/2.38	c #Conflicts:      48000 | #Constraints:       6666
2.27/2.38	c #Conflicts:      49000 | #Constraints:       7666
2.27/2.38	c #Conflicts:      50000 | #Constraints:       8666
2.27/2.38	c #Conflicts:      51000 | #Constraints:       9666
2.27/2.38	c INPROCESSING
2.27/2.38	c GARBAGE COLLECT
2.27/2.38	c rational objective 200.5
2.46/2.54	c #Conflicts:      52000 | #Constraints:       6071
2.46/2.54	c #Conflicts:      53000 | #Constraints:       7071
2.46/2.54	c #Conflicts:      54000 | #Constraints:       8071
2.46/2.54	c #Conflicts:      55000 | #Constraints:       9071
2.46/2.54	c #Conflicts:      56000 | #Constraints:      10071
2.46/2.54	c INPROCESSING
2.46/2.54	c GARBAGE COLLECT
2.46/2.54	c rational objective 200.5
2.66/2.70	c #Conflicts:      57000 | #Constraints:       6269
2.66/2.70	c #Conflicts:      58000 | #Constraints:       7269
2.66/2.70	c #Conflicts:      59000 | #Constraints:       8269
2.66/2.70	c #Conflicts:      60000 | #Constraints:       9269
2.66/2.70	c #Conflicts:      61000 | #Constraints:      10269
2.66/2.70	c INPROCESSING
2.66/2.70	c GARBAGE COLLECT
2.66/2.70	c rational objective 200.5
2.77/2.89	c #Conflicts:      62000 | #Constraints:       6267
2.77/2.89	c #Conflicts:      63000 | #Constraints:       7267
2.77/2.89	c #Conflicts:      64000 | #Constraints:       8267
2.77/2.89	c #Conflicts:      65000 | #Constraints:       9267
2.77/2.89	c #Conflicts:      66000 | #Constraints:      10267
2.77/2.89	c INPROCESSING
2.77/2.89	c GARBAGE COLLECT
2.77/2.89	c rational objective 200.5
2.97/3.06	c #Conflicts:      67000 | #Constraints:       6075
2.97/3.06	c #Conflicts:      68000 | #Constraints:       7075
2.97/3.06	c #Conflicts:      69000 | #Constraints:       8075
2.97/3.06	c #Conflicts:      70000 | #Constraints:       9075
2.97/3.06	c #Conflicts:      71000 | #Constraints:      10075
2.97/3.06	c #Conflicts:      72000 | #Constraints:      11075
2.97/3.06	c INPROCESSING
2.97/3.06	c GARBAGE COLLECT
2.97/3.06	c rational objective 200.5
3.17/3.24	c #Conflicts:      73000 | #Constraints:       6674
3.17/3.24	c #Conflicts:      74000 | #Constraints:       7674
3.17/3.24	c #Conflicts:      75000 | #Constraints:       8674
3.17/3.24	c #Conflicts:      76000 | #Constraints:       9674
3.17/3.24	c #Conflicts:      77000 | #Constraints:      10674
3.17/3.24	c #Conflicts:      78000 | #Constraints:      11674
3.17/3.24	c INPROCESSING
3.17/3.24	c GARBAGE COLLECT
3.17/3.24	c rational objective 200.5
3.36/3.44	c #Conflicts:      79000 | #Constraints:       7072
3.36/3.44	c #Conflicts:      80000 | #Constraints:       8072
3.36/3.44	c #Conflicts:      81000 | #Constraints:       9072
3.36/3.44	c #Conflicts:      82000 | #Constraints:      10072
3.36/3.44	c #Conflicts:      83000 | #Constraints:      11072
3.36/3.44	c #Conflicts:      84000 | #Constraints:      12072
3.36/3.44	c INPROCESSING
3.36/3.44	c GARBAGE COLLECT
3.36/3.44	c rational objective 200.5
3.56/3.67	c #Conflicts:      85000 | #Constraints:       7273
3.56/3.67	c #Conflicts:      86000 | #Constraints:       8273
3.56/3.67	c #Conflicts:      87000 | #Constraints:       9273
3.56/3.67	c #Conflicts:      88000 | #Constraints:      10273
3.56/3.67	c #Conflicts:      89000 | #Constraints:      11273
3.56/3.67	c #Conflicts:      90000 | #Constraints:      12273
3.56/3.67	c INPROCESSING
3.56/3.67	c GARBAGE COLLECT
3.56/3.67	c rational objective 200.5
3.87/3.93	c #Conflicts:      91000 | #Constraints:       7277
3.87/3.93	c #Conflicts:      92000 | #Constraints:       8277
3.87/3.93	c #Conflicts:      93000 | #Constraints:       9277
3.87/3.93	c #Conflicts:      94000 | #Constraints:      10277
3.87/3.93	c #Conflicts:      95000 | #Constraints:      11277
3.87/3.93	c #Conflicts:      96000 | #Constraints:      12277
3.87/3.93	c INPROCESSING
3.87/3.93	c GARBAGE COLLECT
3.87/3.93	c rational objective 200.5
4.08/4.14	c #Conflicts:      97000 | #Constraints:       7073
4.08/4.14	c #Conflicts:      98000 | #Constraints:       8073
4.08/4.14	c #Conflicts:      99000 | #Constraints:       9073
4.08/4.14	c #Conflicts:     100000 | #Constraints:      10073
4.08/4.14	c #Conflicts:     101000 | #Constraints:      11073
4.08/4.14	c #Conflicts:     102000 | #Constraints:      12073
4.08/4.14	c #Conflicts:     103000 | #Constraints:      13073
4.08/4.14	c INPROCESSING
4.08/4.14	c GARBAGE COLLECT
4.08/4.14	c rational objective 200.5
4.26/4.35	c #Conflicts:     104000 | #Constraints:       7668
4.26/4.35	c #Conflicts:     105000 | #Constraints:       8668
4.26/4.35	c #Conflicts:     106000 | #Constraints:       9668
4.26/4.35	c #Conflicts:     107000 | #Constraints:      10668
4.26/4.35	c #Conflicts:     108000 | #Constraints:      11668
4.26/4.35	c #Conflicts:     109000 | #Constraints:      12668
4.26/4.35	c #Conflicts:     110000 | #Constraints:      13668
4.26/4.35	c INPROCESSING
4.26/4.35	c GARBAGE COLLECT
4.26/4.35	c rational objective 200.5
4.46/4.56	c #Conflicts:     111000 | #Constraints:       8072
4.46/4.56	c #Conflicts:     112000 | #Constraints:       9072
4.46/4.56	c #Conflicts:     113000 | #Constraints:      10072
4.46/4.56	c #Conflicts:     114000 | #Constraints:      11072
4.46/4.56	c #Conflicts:     115000 | #Constraints:      12072
4.46/4.56	c #Conflicts:     116000 | #Constraints:      13072
4.46/4.56	c #Conflicts:     117000 | #Constraints:      14072
4.46/4.56	c INPROCESSING
4.46/4.56	c GARBAGE COLLECT
4.46/4.56	c rational objective 200.5
4.76/4.80	c #Conflicts:     118000 | #Constraints:       8275
4.76/4.80	c #Conflicts:     119000 | #Constraints:       9275
4.76/4.80	c #Conflicts:     120000 | #Constraints:      10275
4.76/4.80	c #Conflicts:     121000 | #Constraints:      11275
4.76/4.80	c #Conflicts:     122000 | #Constraints:      12275
4.76/4.80	c #Conflicts:     123000 | #Constraints:      13275
4.76/4.80	c #Conflicts:     124000 | #Constraints:      14275
4.76/4.80	c INPROCESSING
4.76/4.80	c GARBAGE COLLECT
4.76/4.80	c rational objective 200.5
4.97/5.04	c #Conflicts:     125000 | #Constraints:       8275
4.97/5.04	c #Conflicts:     126000 | #Constraints:       9275
4.97/5.04	c #Conflicts:     127000 | #Constraints:      10275
4.97/5.04	c #Conflicts:     128000 | #Constraints:      11275
4.97/5.04	c #Conflicts:     129000 | #Constraints:      12275
4.97/5.04	c #Conflicts:     130000 | #Constraints:      13275
4.97/5.04	c #Conflicts:     131000 | #Constraints:      14275
4.97/5.04	c INPROCESSING
4.97/5.04	c GARBAGE COLLECT
4.97/5.04	c rational objective 200.5
5.26/5.30	c #Conflicts:     132000 | #Constraints:       8076
5.26/5.30	c #Conflicts:     133000 | #Constraints:       9076
5.26/5.30	c #Conflicts:     134000 | #Constraints:      10076
5.26/5.30	c #Conflicts:     135000 | #Constraints:      11076
5.26/5.30	c #Conflicts:     136000 | #Constraints:      12076
5.26/5.30	c #Conflicts:     137000 | #Constraints:      13076
5.26/5.30	c #Conflicts:     138000 | #Constraints:      14076
5.26/5.30	c #Conflicts:     139000 | #Constraints:      15076
5.26/5.30	c INPROCESSING
5.26/5.30	c GARBAGE COLLECT
5.26/5.30	c rational objective 200.5
5.46/5.58	c #Conflicts:     140000 | #Constraints:       8676
5.46/5.58	c #Conflicts:     141000 | #Constraints:       9676
5.46/5.58	c #Conflicts:     142000 | #Constraints:      10676
5.46/5.58	c #Conflicts:     143000 | #Constraints:      11676
5.46/5.58	c #Conflicts:     144000 | #Constraints:      12676
5.46/5.58	c #Conflicts:     145000 | #Constraints:      13676
5.46/5.58	c #Conflicts:     146000 | #Constraints:      14676
5.46/5.58	c #Conflicts:     147000 | #Constraints:      15676
5.46/5.58	c INPROCESSING
5.46/5.58	c GARBAGE COLLECT
5.46/5.58	c rational objective 200.5
5.75/5.83	c #Conflicts:     148000 | #Constraints:       9078
5.75/5.83	c #Conflicts:     149000 | #Constraints:      10078
5.75/5.83	c #Conflicts:     150000 | #Constraints:      11078
5.75/5.83	c #Conflicts:     151000 | #Constraints:      12078
5.75/5.83	c #Conflicts:     152000 | #Constraints:      13078
5.75/5.83	c #Conflicts:     153000 | #Constraints:      14078
5.75/5.83	c #Conflicts:     154000 | #Constraints:      15078
5.75/5.83	c #Conflicts:     155000 | #Constraints:      16078
5.75/5.83	c INPROCESSING
5.75/5.83	c GARBAGE COLLECT
5.75/5.83	c rational objective 200.5
5.97/6.10	c #Conflicts:     156000 | #Constraints:       9281
5.97/6.10	c #Conflicts:     157000 | #Constraints:      10281
5.97/6.10	c #Conflicts:     158000 | #Constraints:      11281
5.97/6.10	c #Conflicts:     159000 | #Constraints:      12281
5.97/6.10	c #Conflicts:     160000 | #Constraints:      13281
5.97/6.10	c #Conflicts:     161000 | #Constraints:      14281
5.97/6.10	c #Conflicts:     162000 | #Constraints:      15281
5.97/6.10	c #Conflicts:     163000 | #Constraints:      16281
5.97/6.10	c INPROCESSING
5.97/6.10	c GARBAGE COLLECT
5.97/6.10	c rational objective 200.5
6.26/6.38	c #Conflicts:     164000 | #Constraints:       9280
6.26/6.38	c #Conflicts:     165000 | #Constraints:      10280
6.26/6.38	c #Conflicts:     166000 | #Constraints:      11280
6.26/6.38	c #Conflicts:     167000 | #Constraints:      12280
6.26/6.38	c #Conflicts:     168000 | #Constraints:      13280
6.26/6.38	c #Conflicts:     169000 | #Constraints:      14280
6.26/6.38	c #Conflicts:     170000 | #Constraints:      15280
6.26/6.38	c #Conflicts:     171000 | #Constraints:      16280
6.26/6.38	c INPROCESSING
6.26/6.38	c GARBAGE COLLECT
6.26/6.38	c rational objective 200.5
6.55/6.64	c #Conflicts:     172000 | #Constraints:       9079
6.55/6.64	c #Conflicts:     173000 | #Constraints:      10079
6.55/6.64	c #Conflicts:     174000 | #Constraints:      11079
6.55/6.64	c #Conflicts:     175000 | #Constraints:      12079
6.55/6.64	c #Conflicts:     176000 | #Constraints:      13079
6.55/6.64	c #Conflicts:     177000 | #Constraints:      14079
6.55/6.64	c #Conflicts:     178000 | #Constraints:      15079
6.55/6.64	c #Conflicts:     179000 | #Constraints:      16079
6.55/6.64	c #Conflicts:     180000 | #Constraints:      17079
6.55/6.64	c INPROCESSING
6.55/6.64	c GARBAGE COLLECT
6.55/6.64	c rational objective 200.5
6.85/6.94	c #Conflicts:     181000 | #Constraints:       9676
6.85/6.94	c #Conflicts:     182000 | #Constraints:      10676
6.85/6.94	c #Conflicts:     183000 | #Constraints:      11676
6.85/6.94	c #Conflicts:     184000 | #Constraints:      12676
6.85/6.94	c #Conflicts:     185000 | #Constraints:      13676
6.85/6.94	c #Conflicts:     186000 | #Constraints:      14676
6.85/6.94	c #Conflicts:     187000 | #Constraints:      15676
6.85/6.94	c #Conflicts:     188000 | #Constraints:      16676
6.85/6.94	c #Conflicts:     189000 | #Constraints:      17676
6.85/6.94	c INPROCESSING
6.85/6.94	c GARBAGE COLLECT
6.85/6.94	c rational objective 200.5
7.15/7.24	c #Conflicts:     190000 | #Constraints:      10067
7.15/7.24	c #Conflicts:     191000 | #Constraints:      11067
7.15/7.24	c #Conflicts:     192000 | #Constraints:      12067
7.15/7.24	c #Conflicts:     193000 | #Constraints:      13067
7.15/7.24	c #Conflicts:     194000 | #Constraints:      14067
7.15/7.24	c #Conflicts:     195000 | #Constraints:      15067
7.15/7.24	c #Conflicts:     196000 | #Constraints:      16067
7.15/7.24	c #Conflicts:     197000 | #Constraints:      17067
7.15/7.24	c #Conflicts:     198000 | #Constraints:      18067
7.15/7.24	c INPROCESSING
7.15/7.24	c GARBAGE COLLECT
7.15/7.24	c rational objective 200.5
7.45/7.59	c #Conflicts:     199000 | #Constraints:      10277
7.45/7.59	c #Conflicts:     200000 | #Constraints:      11277
7.45/7.59	c #Conflicts:     201000 | #Constraints:      12277
7.45/7.59	c #Conflicts:     202000 | #Constraints:      13277
7.45/7.59	c #Conflicts:     203000 | #Constraints:      14277
7.45/7.59	c #Conflicts:     204000 | #Constraints:      15277
7.45/7.59	c #Conflicts:     205000 | #Constraints:      16277
7.45/7.59	c #Conflicts:     206000 | #Constraints:      17277
7.45/7.59	c #Conflicts:     207000 | #Constraints:      18277
7.45/7.59	c INPROCESSING
7.45/7.59	c GARBAGE COLLECT
7.45/7.59	c rational objective 200.5
7.86/7.94	c #Conflicts:     208000 | #Constraints:      10280
7.86/7.94	c #Conflicts:     209000 | #Constraints:      11280
7.86/7.94	c #Conflicts:     210000 | #Constraints:      12280
7.86/7.94	c #Conflicts:     211000 | #Constraints:      13280
7.86/7.94	c #Conflicts:     212000 | #Constraints:      14280
7.86/7.94	c #Conflicts:     213000 | #Constraints:      15280
7.86/7.94	c #Conflicts:     214000 | #Constraints:      16280
7.86/7.94	c #Conflicts:     215000 | #Constraints:      17280
7.86/7.94	c #Conflicts:     216000 | #Constraints:      18280
7.86/7.94	c INPROCESSING
7.86/7.94	c GARBAGE COLLECT
7.86/7.94	c rational objective 200.5
8.25/8.31	c #Conflicts:     217000 | #Constraints:      10079
8.25/8.31	c #Conflicts:     218000 | #Constraints:      11079
8.25/8.31	c #Conflicts:     219000 | #Constraints:      12079
8.25/8.31	c #Conflicts:     220000 | #Constraints:      13079
8.25/8.31	c #Conflicts:     221000 | #Constraints:      14079
8.25/8.31	c #Conflicts:     222000 | #Constraints:      15079
8.25/8.31	c #Conflicts:     223000 | #Constraints:      16079
8.25/8.31	c #Conflicts:     224000 | #Constraints:      17079
8.25/8.31	c #Conflicts:     225000 | #Constraints:      18079
8.25/8.31	c #Conflicts:     226000 | #Constraints:      19079
8.25/8.31	c INPROCESSING
8.25/8.31	c GARBAGE COLLECT
8.25/8.31	c rational objective 200.5
8.55/8.62	c #Conflicts:     227000 | #Constraints:      10686
8.55/8.62	c #Conflicts:     228000 | #Constraints:      11686
8.55/8.62	c #Conflicts:     229000 | #Constraints:      12686
8.55/8.62	c #Conflicts:     230000 | #Constraints:      13686
8.55/8.62	c #Conflicts:     231000 | #Constraints:      14686
8.55/8.62	c #Conflicts:     232000 | #Constraints:      15686
8.55/8.62	c #Conflicts:     233000 | #Constraints:      16686
8.55/8.62	c #Conflicts:     234000 | #Constraints:      17686
8.55/8.62	c #Conflicts:     235000 | #Constraints:      18686
8.55/8.62	c #Conflicts:     236000 | #Constraints:      19686
8.55/8.62	c INPROCESSING
8.55/8.62	c GARBAGE COLLECT
8.55/8.62	c rational objective 200.5
8.85/8.96	c #Conflicts:     237000 | #Constraints:      11083
8.85/8.96	c #Conflicts:     238000 | #Constraints:      12083
8.85/8.96	c #Conflicts:     239000 | #Constraints:      13083
8.85/8.96	c #Conflicts:     240000 | #Constraints:      14083
8.85/8.96	c #Conflicts:     241000 | #Constraints:      15083
8.85/8.96	c #Conflicts:     242000 | #Constraints:      16083
8.85/8.96	c #Conflicts:     243000 | #Constraints:      17083
8.85/8.96	c #Conflicts:     244000 | #Constraints:      18083
8.85/8.96	c #Conflicts:     245000 | #Constraints:      19083
8.85/8.96	c #Conflicts:     246000 | #Constraints:      20083
8.85/8.96	c INPROCESSING
8.85/8.96	c GARBAGE COLLECT
8.85/8.96	c rational objective 200.5
9.15/9.29	c #Conflicts:     247000 | #Constraints:      11284
9.15/9.29	c #Conflicts:     248000 | #Constraints:      12284
9.15/9.29	c #Conflicts:     249000 | #Constraints:      13284
9.15/9.29	c #Conflicts:     250000 | #Constraints:      14284
9.15/9.29	c #Conflicts:     251000 | #Constraints:      15284
9.15/9.29	c #Conflicts:     252000 | #Constraints:      16284
9.15/9.29	c #Conflicts:     253000 | #Constraints:      17284
9.15/9.29	c #Conflicts:     254000 | #Constraints:      18284
9.15/9.29	c #Conflicts:     255000 | #Constraints:      19284
9.15/9.29	c #Conflicts:     256000 | #Constraints:      20284
9.15/9.29	c INPROCESSING
9.15/9.29	c GARBAGE COLLECT
9.15/9.29	c rational objective 200.5
9.55/9.62	c #Conflicts:     257000 | #Constraints:      11284
9.55/9.62	c #Conflicts:     258000 | #Constraints:      12284
9.55/9.62	c #Conflicts:     259000 | #Constraints:      13284
9.55/9.62	c #Conflicts:     260000 | #Constraints:      14284
9.55/9.62	c #Conflicts:     261000 | #Constraints:      15284
9.55/9.62	c #Conflicts:     262000 | #Constraints:      16284
9.55/9.62	c #Conflicts:     263000 | #Constraints:      17284
9.55/9.62	c #Conflicts:     264000 | #Constraints:      18284
9.55/9.62	c #Conflicts:     265000 | #Constraints:      19284
9.55/9.62	c #Conflicts:     266000 | #Constraints:      20284
9.55/9.62	c INPROCESSING
9.55/9.62	c GARBAGE COLLECT
9.55/9.62	c rational objective 200.5
9.85/9.98	c #Conflicts:     267000 | #Constraints:      11087
9.85/9.98	c #Conflicts:     268000 | #Constraints:      12087
9.85/9.98	c #Conflicts:     269000 | #Constraints:      13087
9.85/9.98	c #Conflicts:     270000 | #Constraints:      14087
9.85/9.98	c #Conflicts:     271000 | #Constraints:      15087
9.85/9.98	c #Conflicts:     272000 | #Constraints:      16087
9.85/9.98	c #Conflicts:     273000 | #Constraints:      17087
9.85/9.98	c #Conflicts:     274000 | #Constraints:      18087
9.85/9.98	c #Conflicts:     275000 | #Constraints:      19087
9.85/9.98	c #Conflicts:     276000 | #Constraints:      20087
9.85/9.98	c #Conflicts:     277000 | #Constraints:      21087
9.85/9.98	c INPROCESSING
9.85/9.98	c GARBAGE COLLECT
9.85/9.98	c rational objective 200.5
10.25/10.33	c #Conflicts:     278000 | #Constraints:      11687
10.25/10.33	c #Conflicts:     279000 | #Constraints:      12687
10.25/10.33	c #Conflicts:     280000 | #Constraints:      13687
10.25/10.33	c #Conflicts:     281000 | #Constraints:      14687
10.25/10.33	c #Conflicts:     282000 | #Constraints:      15687
10.25/10.33	c #Conflicts:     283000 | #Constraints:      16687
10.25/10.33	c #Conflicts:     284000 | #Constraints:      17687
10.25/10.33	c #Conflicts:     285000 | #Constraints:      18687
10.25/10.33	c #Conflicts:     286000 | #Constraints:      19687
10.25/10.33	c #Conflicts:     287000 | #Constraints:      20687
10.25/10.33	c #Conflicts:     288000 | #Constraints:      21687
10.25/10.33	c INPROCESSING
10.25/10.33	c GARBAGE COLLECT
10.25/10.33	c rational objective 200.5
10.54/10.67	c #Conflicts:     289000 | #Constraints:      12090
10.54/10.67	c #Conflicts:     290000 | #Constraints:      13090
10.54/10.67	c #Conflicts:     291000 | #Constraints:      14090
10.54/10.67	c #Conflicts:     292000 | #Constraints:      15090
10.54/10.67	c #Conflicts:     293000 | #Constraints:      16090
10.54/10.67	c #Conflicts:     294000 | #Constraints:      17090
10.54/10.67	c #Conflicts:     295000 | #Constraints:      18090
10.54/10.67	c #Conflicts:     296000 | #Constraints:      19090
10.54/10.67	c #Conflicts:     297000 | #Constraints:      20090
10.54/10.67	c #Conflicts:     298000 | #Constraints:      21090
10.54/10.67	c #Conflicts:     299000 | #Constraints:      22090
10.54/10.67	c INPROCESSING
10.54/10.67	c GARBAGE COLLECT
10.54/10.67	c rational objective 200.5
10.96/11.04	c #Conflicts:     300000 | #Constraints:      12289
10.96/11.04	c #Conflicts:     301000 | #Constraints:      13289
10.96/11.04	c #Conflicts:     302000 | #Constraints:      14289
10.96/11.04	c #Conflicts:     303000 | #Constraints:      15289
10.96/11.04	c #Conflicts:     304000 | #Constraints:      16289
10.96/11.04	c #Conflicts:     305000 | #Constraints:      17289
10.96/11.04	c #Conflicts:     306000 | #Constraints:      18289
10.96/11.04	c #Conflicts:     307000 | #Constraints:      19289
10.96/11.04	c #Conflicts:     308000 | #Constraints:      20289
10.96/11.04	c #Conflicts:     309000 | #Constraints:      21289
10.96/11.04	c #Conflicts:     310000 | #Constraints:      22289
10.96/11.04	c INPROCESSING
10.96/11.04	c GARBAGE COLLECT
10.96/11.04	c rational objective 200.5
11.34/11.44	c #Conflicts:     311000 | #Constraints:      12290
11.34/11.44	c #Conflicts:     312000 | #Constraints:      13290
11.34/11.44	c #Conflicts:     313000 | #Constraints:      14290
11.34/11.44	c #Conflicts:     314000 | #Constraints:      15290
11.34/11.44	c #Conflicts:     315000 | #Constraints:      16290
11.34/11.44	c #Conflicts:     316000 | #Constraints:      17290
11.34/11.44	c #Conflicts:     317000 | #Constraints:      18290
11.34/11.44	c #Conflicts:     318000 | #Constraints:      19290
11.34/11.44	c #Conflicts:     319000 | #Constraints:      20290
11.34/11.44	c #Conflicts:     320000 | #Constraints:      21290
11.34/11.44	c #Conflicts:     321000 | #Constraints:      22290
11.34/11.44	c INPROCESSING
11.34/11.44	c GARBAGE COLLECT
11.34/11.44	c rational objective 200.5
11.84/11.90	c #Conflicts:     322000 | #Constraints:      12098
11.84/11.90	c #Conflicts:     323000 | #Constraints:      13098
11.84/11.90	c #Conflicts:     324000 | #Constraints:      14098
11.84/11.90	c #Conflicts:     325000 | #Constraints:      15098
11.84/11.90	c #Conflicts:     326000 | #Constraints:      16098
11.84/11.90	c #Conflicts:     327000 | #Constraints:      17098
11.84/11.90	c #Conflicts:     328000 | #Constraints:      18098
11.84/11.90	c #Conflicts:     329000 | #Constraints:      19098
11.84/11.90	c #Conflicts:     330000 | #Constraints:      20098
11.84/11.90	c #Conflicts:     331000 | #Constraints:      21098
11.84/11.90	c #Conflicts:     332000 | #Constraints:      22098
11.84/11.90	c #Conflicts:     333000 | #Constraints:      23098
11.84/11.90	c INPROCESSING
11.84/11.90	c GARBAGE COLLECT
11.84/11.90	c rational objective 200.5
12.14/12.29	c #Conflicts:     334000 | #Constraints:      12692
12.14/12.29	c #Conflicts:     335000 | #Constraints:      13692
12.14/12.29	c #Conflicts:     336000 | #Constraints:      14692
12.14/12.29	c #Conflicts:     337000 | #Constraints:      15692
12.14/12.29	c #Conflicts:     338000 | #Constraints:      16692
12.14/12.29	c #Conflicts:     339000 | #Constraints:      17692
12.14/12.29	c #Conflicts:     340000 | #Constraints:      18692
12.14/12.29	c #Conflicts:     341000 | #Constraints:      19692
12.14/12.29	c #Conflicts:     342000 | #Constraints:      20692
12.14/12.29	c #Conflicts:     343000 | #Constraints:      21692
12.14/12.29	c #Conflicts:     344000 | #Constraints:      22692
12.14/12.29	c #Conflicts:     345000 | #Constraints:      23692
12.14/12.29	c INPROCESSING
12.14/12.29	c GARBAGE COLLECT
12.14/12.29	c rational objective 200.5
12.64/12.70	c #Conflicts:     346000 | #Constraints:      13096
12.64/12.70	c #Conflicts:     347000 | #Constraints:      14096
12.64/12.70	c #Conflicts:     348000 | #Constraints:      15096
12.64/12.70	c #Conflicts:     349000 | #Constraints:      16096
12.64/12.70	c #Conflicts:     350000 | #Constraints:      17096
12.64/12.70	c #Conflicts:     351000 | #Constraints:      18096
12.64/12.70	c #Conflicts:     352000 | #Constraints:      19096
12.64/12.70	c #Conflicts:     353000 | #Constraints:      20096
12.64/12.70	c #Conflicts:     354000 | #Constraints:      21096
12.64/12.70	c #Conflicts:     355000 | #Constraints:      22096
12.64/12.70	c #Conflicts:     356000 | #Constraints:      23096
12.64/12.70	c #Conflicts:     357000 | #Constraints:      24096
12.64/12.70	c INPROCESSING
12.64/12.70	c GARBAGE COLLECT
12.64/12.70	c rational objective 200.5
12.95/13.11	c #Conflicts:     358000 | #Constraints:      13302
12.95/13.11	c #Conflicts:     359000 | #Constraints:      14302
12.95/13.11	c #Conflicts:     360000 | #Constraints:      15302
12.95/13.11	c #Conflicts:     361000 | #Constraints:      16302
12.95/13.11	c #Conflicts:     362000 | #Constraints:      17302
12.95/13.11	c #Conflicts:     363000 | #Constraints:      18302
12.95/13.11	c #Conflicts:     364000 | #Constraints:      19302
12.95/13.11	c #Conflicts:     365000 | #Constraints:      20302
12.95/13.11	c #Conflicts:     366000 | #Constraints:      21302
12.95/13.11	c #Conflicts:     367000 | #Constraints:      22302
12.95/13.11	c #Conflicts:     368000 | #Constraints:      23302
12.95/13.11	c #Conflicts:     369000 | #Constraints:      24302
12.95/13.11	c INPROCESSING
12.95/13.11	c GARBAGE COLLECT
12.95/13.11	c rational objective 200.5
13.43/13.55	c #Conflicts:     370000 | #Constraints:      13302
13.43/13.55	c #Conflicts:     371000 | #Constraints:      14302
13.43/13.55	c #Conflicts:     372000 | #Constraints:      15302
13.43/13.55	c #Conflicts:     373000 | #Constraints:      16302
13.43/13.55	c #Conflicts:     374000 | #Constraints:      17302
13.43/13.55	c #Conflicts:     375000 | #Constraints:      18302
13.43/13.55	c #Conflicts:     376000 | #Constraints:      19302
13.43/13.55	c #Conflicts:     377000 | #Constraints:      20302
13.43/13.55	c #Conflicts:     378000 | #Constraints:      21302
13.43/13.55	c #Conflicts:     379000 | #Constraints:      22302
13.43/13.55	c #Conflicts:     380000 | #Constraints:      23302
13.43/13.55	c #Conflicts:     381000 | #Constraints:      24302
13.43/13.55	c INPROCESSING
13.43/13.55	c GARBAGE COLLECT
13.43/13.55	c rational objective 200.5
13.84/13.96	c #Conflicts:     382000 | #Constraints:      13100
13.84/13.96	c #Conflicts:     383000 | #Constraints:      14100
13.84/13.96	c #Conflicts:     384000 | #Constraints:      15100
13.84/13.96	c #Conflicts:     385000 | #Constraints:      16100
13.84/13.96	c #Conflicts:     386000 | #Constraints:      17100
13.84/13.96	c #Conflicts:     387000 | #Constraints:      18100
13.84/13.96	c #Conflicts:     388000 | #Constraints:      19100
13.84/13.96	c #Conflicts:     389000 | #Constraints:      20100
13.84/13.96	c #Conflicts:     390000 | #Constraints:      21100
13.84/13.96	c #Conflicts:     391000 | #Constraints:      22100
13.84/13.96	c #Conflicts:     392000 | #Constraints:      23100
13.84/13.96	c #Conflicts:     393000 | #Constraints:      24100
13.84/13.96	c #Conflicts:     394000 | #Constraints:      25100
13.84/13.96	c INPROCESSING
13.84/13.96	c GARBAGE COLLECT
13.84/13.96	c rational objective 200.5
14.33/14.42	c #Conflicts:     395000 | #Constraints:      13696
14.33/14.42	c #Conflicts:     396000 | #Constraints:      14696
14.33/14.42	c #Conflicts:     397000 | #Constraints:      15696
14.33/14.42	c #Conflicts:     398000 | #Constraints:      16696
14.33/14.42	c #Conflicts:     399000 | #Constraints:      17696
14.33/14.42	c #Conflicts:     400000 | #Constraints:      18696
14.33/14.42	c #Conflicts:     401000 | #Constraints:      19696
14.33/14.42	c #Conflicts:     402000 | #Constraints:      20696
14.33/14.42	c #Conflicts:     403000 | #Constraints:      21696
14.33/14.42	c #Conflicts:     404000 | #Constraints:      22696
14.33/14.42	c #Conflicts:     405000 | #Constraints:      23696
14.33/14.42	c #Conflicts:     406000 | #Constraints:      24696
14.33/14.42	c #Conflicts:     407000 | #Constraints:      25696
14.33/14.42	c INPROCESSING
14.33/14.42	c GARBAGE COLLECT
14.33/14.42	c rational objective 200.5
14.73/14.87	c #Conflicts:     408000 | #Constraints:      14100
14.73/14.87	c #Conflicts:     409000 | #Constraints:      15100
14.73/14.87	c #Conflicts:     410000 | #Constraints:      16100
14.73/14.87	c #Conflicts:     411000 | #Constraints:      17100
14.73/14.87	c #Conflicts:     412000 | #Constraints:      18100
14.73/14.87	c #Conflicts:     413000 | #Constraints:      19100
14.73/14.87	c #Conflicts:     414000 | #Constraints:      20100
14.73/14.87	c #Conflicts:     415000 | #Constraints:      21100
14.73/14.87	c #Conflicts:     416000 | #Constraints:      22100
14.73/14.87	c #Conflicts:     417000 | #Constraints:      23100
14.73/14.87	c #Conflicts:     418000 | #Constraints:      24100
14.73/14.87	c #Conflicts:     419000 | #Constraints:      25100
14.73/14.87	c #Conflicts:     420000 | #Constraints:      26100
14.73/14.87	c INPROCESSING
14.73/14.87	c GARBAGE COLLECT
14.73/14.87	c rational objective 200.5
15.23/15.37	c #Conflicts:     421000 | #Constraints:      14311
15.23/15.37	c #Conflicts:     422000 | #Constraints:      15311
15.23/15.37	c #Conflicts:     423000 | #Constraints:      16311
15.23/15.37	c #Conflicts:     424000 | #Constraints:      17311
15.23/15.37	c #Conflicts:     425000 | #Constraints:      18311
15.23/15.37	c #Conflicts:     426000 | #Constraints:      19311
15.23/15.37	c #Conflicts:     427000 | #Constraints:      20311
15.23/15.37	c #Conflicts:     428000 | #Constraints:      21311
15.23/15.37	c #Conflicts:     429000 | #Constraints:      22311
15.23/15.37	c #Conflicts:     430000 | #Constraints:      23311
15.23/15.37	c #Conflicts:     431000 | #Constraints:      24311
15.23/15.37	c #Conflicts:     432000 | #Constraints:      25311
15.23/15.37	c #Conflicts:     433000 | #Constraints:      26311
15.23/15.37	c INPROCESSING
15.23/15.37	c GARBAGE COLLECT
15.23/15.37	c rational objective 200.5
15.73/15.86	c #Conflicts:     434000 | #Constraints:      14311
15.73/15.86	c #Conflicts:     435000 | #Constraints:      15311
15.73/15.86	c #Conflicts:     436000 | #Constraints:      16311
15.73/15.86	c #Conflicts:     437000 | #Constraints:      17311
15.73/15.86	c #Conflicts:     438000 | #Constraints:      18311
15.73/15.86	c #Conflicts:     439000 | #Constraints:      19311
15.73/15.86	c #Conflicts:     440000 | #Constraints:      20311
15.73/15.86	c #Conflicts:     441000 | #Constraints:      21311
15.73/15.86	c #Conflicts:     442000 | #Constraints:      22311
15.73/15.86	c #Conflicts:     443000 | #Constraints:      23311
15.73/15.86	c #Conflicts:     444000 | #Constraints:      24311
15.73/15.86	c #Conflicts:     445000 | #Constraints:      25311
15.73/15.86	c #Conflicts:     446000 | #Constraints:      26311
15.73/15.86	c INPROCESSING
15.73/15.86	c GARBAGE COLLECT
15.73/15.86	c rational objective 200.5
16.23/16.38	c #Conflicts:     447000 | #Constraints:      14102
16.23/16.38	c #Conflicts:     448000 | #Constraints:      15102
16.23/16.38	c #Conflicts:     449000 | #Constraints:      16102
16.23/16.38	c #Conflicts:     450000 | #Constraints:      17102
16.23/16.38	c #Conflicts:     451000 | #Constraints:      18102
16.23/16.38	c #Conflicts:     452000 | #Constraints:      19102
16.23/16.38	c #Conflicts:     453000 | #Constraints:      20102
16.23/16.38	c #Conflicts:     454000 | #Constraints:      21102
16.23/16.38	c #Conflicts:     455000 | #Constraints:      22102
16.23/16.38	c #Conflicts:     456000 | #Constraints:      23102
16.23/16.38	c #Conflicts:     457000 | #Constraints:      24102
16.23/16.38	c #Conflicts:     458000 | #Constraints:      25102
16.23/16.38	c #Conflicts:     459000 | #Constraints:      26102
16.23/16.38	c #Conflicts:     460000 | #Constraints:      27102
16.23/16.38	c INPROCESSING
16.23/16.38	c GARBAGE COLLECT
16.23/16.38	c rational objective 200.5
16.83/16.95	c #Conflicts:     461000 | #Constraints:      14701
16.83/16.95	c #Conflicts:     462000 | #Constraints:      15701
16.83/16.95	c #Conflicts:     463000 | #Constraints:      16701
16.83/16.95	c #Conflicts:     464000 | #Constraints:      17701
16.83/16.95	c #Conflicts:     465000 | #Constraints:      18701
16.83/16.95	c #Conflicts:     466000 | #Constraints:      19701
16.83/16.95	c #Conflicts:     467000 | #Constraints:      20701
16.83/16.95	c #Conflicts:     468000 | #Constraints:      21701
16.83/16.95	c #Conflicts:     469000 | #Constraints:      22701
16.83/16.95	c #Conflicts:     470000 | #Constraints:      23701
16.83/16.95	c #Conflicts:     471000 | #Constraints:      24701
16.83/16.95	c #Conflicts:     472000 | #Constraints:      25701
16.83/16.95	c #Conflicts:     473000 | #Constraints:      26701
16.83/16.95	c #Conflicts:     474000 | #Constraints:      27701
16.83/16.95	c INPROCESSING
16.83/16.95	c GARBAGE COLLECT
16.83/16.95	c rational objective 200.5
17.32/17.47	c #Conflicts:     475000 | #Constraints:      15107
17.32/17.47	c #Conflicts:     476000 | #Constraints:      16107
17.32/17.47	c #Conflicts:     477000 | #Constraints:      17107
17.32/17.47	c #Conflicts:     478000 | #Constraints:      18107
17.32/17.47	c #Conflicts:     479000 | #Constraints:      19107
17.32/17.47	c #Conflicts:     480000 | #Constraints:      20107
17.32/17.47	c #Conflicts:     481000 | #Constraints:      21107
17.32/17.47	c #Conflicts:     482000 | #Constraints:      22107
17.32/17.47	c #Conflicts:     483000 | #Constraints:      23107
17.32/17.47	c #Conflicts:     484000 | #Constraints:      24107
17.32/17.47	c #Conflicts:     485000 | #Constraints:      25107
17.32/17.47	c #Conflicts:     486000 | #Constraints:      26107
17.32/17.47	c #Conflicts:     487000 | #Constraints:      27107
17.32/17.47	c #Conflicts:     488000 | #Constraints:      28107
17.32/17.47	c INPROCESSING
17.32/17.47	c GARBAGE COLLECT
17.32/17.47	c rational objective 200.5
17.94/18.09	c #Conflicts:     489000 | #Constraints:      15303
17.94/18.09	c #Conflicts:     490000 | #Constraints:      16303
17.94/18.09	c #Conflicts:     491000 | #Constraints:      17303
17.94/18.09	c #Conflicts:     492000 | #Constraints:      18303
17.94/18.09	c #Conflicts:     493000 | #Constraints:      19303
17.94/18.09	c #Conflicts:     494000 | #Constraints:      20303
17.94/18.09	c #Conflicts:     495000 | #Constraints:      21303
17.94/18.09	c #Conflicts:     496000 | #Constraints:      22303
17.94/18.09	c #Conflicts:     497000 | #Constraints:      23303
17.94/18.09	c #Conflicts:     498000 | #Constraints:      24303
17.94/18.09	c #Conflicts:     499000 | #Constraints:      25303
17.94/18.09	c #Conflicts:     500000 | #Constraints:      26303
17.94/18.09	c #Conflicts:     501000 | #Constraints:      27303
17.94/18.09	c #Conflicts:     502000 | #Constraints:      28303
17.94/18.09	c INPROCESSING
17.94/18.09	c GARBAGE COLLECT
17.94/18.09	c rational objective 200.5
18.53/18.65	c #Conflicts:     503000 | #Constraints:      15301
18.53/18.65	c #Conflicts:     504000 | #Constraints:      16301
18.53/18.65	c #Conflicts:     505000 | #Constraints:      17301
18.53/18.65	c #Conflicts:     506000 | #Constraints:      18301
18.53/18.65	c #Conflicts:     507000 | #Constraints:      19301
18.53/18.65	c #Conflicts:     508000 | #Constraints:      20301
18.53/18.65	c #Conflicts:     509000 | #Constraints:      21301
18.53/18.65	c #Conflicts:     510000 | #Constraints:      22301
18.53/18.65	c #Conflicts:     511000 | #Constraints:      23301
18.53/18.65	c #Conflicts:     512000 | #Constraints:      24301
18.53/18.65	c #Conflicts:     513000 | #Constraints:      25301
18.53/18.65	c #Conflicts:     514000 | #Constraints:      26301
18.53/18.65	c #Conflicts:     515000 | #Constraints:      27301
18.53/18.65	c #Conflicts:     516000 | #Constraints:      28301
18.53/18.65	c INPROCESSING
18.53/18.65	c GARBAGE COLLECT
18.53/18.65	c rational objective 200.5
19.03/19.18	c #Conflicts:     517000 | #Constraints:      15095
19.03/19.18	c #Conflicts:     518000 | #Constraints:      16095
19.03/19.18	c #Conflicts:     519000 | #Constraints:      17095
19.03/19.18	c #Conflicts:     520000 | #Constraints:      18095
19.03/19.18	c #Conflicts:     521000 | #Constraints:      19095
19.03/19.18	c #Conflicts:     522000 | #Constraints:      20095
19.03/19.18	c #Conflicts:     523000 | #Constraints:      21095
19.03/19.18	c #Conflicts:     524000 | #Constraints:      22095
19.03/19.18	c #Conflicts:     525000 | #Constraints:      23095
19.03/19.18	c #Conflicts:     526000 | #Constraints:      24095
19.03/19.18	c #Conflicts:     527000 | #Constraints:      25095
19.03/19.18	c #Conflicts:     528000 | #Constraints:      26095
19.03/19.18	c #Conflicts:     529000 | #Constraints:      27095
19.03/19.18	c #Conflicts:     530000 | #Constraints:      28095
19.03/19.18	c #Conflicts:     531000 | #Constraints:      29095
19.03/19.18	c INPROCESSING
19.03/19.18	c GARBAGE COLLECT
19.03/19.18	c rational objective 200.5
19.61/19.77	c #Conflicts:     532000 | #Constraints:      15699
19.61/19.77	c #Conflicts:     533000 | #Constraints:      16699
19.61/19.77	c #Conflicts:     534000 | #Constraints:      17699
19.61/19.77	c #Conflicts:     535000 | #Constraints:      18699
19.61/19.77	c #Conflicts:     536000 | #Constraints:      19699
19.61/19.77	c #Conflicts:     537000 | #Constraints:      20699
19.61/19.77	c #Conflicts:     538000 | #Constraints:      21699
19.61/19.77	c #Conflicts:     539000 | #Constraints:      22699
19.61/19.77	c #Conflicts:     540000 | #Constraints:      23699
19.61/19.77	c #Conflicts:     541000 | #Constraints:      24699
19.61/19.77	c #Conflicts:     542000 | #Constraints:      25699
19.61/19.77	c #Conflicts:     543000 | #Constraints:      26699
19.61/19.77	c #Conflicts:     544000 | #Constraints:      27699
19.61/19.77	c #Conflicts:     545000 | #Constraints:      28699
19.61/19.77	c #Conflicts:     546000 | #Constraints:      29699
19.61/19.77	c INPROCESSING
19.61/19.77	c GARBAGE COLLECT
19.61/19.77	c rational objective 200.5
20.22/20.35	c #Conflicts:     547000 | #Constraints:      16099
20.22/20.35	c #Conflicts:     548000 | #Constraints:      17099
20.22/20.35	c #Conflicts:     549000 | #Constraints:      18099
20.22/20.35	c #Conflicts:     550000 | #Constraints:      19099
20.22/20.35	c #Conflicts:     551000 | #Constraints:      20099
20.22/20.35	c #Conflicts:     552000 | #Constraints:      21099
20.22/20.35	c #Conflicts:     553000 | #Constraints:      22099
20.22/20.35	c #Conflicts:     554000 | #Constraints:      23099
20.22/20.35	c #Conflicts:     555000 | #Constraints:      24099
20.22/20.35	c #Conflicts:     556000 | #Constraints:      25099
20.22/20.35	c #Conflicts:     557000 | #Constraints:      26099
20.22/20.35	c #Conflicts:     558000 | #Constraints:      27099
20.22/20.35	c #Conflicts:     559000 | #Constraints:      28099
20.22/20.35	c #Conflicts:     560000 | #Constraints:      29099
20.22/20.35	c #Conflicts:     561000 | #Constraints:      30099
20.22/20.35	c INPROCESSING
20.22/20.35	c GARBAGE COLLECT
20.22/20.35	c rational objective 200.5
20.81/20.93	c #Conflicts:     562000 | #Constraints:      16297
20.81/20.93	c #Conflicts:     563000 | #Constraints:      17297
20.81/20.93	c #Conflicts:     564000 | #Constraints:      18297
20.81/20.93	c #Conflicts:     565000 | #Constraints:      19297
20.81/20.93	c #Conflicts:     566000 | #Constraints:      20297
20.81/20.93	c #Conflicts:     567000 | #Constraints:      21297
20.81/20.93	c #Conflicts:     568000 | #Constraints:      22297
20.81/20.93	c #Conflicts:     569000 | #Constraints:      23297
20.81/20.93	c #Conflicts:     570000 | #Constraints:      24297
20.81/20.93	c #Conflicts:     571000 | #Constraints:      25297
20.81/20.93	c #Conflicts:     572000 | #Constraints:      26297
20.81/20.93	c #Conflicts:     573000 | #Constraints:      27297
20.81/20.93	c #Conflicts:     574000 | #Constraints:      28297
20.81/20.93	c #Conflicts:     575000 | #Constraints:      29297
20.81/20.93	c #Conflicts:     576000 | #Constraints:      30297
20.81/20.93	c INPROCESSING
20.81/20.93	c GARBAGE COLLECT
20.81/20.93	c rational objective 200.5
21.42/21.52	c #Conflicts:     577000 | #Constraints:      16311
21.42/21.52	c #Conflicts:     578000 | #Constraints:      17311
21.42/21.52	c #Conflicts:     579000 | #Constraints:      18311
21.42/21.52	c #Conflicts:     580000 | #Constraints:      19311
21.42/21.52	c #Conflicts:     581000 | #Constraints:      20311
21.42/21.52	c #Conflicts:     582000 | #Constraints:      21311
21.42/21.52	c #Conflicts:     583000 | #Constraints:      22311
21.42/21.52	c #Conflicts:     584000 | #Constraints:      23311
21.42/21.52	c #Conflicts:     585000 | #Constraints:      24311
21.42/21.52	c #Conflicts:     586000 | #Constraints:      25311
21.42/21.52	c #Conflicts:     587000 | #Constraints:      26311
21.42/21.52	c #Conflicts:     588000 | #Constraints:      27311
21.42/21.52	c #Conflicts:     589000 | #Constraints:      28311
21.42/21.52	c #Conflicts:     590000 | #Constraints:      29311
21.42/21.52	c #Conflicts:     591000 | #Constraints:      30311
21.42/21.52	c INPROCESSING
21.42/21.52	c GARBAGE COLLECT
21.42/21.52	c rational objective 200.5
22.03/22.18	c #Conflicts:     592000 | #Constraints:      16110
22.03/22.18	c #Conflicts:     593000 | #Constraints:      17110
22.03/22.18	c #Conflicts:     594000 | #Constraints:      18110
22.03/22.18	c #Conflicts:     595000 | #Constraints:      19110
22.03/22.18	c #Conflicts:     596000 | #Constraints:      20110
22.03/22.18	c #Conflicts:     597000 | #Constraints:      21110
22.03/22.18	c #Conflicts:     598000 | #Constraints:      22110
22.03/22.18	c #Conflicts:     599000 | #Constraints:      23110
22.03/22.18	c #Conflicts:     600000 | #Constraints:      24110
22.03/22.18	c #Conflicts:     601000 | #Constraints:      25110
22.03/22.18	c #Conflicts:     602000 | #Constraints:      26110
22.03/22.18	c #Conflicts:     603000 | #Constraints:      27110
22.03/22.18	c #Conflicts:     604000 | #Constraints:      28110
22.03/22.18	c #Conflicts:     605000 | #Constraints:      29110
22.03/22.18	c #Conflicts:     606000 | #Constraints:      30110
22.03/22.18	c #Conflicts:     607000 | #Constraints:      31110
22.03/22.18	c INPROCESSING
22.03/22.18	c GARBAGE COLLECT
22.03/22.18	c rational objective 200.5
22.71/22.85	c #Conflicts:     608000 | #Constraints:      16704
22.71/22.85	c #Conflicts:     609000 | #Constraints:      17704
22.71/22.85	c #Conflicts:     610000 | #Constraints:      18704
22.71/22.85	c #Conflicts:     611000 | #Constraints:      19704
22.71/22.85	c #Conflicts:     612000 | #Constraints:      20704
22.71/22.85	c #Conflicts:     613000 | #Constraints:      21704
22.71/22.85	c #Conflicts:     614000 | #Constraints:      22704
22.71/22.85	c #Conflicts:     615000 | #Constraints:      23704
22.71/22.85	c #Conflicts:     616000 | #Constraints:      24704
22.71/22.85	c #Conflicts:     617000 | #Constraints:      25704
22.71/22.85	c #Conflicts:     618000 | #Constraints:      26704
22.71/22.85	c #Conflicts:     619000 | #Constraints:      27704
22.71/22.85	c #Conflicts:     620000 | #Constraints:      28704
22.71/22.85	c #Conflicts:     621000 | #Constraints:      29704
22.71/22.85	c #Conflicts:     622000 | #Constraints:      30704
22.71/22.85	c #Conflicts:     623000 | #Constraints:      31704
22.71/22.85	c INPROCESSING
22.71/22.85	c GARBAGE COLLECT
22.71/22.85	c rational objective 200.5
23.31/23.49	c #Conflicts:     624000 | #Constraints:      17101
23.31/23.49	c #Conflicts:     625000 | #Constraints:      18101
23.31/23.49	c #Conflicts:     626000 | #Constraints:      19101
23.31/23.49	c #Conflicts:     627000 | #Constraints:      20101
23.31/23.49	c #Conflicts:     628000 | #Constraints:      21101
23.31/23.49	c #Conflicts:     629000 | #Constraints:      22101
23.31/23.49	c #Conflicts:     630000 | #Constraints:      23101
23.31/23.49	c #Conflicts:     631000 | #Constraints:      24101
23.31/23.49	c #Conflicts:     632000 | #Constraints:      25101
23.31/23.49	c #Conflicts:     633000 | #Constraints:      26101
23.31/23.49	c #Conflicts:     634000 | #Constraints:      27101
23.31/23.49	c #Conflicts:     635000 | #Constraints:      28101
23.31/23.49	c #Conflicts:     636000 | #Constraints:      29101
23.31/23.49	c #Conflicts:     637000 | #Constraints:      30101
23.31/23.49	c #Conflicts:     638000 | #Constraints:      31101
23.31/23.49	c #Conflicts:     639000 | #Constraints:      32101
23.31/23.49	c INPROCESSING
23.31/23.49	c GARBAGE COLLECT
23.31/23.49	c rational objective 200.5
24.03/24.14	c #Conflicts:     640000 | #Constraints:      17301
24.03/24.14	c #Conflicts:     641000 | #Constraints:      18301
24.03/24.14	c #Conflicts:     642000 | #Constraints:      19301
24.03/24.14	c #Conflicts:     643000 | #Constraints:      20301
24.03/24.14	c #Conflicts:     644000 | #Constraints:      21301
24.03/24.14	c #Conflicts:     645000 | #Constraints:      22301
24.03/24.14	c #Conflicts:     646000 | #Constraints:      23301
24.03/24.14	c #Conflicts:     647000 | #Constraints:      24301
24.03/24.14	c #Conflicts:     648000 | #Constraints:      25301
24.03/24.14	c #Conflicts:     649000 | #Constraints:      26301
24.03/24.14	c #Conflicts:     650000 | #Constraints:      27301
24.03/24.14	c #Conflicts:     651000 | #Constraints:      28301
24.03/24.14	c #Conflicts:     652000 | #Constraints:      29301
24.03/24.14	c #Conflicts:     653000 | #Constraints:      30301
24.03/24.14	c #Conflicts:     654000 | #Constraints:      31301
24.03/24.14	c #Conflicts:     655000 | #Constraints:      32301
24.03/24.14	c INPROCESSING
24.03/24.14	c GARBAGE COLLECT
24.03/24.14	c rational objective 200.5
24.70/24.81	c #Conflicts:     656000 | #Constraints:      17303
24.70/24.81	c #Conflicts:     657000 | #Constraints:      18303
24.70/24.81	c #Conflicts:     658000 | #Constraints:      19303
24.70/24.81	c #Conflicts:     659000 | #Constraints:      20303
24.70/24.81	c #Conflicts:     660000 | #Constraints:      21303
24.70/24.81	c #Conflicts:     661000 | #Constraints:      22303
24.70/24.81	c #Conflicts:     662000 | #Constraints:      23303
24.70/24.81	c #Conflicts:     663000 | #Constraints:      24303
24.70/24.81	c #Conflicts:     664000 | #Constraints:      25303
24.70/24.81	c #Conflicts:     665000 | #Constraints:      26303
24.70/24.81	c #Conflicts:     666000 | #Constraints:      27303
24.70/24.81	c #Conflicts:     667000 | #Constraints:      28303
24.70/24.81	c #Conflicts:     668000 | #Constraints:      29303
24.70/24.81	c #Conflicts:     669000 | #Constraints:      30303
24.70/24.81	c #Conflicts:     670000 | #Constraints:      31303
24.70/24.81	c #Conflicts:     671000 | #Constraints:      32303
24.70/24.81	c INPROCESSING
24.70/24.81	c GARBAGE COLLECT
24.70/24.81	c rational objective 200.5
25.40/25.51	c #Conflicts:     672000 | #Constraints:      17104
25.40/25.51	c #Conflicts:     673000 | #Constraints:      18104
25.40/25.51	c #Conflicts:     674000 | #Constraints:      19104
25.40/25.51	c #Conflicts:     675000 | #Constraints:      20104
25.40/25.51	c #Conflicts:     676000 | #Constraints:      21104
25.40/25.51	c #Conflicts:     677000 | #Constraints:      22104
25.40/25.51	c #Conflicts:     678000 | #Constraints:      23104
25.40/25.51	c #Conflicts:     679000 | #Constraints:      24104
25.40/25.51	c #Conflicts:     680000 | #Constraints:      25104
25.40/25.51	c #Conflicts:     681000 | #Constraints:      26104
25.40/25.51	c #Conflicts:     682000 | #Constraints:      27104
25.40/25.51	c #Conflicts:     683000 | #Constraints:      28104
25.40/25.51	c #Conflicts:     684000 | #Constraints:      29104
25.40/25.51	c #Conflicts:     685000 | #Constraints:      30104
25.40/25.51	c #Conflicts:     686000 | #Constraints:      31104
25.40/25.51	c #Conflicts:     687000 | #Constraints:      32104
25.40/25.51	c #Conflicts:     688000 | #Constraints:      33104
25.40/25.51	c INPROCESSING
25.40/25.51	c GARBAGE COLLECT
25.40/25.51	c rational objective 200.5
26.10/26.20	c #Conflicts:     689000 | #Constraints:      17710
26.10/26.20	c #Conflicts:     690000 | #Constraints:      18710
26.10/26.20	c #Conflicts:     691000 | #Constraints:      19710
26.10/26.20	c #Conflicts:     692000 | #Constraints:      20710
26.10/26.20	c #Conflicts:     693000 | #Constraints:      21710
26.10/26.20	c #Conflicts:     694000 | #Constraints:      22710
26.10/26.20	c #Conflicts:     695000 | #Constraints:      23710
26.10/26.20	c #Conflicts:     696000 | #Constraints:      24710
26.10/26.20	c #Conflicts:     697000 | #Constraints:      25710
26.10/26.20	c #Conflicts:     698000 | #Constraints:      26710
26.10/26.20	c #Conflicts:     699000 | #Constraints:      27710
26.10/26.20	c #Conflicts:     700000 | #Constraints:      28710
26.10/26.20	c #Conflicts:     701000 | #Constraints:      29710
26.10/26.20	c #Conflicts:     702000 | #Constraints:      30710
26.10/26.20	c #Conflicts:     703000 | #Constraints:      31710
26.10/26.20	c #Conflicts:     704000 | #Constraints:      32710
26.10/26.20	c #Conflicts:     705000 | #Constraints:      33710
26.10/26.20	c INPROCESSING
26.10/26.20	c GARBAGE COLLECT
26.10/26.20	c rational objective 200.5
26.80/26.93	c #Conflicts:     706000 | #Constraints:      18105
26.80/26.93	c #Conflicts:     707000 | #Constraints:      19105
26.80/26.93	c #Conflicts:     708000 | #Constraints:      20105
26.80/26.93	c #Conflicts:     709000 | #Constraints:      21105
26.80/26.93	c #Conflicts:     710000 | #Constraints:      22105
26.80/26.93	c #Conflicts:     711000 | #Constraints:      23105
26.80/26.93	c #Conflicts:     712000 | #Constraints:      24105
26.80/26.93	c #Conflicts:     713000 | #Constraints:      25105
26.80/26.93	c #Conflicts:     714000 | #Constraints:      26105
26.80/26.93	c #Conflicts:     715000 | #Constraints:      27105
26.80/26.93	c #Conflicts:     716000 | #Constraints:      28105
26.80/26.93	c #Conflicts:     717000 | #Constraints:      29105
26.80/26.93	c #Conflicts:     718000 | #Constraints:      30105
26.80/26.93	c #Conflicts:     719000 | #Constraints:      31105
26.80/26.93	c #Conflicts:     720000 | #Constraints:      32105
26.80/26.93	c #Conflicts:     721000 | #Constraints:      33105
26.80/26.93	c #Conflicts:     722000 | #Constraints:      34105
26.80/26.93	c INPROCESSING
26.80/26.93	c GARBAGE COLLECT
26.80/26.93	c rational objective 200.5
27.59/27.73	c #Conflicts:     723000 | #Constraints:      18309
27.59/27.73	c #Conflicts:     724000 | #Constraints:      19309
27.59/27.73	c #Conflicts:     725000 | #Constraints:      20309
27.59/27.73	c #Conflicts:     726000 | #Constraints:      21309
27.59/27.73	c #Conflicts:     727000 | #Constraints:      22309
27.59/27.73	c #Conflicts:     728000 | #Constraints:      23309
27.59/27.73	c #Conflicts:     729000 | #Constraints:      24309
27.59/27.73	c #Conflicts:     730000 | #Constraints:      25309
27.59/27.73	c #Conflicts:     731000 | #Constraints:      26309
27.59/27.73	c #Conflicts:     732000 | #Constraints:      27309
27.59/27.73	c #Conflicts:     733000 | #Constraints:      28309
27.59/27.73	c #Conflicts:     734000 | #Constraints:      29309
27.59/27.73	c #Conflicts:     735000 | #Constraints:      30309
27.59/27.73	c #Conflicts:     736000 | #Constraints:      31309
27.59/27.73	c #Conflicts:     737000 | #Constraints:      32309
27.59/27.73	c #Conflicts:     738000 | #Constraints:      33309
27.59/27.73	c #Conflicts:     739000 | #Constraints:      34309
27.59/27.73	c INPROCESSING
27.59/27.73	c GARBAGE COLLECT
27.59/27.73	c rational objective 200.5
28.39/28.53	c #Conflicts:     740000 | #Constraints:      18314
28.39/28.53	c #Conflicts:     741000 | #Constraints:      19314
28.39/28.53	c #Conflicts:     742000 | #Constraints:      20314
28.39/28.53	c #Conflicts:     743000 | #Constraints:      21314
28.39/28.53	c #Conflicts:     744000 | #Constraints:      22314
28.39/28.53	c #Conflicts:     745000 | #Constraints:      23314
28.39/28.53	c #Conflicts:     746000 | #Constraints:      24314
28.39/28.53	c #Conflicts:     747000 | #Constraints:      25314
28.39/28.53	c #Conflicts:     748000 | #Constraints:      26314
28.39/28.53	c #Conflicts:     749000 | #Constraints:      27314
28.39/28.53	c #Conflicts:     750000 | #Constraints:      28314
28.39/28.53	c #Conflicts:     751000 | #Constraints:      29314
28.39/28.53	c #Conflicts:     752000 | #Constraints:      30314
28.39/28.53	c #Conflicts:     753000 | #Constraints:      31314
28.39/28.53	c #Conflicts:     754000 | #Constraints:      32314
28.39/28.53	c #Conflicts:     755000 | #Constraints:      33314
28.39/28.53	c #Conflicts:     756000 | #Constraints:      34314
28.39/28.53	c INPROCESSING
28.39/28.53	c GARBAGE COLLECT
28.39/28.53	c rational objective 200.5
29.20/29.32	c #Conflicts:     757000 | #Constraints:      18112
29.20/29.32	c #Conflicts:     758000 | #Constraints:      19112
29.20/29.32	c #Conflicts:     759000 | #Constraints:      20112
29.20/29.32	c #Conflicts:     760000 | #Constraints:      21112
29.20/29.32	c #Conflicts:     761000 | #Constraints:      22112
29.20/29.32	c #Conflicts:     762000 | #Constraints:      23112
29.20/29.32	c #Conflicts:     763000 | #Constraints:      24112
29.20/29.32	c #Conflicts:     764000 | #Constraints:      25112
29.20/29.32	c #Conflicts:     765000 | #Constraints:      26112
29.20/29.32	c #Conflicts:     766000 | #Constraints:      27112
29.20/29.32	c #Conflicts:     767000 | #Constraints:      28112
29.20/29.32	c #Conflicts:     768000 | #Constraints:      29112
29.20/29.32	c #Conflicts:     769000 | #Constraints:      30112
29.20/29.32	c #Conflicts:     770000 | #Constraints:      31112
29.20/29.32	c #Conflicts:     771000 | #Constraints:      32112
29.20/29.32	c #Conflicts:     772000 | #Constraints:      33112
29.20/29.32	c #Conflicts:     773000 | #Constraints:      34112
29.20/29.32	c #Conflicts:     774000 | #Constraints:      35112
29.20/29.32	c INPROCESSING
29.20/29.32	c GARBAGE COLLECT
29.20/29.32	c rational objective 200.5
30.00/30.15	c #Conflicts:     775000 | #Constraints:      18713
30.00/30.15	c #Conflicts:     776000 | #Constraints:      19713
30.00/30.15	c #Conflicts:     777000 | #Constraints:      20713
30.00/30.15	c #Conflicts:     778000 | #Constraints:      21713
30.00/30.15	c #Conflicts:     779000 | #Constraints:      22713
30.00/30.15	c #Conflicts:     780000 | #Constraints:      23713
30.00/30.15	c #Conflicts:     781000 | #Constraints:      24713
30.00/30.15	c #Conflicts:     782000 | #Constraints:      25713
30.00/30.15	c #Conflicts:     783000 | #Constraints:      26713
30.00/30.15	c #Conflicts:     784000 | #Constraints:      27713
30.00/30.15	c #Conflicts:     785000 | #Constraints:      28713
30.00/30.15	c #Conflicts:     786000 | #Constraints:      29713
30.00/30.15	c #Conflicts:     787000 | #Constraints:      30713
30.00/30.15	c #Conflicts:     788000 | #Constraints:      31713
30.00/30.15	c #Conflicts:     789000 | #Constraints:      32713
30.00/30.15	c #Conflicts:     790000 | #Constraints:      33713
30.00/30.15	c #Conflicts:     791000 | #Constraints:      34713
30.00/30.15	c #Conflicts:     792000 | #Constraints:      35713
30.00/30.15	c INPROCESSING
30.00/30.15	c GARBAGE COLLECT
30.00/30.15	c rational objective 200.5
30.90/31.01	c #Conflicts:     793000 | #Constraints:      19114
30.90/31.01	c #Conflicts:     794000 | #Constraints:      20114
30.90/31.01	c #Conflicts:     795000 | #Constraints:      21114
30.90/31.01	c #Conflicts:     796000 | #Constraints:      22114
30.90/31.01	c #Conflicts:     797000 | #Constraints:      23114
30.90/31.01	c #Conflicts:     798000 | #Constraints:      24114
30.90/31.01	c #Conflicts:     799000 | #Constraints:      25114
30.90/31.01	c #Conflicts:     800000 | #Constraints:      26114
30.90/31.01	c #Conflicts:     801000 | #Constraints:      27114
30.90/31.01	c #Conflicts:     802000 | #Constraints:      28114
30.90/31.01	c #Conflicts:     803000 | #Constraints:      29114
30.90/31.01	c #Conflicts:     804000 | #Constraints:      30114
30.90/31.01	c #Conflicts:     805000 | #Constraints:      31114
30.90/31.01	c #Conflicts:     806000 | #Constraints:      32114
30.90/31.01	c #Conflicts:     807000 | #Constraints:      33114
30.90/31.01	c #Conflicts:     808000 | #Constraints:      34114
30.90/31.01	c #Conflicts:     809000 | #Constraints:      35114
30.90/31.01	c #Conflicts:     810000 | #Constraints:      36114
30.90/31.01	c INPROCESSING
30.90/31.01	c GARBAGE COLLECT
30.90/31.01	c rational objective 200.5
31.69/31.86	c #Conflicts:     811000 | #Constraints:      19310
31.69/31.86	c #Conflicts:     812000 | #Constraints:      20310
31.69/31.86	c #Conflicts:     813000 | #Constraints:      21310
31.69/31.86	c #Conflicts:     814000 | #Constraints:      22310
31.69/31.86	c #Conflicts:     815000 | #Constraints:      23310
31.69/31.86	c #Conflicts:     816000 | #Constraints:      24310
31.69/31.86	c #Conflicts:     817000 | #Constraints:      25310
31.69/31.86	c #Conflicts:     818000 | #Constraints:      26310
31.69/31.86	c #Conflicts:     819000 | #Constraints:      27310
31.69/31.86	c #Conflicts:     820000 | #Constraints:      28310
31.69/31.86	c #Conflicts:     821000 | #Constraints:      29310
31.69/31.86	c #Conflicts:     822000 | #Constraints:      30310
31.69/31.86	c #Conflicts:     823000 | #Constraints:      31310
31.69/31.86	c #Conflicts:     824000 | #Constraints:      32310
31.69/31.86	c #Conflicts:     825000 | #Constraints:      33310
31.69/31.86	c #Conflicts:     826000 | #Constraints:      34310
31.69/31.86	c #Conflicts:     827000 | #Constraints:      35310
31.69/31.86	c #Conflicts:     828000 | #Constraints:      36310
31.69/31.86	c INPROCESSING
31.69/31.86	c GARBAGE COLLECT
31.69/31.86	c rational objective 200.5
32.38/32.59	c #Conflicts:     829000 | #Constraints:      19317
32.38/32.59	c #Conflicts:     830000 | #Constraints:      20317
32.38/32.59	c #Conflicts:     831000 | #Constraints:      21317
32.38/32.59	c #Conflicts:     832000 | #Constraints:      22317
32.38/32.59	c #Conflicts:     833000 | #Constraints:      23317
32.38/32.59	c #Conflicts:     834000 | #Constraints:      24317
32.38/32.59	c #Conflicts:     835000 | #Constraints:      25317
32.38/32.59	c #Conflicts:     836000 | #Constraints:      26317
32.38/32.59	c #Conflicts:     837000 | #Constraints:      27317
32.38/32.59	c #Conflicts:     838000 | #Constraints:      28317
32.38/32.59	c #Conflicts:     839000 | #Constraints:      29317
32.38/32.59	c #Conflicts:     840000 | #Constraints:      30317
32.38/32.59	c #Conflicts:     841000 | #Constraints:      31317
32.38/32.59	c #Conflicts:     842000 | #Constraints:      32317
32.38/32.59	c #Conflicts:     843000 | #Constraints:      33317
32.38/32.59	c #Conflicts:     844000 | #Constraints:      34317
32.38/32.59	c #Conflicts:     845000 | #Constraints:      35317
32.38/32.59	c #Conflicts:     846000 | #Constraints:      36317
32.38/32.59	c INPROCESSING
32.38/32.59	c GARBAGE COLLECT
32.38/32.59	c rational objective 200.5
33.28/33.46	c #Conflicts:     847000 | #Constraints:      19115
33.28/33.46	c #Conflicts:     848000 | #Constraints:      20115
33.28/33.46	c #Conflicts:     849000 | #Constraints:      21115
33.28/33.46	c #Conflicts:     850000 | #Constraints:      22115
33.28/33.46	c #Conflicts:     851000 | #Constraints:      23115
33.28/33.46	c #Conflicts:     852000 | #Constraints:      24115
33.28/33.46	c #Conflicts:     853000 | #Constraints:      25115
33.28/33.46	c #Conflicts:     854000 | #Constraints:      26115
33.28/33.46	c #Conflicts:     855000 | #Constraints:      27115
33.28/33.46	c #Conflicts:     856000 | #Constraints:      28115
33.28/33.46	c #Conflicts:     857000 | #Constraints:      29115
33.28/33.46	c #Conflicts:     858000 | #Constraints:      30115
33.28/33.46	c #Conflicts:     859000 | #Constraints:      31115
33.28/33.46	c #Conflicts:     860000 | #Constraints:      32115
33.28/33.46	c #Conflicts:     861000 | #Constraints:      33115
33.28/33.46	c #Conflicts:     862000 | #Constraints:      34115
33.28/33.46	c #Conflicts:     863000 | #Constraints:      35115
33.28/33.46	c #Conflicts:     864000 | #Constraints:      36115
33.28/33.46	c #Conflicts:     865000 | #Constraints:      37115
33.28/33.46	c INPROCESSING
33.28/33.46	c GARBAGE COLLECT
33.28/33.46	c rational objective 200.5
34.18/34.35	c #Conflicts:     866000 | #Constraints:      19717
34.18/34.35	c #Conflicts:     867000 | #Constraints:      20717
34.18/34.35	c #Conflicts:     868000 | #Constraints:      21717
34.18/34.35	c #Conflicts:     869000 | #Constraints:      22717
34.18/34.35	c #Conflicts:     870000 | #Constraints:      23717
34.18/34.35	c #Conflicts:     871000 | #Constraints:      24717
34.18/34.35	c #Conflicts:     872000 | #Constraints:      25717
34.18/34.35	c #Conflicts:     873000 | #Constraints:      26717
34.18/34.35	c #Conflicts:     874000 | #Constraints:      27717
34.18/34.35	c #Conflicts:     875000 | #Constraints:      28717
34.18/34.35	c #Conflicts:     876000 | #Constraints:      29717
34.18/34.35	c #Conflicts:     877000 | #Constraints:      30717
34.18/34.35	c #Conflicts:     878000 | #Constraints:      31717
34.18/34.35	c #Conflicts:     879000 | #Constraints:      32717
34.18/34.35	c #Conflicts:     880000 | #Constraints:      33717
34.18/34.35	c #Conflicts:     881000 | #Constraints:      34717
34.18/34.35	c #Conflicts:     882000 | #Constraints:      35717
34.18/34.35	c #Conflicts:     883000 | #Constraints:      36717
34.18/34.35	c #Conflicts:     884000 | #Constraints:      37717
34.18/34.35	c INPROCESSING
34.18/34.35	c GARBAGE COLLECT
34.18/34.35	c rational objective 200.5
34.77/34.92	c #Conflicts:     885000 | #Constraints:      20120
34.77/34.92	c #Conflicts:     886000 | #Constraints:      21120
34.77/34.92	c #Conflicts:     887000 | #Constraints:      22120
34.77/34.92	c #Conflicts:     888000 | #Constraints:      23120
34.77/34.92	c #Conflicts:     889000 | #Constraints:      24120
34.77/34.92	c #Conflicts:     890000 | #Constraints:      25120
34.77/34.92	c #Conflicts:     891000 | #Constraints:      26120
34.77/34.92	c #Conflicts:     892000 | #Constraints:      27120
34.77/34.92	c #Conflicts:     893000 | #Constraints:      28120
34.77/34.92	c #Conflicts:     894000 | #Constraints:      29120
34.77/34.92	c #Conflicts:     895000 | #Constraints:      30120
34.77/34.92	c #Conflicts:     896000 | #Constraints:      31120
34.77/34.92	c #Conflicts:     897000 | #Constraints:      32120
34.77/34.92	c cpu time 31.944 s
34.77/34.92	c deterministic time 1310531178 1.31e+09
34.77/34.92	c optimization time 9.4e-05 s
34.77/34.92	c total solve time 31.9403 s
34.77/34.92	c core-guided solve time 0 s
34.77/34.92	c propagation time 23.0551 s
34.77/34.92	c conflict analysis time 4.75851 s
34.77/34.92	c propagations 4273899
34.77/34.92	c resolve steps 2645791
34.77/34.92	c decisions 1261887
34.77/34.92	c conflicts 897215
34.77/34.92	c restarts 1946
34.77/34.92	c inprocessing phases 85
34.77/34.92	c garbage collections 85 ,( 100.00 )
34.77/34.92	c input clauses 2 ,( 0.50 )
34.77/34.92	c input cardinalities 400 ,( 99.50 )
34.77/34.92	c input general constraints 0 ,( 0.00 )
34.77/34.92	c input average constraint length 3.99
34.77/34.92	c input average constraint degree 2.00
34.77/34.92	c learned clauses 877810 ,( 97.80 )
34.77/34.92	c learned cardinalities 1616 ,( 0.18 )
34.77/34.92	c learned general constraints 18088 ,( 2.02 )
34.77/34.92	c learned average constraint length 16.16
34.77/34.92	c learned average constraint degree 2518655.53
34.77/34.92	c watched  CF 32, 64, 128, Arb: 8902 , 0 , 0 , 0
34.77/34.92	c counting CF 32, 64, 128, Arb: 9186 , 0 , 0 , 0
34.77/34.92	c watched   constraints 8902 ,( 49.21 ) 
34.77/34.92	c counting  constraints 9186 ,( 50.79 ) 
34.77/34.92	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 294470993 , 6251414 , 13293822 ,( 11454853 , 1838969 )
34.77/34.92	c gcd simplifications 11185
34.77/34.92	c detected cardinalities 466
34.77/34.92	c weakened non-implied lits 158558
34.77/34.92	c weakened non-implying lits 1328
34.77/34.92	c original variables 401
34.77/34.92	c clausal propagations 1864195
34.77/34.92	c cardinality propagations 703929
34.77/34.92	c watched propagations 62515
34.77/34.92	c counting propagations 736082
34.77/34.92	c watch lookups 627009890
34.77/34.92	c watch backjump lookups 0
34.77/34.92	c watch checks 607409165
34.77/34.92	c propagation checks 19288473
34.77/34.92	c constraint additions 44764738
34.77/34.92	c trail pops 6432983
34.77/34.92	c formula constraints 402
34.77/34.92	c learned constraints 897212
34.77/34.92	c bound constraints 0
34.77/34.92	c core-guided constraints 0
34.77/34.92	c encountered formula constraints 59748
34.77/34.92	c encountered learned constraints 3467916
34.77/34.92	c encountered bound constraints 0
34.77/34.92	c encountered core-guided constraints 0
34.77/34.92	c LP total time 3.88691 s
34.77/34.92	c LP solve time 2.19 s
34.77/34.92	c LP constraints added 763
34.77/34.92	c LP constraints removed 356
34.77/34.92	c LP pivots internal 89726
34.77/34.92	c LP pivots root 416
34.77/34.92	c LP calls 9170
34.77/34.92	c LP optimalities 9168
34.77/34.92	c LP no pivot count 554
34.77/34.92	c LP infeasibilities 2
34.77/34.92	c LP valid Farkas constraints 2
34.77/34.92	c LP learned Farkas constraints 2
34.77/34.92	c LP basis resets 0
34.77/34.92	c LP cycling count 0
34.77/34.92	c LP singular count 0
34.77/34.92	c LP no primal count 0
34.77/34.92	c LP no farkas count 0
34.77/34.92	c LP other issue count 0
34.77/34.92	c LP Gomory cuts 298
34.77/34.92	c LP learned cuts 63
34.77/34.92	c LP deleted cuts 356
34.77/34.92	c LP encountered Gomory constraints 0
34.77/34.92	c LP encountered Farkas constraints 15340
34.77/34.92	c LP encountered learned Farkas constraints 0
34.77/34.92	c CG auxiliary variables introduced 0
34.77/34.92	c CG solutions found 0
34.77/34.92	c CG cores constructed 0
34.77/34.92	c CG core cardinality constraints returned 0
34.77/34.92	c CG unit cores 0
34.77/34.92	c CG single cores 0
34.77/34.92	c CG blocks removed during cardinality reduction 0
34.77/34.92	c CG first core best 0
34.77/34.92	c CG decision core best 0
34.77/34.92	c CG core reduction tie 0
34.77/34.92	c CG core degree average 0.00
34.77/34.92	c CG core slack average 0.00
34.77/34.92	c CG core upper bound improvements 0
34.77/34.92	c STR number of successful calls 0
34.77/34.92	c STR number of unsuccessful calls 0
34.77/34.92	c STR number of inconclusive calls 0
34.77/34.92	c STR number of successful attempts 0
34.77/34.92	c STR number of unsuccessful attempts 0
34.77/34.92	c STR number of inconclusive attempts 0
34.77/34.92	c STR average degree increase per successful call inf
34.77/34.92	c STR average degree increase per successful attempt inf
34.77/34.92	c STR total number of conflicts for successful attempts 0
34.77/34.92	c STR total number of conflicts for unsuccessful attempts 0
34.77/34.92	c STR total number of conflicts for inconclusive attempts 0
34.77/34.92	c STR average number of conflicts per successful attempt inf
34.77/34.92	c STR average number of conflicts per unsuccessful attempt inf
34.77/34.92	c STR average number of conflicts per inconclusive attempt inf
34.77/34.92	c AVG.sumWPerc 40.41 
34.77/34.92	c bigint constraints 0 
34.77/34.92	s UNSATISFIABLE

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=23265, runsolver pid=23262

[startup+0.100104 s]*
/proc/loadavg: 4.08 4.11 4.11 5/255 23267
/proc/meminfo: memFree=129702840/131382120 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23265/stat : 23265 (run-dec.sh) S 23262 23265 21214 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35764080 4292608 768 18446744073709551615 94662862356480 94662863251013 140726684261152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94662863490064 94662863537808 94662870867968 140726684268909 140726684269032 140726684269032 140726684274634 0
/proc/23265/statm: 1048 768 704 219 0 110 0
[pid=23267] ppid=23265 vsize=56700 memory=11264 CPUtime=0.09 cores=0,2
/proc/23267/stat : 23267 (roundingsat) R 23265 23265 21214 0 -1 4194304 755 0 0 0 7 2 0 0 20 0 1 0 35764081 58060800 2816 18446744073709551615 4227072 8923433 140732351332688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27856896 140732351334839 140732351334952 140732351334952 140732351340522 0
/proc/23267/statm: 14175 2816 2336 1147 0 1602 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 60892 KiB
Current children cumulated memory: 14336 KiB

[startup+0.213658 s]*
/proc/loadavg: 4.08 4.11 4.11 5/255 23267
/proc/meminfo: memFree=129702840/131382120 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23265/stat : 23265 (run-dec.sh) S 23262 23265 21214 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35764080 4292608 768 18446744073709551615 94662862356480 94662863251013 140726684261152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94662863490064 94662863537808 94662870867968 140726684268909 140726684269032 140726684269032 140726684274634 0
/proc/23265/statm: 1048 768 704 219 0 110 0
[pid=23267] ppid=23265 vsize=56968 memory=13668 CPUtime=0.2 cores=0,2
/proc/23267/stat : 23267 (roundingsat) R 23265 23265 21214 0 -1 4194304 828 0 0 0 16 4 0 0 20 0 1 0 35764081 58335232 3417 18446744073709551615 4227072 8923433 140732351332688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27856896 140732351334839 140732351334952 140732351334952 140732351340522 0
/proc/23267/statm: 14242 3417 2336 1147 0 1669 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 61160 KiB
Current children cumulated memory: 16740 KiB

[startup+0.313565 s]*
/proc/loadavg: 4.08 4.11 4.11 5/255 23267
/proc/meminfo: memFree=129702840/131382120 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23265/stat : 23265 (run-dec.sh) S 23262 23265 21214 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35764080 4292608 768 18446744073709551615 94662862356480 94662863251013 140726684261152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94662863490064 94662863537808 94662870867968 140726684268909 140726684269032 140726684269032 140726684274634 0
/proc/23265/statm: 1048 768 704 219 0 110 0
[pid=23267] ppid=23265 vsize=57104 memory=13796 CPUtime=0.3 cores=0,2
/proc/23267/stat : 23267 (roundingsat) R 23265 23265 21214 0 -1 4194304 879 0 0 0 24 6 0 0 20 0 1 0 35764081 58474496 3449 18446744073709551615 4227072 8923433 140732351332688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27856896 140732351334839 140732351334952 140732351334952 140732351340522 0
/proc/23267/statm: 14276 3449 2336 1147 0 1703 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 61296 KiB
Current children cumulated memory: 16868 KiB

[startup+0.700408 s]
/proc/loadavg: 4.08 4.11 4.11 5/255 23267
/proc/meminfo: memFree=129702084/131382120 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23265/stat : 23265 (run-dec.sh) S 23262 23265 21214 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35764080 4292608 768 18446744073709551615 94662862356480 94662863251013 140726684261152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94662863490064 94662863537808 94662870867968 140726684268909 140726684269032 140726684269032 140726684274634 0
/proc/23265/statm: 1048 768 704 219 0 110 0
[pid=23267] ppid=23265 vsize=57664 memory=14436 CPUtime=0.67 cores=0,2
/proc/23267/stat : 23267 (roundingsat) R 23265 23265 21214 0 -1 4194304 1031 0 0 0 57 10 0 0 20 0 1 0 35764081 59047936 3609 18446744073709551615 4227072 8923433 140732351332688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27856896 140732351334839 140732351334952 140732351334952 140732351340522 0
/proc/23267/statm: 14416 3609 2336 1147 0 1843 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 61856 KiB
Current children cumulated memory: 17508 KiB

[startup+1.50035 s]
/proc/loadavg: 4.15 4.13 4.11 5/255 23267
/proc/meminfo: memFree=129701076/131382120 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23265/stat : 23265 (run-dec.sh) S 23262 23265 21214 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35764080 4292608 768 18446744073709551615 94662862356480 94662863251013 140726684261152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94662863490064 94662863537808 94662870867968 140726684268909 140726684269032 140726684269032 140726684274634 0
/proc/23265/statm: 1048 768 704 219 0 110 0
[pid=23267] ppid=23265 vsize=58372 memory=15076 CPUtime=1.47 cores=0,2
/proc/23267/stat : 23267 (roundingsat) R 23265 23265 21214 0 -1 4194304 1201 0 0 0 127 20 0 0 20 0 1 0 35764081 59772928 3769 18446744073709551615 4227072 8923433 140732351332688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27856896 140732351334839 140732351334952 140732351334952 140732351340522 0
/proc/23267/statm: 14593 3769 2336 1147 0 2020 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 62564 KiB
Current children cumulated memory: 18148 KiB

[startup+3.11244 s]
/proc/loadavg: 4.15 4.13 4.11 5/255 23267
/proc/meminfo: memFree=129700700/131382120 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23265/stat : 23265 (run-dec.sh) S 23262 23265 21214 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35764080 4292608 768 18446744073709551615 94662862356480 94662863251013 140726684261152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94662863490064 94662863537808 94662870867968 140726684268909 140726684269032 140726684269032 140726684274634 0
/proc/23265/statm: 1048 768 704 219 0 110 0
[pid=23267] ppid=23265 vsize=59168 memory=15968 CPUtime=3.08 cores=0,2
/proc/23267/stat : 23267 (roundingsat) R 23265 23265 21214 0 -1 4194304 1528 0 0 0 269 39 0 0 20 0 1 0 35764081 60588032 3992 18446744073709551615 4227072 8923433 140732351332688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27856896 140732351334839 140732351334952 140732351334952 140732351340522 0
/proc/23267/statm: 14792 3992 2336 1147 0 2219 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 63360 KiB
Current children cumulated memory: 19040 KiB

[startup+6.30033 s]
/proc/loadavg: 4.14 4.13 4.11 5/255 23267
/proc/meminfo: memFree=129698944/131382120 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23265/stat : 23265 (run-dec.sh) S 23262 23265 21214 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35764080 4292608 768 18446744073709551615 94662862356480 94662863251013 140726684261152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94662863490064 94662863537808 94662870867968 140726684268909 140726684269032 140726684269032 140726684274634 0
/proc/23265/statm: 1048 768 704 219 0 110 0
[pid=23267] ppid=23265 vsize=60836 memory=17572 CPUtime=6.26 cores=0,2
/proc/23267/stat : 23267 (roundingsat) R 23265 23265 21214 0 -1 4194304 2375 0 0 0 555 71 0 0 20 0 1 0 35764081 62296064 4393 18446744073709551615 4227072 8923433 140732351332688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27856896 140732351334839 140732351334952 140732351334952 140732351340522 0
/proc/23267/statm: 15209 4393 2336 1147 0 2636 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 65028 KiB
Current children cumulated memory: 20644 KiB

[startup+12.7004 s]
/proc/loadavg: 4.13 4.12 4.11 5/255 23267
/proc/meminfo: memFree=129697136/131382120 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23265/stat : 23265 (run-dec.sh) S 23262 23265 21214 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35764080 4292608 768 18446744073709551615 94662862356480 94662863251013 140726684261152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94662863490064 94662863537808 94662870867968 140726684268909 140726684269032 140726684269032 140726684274634 0
/proc/23265/statm: 1048 768 704 219 0 110 0
[pid=23267] ppid=23265 vsize=62308 memory=18896 CPUtime=12.64 cores=0,2
/proc/23267/stat : 23267 (roundingsat) R 23265 23265 21214 0 -1 4194304 3794 0 0 0 1141 123 0 0 20 0 1 0 35764081 63803392 4724 18446744073709551615 4227072 8923433 140732351332688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27856896 140732351334839 140732351334952 140732351334952 140732351340522 0
/proc/23267/statm: 15577 4724 2336 1147 0 3004 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 66500 KiB
Current children cumulated memory: 21968 KiB

[startup+25.5004 s]
/proc/loadavg: 4.11 4.12 4.11 5/255 23268
/proc/meminfo: memFree=129693608/131382120 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23265/stat : 23265 (run-dec.sh) S 23262 23265 21214 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35764080 4292608 768 18446744073709551615 94662862356480 94662863251013 140726684261152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94662863490064 94662863537808 94662870867968 140726684268909 140726684269032 140726684269032 140726684274634 0
/proc/23265/statm: 1048 768 704 219 0 110 0
[pid=23267] ppid=23265 vsize=64112 memory=21304 CPUtime=25.4 cores=0,2
/proc/23267/stat : 23267 (roundingsat) R 23265 23265 21214 0 -1 4194304 6758 0 0 0 2319 221 0 0 20 0 1 0 35764081 65650688 5326 18446744073709551615 4227072 8923433 140732351332688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27856896 140732351334839 140732351334952 140732351334952 140732351340522 0
/proc/23267/statm: 16028 5326 2336 1147 0 3455 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 68304 KiB
Current children cumulated memory: 24376 KiB

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

# cumulated CPU time of all completed processes:  user=31.9556 s, system=2.86116 s

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

[startup+25.6004 s]
/proc/loadavg: 4.11 4.12 4.11 5/255 23268
/proc/meminfo: memFree=129693608/131382120 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23265/stat : 23265 (run-dec.sh) S 23262 23265 21214 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35764080 4292608 768 18446744073709551615 94662862356480 94662863251013 140726684261152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94662863490064 94662863537808 94662870867968 140726684268909 140726684269032 140726684269032 140726684274634 0
/proc/23265/statm: 1048 768 704 219 0 110 0
[pid=23267] ppid=23265 vsize=64356 memory=21560 CPUtime=25.51 cores=0,2
/proc/23267/stat : 23267 (roundingsat) R 23265 23265 21214 0 -1 4194304 6847 0 0 0 2329 222 0 0 20 0 1 0 35764081 65900544 5390 18446744073709551615 4227072 8923433 140732351332688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27856896 140732351334839 140732351334952 140732351334952 140732351340522 0
/proc/23267/statm: 16089 5390 2336 1147 0 3516 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 68548 KiB
Current children cumulated memory: 24632 KiB

[startup+28.8003 s]
/proc/loadavg: 4.10 4.12 4.11 5/255 23268
/proc/meminfo: memFree=129692616/131382120 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23265/stat : 23265 (run-dec.sh) S 23262 23265 21214 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35764080 4292608 768 18446744073709551615 94662862356480 94662863251013 140726684261152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94662863490064 94662863537808 94662870867968 140726684268909 140726684269032 140726684269032 140726684274634 0
/proc/23265/statm: 1048 768 704 219 0 110 0
[pid=23267] ppid=23265 vsize=65052 memory=22292 CPUtime=28.69 cores=0,2
/proc/23267/stat : 23267 (roundingsat) R 23265 23265 21214 0 -1 4194304 7325 0 0 0 2626 243 0 0 20 0 1 0 35764081 66613248 5573 18446744073709551615 4227072 8923433 140732351332688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27856896 140732351334839 140732351334952 140732351334952 140732351340522 0
/proc/23267/statm: 16263 5573 2336 1147 0 3690 0
Current children cumulated CPU time: 28.69 s
Current children cumulated vsize: 69244 KiB
Current children cumulated memory: 25364 KiB

[startup+32.0004 s]*
/proc/loadavg: 4.09 4.11 4.11 5/255 23268
/proc/meminfo: memFree=129692112/131382120 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23265/stat : 23265 (run-dec.sh) S 23262 23265 21214 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35764080 4292608 768 18446744073709551615 94662862356480 94662863251013 140726684261152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94662863490064 94662863537808 94662870867968 140726684268909 140726684269032 140726684269032 140726684274634 0
/proc/23265/statm: 1048 768 704 219 0 110 0
[pid=23267] ppid=23265 vsize=65572 memory=22928 CPUtime=31.9 cores=0,2
/proc/23267/stat : 23267 (roundingsat) R 23265 23265 21214 0 -1 4194304 7845 0 0 0 2925 265 0 0 20 0 1 0 35764081 67145728 5732 18446744073709551615 4227072 8923433 140732351332688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27856896 140732351334839 140732351334952 140732351334952 140732351340522 0
/proc/23267/statm: 16393 5732 2336 1147 0 3820 0
Current children cumulated CPU time: 31.9 s
Current children cumulated vsize: 69764 KiB
Current children cumulated memory: 26000 KiB

[startup+33.6003 s]
/proc/loadavg: 4.09 4.11 4.11 5/255 23268
/proc/meminfo: memFree=129691104/131382120 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23265/stat : 23265 (run-dec.sh) S 23262 23265 21214 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35764080 4292608 768 18446744073709551615 94662862356480 94662863251013 140726684261152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94662863490064 94662863537808 94662870867968 140726684268909 140726684269032 140726684269032 140726684274634 0
/proc/23265/statm: 1048 768 704 219 0 110 0
[pid=23267] ppid=23265 vsize=66032 memory=23376 CPUtime=33.49 cores=0,2
/proc/23267/stat : 23267 (roundingsat) R 23265 23265 21214 0 -1 4194304 8161 0 0 0 3072 277 0 0 20 0 1 0 35764081 67616768 5844 18446744073709551615 4227072 8923433 140732351332688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27856896 140732351334839 140732351334952 140732351334952 140732351340522 0
/proc/23267/statm: 16508 5844 2336 1147 0 3935 0
Current children cumulated CPU time: 33.49 s
Current children cumulated vsize: 70224 KiB
Current children cumulated memory: 26448 KiB

[startup+34.4003 s]
/proc/loadavg: 4.09 4.11 4.11 5/255 23268
/proc/meminfo: memFree=129691108/131382120 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23265/stat : 23265 (run-dec.sh) S 23262 23265 21214 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35764080 4292608 768 18446744073709551615 94662862356480 94662863251013 140726684261152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94662863490064 94662863537808 94662870867968 140726684268909 140726684269032 140726684269032 140726684274634 0
/proc/23265/statm: 1048 768 704 219 0 110 0
[pid=23267] ppid=23265 vsize=66600 memory=23796 CPUtime=34.28 cores=0,2
/proc/23267/stat : 23267 (roundingsat) R 23265 23265 21214 0 -1 4194304 8327 0 0 0 3147 281 0 0 20 0 1 0 35764081 68198400 5949 18446744073709551615 4227072 8923433 140732351332688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27856896 140732351334839 140732351334952 140732351334952 140732351340522 0
/proc/23267/statm: 16650 5949 2336 1147 0 4077 0
Current children cumulated CPU time: 34.28 s
Current children cumulated vsize: 70792 KiB
Current children cumulated memory: 26868 KiB

[startup+34.8003 s]
/proc/loadavg: 4.09 4.11 4.11 5/255 23268
/proc/meminfo: memFree=129691108/131382120 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23265/stat : 23265 (run-dec.sh) S 23262 23265 21214 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35764080 4292608 768 18446744073709551615 94662862356480 94662863251013 140726684261152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94662863490064 94662863537808 94662870867968 140726684268909 140726684269032 140726684269032 140726684274634 0
/proc/23265/statm: 1048 768 704 219 0 110 0
[pid=23267] ppid=23265 vsize=66600 memory=23796 CPUtime=34.67 cores=0,2
/proc/23267/stat : 23267 (roundingsat) R 23265 23265 21214 0 -1 4194304 8327 0 0 0 3183 284 0 0 20 0 1 0 35764081 68198400 5949 18446744073709551615 4227072 8923433 140732351332688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27856896 140732351334839 140732351334952 140732351334952 140732351340522 0
/proc/23267/statm: 16650 5949 2336 1147 0 4077 0
Current children cumulated CPU time: 34.67 s
Current children cumulated vsize: 70792 KiB
Current children cumulated memory: 26868 KiB

[startup+34.9003 s]
/proc/loadavg: 4.09 4.11 4.11 5/255 23268
/proc/meminfo: memFree=129691108/131382120 swapFree=33010684/33010684
[pid=23265] ppid=23262 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/23265/stat : 23265 (run-dec.sh) S 23262 23265 21214 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 35764080 4292608 768 18446744073709551615 94662862356480 94662863251013 140726684261152 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94662863490064 94662863537808 94662870867968 140726684268909 140726684269032 140726684269032 140726684274634 0
/proc/23265/statm: 1048 768 704 219 0 110 0
[pid=23267] ppid=23265 vsize=66600 memory=23796 CPUtime=34.77 cores=0,2
/proc/23267/stat : 23267 (roundingsat) R 23265 23265 21214 0 -1 4194304 8327 0 0 0 3192 285 0 0 20 0 1 0 35764081 68198400 5949 18446744073709551615 4227072 8923433 140732351332688 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 27856896 140732351334839 140732351334952 140732351334952 140732351340522 0
/proc/23267/statm: 16650 5949 2336 1147 0 4077 0
Current children cumulated CPU time: 34.77 s
Current children cumulated vsize: 70792 KiB
Current children cumulated memory: 26868 KiB

Child status: 0

Real time (s): 34.9242
CPU time (s): 34.8168
CPU user time (s): 31.9556
CPU system time (s): 2.86116
CPU usage (%): 99.6923
Max. virtual memory (cumulated for all children) (KiB): 70792
Max. memory (cumulated for all children) (KiB): 26868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.9556
system time used= 2.86116
maximum resident set size= 24016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8561
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= 87


# summary of solver processes directly reported to runsolver:
#   pid: 23265
#   total CPU time (s): 34.8168
#   total CPU user time (s): 31.9556
#   total CPU system time (s): 2.86116

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.213789 second user time and 0.41014 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-06-29 14:40:54
IDJOB=4511408
IDBENCH=160440
IDSOLVER=3349
FILE ID=nodeC003/4511408-1751200854
RUNJOBID= nodeC003-1751196106-21224
SLURM_JOB_ID= 9587607
Free space on /tmp= 433016 MiB

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

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

MD5SUM BENCH= 6e0d6ec9878888f9bd2fd3a9da68de38
RANDOM SEED=2130921218

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129702740 kB
MemAvailable:   129524252 kB
Buffers:            3280 kB
Cached:           631800 kB
SwapCached:            0 kB
Active:           704128 kB
Inactive:         418576 kB
Active(anon):     505596 kB
Inactive(anon):        0 kB
Active(file):     198532 kB
Inactive(file):   418576 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7436 kB
Writeback:            36 kB
AnonPages:        486240 kB
Mapped:           111380 kB
Shmem:             17960 kB
KReclaimable:      88060 kB
Slab:             169500 kB
SReclaimable:      88060 kB
SUnreclaim:        81440 kB
KernelStack:        4096 kB
PageTables:         4136 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     877800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149512 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    311296 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    11245568 kB
DirectMap1G:    124780544 kB

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