Trace number 4511410

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat-ls 63f22adUNSAT 33.4742 33.5612

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63665 MiB (62844 MiB free)
  memory of node 1: 64507 MiB (63823 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4511410-1751198048/watcher-4511410-1751198048 -o /tmp/evaluation-result-4511410-1751198048/solver-4511410-1751198048 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751192387-26735 --watchdog 3760 run-dec-ls.sh HOME/instance-4511410-1751198048.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.10006 s]*
/proc/loadavg: 4.08 4.10 4.09 5/270 28288
/proc/meminfo: memFree=129707964/131250000 swapFree=33010684/33010684
[pid=28286] ppid=28283 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28286/stat : 28286 (run-dec-ls.sh) S 28283 28286 26724 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35482693 4292608 736 18446744073709551615 94842586238976 94842587133509 140722596657776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94842587372560 94842587420304 94842618789888 140722596665703 140722596665829 140722596665829 140722596671431 0
/proc/28286/statm: 1048 736 672 219 0 110 0
[pid=28288] ppid=28286 vsize=57176 memory=14128 CPUtime=0.08 cores=4,6
/proc/28288/stat : 28288 (roundingsat) R 28286 28286 26724 0 -1 4194304 889 0 0 0 7 1 0 0 20 0 1 0 35482694 58548224 3532 18446744073709551615 4227072 8923433 140721565592400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13467648 140721565600160 140721565600296 140721565600296 140721565605866 0
/proc/28288/statm: 14294 3532 2400 1147 0 1721 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61368 KiB
Current children cumulated memory: 17072 KiB

[startup+0.205646 s]*
/proc/loadavg: 4.08 4.10 4.09 5/270 28288
/proc/meminfo: memFree=129707724/131250000 swapFree=33010684/33010684
[pid=28286] ppid=28283 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28286/stat : 28286 (run-dec-ls.sh) S 28283 28286 26724 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35482693 4292608 736 18446744073709551615 94842586238976 94842587133509 140722596657776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94842587372560 94842587420304 94842618789888 140722596665703 140722596665829 140722596665829 140722596671431 0
/proc/28286/statm: 1048 736 672 219 0 110 0
[pid=28288] ppid=28286 vsize=57572 memory=14512 CPUtime=0.19 cores=4,6
/proc/28288/stat : 28288 (roundingsat) R 28286 28286 26724 0 -1 4194304 993 0 0 0 17 2 0 0 20 0 1 0 35482694 58953728 3628 18446744073709551615 4227072 8923433 140721565592400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13467648 140721565600160 140721565600296 140721565600296 140721565605866 0
/proc/28288/statm: 14393 3628 2400 1147 0 1820 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 61764 KiB
Current children cumulated memory: 17456 KiB

[startup+0.305335 s]*
/proc/loadavg: 4.08 4.10 4.09 5/270 28288
/proc/meminfo: memFree=129707724/131250000 swapFree=33010684/33010684
[pid=28286] ppid=28283 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28286/stat : 28286 (run-dec-ls.sh) S 28283 28286 26724 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35482693 4292608 736 18446744073709551615 94842586238976 94842587133509 140722596657776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94842587372560 94842587420304 94842618789888 140722596665703 140722596665829 140722596665829 140722596671431 0
/proc/28286/statm: 1048 736 672 219 0 110 0
[pid=28288] ppid=28286 vsize=57848 memory=14768 CPUtime=0.29 cores=4,6
/proc/28288/stat : 28288 (roundingsat) R 28286 28286 26724 0 -1 4194304 1062 0 0 0 25 4 0 0 20 0 1 0 35482694 59236352 3692 18446744073709551615 4227072 8923433 140721565592400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13467648 140721565600160 140721565600296 140721565600296 140721565605866 0
/proc/28288/statm: 14462 3692 2400 1147 0 1889 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 62040 KiB
Current children cumulated memory: 17712 KiB

