Trace number 4511409

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat-log 63f22adUNSAT cert. 37.5705 37.693

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

Verifier Data 

ERROR: no interpretation found !

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

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

Watcher Data 

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

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=29780, runsolver pid=29777

[startup+0.100064 s]*
/proc/loadavg: 4.12 4.21 4.15 5/276 29782
/proc/meminfo: memFree=124155624/131250000 swapFree=33010684/33010684
[pid=29780] ppid=29777 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/29780/stat : 29780 (run-dec-log.sh) S 29777 29780 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35662558 4292608 768 18446744073709551615 94885317828608 94885318723141 140726211409456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94885318962192 94885319009936 94885336068096 140726211414305 140726211414500 140726211414500 140726211420102 0
/proc/29780/statm: 1048 768 704 219 0 110 0
[pid=29782] ppid=29780 vsize=57060 memory=13856 CPUtime=0.08 cores=0,2
/proc/29782/stat : 29782 (roundingsat) R 29780 29780 27537 0 -1 4194304 867 0 0 0 7 1 0 0 20 0 1 0 35662559 58429440 3464 18446744073709551615 4227072 8923433 140727505289536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10178560 140727505295719 140727505295912 140727505295912 140727505301482 0
/proc/29782/statm: 14265 3464 2368 1147 0 1692 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61252 KiB
Current children cumulated memory: 16928 KiB

[startup+0.205861 s]*
/proc/loadavg: 4.12 4.21 4.15 5/276 29782
/proc/meminfo: memFree=124153356/131250000 swapFree=33010684/33010684
[pid=29780] ppid=29777 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/29780/stat : 29780 (run-dec-log.sh) S 29777 29780 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35662558 4292608 768 18446744073709551615 94885317828608 94885318723141 140726211409456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94885318962192 94885319009936 94885336068096 140726211414305 140726211414500 140726211414500 140726211420102 0
/proc/29780/statm: 1048 768 704 219 0 110 0
[pid=29782] ppid=29780 vsize=57460 memory=14240 CPUtime=0.19 cores=0,2
/proc/29782/stat : 29782 (roundingsat) R 29780 29780 27537 0 -1 4194304 966 0 0 0 16 3 0 0 20 0 1 0 35662559 58839040 3560 18446744073709551615 4227072 8923433 140727505289536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10178560 140727505295719 140727505295912 140727505295912 140727505301482 0
/proc/29782/statm: 14365 3560 2368 1147 0 1792 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61652 KiB
Current children cumulated memory: 17312 KiB

[startup+0.305609 s]*
/proc/loadavg: 4.12 4.21 4.15 5/276 29782
/proc/meminfo: memFree=124153356/131250000 swapFree=33010684/33010684
[pid=29780] ppid=29777 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/29780/stat : 29780 (run-dec-log.sh) S 29777 29780 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35662558 4292608 768 18446744073709551615 94885317828608 94885318723141 140726211409456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94885318962192 94885319009936 94885336068096 140726211414305 140726211414500 140726211414500 140726211420102 0
/proc/29780/statm: 1048 768 704 219 0 110 0
[pid=29782] ppid=29780 vsize=57876 memory=14624 CPUtime=0.28 cores=0,2
/proc/29782/stat : 29782 (roundingsat) R 29780 29780 27537 0 -1 4194304 1049 0 0 0 24 4 0 0 20 0 1 0 35662559 59265024 3656 18446744073709551615 4227072 8923433 140727505289536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10178560 140727505295719 140727505295912 140727505295912 140727505301482 0
/proc/29782/statm: 14469 3656 2368 1147 0 1896 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 62068 KiB
Current children cumulated memory: 17696 KiB