[startup+0.700152 s]
/proc/loadavg: 4.08 4.10 4.09 5/270 28288
/proc/meminfo: memFree=129703628/131250000 swapFree=33010684/33010684
[pid=28286] ppid=28283 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28286/stat : 28286 (run-dec-ls.sh) S 28283 28286 26724 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35482693 4292608 736 18446744073709551615 94842586238976 94842587133509 140722596657776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94842587372560 94842587420304 94842618789888 140722596665703 140722596665829 140722596665829 140722596671431 0
/proc/28286/statm: 1048 736 672 219 0 110 0
[pid=28288] ppid=28286 vsize=58416 memory=15408 CPUtime=0.67 cores=4,6
/proc/28288/stat : 28288 (roundingsat) R 28286 28286 26724 0 -1 4194304 1213 0 0 0 60 7 0 0 20 0 1 0 35482694 59817984 3852 18446744073709551615 4227072 8923433 140721565592400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13467648 140721565600160 140721565600296 140721565600296 140721565605866 0
/proc/28288/statm: 14604 3852 2400 1147 0 2031 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 62608 KiB
Current children cumulated memory: 18352 KiB

[startup+1.50018 s]
/proc/loadavg: 4.08 4.10 4.09 5/270 28288
/proc/meminfo: memFree=129703680/131250000 swapFree=33010684/33010684
[pid=28286] ppid=28283 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28286/stat : 28286 (run-dec-ls.sh) S 28283 28286 26724 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35482693 4292608 736 18446744073709551615 94842586238976 94842587133509 140722596657776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94842587372560 94842587420304 94842618789888 140722596665703 140722596665829 140722596665829 140722596671431 0
/proc/28286/statm: 1048 736 672 219 0 110 0
[pid=28288] ppid=28286 vsize=59076 memory=16048 CPUtime=1.47 cores=4,6
/proc/28288/stat : 28288 (roundingsat) R 28286 28286 26724 0 -1 4194304 1391 0 0 0 130 17 0 0 20 0 1 0 35482694 60493824 4012 18446744073709551615 4227072 8923433 140721565592400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13467648 140721565600160 140721565600296 140721565600296 140721565605866 0
/proc/28288/statm: 14769 4012 2400 1147 0 2196 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 63268 KiB
Current children cumulated memory: 18992 KiB

[startup+3.10485 s]
/proc/loadavg: 4.08 4.10 4.09 5/270 28288
/proc/meminfo: memFree=129703428/131250000 swapFree=33010684/33010684
[pid=28286] ppid=28283 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28286/stat : 28286 (run-dec-ls.sh) S 28283 28286 26724 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35482693 4292608 736 18446744073709551615 94842586238976 94842587133509 140722596657776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94842587372560 94842587420304 94842618789888 140722596665703 140722596665829 140722596665829 140722596671431 0
/proc/28286/statm: 1048 736 672 219 0 110 0
[pid=28288] ppid=28286 vsize=59828 memory=16688 CPUtime=3.08 cores=4,6
/proc/28288/stat : 28288 (roundingsat) R 28286 28286 26724 0 -1 4194304 1748 0 0 0 275 33 0 0 20 0 1 0 35482694 61263872 4172 18446744073709551615 4227072 8923433 140721565592400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13467648 140721565600160 140721565600296 140721565600296 140721565605866 0
/proc/28288/statm: 14957 4172 2400 1147 0 2384 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 64020 KiB
Current children cumulated memory: 19632 KiB

[startup+6.30017 s]
/proc/loadavg: 4.08 4.10 4.09 5/270 28288
/proc/meminfo: memFree=129708884/131250000 swapFree=33010684/33010684
[pid=28286] ppid=28283 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28286/stat : 28286 (run-dec-ls.sh) S 28283 28286 26724 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35482693 4292608 736 18446744073709551615 94842586238976 94842587133509 140722596657776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94842587372560 94842587420304 94842618789888 140722596665703 140722596665829 140722596665829 140722596671431 0
/proc/28286/statm: 1048 736 672 219 0 110 0
[pid=28288] ppid=28286 vsize=60964 memory=17948 CPUtime=6.26 cores=4,6
/proc/28288/stat : 28288 (roundingsat) R 28286 28286 26724 0 -1 4194304 2496 0 0 0 563 63 0 0 20 0 1 0 35482694 62427136 4487 18446744073709551615 4227072 8923433 140721565592400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13467648 140721565600160 140721565600296 140721565600296 140721565605866 0
/proc/28288/statm: 15241 4487 2400 1147 0 2668 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 65156 KiB
Current children cumulated memory: 20892 KiB

[startup+12.7001 s]
/proc/loadavg: 4.15 4.12 4.09 5/270 28288
/proc/meminfo: memFree=129707924/131250000 swapFree=33010684/33010684
[pid=28286] ppid=28283 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28286/stat : 28286 (run-dec-ls.sh) S 28283 28286 26724 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35482693 4292608 736 18446744073709551615 94842586238976 94842587133509 140722596657776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94842587372560 94842587420304 94842618789888 140722596665703 140722596665829 140722596665829 140722596671431 0
/proc/28286/statm: 1048 736 672 219 0 110 0
[pid=28288] ppid=28286 vsize=62468 memory=19352 CPUtime=12.65 cores=4,6
/proc/28288/stat : 28288 (roundingsat) R 28286 28286 26724 0 -1 4194304 4076 0 0 0 1155 110 0 0 20 0 1 0 35482694 63967232 4838 18446744073709551615 4227072 8923433 140721565592400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13467648 140721565600160 140721565600296 140721565600296 140721565605866 0
/proc/28288/statm: 15617 4838 2400 1147 0 3044 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 66660 KiB
Current children cumulated memory: 22296 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 28288
/proc/meminfo: memFree=129701512/131250000 swapFree=33010684/33010684
[pid=28286] ppid=28283 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28286/stat : 28286 (run-dec-ls.sh) S 28283 28286 26724 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35482693 4292608 736 18446744073709551615 94842586238976 94842587133509 140722596657776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94842587372560 94842587420304 94842618789888 140722596665703 140722596665829 140722596665829 140722596671431 0
/proc/28286/statm: 1048 736 672 219 0 110 0
[pid=28288] ppid=28286 vsize=64272 memory=21744 CPUtime=25.42 cores=4,6
/proc/28288/stat : 28288 (roundingsat) R 28286 28286 26724 0 -1 4194304 6824 0 0 0 2336 206 0 0 20 0 1 0 35482694 65814528 5436 18446744073709551615 4227072 8923433 140721565592400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13467648 140721565600160 140721565600296 140721565600296 140721565605866 0
/proc/28288/statm: 16068 5436 2400 1147 0 3495 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 68464 KiB
Current children cumulated memory: 24688 KiB

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

# cumulated CPU time of all completed processes:  user=30.9026 s, system=2.57157 s

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