[startup+0.70018 s]
/proc/loadavg: 4.12 4.21 4.15 5/276 29782
/proc/meminfo: memFree=124148064/131250000 swapFree=33010684/33010684
[pid=29780] ppid=29777 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/29780/stat : 29780 (run-dec-log.sh) S 29777 29780 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35662558 4292608 768 18446744073709551615 94885317828608 94885318723141 140726211409456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94885318962192 94885319009936 94885336068096 140726211414305 140726211414500 140726211414500 140726211420102 0
/proc/29780/statm: 1048 768 704 219 0 110 0
[pid=29782] ppid=29780 vsize=58580 memory=15264 CPUtime=0.68 cores=0,2
/proc/29782/stat : 29782 (roundingsat) R 29780 29780 27537 0 -1 4194304 1227 0 0 0 60 8 0 0 20 0 1 0 35662559 59985920 3816 18446744073709551615 4227072 8923433 140727505289536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10178560 140727505295719 140727505295912 140727505295912 140727505301482 0
/proc/29782/statm: 14645 3816 2368 1147 0 2072 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 62772 KiB
Current children cumulated memory: 18336 KiB

[startup+1.50018 s]
/proc/loadavg: 4.11 4.20 4.15 5/276 29782
/proc/meminfo: memFree=124145040/131250000 swapFree=33010684/33010684
[pid=29780] ppid=29777 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/29780/stat : 29780 (run-dec-log.sh) S 29777 29780 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35662558 4292608 768 18446744073709551615 94885317828608 94885318723141 140726211409456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94885318962192 94885319009936 94885336068096 140726211414305 140726211414500 140726211414500 140726211420102 0
/proc/29780/statm: 1048 768 704 219 0 110 0
[pid=29782] ppid=29780 vsize=59240 memory=16032 CPUtime=1.47 cores=0,2
/proc/29782/stat : 29782 (roundingsat) R 29780 29780 27537 0 -1 4194304 1428 0 0 0 132 15 0 0 20 0 1 0 35662559 60661760 4008 18446744073709551615 4227072 8923433 140727505289536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10178560 140727505295719 140727505295912 140727505295912 140727505301482 0
/proc/29782/statm: 14810 4008 2368 1147 0 2237 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 63432 KiB
Current children cumulated memory: 19104 KiB

[startup+3.10565 s]
/proc/loadavg: 4.11 4.20 4.15 5/276 29782
/proc/meminfo: memFree=124126704/131250000 swapFree=33010684/33010684
[pid=29780] ppid=29777 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/29780/stat : 29780 (run-dec-log.sh) S 29777 29780 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35662558 4292608 768 18446744073709551615 94885317828608 94885318723141 140726211409456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94885318962192 94885319009936 94885336068096 140726211414305 140726211414500 140726211414500 140726211420102 0
/proc/29780/statm: 1048 768 704 219 0 110 0
[pid=29782] ppid=29780 vsize=59892 memory=16800 CPUtime=3.07 cores=0,2
/proc/29782/stat : 29782 (roundingsat) R 29780 29780 27537 0 -1 4194304 1708 0 0 0 275 32 0 0 20 0 1 0 35662559 61329408 4200 18446744073709551615 4227072 8923433 140727505289536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10178560 140727505295719 140727505295912 140727505295912 140727505301482 0
/proc/29782/statm: 14973 4200 2368 1147 0 2400 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 64084 KiB
Current children cumulated memory: 19872 KiB

[startup+6.30017 s]
/proc/loadavg: 4.10 4.20 4.15 5/276 29782
/proc/meminfo: memFree=124112088/131250000 swapFree=33010684/33010684
[pid=29780] ppid=29777 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/29780/stat : 29780 (run-dec-log.sh) S 29777 29780 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35662558 4292608 768 18446744073709551615 94885317828608 94885318723141 140726211409456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94885318962192 94885319009936 94885336068096 140726211414305 140726211414500 140726211414500 140726211420102 0
/proc/29780/statm: 1048 768 704 219 0 110 0
[pid=29782] ppid=29780 vsize=61536 memory=18304 CPUtime=6.26 cores=0,2
/proc/29782/stat : 29782 (roundingsat) R 29780 29780 27537 0 -1 4194304 2544 0 0 0 569 57 0 0 20 0 1 0 35662559 63012864 4576 18446744073709551615 4227072 8923433 140727505289536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10178560 140727505295719 140727505295912 140727505295912 140727505301482 0
/proc/29782/statm: 15384 4576 2368 1147 0 2811 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 65728 KiB
Current children cumulated memory: 21376 KiB