[startup+25.6002 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 28288
/proc/meminfo: memFree=129701512/131250000 swapFree=33010684/33010684
[pid=28286] ppid=28283 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28286/stat : 28286 (run-dec-ls.sh) S 28283 28286 26724 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35482693 4292608 736 18446744073709551615 94842586238976 94842587133509 140722596657776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94842587372560 94842587420304 94842618789888 140722596665703 140722596665829 140722596665829 140722596671431 0
/proc/28286/statm: 1048 736 672 219 0 110 0
[pid=28288] ppid=28286 vsize=64272 memory=21744 CPUtime=25.52 cores=4,6
/proc/28288/stat : 28288 (roundingsat) R 28286 28286 26724 0 -1 4194304 6826 0 0 0 2346 206 0 0 20 0 1 0 35482694 65814528 5436 18446744073709551615 4227072 8923433 140721565592400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13467648 140721565600160 140721565600296 140721565600296 140721565605866 0
/proc/28288/statm: 16068 5436 2400 1147 0 3495 0
Current children cumulated CPU time: 25.52 s
Current children cumulated vsize: 68464 KiB
Current children cumulated memory: 24688 KiB

[startup+28.8002 s]
/proc/loadavg: 4.12 4.11 4.09 5/269 28288
/proc/meminfo: memFree=129701008/131250000 swapFree=33010684/33010684
[pid=28286] ppid=28283 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28286/stat : 28286 (run-dec-ls.sh) S 28283 28286 26724 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35482693 4292608 736 18446744073709551615 94842586238976 94842587133509 140722596657776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94842587372560 94842587420304 94842618789888 140722596665703 140722596665829 140722596665829 140722596671431 0
/proc/28286/statm: 1048 736 672 219 0 110 0
[pid=28288] ppid=28286 vsize=65040 memory=22660 CPUtime=28.71 cores=4,6
/proc/28288/stat : 28288 (roundingsat) R 28286 28286 26724 0 -1 4194304 7332 0 0 0 2645 226 0 0 20 0 1 0 35482694 66600960 5665 18446744073709551615 4227072 8923433 140721565592400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13467648 140721565600160 140721565600296 140721565600296 140721565605866 0
/proc/28288/statm: 16260 5665 2400 1147 0 3687 0
Current children cumulated CPU time: 28.71 s
Current children cumulated vsize: 69232 KiB
Current children cumulated memory: 25604 KiB

[startup+32.0002 s]*
/proc/loadavg: 4.11 4.11 4.09 5/269 28288
/proc/meminfo: memFree=129696196/131250000 swapFree=33010684/33010684
[pid=28286] ppid=28283 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28286/stat : 28286 (run-dec-ls.sh) S 28283 28286 26724 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35482693 4292608 736 18446744073709551615 94842586238976 94842587133509 140722596657776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94842587372560 94842587420304 94842618789888 140722596665703 140722596665829 140722596665829 140722596671431 0
/proc/28286/statm: 1048 736 672 219 0 110 0
[pid=28288] ppid=28286 vsize=66116 memory=23600 CPUtime=31.91 cores=4,6
/proc/28288/stat : 28288 (roundingsat) R 28286 28286 26724 0 -1 4194304 7884 0 0 0 2945 246 0 0 20 0 1 0 35482694 67702784 5900 18446744073709551615 4227072 8923433 140721565592400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13467648 140721565600160 140721565600296 140721565600296 140721565605866 0
/proc/28288/statm: 16529 5900 2400 1147 0 3956 0
Current children cumulated CPU time: 31.91 s
Current children cumulated vsize: 70308 KiB
Current children cumulated memory: 26544 KiB

[startup+32.8001 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 28288
/proc/meminfo: memFree=129696196/131250000 swapFree=33010684/33010684
[pid=28286] ppid=28283 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28286/stat : 28286 (run-dec-ls.sh) S 28283 28286 26724 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35482693 4292608 736 18446744073709551615 94842586238976 94842587133509 140722596657776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94842587372560 94842587420304 94842618789888 140722596665703 140722596665829 140722596665829 140722596671431 0
/proc/28286/statm: 1048 736 672 219 0 110 0
[pid=28288] ppid=28286 vsize=66064 memory=23676 CPUtime=32.7 cores=4,6
/proc/28288/stat : 28288 (roundingsat) R 28286 28286 26724 0 -1 4194304 8046 0 0 0 3019 251 0 0 20 0 1 0 35482694 67649536 5919 18446744073709551615 4227072 8923433 140721565592400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13467648 140721565600160 140721565600296 140721565600296 140721565605866 0
/proc/28288/statm: 16516 5919 2400 1147 0 3943 0
Current children cumulated CPU time: 32.7 s
Current children cumulated vsize: 70256 KiB
Current children cumulated memory: 26620 KiB

[startup+33.2001 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 28288
/proc/meminfo: memFree=129696212/131250000 swapFree=33010684/33010684
[pid=28286] ppid=28283 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28286/stat : 28286 (run-dec-ls.sh) S 28283 28286 26724 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35482693 4292608 736 18446744073709551615 94842586238976 94842587133509 140722596657776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94842587372560 94842587420304 94842618789888 140722596665703 140722596665829 140722596665829 140722596671431 0
/proc/28286/statm: 1048 736 672 219 0 110 0
[pid=28288] ppid=28286 vsize=66632 memory=24092 CPUtime=33.1 cores=4,6
/proc/28288/stat : 28288 (roundingsat) R 28286 28286 26724 0 -1 4194304 8211 0 0 0 3056 254 0 0 20 0 1 0 35482694 68231168 6023 18446744073709551615 4227072 8923433 140721565592400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13467648 140721565600160 140721565600296 140721565600296 140721565605866 0
/proc/28288/statm: 16658 6023 2400 1147 0 4085 0
Current children cumulated CPU time: 33.1 s
Current children cumulated vsize: 70824 KiB
Current children cumulated memory: 27036 KiB

[startup+33.4001 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 28288
/proc/meminfo: memFree=129696212/131250000 swapFree=33010684/33010684
[pid=28286] ppid=28283 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28286/stat : 28286 (run-dec-ls.sh) S 28283 28286 26724 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35482693 4292608 736 18446744073709551615 94842586238976 94842587133509 140722596657776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94842587372560 94842587420304 94842618789888 140722596665703 140722596665829 140722596665829 140722596671431 0
/proc/28286/statm: 1048 736 672 219 0 110 0
[pid=28288] ppid=28286 vsize=66632 memory=24092 CPUtime=33.3 cores=4,6
/proc/28288/stat : 28288 (roundingsat) R 28286 28286 26724 0 -1 4194304 8211 0 0 0 3075 255 0 0 20 0 1 0 35482694 68231168 6023 18446744073709551615 4227072 8923433 140721565592400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13467648 140721565600160 140721565600296 140721565600296 140721565605866 0
/proc/28288/statm: 16658 6023 2400 1147 0 4085 0
Current children cumulated CPU time: 33.3 s
Current children cumulated vsize: 70824 KiB
Current children cumulated memory: 27036 KiB

[startup+33.5002 s]
/proc/loadavg: 4.11 4.11 4.09 5/269 28288
/proc/meminfo: memFree=129696212/131250000 swapFree=33010684/33010684
[pid=28286] ppid=28283 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/28286/stat : 28286 (run-dec-ls.sh) S 28283 28286 26724 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 35482693 4292608 736 18446744073709551615 94842586238976 94842587133509 140722596657776 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94842587372560 94842587420304 94842618789888 140722596665703 140722596665829 140722596665829 140722596671431 0
/proc/28286/statm: 1048 736 672 219 0 110 0
[pid=28288] ppid=28286 vsize=66632 memory=24092 CPUtime=33.4 cores=4,6
/proc/28288/stat : 28288 (roundingsat) R 28286 28286 26724 0 -1 4194304 8211 0 0 0 3084 256 0 0 20 0 1 0 35482694 68231168 6023 18446744073709551615 4227072 8923433 140721565592400 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 13467648 140721565600160 140721565600296 140721565600296 140721565605866 0
/proc/28288/statm: 16658 6023 2400 1147 0 4085 0
Current children cumulated CPU time: 33.4 s
Current children cumulated vsize: 70824 KiB
Current children cumulated memory: 27036 KiB

Child status: 0

Real time (s): 33.5612
CPU time (s): 33.4742
CPU user time (s): 30.9026
CPU system time (s): 2.57157
CPU usage (%): 99.7408
Max. virtual memory (cumulated for all children) (KiB): 70824
Max. memory (cumulated for all children) (KiB): 27036

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


# summary of solver processes directly reported to runsolver:
#   pid: 28286
#   total CPU time (s): 33.4742
#   total CPU user time (s): 30.9026
#   total CPU system time (s): 2.57157

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.075852 second user time and 0.171018 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-06-29 13:54:08
IDJOB=4511410
IDBENCH=160440
IDSOLVER=3353
FILE ID=nodeC018/4511410-1751198048
RUNJOBID= nodeC018-1751192387-26735
SLURM_JOB_ID= 9587583
Free space on /tmp= 433036 MiB

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

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

MD5SUM BENCH= 6e0d6ec9878888f9bd2fd3a9da68de38
RANDOM SEED=1727992210

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        129708204 kB
MemAvailable:   129404884 kB
Buffers:            3280 kB
Cached:           506560 kB
SwapCached:            0 kB
Active:           711732 kB
Inactive:         249372 kB
Active(anon):     469360 kB
Inactive(anon):        0 kB
Active(file):     242372 kB
Inactive(file):   249372 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7212 kB
Writeback:             0 kB
AnonPages:        450092 kB
Mapped:           112676 kB
Shmem:             18076 kB
KReclaimable:      87952 kB
Slab:             171576 kB
SReclaimable:      87952 kB
SUnreclaim:        83624 kB
KernelStack:        4352 kB
PageTables:         4088 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     815136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    358400 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC018 at 2025-06-29 13:54:42