[startup+12.7002 s]
/proc/loadavg: 4.18 4.21 4.15 5/276 29782
/proc/meminfo: memFree=124065224/131250000 swapFree=33010684/33010684
[pid=29780] ppid=29777 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/29780/stat : 29780 (run-dec-log.sh) S 29777 29780 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35662558 4292608 768 18446744073709551615 94885317828608 94885318723141 140726211409456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94885318962192 94885319009936 94885336068096 140726211414305 140726211414500 140726211414500 140726211420102 0
/proc/29780/statm: 1048 768 704 219 0 110 0
[pid=29782] ppid=29780 vsize=63056 memory=19752 CPUtime=12.64 cores=0,2
/proc/29782/stat : 29782 (roundingsat) R 29780 29780 27537 0 -1 4194304 3805 0 0 0 1157 107 0 0 20 0 1 0 35662559 64569344 4938 18446744073709551615 4227072 8923433 140727505289536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10178560 140727505295719 140727505295912 140727505295912 140727505301482 0
/proc/29782/statm: 15764 4938 2368 1147 0 3191 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 67248 KiB
Current children cumulated memory: 22824 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.21 4.15 5/276 29782
/proc/meminfo: memFree=123996316/131250000 swapFree=33010684/33010684
[pid=29780] ppid=29777 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/29780/stat : 29780 (run-dec-log.sh) S 29777 29780 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35662558 4292608 768 18446744073709551615 94885317828608 94885318723141 140726211409456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94885318962192 94885319009936 94885336068096 140726211414305 140726211414500 140726211414500 140726211420102 0
/proc/29780/statm: 1048 768 704 219 0 110 0
[pid=29782] ppid=29780 vsize=65180 memory=22600 CPUtime=25.41 cores=0,2
/proc/29782/stat : 29782 (roundingsat) R 29780 29780 27537 0 -1 4194304 6718 0 0 0 2342 199 0 0 20 0 1 0 35662559 66744320 5650 18446744073709551615 4227072 8923433 140727505289536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10178560 140727505295719 140727505295912 140727505295912 140727505301482 0
/proc/29782/statm: 16295 5650 2368 1147 0 3722 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 69372 KiB
Current children cumulated memory: 25672 KiB

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

# cumulated CPU time of all completed processes:  user=34.8186 s, system=2.75188 s

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

[startup+25.6002 s]
/proc/loadavg: 4.15 4.21 4.15 5/276 29782
/proc/meminfo: memFree=123996316/131250000 swapFree=33010684/33010684
[pid=29780] ppid=29777 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/29780/stat : 29780 (run-dec-log.sh) S 29777 29780 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35662558 4292608 768 18446744073709551615 94885317828608 94885318723141 140726211409456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94885318962192 94885319009936 94885336068096 140726211414305 140726211414500 140726211414500 140726211420102 0
/proc/29780/statm: 1048 768 704 219 0 110 0
[pid=29782] ppid=29780 vsize=65180 memory=22600 CPUtime=25.51 cores=0,2
/proc/29782/stat : 29782 (roundingsat) R 29780 29780 27537 0 -1 4194304 6718 0 0 0 2351 200 0 0 20 0 1 0 35662559 66744320 5650 18446744073709551615 4227072 8923433 140727505289536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10178560 140727505295719 140727505295912 140727505295912 140727505301482 0
/proc/29782/statm: 16295 5650 2368 1147 0 3722 0
Current children cumulated CPU time: 25.51 s
Current children cumulated vsize: 69372 KiB
Current children cumulated memory: 25672 KiB

[startup+32.0001 s]*
/proc/loadavg: 4.13 4.20 4.15 5/276 29782
/proc/meminfo: memFree=123957372/131250000 swapFree=33010684/33010684
[pid=29780] ppid=29777 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/29780/stat : 29780 (run-dec-log.sh) S 29777 29780 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35662558 4292608 768 18446744073709551615 94885317828608 94885318723141 140726211409456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94885318962192 94885319009936 94885336068096 140726211414305 140726211414500 140726211414500 140726211420102 0
/proc/29780/statm: 1048 768 704 219 0 110 0
[pid=29782] ppid=29780 vsize=66588 memory=23904 CPUtime=31.9 cores=0,2
/proc/29782/stat : 29782 (roundingsat) R 29780 29780 27537 0 -1 4194304 7646 0 0 0 2950 240 0 0 20 0 1 0 35662559 68186112 5976 18446744073709551615 4227072 8923433 140727505289536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10178560 140727505295719 140727505295912 140727505295912 140727505301482 0
/proc/29782/statm: 16647 5976 2368 1147 0 4074 0
Current children cumulated CPU time: 31.9 s
Current children cumulated vsize: 70780 KiB
Current children cumulated memory: 26976 KiB

[startup+35.2002 s]
/proc/loadavg: 4.13 4.20 4.15 5/276 29782
/proc/meminfo: memFree=123939328/131250000 swapFree=33010684/33010684
[pid=29780] ppid=29777 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/29780/stat : 29780 (run-dec-log.sh) S 29777 29780 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35662558 4292608 768 18446744073709551615 94885317828608 94885318723141 140726211409456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94885318962192 94885319009936 94885336068096 140726211414305 140726211414500 140726211414500 140726211420102 0
/proc/29780/statm: 1048 768 704 219 0 110 0
[pid=29782] ppid=29780 vsize=67792 memory=24928 CPUtime=35.08 cores=0,2
/proc/29782/stat : 29782 (roundingsat) R 29780 29780 27537 0 -1 4194304 8222 0 0 0 3248 260 0 0 20 0 1 0 35662559 69419008 6232 18446744073709551615 4227072 8923433 140727505289536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10178560 140727505295719 140727505295912 140727505295912 140727505301482 0
/proc/29782/statm: 16948 6232 2368 1147 0 4375 0
Current children cumulated CPU time: 35.08 s
Current children cumulated vsize: 71984 KiB
Current children cumulated memory: 28000 KiB

[startup+36.8002 s]
/proc/loadavg: 4.12 4.20 4.15 5/276 29782
/proc/meminfo: memFree=123925380/131250000 swapFree=33010684/33010684
[pid=29780] ppid=29777 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/29780/stat : 29780 (run-dec-log.sh) S 29777 29780 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35662558 4292608 768 18446744073709551615 94885317828608 94885318723141 140726211409456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94885318962192 94885319009936 94885336068096 140726211414305 140726211414500 140726211414500 140726211420102 0
/proc/29780/statm: 1048 768 704 219 0 110 0
[pid=29782] ppid=29780 vsize=67740 memory=25004 CPUtime=36.69 cores=0,2
/proc/29782/stat : 29782 (roundingsat) R 29780 29780 27537 0 -1 4194304 8384 0 0 0 3400 269 0 0 20 0 1 0 35662559 69365760 6251 18446744073709551615 4227072 8923433 140727505289536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10178560 140727505295719 140727505295912 140727505295912 140727505301482 0
/proc/29782/statm: 16935 6251 2368 1147 0 4362 0
Current children cumulated CPU time: 36.69 s
Current children cumulated vsize: 71932 KiB
Current children cumulated memory: 28076 KiB

[startup+37.2002 s]
/proc/loadavg: 4.12 4.20 4.15 5/276 29782
/proc/meminfo: memFree=123924436/131250000 swapFree=33010684/33010684
[pid=29780] ppid=29777 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/29780/stat : 29780 (run-dec-log.sh) S 29777 29780 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35662558 4292608 768 18446744073709551615 94885317828608 94885318723141 140726211409456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94885318962192 94885319009936 94885336068096 140726211414305 140726211414500 140726211414500 140726211420102 0
/proc/29780/statm: 1048 768 704 219 0 110 0
[pid=29782] ppid=29780 vsize=68308 memory=25408 CPUtime=37.08 cores=0,2
/proc/29782/stat : 29782 (roundingsat) R 29780 29780 27537 0 -1 4194304 8546 0 0 0 3437 271 0 0 20 0 1 0 35662559 69947392 6352 18446744073709551615 4227072 8923433 140727505289536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10178560 140727505295719 140727505295912 140727505295912 140727505301482 0
/proc/29782/statm: 17077 6352 2368 1147 0 4504 0
Current children cumulated CPU time: 37.08 s
Current children cumulated vsize: 72500 KiB
Current children cumulated memory: 28480 KiB

[startup+37.6002 s]
/proc/loadavg: 4.12 4.20 4.15 5/276 29782
/proc/meminfo: memFree=123924436/131250000 swapFree=33010684/33010684
[pid=29780] ppid=29777 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/29780/stat : 29780 (run-dec-log.sh) S 29777 29780 27537 0 -1 4194304 206 0 0 0 0 0 0 0 20 0 1 0 35662558 4292608 768 18446744073709551615 94885317828608 94885318723141 140726211409456 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94885318962192 94885319009936 94885336068096 140726211414305 140726211414500 140726211414500 140726211420102 0
/proc/29780/statm: 1048 768 704 219 0 110 0
[pid=29782] ppid=29780 vsize=68308 memory=25408 CPUtime=37.47 cores=0,2
/proc/29782/stat : 29782 (roundingsat) R 29780 29780 27537 0 -1 4194304 8546 0 0 0 3474 273 0 0 20 0 1 0 35662559 69947392 6352 18446744073709551615 4227072 8923433 140727505289536 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10178560 140727505295719 140727505295912 140727505295912 140727505301482 0
/proc/29782/statm: 17077 6352 2368 1147 0 4504 0
Current children cumulated CPU time: 37.47 s
Current children cumulated vsize: 72500 KiB
Current children cumulated memory: 28480 KiB

Child status: 0

Real time (s): 37.693
CPU time (s): 37.5705
CPU user time (s): 34.8186
CPU system time (s): 2.75188
CPU usage (%): 99.6751
Max. virtual memory (cumulated for all children) (KiB): 72500
Max. memory (cumulated for all children) (KiB): 28480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.8186
system time used= 2.75188
maximum resident set size= 25644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8777
page faults= 0
swaps= 0
block input operations= 0
block output operations= 121848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 302
involuntary context switches= 100


# summary of solver processes directly reported to runsolver:
#   pid: 29780
#   total CPU time (s): 37.5705
#   total CPU user time (s): 34.8186
#   total CPU system time (s): 2.75188

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.084195 second user time and 0.206969 second system time

The end

Launcher Data 

Begin job on nodeC033 at 2025-06-29 14:23:51
IDJOB=4511409
IDBENCH=160440
IDSOLVER=3352
FILE ID=nodeC033/4511409-1751199831
RUNJOBID= nodeC033-1751193766-27547
SLURM_JOB_ID= 9587591
Free space on /tmp= 433040 MiB

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

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

MD5SUM BENCH= 6e0d6ec9878888f9bd2fd3a9da68de38
RANDOM SEED=1240236868

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        124162208 kB
MemAvailable:   129594744 kB
Buffers:            3280 kB
Cached:          6233220 kB
SwapCached:            0 kB
Active:           561516 kB
Inactive:        5974760 kB
Active(anon):     318296 kB
Inactive(anon):        0 kB
Active(file):     243220 kB
Inactive(file):  5974760 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             58800 kB
Writeback:             0 kB
AnonPages:        303016 kB
Mapped:           113760 kB
Shmem:             18120 kB
KReclaimable:     107592 kB
Slab:             195356 kB
SReclaimable:     107592 kB
SUnreclaim:        87764 kB
KernelStack:        4480 kB
PageTables:         3804 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     667696 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150696 kB
VmallocChunk:          0 kB
Percpu:             3680 kB
HardwareCorrupted:     0 kB
AnonHugePages:    198656 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      221908 kB
DirectMap2M:    11083776 kB
DirectMap1G:    124780544 kB

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