Trace number 4508046

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 NameAnswerobjective functionCPU timeWall clock time
roundingsat-ls+pbsuma 63f22ad? (TO) 3602.07 3611.5

General information on the benchmark

NamePB24/normalized-PB15eval/OPT-LIN/
EmployeeScheduling/normalized-jul6.5.opb
MD5SUM4f8efbeb69f885a3b6f9ae87862f80cd
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark79
Best CPU time to get the best result obtained on this benchmark2.33826
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9632
Total number of constraints29620
Number of constraints which are clauses27556
Number of constraints which are cardinality constraints (but not clauses)244
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint2
Maximum length of a constraint248
Number of terms in the objective function 26
Biggest coefficient in the objective function 20
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 211
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 160
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 687
Number of bits of the biggest sum of numbers10
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 ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4508046-1751508782.opb'
0.00/0.02	c 	read 1.14MB  (16.22ms)
0.00/0.02	c	 [cnf: #variables 9632 #clauses 29621 #duplicates 0 #arr 104186]
0.00/0.02	c 
0.00/0.02	c make graph and approximate orbits
0.00/0.04	c	 [group: #orbits ~= 2752] (18.50ms)
0.00/0.04	c 
0.00/0.04	c detect special group actions
0.00/0.04	c 	probe for Johnson action (limit=64)
0.00/0.05	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07	c 	 found row 11x688, generating row predicate
0.00/0.07	c 	 (33.92ms)
0.00/0.07	c 
0.00/0.07	c detect symmetries on remainder
0.00/0.08	c 	[graph: #vertices 82875 #edges 295616]
0.00/0.08	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.08/0.11	c 	 [group: #symmetries 1.24*10^7 #generators 13] (40.14ms)
0.08/0.11	c 
0.08/0.11	c optimize generators (opt_passes=64, conjugate_limit=256)
0.08/0.12	c 	ran it=0, +gens=2 
0.19/0.25	c 	con best_support=1376, best_gens=13, +gens=224
0.19/0.25	c 	(132.39ms)
0.19/0.25	c 
0.19/0.25	c finalize break order and special generators
0.19/0.25	c 
0.19/0.25	c add generic predicates (break_depth=20)
0.19/0.26	c 	added predicates for 239 generators (6.92ms)
0.19/0.26	c 
0.19/0.26	c generation finished
0.19/0.26	c 	[sbp: #constraints 34482 #add_vars 11411]
0.19/0.26	c 
0.19/0.26	c write result to 'HOME/instance-4508046-1751508782.opb.pre'
0.19/0.26	c 	wrote 2.47MB (5.40ms)
0.19/0.26	c ------------------------------------------------------------------
0.19/0.26	c                 132.39ms 51.70% optimize_gens
0.19/0.26	c                  40.14ms 15.67% detect_generic
0.19/0.26	c                  33.92ms 13.25% detect_special
0.19/0.26	c                  18.50ms  7.22% approx_orbits
0.19/0.26	c                  16.22ms  6.33% parse
0.19/0.26	c                   6.92ms  2.70% break_generic
0.19/0.26	c                   5.40ms  2.11% output
0.19/0.26	c                   1.42ms  0.55% finalize_order
0.19/0.26	c                   1.18ms  0.46% other
0.19/0.26	c         ───────────────────────────────────────────────
0.19/0.26	c                 256.08ms   100% total
0.19/0.26	c ------------------------------------------------------------------
0.19/0.28	c RoundingSat 2
0.19/0.28	c branch pb25
0.19/0.28	c commit 63f22ad
0.47/0.56	c #variables 21043 #constraints 64102
0.47/0.56	c objective is ce32 
0.75/0.80	c initial watched  CF 32, 64, 128, Arb: 868 , 0 , 0 , 0
0.75/0.80	c initial counting CF 32, 64, 128, Arb: 29 , 0 , 0 , 0
0.75/0.80	c bounds 109 >= 0 @ 0.443691
1.25/1.36	c bounds 101 >= 0 @ 0.963786
1.25/1.37	c bounds 101 >= 10 @ 0.967804
4.05/4.14	c #Conflicts:       1000 | #Constraints:      65106
4.05/4.14	c #Conflicts:       2000 | #Constraints:      66106
4.05/4.14	c INPROCESSING
4.05/4.14	c bounds 99 >= 10 @ 3.69197
4.15/4.21	c bounds 91 >= 10 @ 3.73653
4.15/4.22	c bounds 89 >= 10 @ 3.7446
4.35/4.43	c #Conflicts:       3000 | #Constraints:      66123
4.35/4.43	c #Conflicts:       4000 | #Constraints:      67123
4.35/4.43	c INPROCESSING
4.35/4.43	c GARBAGE COLLECT
4.35/4.43	c bounds 89 >= 15 @ 3.9237
4.35/4.49	c bounds 89 >= 20 @ 3.98463
17.81/17.91	c #Conflicts:       5000 | #Constraints:      66544
17.81/17.91	c #Conflicts:       6000 | #Constraints:      67544
17.81/17.91	c INPROCESSING
17.81/17.91	c #Conflicts:       7000 | #Constraints:      66564
17.81/17.91	c #Conflicts:       8000 | #Constraints:      67564
17.81/17.91	c #Conflicts:       9000 | #Constraints:      68564
17.81/17.91	c INPROCESSING
17.81/17.91	c GARBAGE COLLECT
17.81/17.91	c rational objective 20
18.21/18.31	c bounds 81 >= 20 @ 17.6372
18.21/18.32	c bounds 79 >= 20 @ 17.6455
18.50/18.64	c #Conflicts:      10000 | #Constraints:      67279
18.50/18.64	c #Conflicts:      11000 | #Constraints:      68279
18.50/18.64	c #Conflicts:      12000 | #Constraints:      69279
18.50/18.64	c INPROCESSING
18.50/18.64	c #Conflicts:      13000 | #Constraints:      67723
18.50/18.64	c #Conflicts:      14000 | #Constraints:      68723
18.50/18.64	c #Conflicts:      15000 | #Constraints:      69723
18.50/18.64	c INPROCESSING
18.50/18.64	c GARBAGE COLLECT
18.50/18.64	c bounds 79 >= 22 @ 17.9381
18.50/18.65	c bounds 79 >= 24 @ 17.9446
18.71/18.84	c #Conflicts:      16000 | #Constraints:      67959
18.71/18.84	c bounds 79 >= 26 @ 18.138
56.01/56.24	c #Conflicts:      17000 | #Constraints:      68965
56.01/56.24	c #Conflicts:      18000 | #Constraints:      69965
56.01/56.24	c INPROCESSING
56.01/56.24	c #Conflicts:      19000 | #Constraints:      67974
56.01/56.24	c #Conflicts:      20000 | #Constraints:      68974
56.01/56.24	c #Conflicts:      21000 | #Constraints:      69974
56.01/56.24	c INPROCESSING
56.01/56.24	c GARBAGE COLLECT
56.01/56.24	c #Conflicts:      22000 | #Constraints:      67775
56.01/56.24	c bounds 79 >= 28 @ 55.2942
56.31/56.53	c #Conflicts:      23000 | #Constraints:      68781
56.31/56.53	c #Conflicts:      24000 | #Constraints:      69781
56.31/56.53	c #Conflicts:      25000 | #Constraints:      70781
56.31/56.53	c INPROCESSING
56.31/56.53	c bounds 79 >= 30 @ 55.5779
75.36/75.63	c #Conflicts:      26000 | #Constraints:      68396
75.36/75.63	c #Conflicts:      27000 | #Constraints:      69396
75.36/75.63	c #Conflicts:      28000 | #Constraints:      70396
75.36/75.63	c #Conflicts:      29000 | #Constraints:      71396
75.36/75.63	c INPROCESSING
75.36/75.63	c GARBAGE COLLECT
75.36/75.63	c #Conflicts:      30000 | #Constraints:      68793
75.36/75.63	c #Conflicts:      31000 | #Constraints:      69793
75.36/75.63	c #Conflicts:      32000 | #Constraints:      70793
75.36/75.63	c #Conflicts:      33000 | #Constraints:      71793
75.36/75.63	c INPROCESSING
75.36/75.63	c GARBAGE COLLECT
75.36/75.63	c #Conflicts:      34000 | #Constraints:      68993
75.36/75.63	c #Conflicts:      35000 | #Constraints:      69993
75.36/75.63	c #Conflicts:      36000 | #Constraints:      70993
75.36/75.63	c #Conflicts:      37000 | #Constraints:      71993
75.36/75.63	c INPROCESSING
75.36/75.63	c GARBAGE COLLECT
75.36/75.63	c rational objective 30
111.17/111.52	c #Conflicts:      38000 | #Constraints:      68999
111.17/111.52	c #Conflicts:      39000 | #Constraints:      69999
111.17/111.52	c #Conflicts:      40000 | #Constraints:      70999
111.17/111.52	c #Conflicts:      41000 | #Constraints:      71999
111.17/111.52	c INPROCESSING
111.17/111.52	c GARBAGE COLLECT
111.17/111.52	c rational objective 30
131.31/131.72	c #Conflicts:      42000 | #Constraints:      68862
131.31/131.72	c #Conflicts:      43000 | #Constraints:      69862
131.31/131.72	c #Conflicts:      44000 | #Constraints:      70862
131.31/131.72	c #Conflicts:      45000 | #Constraints:      71862
131.31/131.72	c #Conflicts:      46000 | #Constraints:      72862
131.31/131.72	c INPROCESSING
131.31/131.72	c GARBAGE COLLECT
131.31/131.72	c #Conflicts:      47000 | #Constraints:      69432
131.31/131.72	c #Conflicts:      48000 | #Constraints:      70432
131.31/131.72	c #Conflicts:      49000 | #Constraints:      71432
131.31/131.72	c #Conflicts:      50000 | #Constraints:      72432
131.31/131.72	c #Conflicts:      51000 | #Constraints:      73432
131.31/131.72	c INPROCESSING
131.31/131.72	c GARBAGE COLLECT
131.31/131.72	c #Conflicts:      52000 | #Constraints:      69820
131.31/131.72	c #Conflicts:      53000 | #Constraints:      70820
131.31/131.72	c #Conflicts:      54000 | #Constraints:      71820
131.31/131.72	c #Conflicts:      55000 | #Constraints:      72820
131.31/131.72	c #Conflicts:      56000 | #Constraints:      73820
131.31/131.72	c INPROCESSING
131.31/131.72	c GARBAGE COLLECT
131.31/131.72	c #Conflicts:      57000 | #Constraints:      70012
131.31/131.72	c #Conflicts:      58000 | #Constraints:      71012
131.31/131.72	c #Conflicts:      59000 | #Constraints:      72012
131.31/131.72	c #Conflicts:      60000 | #Constraints:      73012
131.31/131.72	c #Conflicts:      61000 | #Constraints:      74012
131.31/131.72	c INPROCESSING
131.31/131.72	c GARBAGE COLLECT
131.31/131.72	c #Conflicts:      62000 | #Constraints:      70008
131.31/131.72	c #Conflicts:      63000 | #Constraints:      71008
131.31/131.72	c #Conflicts:      64000 | #Constraints:      72008
131.31/131.72	c #Conflicts:      65000 | #Constraints:      73008
131.31/131.72	c #Conflicts:      66000 | #Constraints:      74008
131.31/131.72	c INPROCESSING
131.31/131.72	c GARBAGE COLLECT
131.31/131.72	c rational objective 30
182.18/182.78	c #Conflicts:      67000 | #Constraints:      69808
182.18/182.78	c #Conflicts:      68000 | #Constraints:      70808
182.18/182.78	c #Conflicts:      69000 | #Constraints:      71808
182.18/182.78	c #Conflicts:      70000 | #Constraints:      72808
182.18/182.78	c #Conflicts:      71000 | #Constraints:      73808
182.18/182.78	c #Conflicts:      72000 | #Constraints:      74808
182.18/182.78	c INPROCESSING
182.18/182.78	c GARBAGE COLLECT
182.18/182.78	c rational objective 30
214.99/215.68	c #Conflicts:      73000 | #Constraints:      70409
214.99/215.68	c #Conflicts:      74000 | #Constraints:      71409
214.99/215.68	c #Conflicts:      75000 | #Constraints:      72409
214.99/215.68	c #Conflicts:      76000 | #Constraints:      73409
214.99/215.68	c #Conflicts:      77000 | #Constraints:      74409
214.99/215.68	c #Conflicts:      78000 | #Constraints:      75409
214.99/215.68	c INPROCESSING
214.99/215.68	c GARBAGE COLLECT
214.99/215.68	c #Conflicts:      79000 | #Constraints:      70804
214.99/215.68	c #Conflicts:      80000 | #Constraints:      71804
214.99/215.68	c #Conflicts:      81000 | #Constraints:      72804
214.99/215.68	c #Conflicts:      82000 | #Constraints:      73804
214.99/215.68	c #Conflicts:      83000 | #Constraints:      74804
214.99/215.68	c #Conflicts:      84000 | #Constraints:      75804
214.99/215.68	c INPROCESSING
214.99/215.68	c GARBAGE COLLECT
214.99/215.68	c #Conflicts:      85000 | #Constraints:      70997
214.99/215.68	c #Conflicts:      86000 | #Constraints:      71997
214.99/215.68	c #Conflicts:      87000 | #Constraints:      72997
214.99/215.68	c #Conflicts:      88000 | #Constraints:      73997
214.99/215.68	c #Conflicts:      89000 | #Constraints:      74997
214.99/215.68	c #Conflicts:      90000 | #Constraints:      75997
214.99/215.68	c INPROCESSING
214.99/215.68	c GARBAGE COLLECT
214.99/215.68	c #Conflicts:      91000 | #Constraints:      70997
214.99/215.68	c bounds 79 >= 32 @ 213.486
244.40/245.11	c #Conflicts:      92000 | #Constraints:      72006
244.40/245.11	c #Conflicts:      93000 | #Constraints:      73006
244.40/245.11	c #Conflicts:      94000 | #Constraints:      74006
244.40/245.11	c #Conflicts:      95000 | #Constraints:      75006
244.40/245.11	c #Conflicts:      96000 | #Constraints:      76006
244.40/245.11	c INPROCESSING
244.40/245.11	c GARBAGE COLLECT
244.40/245.11	c rational objective 32
271.93/272.79	c #Conflicts:      97000 | #Constraints:      70807
271.93/272.79	c #Conflicts:      98000 | #Constraints:      71807
271.93/272.79	c #Conflicts:      99000 | #Constraints:      72807
271.93/272.79	c #Conflicts:     100000 | #Constraints:      73807
271.93/272.79	c #Conflicts:     101000 | #Constraints:      74807
271.93/272.79	c #Conflicts:     102000 | #Constraints:      75807
271.93/272.79	c #Conflicts:     103000 | #Constraints:      76807
271.93/272.79	c INPROCESSING
271.93/272.79	c GARBAGE COLLECT
271.93/272.79	c #Conflicts:     104000 | #Constraints:      71404
271.93/272.79	c #Conflicts:     105000 | #Constraints:      72404
271.93/272.79	c #Conflicts:     106000 | #Constraints:      73404
271.93/272.79	c #Conflicts:     107000 | #Constraints:      74404
271.93/272.79	c #Conflicts:     108000 | #Constraints:      75404
271.93/272.79	c #Conflicts:     109000 | #Constraints:      76404
271.93/272.79	c #Conflicts:     110000 | #Constraints:      77404
271.93/272.79	c INPROCESSING
271.93/272.79	c GARBAGE COLLECT
271.93/272.79	c #Conflicts:     111000 | #Constraints:      71807
271.93/272.79	c #Conflicts:     112000 | #Constraints:      72807
271.93/272.79	c #Conflicts:     113000 | #Constraints:      73807
271.93/272.79	c #Conflicts:     114000 | #Constraints:      74807
271.93/272.79	c #Conflicts:     115000 | #Constraints:      75807
271.93/272.79	c #Conflicts:     116000 | #Constraints:      76807
271.93/272.79	c #Conflicts:     117000 | #Constraints:      77807
271.93/272.79	c INPROCESSING
271.93/272.79	c GARBAGE COLLECT
271.93/272.79	c #Conflicts:     118000 | #Constraints:      72005
271.93/272.79	c #Conflicts:     119000 | #Constraints:      73005
271.93/272.79	c #Conflicts:     120000 | #Constraints:      74005
271.93/272.79	c #Conflicts:     121000 | #Constraints:      75005
271.93/272.79	c #Conflicts:     122000 | #Constraints:      76005
271.93/272.79	c #Conflicts:     123000 | #Constraints:      77005
271.93/272.79	c #Conflicts:     124000 | #Constraints:      78005
271.93/272.79	c INPROCESSING
271.93/272.79	c GARBAGE COLLECT
271.93/272.79	c rational objective 32
295.67/296.51	c #Conflicts:     125000 | #Constraints:      72013
295.67/296.51	c #Conflicts:     126000 | #Constraints:      73013
295.67/296.51	c #Conflicts:     127000 | #Constraints:      74013
295.67/296.51	c #Conflicts:     128000 | #Constraints:      75013
295.67/296.51	c #Conflicts:     129000 | #Constraints:      76013
295.67/296.51	c #Conflicts:     130000 | #Constraints:      77013
295.67/296.51	c #Conflicts:     131000 | #Constraints:      78013
295.67/296.51	c INPROCESSING
295.67/296.51	c GARBAGE COLLECT
295.67/296.51	c rational objective 32
345.74/346.79	c #Conflicts:     132000 | #Constraints:      71813
345.74/346.79	c #Conflicts:     133000 | #Constraints:      72813
345.74/346.79	c #Conflicts:     134000 | #Constraints:      73813
345.74/346.79	c #Conflicts:     135000 | #Constraints:      74813
345.74/346.79	c #Conflicts:     136000 | #Constraints:      75813
345.74/346.79	c #Conflicts:     137000 | #Constraints:      76813
345.74/346.79	c #Conflicts:     138000 | #Constraints:      77813
345.74/346.79	c #Conflicts:     139000 | #Constraints:      78813
345.74/346.79	c INPROCESSING
345.74/346.79	c GARBAGE COLLECT
345.74/346.79	c rational objective 32
382.75/383.81	c #Conflicts:     140000 | #Constraints:      72468
382.75/383.81	c #Conflicts:     141000 | #Constraints:      73468
382.75/383.81	c #Conflicts:     142000 | #Constraints:      74468
382.75/383.81	c #Conflicts:     143000 | #Constraints:      75468
382.75/383.81	c #Conflicts:     144000 | #Constraints:      76468
382.75/383.81	c #Conflicts:     145000 | #Constraints:      77468
382.75/383.81	c #Conflicts:     146000 | #Constraints:      78468
382.75/383.81	c #Conflicts:     147000 | #Constraints:      79468
382.75/383.81	c INPROCESSING
382.75/383.81	c GARBAGE COLLECT
382.75/383.81	c #Conflicts:     148000 | #Constraints:      72836
382.75/383.81	c #Conflicts:     149000 | #Constraints:      73836
382.75/383.81	c #Conflicts:     150000 | #Constraints:      74836
382.75/383.81	c #Conflicts:     151000 | #Constraints:      75836
382.75/383.81	c #Conflicts:     152000 | #Constraints:      76836
382.75/383.81	c #Conflicts:     153000 | #Constraints:      77836
382.75/383.81	c #Conflicts:     154000 | #Constraints:      78836
382.75/383.81	c #Conflicts:     155000 | #Constraints:      79836
382.75/383.81	c INPROCESSING
382.75/383.81	c GARBAGE COLLECT
382.75/383.81	c rational objective 32
426.54/427.70	c #Conflicts:     156000 | #Constraints:      73028
426.54/427.70	c #Conflicts:     157000 | #Constraints:      74028
426.54/427.70	c #Conflicts:     158000 | #Constraints:      75028
426.54/427.70	c #Conflicts:     159000 | #Constraints:      76028
426.54/427.70	c #Conflicts:     160000 | #Constraints:      77028
426.54/427.70	c #Conflicts:     161000 | #Constraints:      78028
426.54/427.70	c #Conflicts:     162000 | #Constraints:      79028
426.54/427.70	c #Conflicts:     163000 | #Constraints:      80028
426.54/427.70	c INPROCESSING
426.54/427.70	c GARBAGE COLLECT
426.54/427.70	c rational objective 32
454.27/455.52	c #Conflicts:     164000 | #Constraints:      73063
454.27/455.52	c #Conflicts:     165000 | #Constraints:      74063
454.27/455.52	c #Conflicts:     166000 | #Constraints:      75063
454.27/455.52	c #Conflicts:     167000 | #Constraints:      76063
454.27/455.52	c #Conflicts:     168000 | #Constraints:      77063
454.27/455.52	c #Conflicts:     169000 | #Constraints:      78063
454.27/455.52	c #Conflicts:     170000 | #Constraints:      79063
454.27/455.52	c #Conflicts:     171000 | #Constraints:      80063
454.27/455.52	c INPROCESSING
454.27/455.52	c GARBAGE COLLECT
454.27/455.52	c #Conflicts:     172000 | #Constraints:      72835
454.27/455.52	c #Conflicts:     173000 | #Constraints:      73835
454.27/455.52	c #Conflicts:     174000 | #Constraints:      74835
454.27/455.52	c #Conflicts:     175000 | #Constraints:      75835
454.27/455.52	c #Conflicts:     176000 | #Constraints:      76835
454.27/455.52	c bounds 79 >= 34 @ 451.599
487.39/488.77	c #Conflicts:     177000 | #Constraints:      77844
487.39/488.77	c #Conflicts:     178000 | #Constraints:      78844
487.39/488.77	c #Conflicts:     179000 | #Constraints:      79844
487.39/488.77	c #Conflicts:     180000 | #Constraints:      80844
487.39/488.77	c INPROCESSING
487.39/488.77	c GARBAGE COLLECT
487.39/488.77	c #Conflicts:     181000 | #Constraints:      73430
487.39/488.77	c #Conflicts:     182000 | #Constraints:      74430
487.39/488.77	c #Conflicts:     183000 | #Constraints:      75430
487.39/488.77	c #Conflicts:     184000 | #Constraints:      76430
487.39/488.77	c #Conflicts:     185000 | #Constraints:      77430
487.39/488.77	c #Conflicts:     186000 | #Constraints:      78430
487.39/488.77	c #Conflicts:     187000 | #Constraints:      79430
487.39/488.77	c #Conflicts:     188000 | #Constraints:      80430
487.39/488.77	c #Conflicts:     189000 | #Constraints:      81430
487.39/488.77	c INPROCESSING
487.39/488.77	c GARBAGE COLLECT
487.39/488.77	c #Conflicts:     190000 | #Constraints:      73823
487.39/488.77	c #Conflicts:     191000 | #Constraints:      74823
487.39/488.77	c #Conflicts:     192000 | #Constraints:      75823
487.39/488.77	c #Conflicts:     193000 | #Constraints:      76823
487.39/488.77	c #Conflicts:     194000 | #Constraints:      77823
487.39/488.77	c #Conflicts:     195000 | #Constraints:      78823
487.39/488.77	c #Conflicts:     196000 | #Constraints:      79823
487.39/488.77	c #Conflicts:     197000 | #Constraints:      80823
487.39/488.77	c #Conflicts:     198000 | #Constraints:      81823
487.39/488.77	c INPROCESSING
487.39/488.77	c GARBAGE COLLECT
487.39/488.77	c rational objective 34
529.88/531.31	c #Conflicts:     199000 | #Constraints:      74082
529.88/531.31	c #Conflicts:     200000 | #Constraints:      75082
529.88/531.31	c #Conflicts:     201000 | #Constraints:      76082
529.88/531.31	c #Conflicts:     202000 | #Constraints:      77082
529.88/531.31	c #Conflicts:     203000 | #Constraints:      78082
529.88/531.31	c #Conflicts:     204000 | #Constraints:      79082
529.88/531.31	c #Conflicts:     205000 | #Constraints:      80082
529.88/531.31	c #Conflicts:     206000 | #Constraints:      81082
529.88/531.31	c #Conflicts:     207000 | #Constraints:      82082
529.88/531.31	c INPROCESSING
529.88/531.31	c GARBAGE COLLECT
529.88/531.31	c rational objective 34
551.43/552.96	c #Conflicts:     208000 | #Constraints:      74048
551.43/552.96	c #Conflicts:     209000 | #Constraints:      75048
551.43/552.96	c #Conflicts:     210000 | #Constraints:      76048
551.43/552.96	c #Conflicts:     211000 | #Constraints:      77048
551.43/552.96	c #Conflicts:     212000 | #Constraints:      78048
551.43/552.96	c #Conflicts:     213000 | #Constraints:      79048
551.43/552.96	c #Conflicts:     214000 | #Constraints:      80048
551.43/552.96	c #Conflicts:     215000 | #Constraints:      81048
551.43/552.96	c #Conflicts:     216000 | #Constraints:      82048
551.43/552.96	c INPROCESSING
551.43/552.96	c GARBAGE COLLECT
551.43/552.96	c #Conflicts:     217000 | #Constraints:      73830
551.43/552.96	c #Conflicts:     218000 | #Constraints:      74830
551.43/552.96	c #Conflicts:     219000 | #Constraints:      75830
551.43/552.96	c #Conflicts:     220000 | #Constraints:      76830
551.43/552.96	c #Conflicts:     221000 | #Constraints:      77830
551.43/552.96	c #Conflicts:     222000 | #Constraints:      78830
551.43/552.96	c #Conflicts:     223000 | #Constraints:      79830
551.43/552.96	c #Conflicts:     224000 | #Constraints:      80830
551.43/552.96	c #Conflicts:     225000 | #Constraints:      81830
551.43/552.96	c #Conflicts:     226000 | #Constraints:      82830
551.43/552.96	c INPROCESSING
551.43/552.96	c GARBAGE COLLECT
551.43/552.96	c rational objective 34
597.01/598.61	c #Conflicts:     227000 | #Constraints:      74424
597.01/598.61	c #Conflicts:     228000 | #Constraints:      75424
597.01/598.61	c #Conflicts:     229000 | #Constraints:      76424
597.01/598.61	c #Conflicts:     230000 | #Constraints:      77424
597.01/598.61	c #Conflicts:     231000 | #Constraints:      78424
597.01/598.61	c #Conflicts:     232000 | #Constraints:      79424
597.01/598.61	c #Conflicts:     233000 | #Constraints:      80424
597.01/598.61	c #Conflicts:     234000 | #Constraints:      81424
597.01/598.61	c #Conflicts:     235000 | #Constraints:      82424
597.01/598.61	c #Conflicts:     236000 | #Constraints:      83424
597.01/598.61	c INPROCESSING
597.01/598.61	c GARBAGE COLLECT
597.01/598.61	c rational objective 34
642.50/644.27	c #Conflicts:     237000 | #Constraints:      74870
642.50/644.27	c #Conflicts:     238000 | #Constraints:      75870
642.50/644.27	c #Conflicts:     239000 | #Constraints:      76870
642.50/644.27	c #Conflicts:     240000 | #Constraints:      77870
642.50/644.27	c #Conflicts:     241000 | #Constraints:      78870
642.50/644.27	c #Conflicts:     242000 | #Constraints:      79870
642.50/644.27	c #Conflicts:     243000 | #Constraints:      80870
642.50/644.27	c #Conflicts:     244000 | #Constraints:      81870
642.50/644.27	c #Conflicts:     245000 | #Constraints:      82870
642.50/644.27	c #Conflicts:     246000 | #Constraints:      83870
642.50/644.27	c INPROCESSING
642.50/644.27	c GARBAGE COLLECT
642.50/644.27	c #Conflicts:     247000 | #Constraints:      75045
642.50/644.27	c #Conflicts:     248000 | #Constraints:      76045
642.50/644.27	c #Conflicts:     249000 | #Constraints:      77045
642.50/644.27	c #Conflicts:     250000 | #Constraints:      78045
642.50/644.27	c #Conflicts:     251000 | #Constraints:      79045
642.50/644.27	c #Conflicts:     252000 | #Constraints:      80045
642.50/644.27	c #Conflicts:     253000 | #Constraints:      81045
642.50/644.27	c #Conflicts:     254000 | #Constraints:      82045
642.50/644.27	c #Conflicts:     255000 | #Constraints:      83045
642.50/644.27	c #Conflicts:     256000 | #Constraints:      84045
642.50/644.27	c INPROCESSING
642.50/644.27	c GARBAGE COLLECT
642.50/644.27	c rational objective 34
689.77/691.63	c #Conflicts:     257000 | #Constraints:      75040
689.77/691.63	c #Conflicts:     258000 | #Constraints:      76040
689.77/691.63	c #Conflicts:     259000 | #Constraints:      77040
689.77/691.63	c #Conflicts:     260000 | #Constraints:      78040
689.77/691.63	c #Conflicts:     261000 | #Constraints:      79040
689.77/691.63	c #Conflicts:     262000 | #Constraints:      80040
689.77/691.63	c #Conflicts:     263000 | #Constraints:      81040
689.77/691.63	c #Conflicts:     264000 | #Constraints:      82040
689.77/691.63	c #Conflicts:     265000 | #Constraints:      83040
689.77/691.63	c #Conflicts:     266000 | #Constraints:      84040
689.77/691.63	c INPROCESSING
689.77/691.63	c GARBAGE COLLECT
689.77/691.63	c rational objective 34
736.86/738.82	c #Conflicts:     267000 | #Constraints:      74835
736.86/738.82	c #Conflicts:     268000 | #Constraints:      75835
736.86/738.82	c #Conflicts:     269000 | #Constraints:      76835
736.86/738.82	c #Conflicts:     270000 | #Constraints:      77835
736.86/738.82	c #Conflicts:     271000 | #Constraints:      78835
736.86/738.82	c #Conflicts:     272000 | #Constraints:      79835
736.86/738.82	c #Conflicts:     273000 | #Constraints:      80835
736.86/738.82	c #Conflicts:     274000 | #Constraints:      81835
736.86/738.82	c #Conflicts:     275000 | #Constraints:      82835
736.86/738.82	c #Conflicts:     276000 | #Constraints:      83835
736.86/738.82	c #Conflicts:     277000 | #Constraints:      84835
736.86/738.82	c INPROCESSING
736.86/738.82	c GARBAGE COLLECT
736.86/738.82	c #Conflicts:     278000 | #Constraints:      75431
736.86/738.82	c #Conflicts:     279000 | #Constraints:      76431
736.86/738.82	c #Conflicts:     280000 | #Constraints:      77431
736.86/738.82	c #Conflicts:     281000 | #Constraints:      78431
736.86/738.82	c #Conflicts:     282000 | #Constraints:      79431
736.86/738.82	c #Conflicts:     283000 | #Constraints:      80431
736.86/738.82	c #Conflicts:     284000 | #Constraints:      81431
736.86/738.82	c #Conflicts:     285000 | #Constraints:      82431
736.86/738.82	c #Conflicts:     286000 | #Constraints:      83431
736.86/738.82	c #Conflicts:     287000 | #Constraints:      84431
736.86/738.82	c #Conflicts:     288000 | #Constraints:      85431
736.86/738.82	c INPROCESSING
736.86/738.82	c GARBAGE COLLECT
736.86/738.82	c #Conflicts:     289000 | #Constraints:      75827
736.86/738.82	c #Conflicts:     290000 | #Constraints:      76827
736.86/738.82	c #Conflicts:     291000 | #Constraints:      77827
736.86/738.82	c #Conflicts:     292000 | #Constraints:      78827
736.86/738.82	c #Conflicts:     293000 | #Constraints:      79827
736.86/738.82	c #Conflicts:     294000 | #Constraints:      80827
736.86/738.82	c #Conflicts:     295000 | #Constraints:      81827
736.86/738.82	c #Conflicts:     296000 | #Constraints:      82827
736.86/738.82	c #Conflicts:     297000 | #Constraints:      83827
736.86/738.82	c #Conflicts:     298000 | #Constraints:      84827
736.86/738.82	c #Conflicts:     299000 | #Constraints:      85827
736.86/738.82	c INPROCESSING
736.86/738.82	c GARBAGE COLLECT
736.86/738.82	c rational objective 34
777.25/779.38	c #Conflicts:     300000 | #Constraints:      76036
777.25/779.38	c #Conflicts:     301000 | #Constraints:      77036
777.25/779.38	c #Conflicts:     302000 | #Constraints:      78036
777.25/779.38	c #Conflicts:     303000 | #Constraints:      79036
777.25/779.38	c #Conflicts:     304000 | #Constraints:      80036
777.25/779.38	c #Conflicts:     305000 | #Constraints:      81036
777.25/779.38	c #Conflicts:     306000 | #Constraints:      82036
777.25/779.38	c #Conflicts:     307000 | #Constraints:      83036
777.25/779.38	c #Conflicts:     308000 | #Constraints:      84036
777.25/779.38	c #Conflicts:     309000 | #Constraints:      85036
777.25/779.38	c #Conflicts:     310000 | #Constraints:      86036
777.25/779.38	c INPROCESSING
777.25/779.38	c GARBAGE COLLECT
777.25/779.38	c rational objective 34
829.62/831.82	c #Conflicts:     311000 | #Constraints:      76037
829.62/831.82	c #Conflicts:     312000 | #Constraints:      77037
829.62/831.82	c #Conflicts:     313000 | #Constraints:      78037
829.62/831.82	c #Conflicts:     314000 | #Constraints:      79037
829.62/831.82	c #Conflicts:     315000 | #Constraints:      80037
829.62/831.82	c #Conflicts:     316000 | #Constraints:      81037
829.62/831.82	c #Conflicts:     317000 | #Constraints:      82037
829.62/831.82	c #Conflicts:     318000 | #Constraints:      83037
829.62/831.82	c #Conflicts:     319000 | #Constraints:      84037
829.62/831.82	c #Conflicts:     320000 | #Constraints:      85037
829.62/831.82	c #Conflicts:     321000 | #Constraints:      86037
829.62/831.82	c INPROCESSING
829.62/831.82	c GARBAGE COLLECT
829.62/831.82	c rational objective 34
845.47/847.70	c #Conflicts:     322000 | #Constraints:      75872
845.47/847.70	c #Conflicts:     323000 | #Constraints:      76872
845.47/847.70	c #Conflicts:     324000 | #Constraints:      77872
845.47/847.70	c #Conflicts:     325000 | #Constraints:      78872
845.47/847.70	c #Conflicts:     326000 | #Constraints:      79872
845.47/847.70	c #Conflicts:     327000 | #Constraints:      80872
845.47/847.70	c #Conflicts:     328000 | #Constraints:      81872
845.47/847.70	c #Conflicts:     329000 | #Constraints:      82872
845.47/847.70	c #Conflicts:     330000 | #Constraints:      83872
845.47/847.70	c #Conflicts:     331000 | #Constraints:      84872
845.47/847.70	c #Conflicts:     332000 | #Constraints:      85872
845.47/847.70	c #Conflicts:     333000 | #Constraints:      86872
845.47/847.70	c INPROCESSING
845.47/847.70	c GARBAGE COLLECT
845.47/847.70	c rational objective 34
878.29/880.69	c #Conflicts:     334000 | #Constraints:      76451
878.29/880.69	c #Conflicts:     335000 | #Constraints:      77451
878.29/880.69	c #Conflicts:     336000 | #Constraints:      78451
878.29/880.69	c #Conflicts:     337000 | #Constraints:      79451
878.29/880.69	c #Conflicts:     338000 | #Constraints:      80451
878.29/880.69	c #Conflicts:     339000 | #Constraints:      81451
878.29/880.69	c #Conflicts:     340000 | #Constraints:      82451
878.29/880.69	c #Conflicts:     341000 | #Constraints:      83451
878.29/880.69	c #Conflicts:     342000 | #Constraints:      84451
878.29/880.69	c #Conflicts:     343000 | #Constraints:      85451
878.29/880.69	c #Conflicts:     344000 | #Constraints:      86451
878.29/880.69	c #Conflicts:     345000 | #Constraints:      87451
878.29/880.69	c INPROCESSING
878.29/880.69	c GARBAGE COLLECT
878.29/880.69	c rational objective 34
915.80/918.25	c #Conflicts:     346000 | #Constraints:      76841
915.80/918.25	c #Conflicts:     347000 | #Constraints:      77841
915.80/918.25	c #Conflicts:     348000 | #Constraints:      78841
915.80/918.25	c #Conflicts:     349000 | #Constraints:      79841
915.80/918.25	c #Conflicts:     350000 | #Constraints:      80841
915.80/918.25	c #Conflicts:     351000 | #Constraints:      81841
915.80/918.25	c #Conflicts:     352000 | #Constraints:      82841
915.80/918.25	c #Conflicts:     353000 | #Constraints:      83841
915.80/918.25	c #Conflicts:     354000 | #Constraints:      84841
915.80/918.25	c #Conflicts:     355000 | #Constraints:      85841
915.80/918.25	c #Conflicts:     356000 | #Constraints:      86841
915.80/918.25	c #Conflicts:     357000 | #Constraints:      87841
915.80/918.25	c INPROCESSING
915.80/918.25	c GARBAGE COLLECT
915.80/918.25	c rational objective 34
966.87/969.44	c #Conflicts:     358000 | #Constraints:      77078
966.87/969.44	c #Conflicts:     359000 | #Constraints:      78078
966.87/969.44	c #Conflicts:     360000 | #Constraints:      79078
966.87/969.44	c #Conflicts:     361000 | #Constraints:      80078
966.87/969.44	c #Conflicts:     362000 | #Constraints:      81078
966.87/969.44	c #Conflicts:     363000 | #Constraints:      82078
966.87/969.44	c #Conflicts:     364000 | #Constraints:      83078
966.87/969.44	c #Conflicts:     365000 | #Constraints:      84078
966.87/969.44	c #Conflicts:     366000 | #Constraints:      85078
966.87/969.44	c #Conflicts:     367000 | #Constraints:      86078
966.87/969.44	c #Conflicts:     368000 | #Constraints:      87078
966.87/969.44	c #Conflicts:     369000 | #Constraints:      88078
966.87/969.44	c INPROCESSING
966.87/969.44	c GARBAGE COLLECT
966.87/969.44	c rational objective 34
967.47/970.10	c #Conflicts:     370000 | #Constraints:      77077
967.47/970.10	c bounds 79 >= 36 @ 962.601
992.80/995.40	c #Conflicts:     371000 | #Constraints:      78086
992.80/995.40	c #Conflicts:     372000 | #Constraints:      79086
992.80/995.40	c #Conflicts:     373000 | #Constraints:      80086
992.80/995.40	c #Conflicts:     374000 | #Constraints:      81086
992.80/995.40	c #Conflicts:     375000 | #Constraints:      82086
992.80/995.40	c #Conflicts:     376000 | #Constraints:      83086
992.80/995.40	c #Conflicts:     377000 | #Constraints:      84086
992.80/995.40	c #Conflicts:     378000 | #Constraints:      85086
992.80/995.40	c #Conflicts:     379000 | #Constraints:      86086
992.80/995.40	c #Conflicts:     380000 | #Constraints:      87086
992.80/995.40	c #Conflicts:     381000 | #Constraints:      88086
992.80/995.40	c INPROCESSING
992.80/995.40	c GARBAGE COLLECT
992.80/995.40	c #Conflicts:     382000 | #Constraints:      76857
992.80/995.40	c #Conflicts:     383000 | #Constraints:      77857
992.80/995.40	c #Conflicts:     384000 | #Constraints:      78857
992.80/995.40	c #Conflicts:     385000 | #Constraints:      79857
992.80/995.40	c #Conflicts:     386000 | #Constraints:      80857
992.80/995.40	c #Conflicts:     387000 | #Constraints:      81857
992.80/995.40	c #Conflicts:     388000 | #Constraints:      82857
992.80/995.40	c #Conflicts:     389000 | #Constraints:      83857
992.80/995.40	c #Conflicts:     390000 | #Constraints:      84857
992.80/995.40	c #Conflicts:     391000 | #Constraints:      85857
992.80/995.40	c #Conflicts:     392000 | #Constraints:      86857
992.80/995.40	c #Conflicts:     393000 | #Constraints:      87857
992.80/995.40	c #Conflicts:     394000 | #Constraints:      88857
992.80/995.40	c INPROCESSING
992.80/995.40	c GARBAGE COLLECT
992.80/995.40	c rational objective 36
1024.43/1027.16	c #Conflicts:     395000 | #Constraints:      77451
1024.43/1027.16	c #Conflicts:     396000 | #Constraints:      78451
1024.43/1027.16	c #Conflicts:     397000 | #Constraints:      79451
1024.43/1027.16	c #Conflicts:     398000 | #Constraints:      80451
1024.43/1027.16	c #Conflicts:     399000 | #Constraints:      81451
1024.43/1027.16	c #Conflicts:     400000 | #Constraints:      82451
1024.43/1027.16	c #Conflicts:     401000 | #Constraints:      83451
1024.43/1027.16	c #Conflicts:     402000 | #Constraints:      84451
1024.43/1027.16	c #Conflicts:     403000 | #Constraints:      85451
1024.43/1027.16	c #Conflicts:     404000 | #Constraints:      86451
1024.43/1027.16	c #Conflicts:     405000 | #Constraints:      87451
1024.43/1027.16	c #Conflicts:     406000 | #Constraints:      88451
1024.43/1027.16	c #Conflicts:     407000 | #Constraints:      89451
1024.43/1027.16	c INPROCESSING
1024.43/1027.16	c GARBAGE COLLECT
1024.43/1027.16	c rational objective 36
1070.90/1073.74	c #Conflicts:     408000 | #Constraints:      77845
1070.90/1073.74	c #Conflicts:     409000 | #Constraints:      78845
1070.90/1073.74	c #Conflicts:     410000 | #Constraints:      79845
1070.90/1073.74	c #Conflicts:     411000 | #Constraints:      80845
1070.90/1073.74	c #Conflicts:     412000 | #Constraints:      81845
1070.90/1073.74	c #Conflicts:     413000 | #Constraints:      82845
1070.90/1073.74	c #Conflicts:     414000 | #Constraints:      83845
1070.90/1073.74	c #Conflicts:     415000 | #Constraints:      84845
1070.90/1073.74	c #Conflicts:     416000 | #Constraints:      85845
1070.90/1073.74	c #Conflicts:     417000 | #Constraints:      86845
1070.90/1073.74	c #Conflicts:     418000 | #Constraints:      87845
1070.90/1073.74	c #Conflicts:     419000 | #Constraints:      88845
1070.90/1073.74	c #Conflicts:     420000 | #Constraints:      89845
1070.90/1073.74	c INPROCESSING
1070.90/1073.74	c GARBAGE COLLECT
1070.90/1073.74	c rational objective 36
1093.85/1096.79	c #Conflicts:     421000 | #Constraints:      78037
1093.85/1096.79	c #Conflicts:     422000 | #Constraints:      79037
1093.85/1096.79	c #Conflicts:     423000 | #Constraints:      80037
1093.85/1096.79	c #Conflicts:     424000 | #Constraints:      81037
1093.85/1096.79	c #Conflicts:     425000 | #Constraints:      82037
1093.85/1096.79	c #Conflicts:     426000 | #Constraints:      83037
1093.85/1096.79	c #Conflicts:     427000 | #Constraints:      84037
1093.85/1096.79	c #Conflicts:     428000 | #Constraints:      85037
1093.85/1096.79	c #Conflicts:     429000 | #Constraints:      86037
1093.85/1096.79	c #Conflicts:     430000 | #Constraints:      87037
1093.85/1096.79	c #Conflicts:     431000 | #Constraints:      88037
1093.85/1096.79	c #Conflicts:     432000 | #Constraints:      89037
1093.85/1096.79	c #Conflicts:     433000 | #Constraints:      90037
1093.85/1096.79	c INPROCESSING
1093.85/1096.79	c GARBAGE COLLECT
1093.85/1096.79	c rational objective 36
1121.88/1124.83	c #Conflicts:     434000 | #Constraints:      78033
1121.88/1124.83	c #Conflicts:     435000 | #Constraints:      79033
1121.88/1124.83	c #Conflicts:     436000 | #Constraints:      80033
1121.88/1124.83	c #Conflicts:     437000 | #Constraints:      81033
1121.88/1124.83	c #Conflicts:     438000 | #Constraints:      82033
1121.88/1124.83	c #Conflicts:     439000 | #Constraints:      83033
1121.88/1124.83	c #Conflicts:     440000 | #Constraints:      84033
1121.88/1124.83	c #Conflicts:     441000 | #Constraints:      85033
1121.88/1124.83	c #Conflicts:     442000 | #Constraints:      86033
1121.88/1124.83	c #Conflicts:     443000 | #Constraints:      87033
1121.88/1124.83	c #Conflicts:     444000 | #Constraints:      88033
1121.88/1124.83	c #Conflicts:     445000 | #Constraints:      89033
1121.88/1124.83	c #Conflicts:     446000 | #Constraints:      90033
1121.88/1124.83	c INPROCESSING
1121.88/1124.83	c GARBAGE COLLECT
1121.88/1124.83	c rational objective 36
1143.33/1146.33	c #Conflicts:     447000 | #Constraints:      77886
1143.33/1146.33	c #Conflicts:     448000 | #Constraints:      78886
1143.33/1146.33	c #Conflicts:     449000 | #Constraints:      79886
1143.33/1146.33	c #Conflicts:     450000 | #Constraints:      80886
1143.33/1146.33	c #Conflicts:     451000 | #Constraints:      81886
1143.33/1146.33	c #Conflicts:     452000 | #Constraints:      82886
1143.33/1146.33	c #Conflicts:     453000 | #Constraints:      83886
1143.33/1146.33	c #Conflicts:     454000 | #Constraints:      84886
1143.33/1146.33	c #Conflicts:     455000 | #Constraints:      85886
1143.33/1146.33	c #Conflicts:     456000 | #Constraints:      86886
1143.33/1146.33	c #Conflicts:     457000 | #Constraints:      87886
1143.33/1146.33	c #Conflicts:     458000 | #Constraints:      88886
1143.33/1146.33	c #Conflicts:     459000 | #Constraints:      89886
1143.33/1146.33	c #Conflicts:     460000 | #Constraints:      90886
1143.33/1146.33	c INPROCESSING
1143.33/1146.33	c GARBAGE COLLECT
1143.33/1146.33	c rational objective 36
1193.79/1196.94	c #Conflicts:     461000 | #Constraints:      78470
1193.79/1196.94	c #Conflicts:     462000 | #Constraints:      79470
1193.79/1196.94	c #Conflicts:     463000 | #Constraints:      80470
1193.79/1196.94	c #Conflicts:     464000 | #Constraints:      81470
1193.79/1196.94	c #Conflicts:     465000 | #Constraints:      82470
1193.79/1196.94	c #Conflicts:     466000 | #Constraints:      83470
1193.79/1196.94	c #Conflicts:     467000 | #Constraints:      84470
1193.79/1196.94	c #Conflicts:     468000 | #Constraints:      85470
1193.79/1196.94	c #Conflicts:     469000 | #Constraints:      86470
1193.79/1196.94	c #Conflicts:     470000 | #Constraints:      87470
1193.79/1196.94	c #Conflicts:     471000 | #Constraints:      88470
1193.79/1196.94	c #Conflicts:     472000 | #Constraints:      89470
1193.79/1196.94	c #Conflicts:     473000 | #Constraints:      90470
1193.79/1196.94	c #Conflicts:     474000 | #Constraints:      91470
1193.79/1196.94	c INPROCESSING
1193.79/1196.94	c GARBAGE COLLECT
1193.79/1196.94	c rational objective 36
1249.95/1253.28	c #Conflicts:     475000 | #Constraints:      78849
1249.95/1253.28	c #Conflicts:     476000 | #Constraints:      79849
1249.95/1253.28	c #Conflicts:     477000 | #Constraints:      80849
1249.95/1253.28	c #Conflicts:     478000 | #Constraints:      81849
1249.95/1253.28	c #Conflicts:     479000 | #Constraints:      82849
1249.95/1253.28	c #Conflicts:     480000 | #Constraints:      83849
1249.95/1253.28	c #Conflicts:     481000 | #Constraints:      84849
1249.95/1253.28	c #Conflicts:     482000 | #Constraints:      85849
1249.95/1253.28	c #Conflicts:     483000 | #Constraints:      86849
1249.95/1253.28	c #Conflicts:     484000 | #Constraints:      87849
1249.95/1253.28	c #Conflicts:     485000 | #Constraints:      88849
1249.95/1253.28	c #Conflicts:     486000 | #Constraints:      89849
1249.95/1253.28	c #Conflicts:     487000 | #Constraints:      90849
1249.95/1253.28	c #Conflicts:     488000 | #Constraints:      91849
1249.95/1253.28	c INPROCESSING
1249.95/1253.28	c GARBAGE COLLECT
1249.95/1253.28	c rational objective 36
1299.03/1302.47	c #Conflicts:     489000 | #Constraints:      79046
1299.03/1302.47	c #Conflicts:     490000 | #Constraints:      80046
1299.03/1302.47	c #Conflicts:     491000 | #Constraints:      81046
1299.03/1302.47	c #Conflicts:     492000 | #Constraints:      82046
1299.03/1302.47	c #Conflicts:     493000 | #Constraints:      83046
1299.03/1302.47	c #Conflicts:     494000 | #Constraints:      84046
1299.03/1302.47	c #Conflicts:     495000 | #Constraints:      85046
1299.03/1302.47	c #Conflicts:     496000 | #Constraints:      86046
1299.03/1302.47	c #Conflicts:     497000 | #Constraints:      87046
1299.03/1302.47	c #Conflicts:     498000 | #Constraints:      88046
1299.03/1302.47	c #Conflicts:     499000 | #Constraints:      89046
1299.03/1302.47	c #Conflicts:     500000 | #Constraints:      90046
1299.03/1302.47	c #Conflicts:     501000 | #Constraints:      91046
1299.03/1302.47	c #Conflicts:     502000 | #Constraints:      92046
1299.03/1302.47	c INPROCESSING
1299.03/1302.47	c GARBAGE COLLECT
1299.03/1302.47	c rational objective 36
1319.78/1323.23	c #Conflicts:     503000 | #Constraints:      79056
1319.78/1323.23	c #Conflicts:     504000 | #Constraints:      80056
1319.78/1323.23	c #Conflicts:     505000 | #Constraints:      81056
1319.78/1323.23	c #Conflicts:     506000 | #Constraints:      82056
1319.78/1323.23	c #Conflicts:     507000 | #Constraints:      83056
1319.78/1323.23	c #Conflicts:     508000 | #Constraints:      84056
1319.78/1323.23	c #Conflicts:     509000 | #Constraints:      85056
1319.78/1323.23	c #Conflicts:     510000 | #Constraints:      86056
1319.78/1323.23	c #Conflicts:     511000 | #Constraints:      87056
1319.78/1323.23	c #Conflicts:     512000 | #Constraints:      88056
1319.78/1323.23	c #Conflicts:     513000 | #Constraints:      89056
1319.78/1323.23	c #Conflicts:     514000 | #Constraints:      90056
1319.78/1323.23	c #Conflicts:     515000 | #Constraints:      91056
1319.78/1323.23	c #Conflicts:     516000 | #Constraints:      92056
1319.78/1323.23	c INPROCESSING
1319.78/1323.23	c GARBAGE COLLECT
1319.78/1323.23	c rational objective 36
1341.22/1344.75	c #Conflicts:     517000 | #Constraints:      78848
1341.22/1344.75	c #Conflicts:     518000 | #Constraints:      79848
1341.22/1344.75	c #Conflicts:     519000 | #Constraints:      80848
1341.22/1344.75	c #Conflicts:     520000 | #Constraints:      81848
1341.22/1344.75	c #Conflicts:     521000 | #Constraints:      82848
1341.22/1344.75	c #Conflicts:     522000 | #Constraints:      83848
1341.22/1344.75	c #Conflicts:     523000 | #Constraints:      84848
1341.22/1344.75	c #Conflicts:     524000 | #Constraints:      85848
1341.22/1344.75	c #Conflicts:     525000 | #Constraints:      86848
1341.22/1344.75	c #Conflicts:     526000 | #Constraints:      87848
1341.22/1344.75	c #Conflicts:     527000 | #Constraints:      88848
1341.22/1344.75	c #Conflicts:     528000 | #Constraints:      89848
1341.22/1344.75	c #Conflicts:     529000 | #Constraints:      90848
1341.22/1344.75	c #Conflicts:     530000 | #Constraints:      91848
1341.22/1344.75	c #Conflicts:     531000 | #Constraints:      92848
1341.22/1344.75	c INPROCESSING
1341.22/1344.75	c GARBAGE COLLECT
1341.22/1344.75	c rational objective 36
1372.94/1376.55	c #Conflicts:     532000 | #Constraints:      79437
1372.94/1376.55	c #Conflicts:     533000 | #Constraints:      80437
1372.94/1376.55	c #Conflicts:     534000 | #Constraints:      81437
1372.94/1376.55	c #Conflicts:     535000 | #Constraints:      82437
1372.94/1376.55	c #Conflicts:     536000 | #Constraints:      83437
1372.94/1376.55	c #Conflicts:     537000 | #Constraints:      84437
1372.94/1376.55	c #Conflicts:     538000 | #Constraints:      85437
1372.94/1376.55	c #Conflicts:     539000 | #Constraints:      86437
1372.94/1376.55	c #Conflicts:     540000 | #Constraints:      87437
1372.94/1376.55	c #Conflicts:     541000 | #Constraints:      88437
1372.94/1376.55	c #Conflicts:     542000 | #Constraints:      89437
1372.94/1376.55	c #Conflicts:     543000 | #Constraints:      90437
1372.94/1376.55	c #Conflicts:     544000 | #Constraints:      91437
1372.94/1376.55	c #Conflicts:     545000 | #Constraints:      92437
1372.94/1376.55	c #Conflicts:     546000 | #Constraints:      93437
1372.94/1376.55	c INPROCESSING
1372.94/1376.55	c GARBAGE COLLECT
1372.94/1376.55	c rational objective 36
1418.83/1422.58	c #Conflicts:     547000 | #Constraints:      79861
1418.83/1422.58	c #Conflicts:     548000 | #Constraints:      80861
1418.83/1422.58	c #Conflicts:     549000 | #Constraints:      81861
1418.83/1422.58	c #Conflicts:     550000 | #Constraints:      82861
1418.83/1422.58	c #Conflicts:     551000 | #Constraints:      83861
1418.83/1422.58	c #Conflicts:     552000 | #Constraints:      84861
1418.83/1422.58	c #Conflicts:     553000 | #Constraints:      85861
1418.83/1422.58	c #Conflicts:     554000 | #Constraints:      86861
1418.83/1422.58	c #Conflicts:     555000 | #Constraints:      87861
1418.83/1422.58	c #Conflicts:     556000 | #Constraints:      88861
1418.83/1422.58	c #Conflicts:     557000 | #Constraints:      89861
1418.83/1422.58	c #Conflicts:     558000 | #Constraints:      90861
1418.83/1422.58	c #Conflicts:     559000 | #Constraints:      91861
1418.83/1422.58	c #Conflicts:     560000 | #Constraints:      92861
1418.83/1422.58	c #Conflicts:     561000 | #Constraints:      93861
1418.83/1422.58	c INPROCESSING
1418.83/1422.58	c GARBAGE COLLECT
1418.83/1422.58	c rational objective 36
1437.08/1440.82	c #Conflicts:     562000 | #Constraints:      80080
1437.08/1440.82	c #Conflicts:     563000 | #Constraints:      81080
1437.08/1440.82	c #Conflicts:     564000 | #Constraints:      82080
1437.08/1440.82	c #Conflicts:     565000 | #Constraints:      83080
1437.08/1440.82	c #Conflicts:     566000 | #Constraints:      84080
1437.08/1440.82	c #Conflicts:     567000 | #Constraints:      85080
1437.08/1440.82	c #Conflicts:     568000 | #Constraints:      86080
1437.08/1440.82	c #Conflicts:     569000 | #Constraints:      87080
1437.08/1440.82	c #Conflicts:     570000 | #Constraints:      88080
1437.08/1440.82	c #Conflicts:     571000 | #Constraints:      89080
1437.08/1440.82	c #Conflicts:     572000 | #Constraints:      90080
1437.08/1440.82	c #Conflicts:     573000 | #Constraints:      91080
1437.08/1440.82	c #Conflicts:     574000 | #Constraints:      92080
1437.08/1440.82	c #Conflicts:     575000 | #Constraints:      93080
1437.08/1440.82	c bounds 79 >= 38 @ 1429.91
1485.46/1489.34	c #Conflicts:     576000 | #Constraints:      94092
1485.46/1489.34	c INPROCESSING
1485.46/1489.34	c GARBAGE COLLECT
1485.46/1489.34	c rational objective 38
1517.47/1521.45	c #Conflicts:     577000 | #Constraints:      80075
1517.47/1521.45	c #Conflicts:     578000 | #Constraints:      81075
1517.47/1521.45	c #Conflicts:     579000 | #Constraints:      82075
1517.47/1521.45	c #Conflicts:     580000 | #Constraints:      83075
1517.47/1521.45	c #Conflicts:     581000 | #Constraints:      84075
1517.47/1521.45	c #Conflicts:     582000 | #Constraints:      85075
1517.47/1521.45	c #Conflicts:     583000 | #Constraints:      86075
1517.47/1521.45	c #Conflicts:     584000 | #Constraints:      87075
1517.47/1521.45	c #Conflicts:     585000 | #Constraints:      88075
1517.47/1521.45	c #Conflicts:     586000 | #Constraints:      89075
1517.47/1521.45	c #Conflicts:     587000 | #Constraints:      90075
1517.47/1521.45	c #Conflicts:     588000 | #Constraints:      91075
1517.47/1521.45	c #Conflicts:     589000 | #Constraints:      92075
1517.47/1521.45	c #Conflicts:     590000 | #Constraints:      93075
1517.47/1521.45	c #Conflicts:     591000 | #Constraints:      94075
1517.47/1521.45	c INPROCESSING
1517.47/1521.45	c GARBAGE COLLECT
1517.47/1521.45	c rational objective 38
1562.26/1566.30	c #Conflicts:     592000 | #Constraints:      79857
1562.26/1566.30	c #Conflicts:     593000 | #Constraints:      80857
1562.26/1566.30	c #Conflicts:     594000 | #Constraints:      81857
1562.26/1566.30	c #Conflicts:     595000 | #Constraints:      82857
1562.26/1566.30	c #Conflicts:     596000 | #Constraints:      83857
1562.26/1566.30	c #Conflicts:     597000 | #Constraints:      84857
1562.26/1566.30	c #Conflicts:     598000 | #Constraints:      85857
1562.26/1566.30	c #Conflicts:     599000 | #Constraints:      86857
1562.26/1566.30	c #Conflicts:     600000 | #Constraints:      87857
1562.26/1566.30	c #Conflicts:     601000 | #Constraints:      88857
1562.26/1566.30	c #Conflicts:     602000 | #Constraints:      89857
1562.26/1566.30	c #Conflicts:     603000 | #Constraints:      90857
1562.26/1566.30	c #Conflicts:     604000 | #Constraints:      91857
1562.26/1566.30	c #Conflicts:     605000 | #Constraints:      92857
1562.26/1566.30	c #Conflicts:     606000 | #Constraints:      93857
1562.26/1566.30	c #Conflicts:     607000 | #Constraints:      94857
1562.26/1566.30	c INPROCESSING
1562.26/1566.30	c GARBAGE COLLECT
1562.26/1566.30	c rational objective 38
1582.80/1586.91	c #Conflicts:     608000 | #Constraints:      80472
1582.80/1586.91	c #Conflicts:     609000 | #Constraints:      81472
1582.80/1586.91	c #Conflicts:     610000 | #Constraints:      82472
1582.80/1586.91	c #Conflicts:     611000 | #Constraints:      83472
1582.80/1586.91	c #Conflicts:     612000 | #Constraints:      84472
1582.80/1586.91	c #Conflicts:     613000 | #Constraints:      85472
1582.80/1586.91	c #Conflicts:     614000 | #Constraints:      86472
1582.80/1586.91	c #Conflicts:     615000 | #Constraints:      87472
1582.80/1586.91	c #Conflicts:     616000 | #Constraints:      88472
1582.80/1586.91	c #Conflicts:     617000 | #Constraints:      89472
1582.80/1586.91	c #Conflicts:     618000 | #Constraints:      90472
1582.80/1586.91	c #Conflicts:     619000 | #Constraints:      91472
1582.80/1586.91	c #Conflicts:     620000 | #Constraints:      92472
1582.80/1586.91	c #Conflicts:     621000 | #Constraints:      93472
1582.80/1586.91	c #Conflicts:     622000 | #Constraints:      94472
1582.80/1586.91	c #Conflicts:     623000 | #Constraints:      95472
1582.80/1586.91	c INPROCESSING
1582.80/1586.91	c GARBAGE COLLECT
1582.80/1586.91	c rational objective 38
1610.63/1614.84	c #Conflicts:     624000 | #Constraints:      80863
1610.63/1614.84	c #Conflicts:     625000 | #Constraints:      81863
1610.63/1614.84	c #Conflicts:     626000 | #Constraints:      82863
1610.63/1614.84	c #Conflicts:     627000 | #Constraints:      83863
1610.63/1614.84	c #Conflicts:     628000 | #Constraints:      84863
1610.63/1614.84	c #Conflicts:     629000 | #Constraints:      85863
1610.63/1614.84	c #Conflicts:     630000 | #Constraints:      86863
1610.63/1614.84	c #Conflicts:     631000 | #Constraints:      87863
1610.63/1614.84	c #Conflicts:     632000 | #Constraints:      88863
1610.63/1614.84	c #Conflicts:     633000 | #Constraints:      89863
1610.63/1614.84	c #Conflicts:     634000 | #Constraints:      90863
1610.63/1614.84	c #Conflicts:     635000 | #Constraints:      91863
1610.63/1614.84	c #Conflicts:     636000 | #Constraints:      92863
1610.63/1614.84	c #Conflicts:     637000 | #Constraints:      93863
1610.63/1614.84	c #Conflicts:     638000 | #Constraints:      94863
1610.63/1614.84	c #Conflicts:     639000 | #Constraints:      95863
1610.63/1614.84	c INPROCESSING
1610.63/1614.84	c GARBAGE COLLECT
1610.63/1614.84	c rational objective 38
1675.56/1679.96	c #Conflicts:     640000 | #Constraints:      81072
1675.56/1679.96	c #Conflicts:     641000 | #Constraints:      82072
1675.56/1679.96	c #Conflicts:     642000 | #Constraints:      83072
1675.56/1679.96	c #Conflicts:     643000 | #Constraints:      84072
1675.56/1679.96	c #Conflicts:     644000 | #Constraints:      85072
1675.56/1679.96	c #Conflicts:     645000 | #Constraints:      86072
1675.56/1679.96	c #Conflicts:     646000 | #Constraints:      87072
1675.56/1679.96	c #Conflicts:     647000 | #Constraints:      88072
1675.56/1679.96	c #Conflicts:     648000 | #Constraints:      89072
1675.56/1679.96	c #Conflicts:     649000 | #Constraints:      90072
1675.56/1679.96	c #Conflicts:     650000 | #Constraints:      91072
1675.56/1679.96	c #Conflicts:     651000 | #Constraints:      92072
1675.56/1679.96	c #Conflicts:     652000 | #Constraints:      93072
1675.56/1679.96	c #Conflicts:     653000 | #Constraints:      94072
1675.56/1679.96	c #Conflicts:     654000 | #Constraints:      95072
1675.56/1679.96	c #Conflicts:     655000 | #Constraints:      96072
1675.56/1679.96	c INPROCESSING
1675.56/1679.96	c GARBAGE COLLECT
1675.56/1679.96	c rational objective 38
1713.47/1717.98	c #Conflicts:     656000 | #Constraints:      81056
1713.47/1717.98	c #Conflicts:     657000 | #Constraints:      82056
1713.47/1717.98	c #Conflicts:     658000 | #Constraints:      83056
1713.47/1717.98	c #Conflicts:     659000 | #Constraints:      84056
1713.47/1717.98	c #Conflicts:     660000 | #Constraints:      85056
1713.47/1717.98	c #Conflicts:     661000 | #Constraints:      86056
1713.47/1717.98	c #Conflicts:     662000 | #Constraints:      87056
1713.47/1717.98	c #Conflicts:     663000 | #Constraints:      88056
1713.47/1717.98	c #Conflicts:     664000 | #Constraints:      89056
1713.47/1717.98	c #Conflicts:     665000 | #Constraints:      90056
1713.47/1717.98	c #Conflicts:     666000 | #Constraints:      91056
1713.47/1717.98	c #Conflicts:     667000 | #Constraints:      92056
1713.47/1717.98	c #Conflicts:     668000 | #Constraints:      93056
1713.47/1717.98	c #Conflicts:     669000 | #Constraints:      94056
1713.47/1717.98	c #Conflicts:     670000 | #Constraints:      95056
1713.47/1717.98	c #Conflicts:     671000 | #Constraints:      96056
1713.47/1717.98	c INPROCESSING
1713.47/1717.98	c GARBAGE COLLECT
1713.47/1717.98	c rational objective 38
1732.32/1736.87	c #Conflicts:     672000 | #Constraints:      80907
1732.32/1736.87	c #Conflicts:     673000 | #Constraints:      81907
1732.32/1736.87	c #Conflicts:     674000 | #Constraints:      82907
1732.32/1736.87	c #Conflicts:     675000 | #Constraints:      83907
1732.32/1736.87	c #Conflicts:     676000 | #Constraints:      84907
1732.32/1736.87	c #Conflicts:     677000 | #Constraints:      85907
1732.32/1736.87	c #Conflicts:     678000 | #Constraints:      86907
1732.32/1736.87	c #Conflicts:     679000 | #Constraints:      87907
1732.32/1736.87	c #Conflicts:     680000 | #Constraints:      88907
1732.32/1736.87	c #Conflicts:     681000 | #Constraints:      89907
1732.32/1736.87	c #Conflicts:     682000 | #Constraints:      90907
1732.32/1736.87	c #Conflicts:     683000 | #Constraints:      91907
1732.32/1736.87	c #Conflicts:     684000 | #Constraints:      92907
1732.32/1736.87	c #Conflicts:     685000 | #Constraints:      93907
1732.32/1736.87	c #Conflicts:     686000 | #Constraints:      94907
1732.32/1736.87	c #Conflicts:     687000 | #Constraints:      95907
1732.32/1736.87	c #Conflicts:     688000 | #Constraints:      96907
1732.32/1736.87	c INPROCESSING
1732.32/1736.87	c GARBAGE COLLECT
1732.32/1736.87	c rational objective 38
1784.38/1789.01	c #Conflicts:     689000 | #Constraints:      81475
1784.38/1789.01	c #Conflicts:     690000 | #Constraints:      82475
1784.38/1789.01	c #Conflicts:     691000 | #Constraints:      83475
1784.38/1789.01	c #Conflicts:     692000 | #Constraints:      84475
1784.38/1789.01	c #Conflicts:     693000 | #Constraints:      85475
1784.38/1789.01	c #Conflicts:     694000 | #Constraints:      86475
1784.38/1789.01	c #Conflicts:     695000 | #Constraints:      87475
1784.38/1789.01	c #Conflicts:     696000 | #Constraints:      88475
1784.38/1789.01	c #Conflicts:     697000 | #Constraints:      89475
1784.38/1789.01	c #Conflicts:     698000 | #Constraints:      90475
1784.38/1789.01	c #Conflicts:     699000 | #Constraints:      91475
1784.38/1789.01	c #Conflicts:     700000 | #Constraints:      92475
1784.38/1789.01	c #Conflicts:     701000 | #Constraints:      93475
1784.38/1789.01	c #Conflicts:     702000 | #Constraints:      94475
1784.38/1789.01	c #Conflicts:     703000 | #Constraints:      95475
1784.38/1789.01	c #Conflicts:     704000 | #Constraints:      96475
1784.38/1789.01	c #Conflicts:     705000 | #Constraints:      97475
1784.38/1789.01	c INPROCESSING
1784.38/1789.01	c GARBAGE COLLECT
1784.38/1789.01	c rational objective 38
1818.99/1823.74	c #Conflicts:     706000 | #Constraints:      81873
1818.99/1823.74	c #Conflicts:     707000 | #Constraints:      82873
1818.99/1823.74	c #Conflicts:     708000 | #Constraints:      83873
1818.99/1823.74	c #Conflicts:     709000 | #Constraints:      84873
1818.99/1823.74	c #Conflicts:     710000 | #Constraints:      85873
1818.99/1823.74	c #Conflicts:     711000 | #Constraints:      86873
1818.99/1823.74	c #Conflicts:     712000 | #Constraints:      87873
1818.99/1823.74	c #Conflicts:     713000 | #Constraints:      88873
1818.99/1823.74	c #Conflicts:     714000 | #Constraints:      89873
1818.99/1823.74	c #Conflicts:     715000 | #Constraints:      90873
1818.99/1823.74	c #Conflicts:     716000 | #Constraints:      91873
1818.99/1823.74	c #Conflicts:     717000 | #Constraints:      92873
1818.99/1823.74	c #Conflicts:     718000 | #Constraints:      93873
1818.99/1823.74	c #Conflicts:     719000 | #Constraints:      94873
1818.99/1823.74	c #Conflicts:     720000 | #Constraints:      95873
1818.99/1823.74	c #Conflicts:     721000 | #Constraints:      96873
1818.99/1823.74	c #Conflicts:     722000 | #Constraints:      97873
1818.99/1823.74	c INPROCESSING
1818.99/1823.74	c GARBAGE COLLECT
1818.99/1823.74	c rational objective 38
1822.49/1827.23	c #Conflicts:     723000 | #Constraints:      82130
1822.49/1827.23	c #Conflicts:     724000 | #Constraints:      83130
1822.49/1827.23	c #Conflicts:     725000 | #Constraints:      84130
1822.49/1827.23	c #Conflicts:     726000 | #Constraints:      85130
1822.49/1827.23	c #Conflicts:     727000 | #Constraints:      86130
1822.49/1827.23	c #Conflicts:     728000 | #Constraints:      87130
1822.49/1827.23	c #Conflicts:     729000 | #Constraints:      88130
1822.49/1827.23	c #Conflicts:     730000 | #Constraints:      89130
1822.49/1827.23	c bounds 79 >= 40 @ 1813.62
1840.95/1845.76	c #Conflicts:     731000 | #Constraints:      90139
1840.95/1845.76	c #Conflicts:     732000 | #Constraints:      91139
1840.95/1845.76	c #Conflicts:     733000 | #Constraints:      92139
1840.95/1845.76	c #Conflicts:     734000 | #Constraints:      93139
1840.95/1845.76	c #Conflicts:     735000 | #Constraints:      94139
1840.95/1845.76	c #Conflicts:     736000 | #Constraints:      95139
1840.95/1845.76	c #Conflicts:     737000 | #Constraints:      96139
1840.95/1845.76	c #Conflicts:     738000 | #Constraints:      97139
1840.95/1845.76	c #Conflicts:     739000 | #Constraints:      98139
1840.95/1845.76	c INPROCESSING
1840.95/1845.76	c GARBAGE COLLECT
1840.95/1845.76	c rational objective 40
1889.62/1894.50	c #Conflicts:     740000 | #Constraints:      82093
1889.62/1894.50	c #Conflicts:     741000 | #Constraints:      83093
1889.62/1894.50	c #Conflicts:     742000 | #Constraints:      84093
1889.62/1894.50	c #Conflicts:     743000 | #Constraints:      85093
1889.62/1894.50	c #Conflicts:     744000 | #Constraints:      86093
1889.62/1894.50	c #Conflicts:     745000 | #Constraints:      87093
1889.62/1894.50	c #Conflicts:     746000 | #Constraints:      88093
1889.62/1894.50	c #Conflicts:     747000 | #Constraints:      89093
1889.62/1894.50	c #Conflicts:     748000 | #Constraints:      90093
1889.62/1894.50	c #Conflicts:     749000 | #Constraints:      91093
1889.62/1894.50	c #Conflicts:     750000 | #Constraints:      92093
1889.62/1894.50	c #Conflicts:     751000 | #Constraints:      93093
1889.62/1894.50	c #Conflicts:     752000 | #Constraints:      94093
1889.62/1894.50	c #Conflicts:     753000 | #Constraints:      95093
1889.62/1894.50	c #Conflicts:     754000 | #Constraints:      96093
1889.62/1894.50	c #Conflicts:     755000 | #Constraints:      97093
1889.62/1894.50	c #Conflicts:     756000 | #Constraints:      98093
1889.62/1894.50	c INPROCESSING
1889.62/1894.50	c GARBAGE COLLECT
1889.62/1894.50	c rational objective 40
1895.01/1899.96	c #Conflicts:     757000 | #Constraints:      81882
1895.01/1899.96	c #Conflicts:     758000 | #Constraints:      82882
1895.01/1899.96	c #Conflicts:     759000 | #Constraints:      83882
1895.01/1899.96	c #Conflicts:     760000 | #Constraints:      84882
1895.01/1899.96	c #Conflicts:     761000 | #Constraints:      85882
1895.01/1899.96	c #Conflicts:     762000 | #Constraints:      86882
1895.01/1899.96	c #Conflicts:     763000 | #Constraints:      87882
1895.01/1899.96	c #Conflicts:     764000 | #Constraints:      88882
1895.01/1899.96	c #Conflicts:     765000 | #Constraints:      89882
1895.01/1899.96	c #Conflicts:     766000 | #Constraints:      90882
1895.01/1899.96	c #Conflicts:     767000 | #Constraints:      91882
1895.01/1899.96	c #Conflicts:     768000 | #Constraints:      92882
1895.01/1899.96	c bounds 79 >= 42 @ 1885.79
1939.09/1944.13	c #Conflicts:     769000 | #Constraints:      93897
1939.09/1944.13	c #Conflicts:     770000 | #Constraints:      94897
1939.09/1944.13	c #Conflicts:     771000 | #Constraints:      95897
1939.09/1944.13	c #Conflicts:     772000 | #Constraints:      96897
1939.09/1944.13	c #Conflicts:     773000 | #Constraints:      97897
1939.09/1944.13	c #Conflicts:     774000 | #Constraints:      98897
1939.09/1944.13	c INPROCESSING
1939.09/1944.13	c GARBAGE COLLECT
1939.09/1944.13	c rational objective 42
1972.59/1977.77	c #Conflicts:     775000 | #Constraints:      82482
1972.59/1977.77	c #Conflicts:     776000 | #Constraints:      83482
1972.59/1977.77	c #Conflicts:     777000 | #Constraints:      84482
1972.59/1977.77	c #Conflicts:     778000 | #Constraints:      85482
1972.59/1977.77	c #Conflicts:     779000 | #Constraints:      86482
1972.59/1977.77	c #Conflicts:     780000 | #Constraints:      87482
1972.59/1977.77	c #Conflicts:     781000 | #Constraints:      88482
1972.59/1977.77	c #Conflicts:     782000 | #Constraints:      89482
1972.59/1977.77	c #Conflicts:     783000 | #Constraints:      90482
1972.59/1977.77	c #Conflicts:     784000 | #Constraints:      91482
1972.59/1977.77	c #Conflicts:     785000 | #Constraints:      92482
1972.59/1977.77	c #Conflicts:     786000 | #Constraints:      93482
1972.59/1977.77	c #Conflicts:     787000 | #Constraints:      94482
1972.59/1977.77	c #Conflicts:     788000 | #Constraints:      95482
1972.59/1977.77	c #Conflicts:     789000 | #Constraints:      96482
1972.59/1977.77	c #Conflicts:     790000 | #Constraints:      97482
1972.59/1977.77	c #Conflicts:     791000 | #Constraints:      98482
1972.59/1977.77	c #Conflicts:     792000 | #Constraints:      99482
1972.59/1977.77	c INPROCESSING
1972.59/1977.77	c GARBAGE COLLECT
1972.59/1977.77	c rational objective 42
2023.36/2028.63	c #Conflicts:     793000 | #Constraints:      82908
2023.36/2028.63	c #Conflicts:     794000 | #Constraints:      83908
2023.36/2028.63	c #Conflicts:     795000 | #Constraints:      84908
2023.36/2028.63	c #Conflicts:     796000 | #Constraints:      85908
2023.36/2028.63	c #Conflicts:     797000 | #Constraints:      86908
2023.36/2028.63	c #Conflicts:     798000 | #Constraints:      87908
2023.36/2028.63	c #Conflicts:     799000 | #Constraints:      88908
2023.36/2028.63	c #Conflicts:     800000 | #Constraints:      89908
2023.36/2028.63	c #Conflicts:     801000 | #Constraints:      90908
2023.36/2028.63	c #Conflicts:     802000 | #Constraints:      91908
2023.36/2028.63	c #Conflicts:     803000 | #Constraints:      92908
2023.36/2028.63	c #Conflicts:     804000 | #Constraints:      93908
2023.36/2028.63	c #Conflicts:     805000 | #Constraints:      94908
2023.36/2028.63	c #Conflicts:     806000 | #Constraints:      95908
2023.36/2028.63	c #Conflicts:     807000 | #Constraints:      96908
2023.36/2028.63	c #Conflicts:     808000 | #Constraints:      97908
2023.36/2028.63	c #Conflicts:     809000 | #Constraints:      98908
2023.36/2028.63	c #Conflicts:     810000 | #Constraints:      99908
2023.36/2028.63	c INPROCESSING
2023.36/2028.63	c GARBAGE COLLECT
2023.36/2028.63	c rational objective 42
2058.07/2063.43	c #Conflicts:     811000 | #Constraints:      83127
2058.07/2063.43	c #Conflicts:     812000 | #Constraints:      84127
2058.07/2063.43	c #Conflicts:     813000 | #Constraints:      85127
2058.07/2063.43	c #Conflicts:     814000 | #Constraints:      86127
2058.07/2063.43	c #Conflicts:     815000 | #Constraints:      87127
2058.07/2063.43	c #Conflicts:     816000 | #Constraints:      88127
2058.07/2063.43	c #Conflicts:     817000 | #Constraints:      89127
2058.07/2063.43	c #Conflicts:     818000 | #Constraints:      90127
2058.07/2063.43	c #Conflicts:     819000 | #Constraints:      91127
2058.07/2063.43	c #Conflicts:     820000 | #Constraints:      92127
2058.07/2063.43	c #Conflicts:     821000 | #Constraints:      93127
2058.07/2063.43	c #Conflicts:     822000 | #Constraints:      94127
2058.07/2063.43	c #Conflicts:     823000 | #Constraints:      95127
2058.07/2063.43	c #Conflicts:     824000 | #Constraints:      96127
2058.07/2063.43	c #Conflicts:     825000 | #Constraints:      97127
2058.07/2063.43	c #Conflicts:     826000 | #Constraints:      98127
2058.07/2063.43	c #Conflicts:     827000 | #Constraints:      99127
2058.07/2063.43	c #Conflicts:     828000 | #Constraints:     100127
2058.07/2063.43	c INPROCESSING
2058.07/2063.43	c GARBAGE COLLECT
2058.07/2063.43	c rational objective 42
2080.02/2085.41	c #Conflicts:     829000 | #Constraints:      83152
2080.02/2085.41	c #Conflicts:     830000 | #Constraints:      84152
2080.02/2085.41	c #Conflicts:     831000 | #Constraints:      85152
2080.02/2085.41	c #Conflicts:     832000 | #Constraints:      86152
2080.02/2085.41	c #Conflicts:     833000 | #Constraints:      87152
2080.02/2085.41	c #Conflicts:     834000 | #Constraints:      88152
2080.02/2085.41	c #Conflicts:     835000 | #Constraints:      89152
2080.02/2085.41	c #Conflicts:     836000 | #Constraints:      90152
2080.02/2085.41	c #Conflicts:     837000 | #Constraints:      91152
2080.02/2085.41	c #Conflicts:     838000 | #Constraints:      92152
2080.02/2085.41	c #Conflicts:     839000 | #Constraints:      93152
2080.02/2085.41	c #Conflicts:     840000 | #Constraints:      94152
2080.02/2085.41	c #Conflicts:     841000 | #Constraints:      95152
2080.02/2085.41	c #Conflicts:     842000 | #Constraints:      96152
2080.02/2085.41	c #Conflicts:     843000 | #Constraints:      97152
2080.02/2085.41	c #Conflicts:     844000 | #Constraints:      98152
2080.02/2085.41	c #Conflicts:     845000 | #Constraints:      99152
2080.02/2085.41	c #Conflicts:     846000 | #Constraints:     100152
2080.02/2085.41	c INPROCESSING
2080.02/2085.41	c GARBAGE COLLECT
2080.02/2085.41	c rational objective 42
2106.85/2112.38	c #Conflicts:     847000 | #Constraints:      82907
2106.85/2112.38	c #Conflicts:     848000 | #Constraints:      83907
2106.85/2112.38	c #Conflicts:     849000 | #Constraints:      84907
2106.85/2112.38	c #Conflicts:     850000 | #Constraints:      85907
2106.85/2112.38	c #Conflicts:     851000 | #Constraints:      86907
2106.85/2112.38	c #Conflicts:     852000 | #Constraints:      87907
2106.85/2112.38	c #Conflicts:     853000 | #Constraints:      88907
2106.85/2112.38	c #Conflicts:     854000 | #Constraints:      89907
2106.85/2112.38	c #Conflicts:     855000 | #Constraints:      90907
2106.85/2112.38	c #Conflicts:     856000 | #Constraints:      91907
2106.85/2112.38	c #Conflicts:     857000 | #Constraints:      92907
2106.85/2112.38	c #Conflicts:     858000 | #Constraints:      93907
2106.85/2112.38	c #Conflicts:     859000 | #Constraints:      94907
2106.85/2112.38	c #Conflicts:     860000 | #Constraints:      95907
2106.85/2112.38	c #Conflicts:     861000 | #Constraints:      96907
2106.85/2112.38	c #Conflicts:     862000 | #Constraints:      97907
2106.85/2112.38	c #Conflicts:     863000 | #Constraints:      98907
2106.85/2112.38	c #Conflicts:     864000 | #Constraints:      99907
2106.85/2112.38	c #Conflicts:     865000 | #Constraints:     100907
2106.85/2112.38	c INPROCESSING
2106.85/2112.38	c GARBAGE COLLECT
2106.85/2112.38	c rational objective 42
2136.77/2142.39	c #Conflicts:     866000 | #Constraints:      83484
2136.77/2142.39	c #Conflicts:     867000 | #Constraints:      84484
2136.77/2142.39	c #Conflicts:     868000 | #Constraints:      85484
2136.77/2142.39	c #Conflicts:     869000 | #Constraints:      86484
2136.77/2142.39	c #Conflicts:     870000 | #Constraints:      87484
2136.77/2142.39	c #Conflicts:     871000 | #Constraints:      88484
2136.77/2142.39	c #Conflicts:     872000 | #Constraints:      89484
2136.77/2142.39	c #Conflicts:     873000 | #Constraints:      90484
2136.77/2142.39	c #Conflicts:     874000 | #Constraints:      91484
2136.77/2142.39	c #Conflicts:     875000 | #Constraints:      92484
2136.77/2142.39	c #Conflicts:     876000 | #Constraints:      93484
2136.77/2142.39	c #Conflicts:     877000 | #Constraints:      94484
2136.77/2142.39	c #Conflicts:     878000 | #Constraints:      95484
2136.77/2142.39	c #Conflicts:     879000 | #Constraints:      96484
2136.77/2142.39	c #Conflicts:     880000 | #Constraints:      97484
2136.77/2142.39	c #Conflicts:     881000 | #Constraints:      98484
2136.77/2142.39	c #Conflicts:     882000 | #Constraints:      99484
2136.77/2142.39	c #Conflicts:     883000 | #Constraints:     100484
2136.77/2142.39	c #Conflicts:     884000 | #Constraints:     101484
2136.77/2142.39	c INPROCESSING
2136.77/2142.39	c GARBAGE COLLECT
2136.77/2142.39	c rational objective 42
2188.14/2193.82	c #Conflicts:     885000 | #Constraints:      83877
2188.14/2193.82	c #Conflicts:     886000 | #Constraints:      84877
2188.14/2193.82	c #Conflicts:     887000 | #Constraints:      85877
2188.14/2193.82	c #Conflicts:     888000 | #Constraints:      86877
2188.14/2193.82	c #Conflicts:     889000 | #Constraints:      87877
2188.14/2193.82	c #Conflicts:     890000 | #Constraints:      88877
2188.14/2193.82	c #Conflicts:     891000 | #Constraints:      89877
2188.14/2193.82	c #Conflicts:     892000 | #Constraints:      90877
2188.14/2193.82	c #Conflicts:     893000 | #Constraints:      91877
2188.14/2193.82	c #Conflicts:     894000 | #Constraints:      92877
2188.14/2193.82	c #Conflicts:     895000 | #Constraints:      93877
2188.14/2193.82	c #Conflicts:     896000 | #Constraints:      94877
2188.14/2193.82	c #Conflicts:     897000 | #Constraints:      95877
2188.14/2193.82	c #Conflicts:     898000 | #Constraints:      96877
2188.14/2193.82	c #Conflicts:     899000 | #Constraints:      97877
2188.14/2193.82	c #Conflicts:     900000 | #Constraints:      98877
2188.14/2193.82	c #Conflicts:     901000 | #Constraints:      99877
2188.14/2193.82	c #Conflicts:     902000 | #Constraints:     100877
2188.14/2193.82	c #Conflicts:     903000 | #Constraints:     101877
2188.14/2193.82	c INPROCESSING
2188.14/2193.82	c GARBAGE COLLECT
2188.14/2193.82	c rational objective 42
2218.86/2224.63	c #Conflicts:     904000 | #Constraints:      84089
2218.86/2224.63	c #Conflicts:     905000 | #Constraints:      85089
2218.86/2224.63	c #Conflicts:     906000 | #Constraints:      86089
2218.86/2224.63	c #Conflicts:     907000 | #Constraints:      87089
2218.86/2224.63	c #Conflicts:     908000 | #Constraints:      88089
2218.86/2224.63	c #Conflicts:     909000 | #Constraints:      89089
2218.86/2224.63	c #Conflicts:     910000 | #Constraints:      90089
2218.86/2224.63	c #Conflicts:     911000 | #Constraints:      91089
2218.86/2224.63	c #Conflicts:     912000 | #Constraints:      92089
2218.86/2224.63	c #Conflicts:     913000 | #Constraints:      93089
2218.86/2224.63	c #Conflicts:     914000 | #Constraints:      94089
2218.86/2224.63	c #Conflicts:     915000 | #Constraints:      95089
2218.86/2224.63	c #Conflicts:     916000 | #Constraints:      96089
2218.86/2224.63	c #Conflicts:     917000 | #Constraints:      97089
2218.86/2224.63	c #Conflicts:     918000 | #Constraints:      98089
2218.86/2224.63	c #Conflicts:     919000 | #Constraints:      99089
2218.86/2224.63	c #Conflicts:     920000 | #Constraints:     100089
2218.86/2224.63	c #Conflicts:     921000 | #Constraints:     101089
2218.86/2224.63	c #Conflicts:     922000 | #Constraints:     102089
2218.86/2224.63	c INPROCESSING
2218.86/2224.63	c GARBAGE COLLECT
2218.86/2224.63	c rational objective 42
2247.28/2253.19	c #Conflicts:     923000 | #Constraints:      84086
2247.28/2253.19	c #Conflicts:     924000 | #Constraints:      85086
2247.28/2253.19	c #Conflicts:     925000 | #Constraints:      86086
2247.28/2253.19	c #Conflicts:     926000 | #Constraints:      87086
2247.28/2253.19	c #Conflicts:     927000 | #Constraints:      88086
2247.28/2253.19	c #Conflicts:     928000 | #Constraints:      89086
2247.28/2253.19	c #Conflicts:     929000 | #Constraints:      90086
2247.28/2253.19	c #Conflicts:     930000 | #Constraints:      91086
2247.28/2253.19	c #Conflicts:     931000 | #Constraints:      92086
2247.28/2253.19	c #Conflicts:     932000 | #Constraints:      93086
2247.28/2253.19	c #Conflicts:     933000 | #Constraints:      94086
2247.28/2253.19	c #Conflicts:     934000 | #Constraints:      95086
2247.28/2253.19	c #Conflicts:     935000 | #Constraints:      96086
2247.28/2253.19	c #Conflicts:     936000 | #Constraints:      97086
2247.28/2253.19	c #Conflicts:     937000 | #Constraints:      98086
2247.28/2253.19	c #Conflicts:     938000 | #Constraints:      99086
2247.28/2253.19	c #Conflicts:     939000 | #Constraints:     100086
2247.28/2253.19	c #Conflicts:     940000 | #Constraints:     101086
2247.28/2253.19	c #Conflicts:     941000 | #Constraints:     102086
2247.28/2253.19	c INPROCESSING
2247.28/2253.19	c GARBAGE COLLECT
2247.28/2253.19	c rational objective 42
2271.32/2277.29	c #Conflicts:     942000 | #Constraints:      83882
2271.32/2277.29	c #Conflicts:     943000 | #Constraints:      84882
2271.32/2277.29	c #Conflicts:     944000 | #Constraints:      85882
2271.32/2277.29	c #Conflicts:     945000 | #Constraints:      86882
2271.32/2277.29	c #Conflicts:     946000 | #Constraints:      87882
2271.32/2277.29	c #Conflicts:     947000 | #Constraints:      88882
2271.32/2277.29	c #Conflicts:     948000 | #Constraints:      89882
2271.32/2277.29	c #Conflicts:     949000 | #Constraints:      90882
2271.32/2277.29	c #Conflicts:     950000 | #Constraints:      91882
2271.32/2277.29	c #Conflicts:     951000 | #Constraints:      92882
2271.32/2277.29	c #Conflicts:     952000 | #Constraints:      93882
2271.32/2277.29	c #Conflicts:     953000 | #Constraints:      94882
2271.32/2277.29	c #Conflicts:     954000 | #Constraints:      95882
2271.32/2277.29	c #Conflicts:     955000 | #Constraints:      96882
2271.32/2277.29	c #Conflicts:     956000 | #Constraints:      97882
2271.32/2277.29	c #Conflicts:     957000 | #Constraints:      98882
2271.32/2277.29	c #Conflicts:     958000 | #Constraints:      99882
2271.32/2277.29	c #Conflicts:     959000 | #Constraints:     100882
2271.32/2277.29	c #Conflicts:     960000 | #Constraints:     101882
2271.32/2277.29	c #Conflicts:     961000 | #Constraints:     102882
2271.32/2277.29	c INPROCESSING
2271.32/2277.29	c GARBAGE COLLECT
2271.32/2277.29	c rational objective 42
2291.26/2297.26	c #Conflicts:     962000 | #Constraints:      84469
2291.26/2297.26	c #Conflicts:     963000 | #Constraints:      85469
2291.26/2297.26	c #Conflicts:     964000 | #Constraints:      86469
2291.26/2297.26	c #Conflicts:     965000 | #Constraints:      87469
2291.26/2297.26	c #Conflicts:     966000 | #Constraints:      88469
2291.26/2297.26	c #Conflicts:     967000 | #Constraints:      89469
2291.26/2297.26	c #Conflicts:     968000 | #Constraints:      90469
2291.26/2297.26	c #Conflicts:     969000 | #Constraints:      91469
2291.26/2297.26	c #Conflicts:     970000 | #Constraints:      92469
2291.26/2297.26	c #Conflicts:     971000 | #Constraints:      93469
2291.26/2297.26	c #Conflicts:     972000 | #Constraints:      94469
2291.26/2297.26	c #Conflicts:     973000 | #Constraints:      95469
2291.26/2297.26	c #Conflicts:     974000 | #Constraints:      96469
2291.26/2297.26	c #Conflicts:     975000 | #Constraints:      97469
2291.26/2297.26	c #Conflicts:     976000 | #Constraints:      98469
2291.26/2297.26	c #Conflicts:     977000 | #Constraints:      99469
2291.26/2297.26	c #Conflicts:     978000 | #Constraints:     100469
2291.26/2297.26	c #Conflicts:     979000 | #Constraints:     101469
2291.26/2297.26	c #Conflicts:     980000 | #Constraints:     102469
2291.26/2297.26	c #Conflicts:     981000 | #Constraints:     103469
2291.26/2297.26	c INPROCESSING
2291.26/2297.26	c GARBAGE COLLECT
2291.26/2297.26	c rational objective 42
2312.91/2318.90	c #Conflicts:     982000 | #Constraints:      84873
2312.91/2318.90	c #Conflicts:     983000 | #Constraints:      85873
2312.91/2318.90	c #Conflicts:     984000 | #Constraints:      86873
2312.91/2318.90	c #Conflicts:     985000 | #Constraints:      87873
2312.91/2318.90	c #Conflicts:     986000 | #Constraints:      88873
2312.91/2318.90	c #Conflicts:     987000 | #Constraints:      89873
2312.91/2318.90	c #Conflicts:     988000 | #Constraints:      90873
2312.91/2318.90	c #Conflicts:     989000 | #Constraints:      91873
2312.91/2318.90	c #Conflicts:     990000 | #Constraints:      92873
2312.91/2318.90	c #Conflicts:     991000 | #Constraints:      93873
2312.91/2318.90	c #Conflicts:     992000 | #Constraints:      94873
2312.91/2318.90	c #Conflicts:     993000 | #Constraints:      95873
2312.91/2318.90	c #Conflicts:     994000 | #Constraints:      96873
2312.91/2318.90	c #Conflicts:     995000 | #Constraints:      97873
2312.91/2318.90	c #Conflicts:     996000 | #Constraints:      98873
2312.91/2318.90	c #Conflicts:     997000 | #Constraints:      99873
2312.91/2318.90	c #Conflicts:     998000 | #Constraints:     100873
2312.91/2318.90	c #Conflicts:     999000 | #Constraints:     101873
2312.91/2318.90	c #Conflicts:    1000000 | #Constraints:     102873
2312.91/2318.90	c #Conflicts:    1001000 | #Constraints:     103873
2312.91/2318.90	c INPROCESSING
2312.91/2318.90	c GARBAGE COLLECT
2312.91/2318.90	c rational objective 42
2330.57/2336.69	c #Conflicts:    1002000 | #Constraints:      85107
2330.57/2336.69	c #Conflicts:    1003000 | #Constraints:      86107
2330.57/2336.69	c #Conflicts:    1004000 | #Constraints:      87107
2330.57/2336.69	c #Conflicts:    1005000 | #Constraints:      88107
2330.57/2336.69	c #Conflicts:    1006000 | #Constraints:      89107
2330.57/2336.69	c #Conflicts:    1007000 | #Constraints:      90107
2330.57/2336.69	c #Conflicts:    1008000 | #Constraints:      91107
2330.57/2336.69	c #Conflicts:    1009000 | #Constraints:      92107
2330.57/2336.69	c #Conflicts:    1010000 | #Constraints:      93107
2330.57/2336.69	c #Conflicts:    1011000 | #Constraints:      94107
2330.57/2336.69	c #Conflicts:    1012000 | #Constraints:      95107
2330.57/2336.69	c #Conflicts:    1013000 | #Constraints:      96107
2330.57/2336.69	c #Conflicts:    1014000 | #Constraints:      97107
2330.57/2336.69	c #Conflicts:    1015000 | #Constraints:      98107
2330.57/2336.69	c #Conflicts:    1016000 | #Constraints:      99107
2330.57/2336.69	c #Conflicts:    1017000 | #Constraints:     100107
2330.57/2336.69	c #Conflicts:    1018000 | #Constraints:     101107
2330.57/2336.69	c #Conflicts:    1019000 | #Constraints:     102107
2330.57/2336.69	c #Conflicts:    1020000 | #Constraints:     103107
2330.57/2336.69	c #Conflicts:    1021000 | #Constraints:     104107
2330.57/2336.69	c INPROCESSING
2330.57/2336.69	c GARBAGE COLLECT
2330.57/2336.69	c rational objective 42
2409.06/2415.36	c #Conflicts:    1022000 | #Constraints:      85088
2409.06/2415.36	c #Conflicts:    1023000 | #Constraints:      86088
2409.06/2415.36	c #Conflicts:    1024000 | #Constraints:      87088
2409.06/2415.36	c #Conflicts:    1025000 | #Constraints:      88088
2409.06/2415.36	c #Conflicts:    1026000 | #Constraints:      89088
2409.06/2415.36	c #Conflicts:    1027000 | #Constraints:      90088
2409.06/2415.36	c #Conflicts:    1028000 | #Constraints:      91088
2409.06/2415.36	c #Conflicts:    1029000 | #Constraints:      92088
2409.06/2415.36	c #Conflicts:    1030000 | #Constraints:      93088
2409.06/2415.36	c #Conflicts:    1031000 | #Constraints:      94088
2409.06/2415.36	c #Conflicts:    1032000 | #Constraints:      95088
2409.06/2415.36	c #Conflicts:    1033000 | #Constraints:      96088
2409.06/2415.36	c #Conflicts:    1034000 | #Constraints:      97088
2409.06/2415.36	c #Conflicts:    1035000 | #Constraints:      98088
2409.06/2415.36	c #Conflicts:    1036000 | #Constraints:      99088
2409.06/2415.36	c #Conflicts:    1037000 | #Constraints:     100088
2409.06/2415.36	c #Conflicts:    1038000 | #Constraints:     101088
2409.06/2415.36	c #Conflicts:    1039000 | #Constraints:     102088
2409.06/2415.36	c #Conflicts:    1040000 | #Constraints:     103088
2409.06/2415.36	c #Conflicts:    1041000 | #Constraints:     104088
2409.06/2415.36	c INPROCESSING
2409.06/2415.36	c GARBAGE COLLECT
2409.06/2415.36	c rational objective 42
2428.32/2434.68	c #Conflicts:    1042000 | #Constraints:      84880
2428.32/2434.68	c #Conflicts:    1043000 | #Constraints:      85880
2428.32/2434.68	c #Conflicts:    1044000 | #Constraints:      86880
2428.32/2434.68	c #Conflicts:    1045000 | #Constraints:      87880
2428.32/2434.68	c #Conflicts:    1046000 | #Constraints:      88880
2428.32/2434.68	c #Conflicts:    1047000 | #Constraints:      89880
2428.32/2434.68	c #Conflicts:    1048000 | #Constraints:      90880
2428.32/2434.68	c #Conflicts:    1049000 | #Constraints:      91880
2428.32/2434.68	c #Conflicts:    1050000 | #Constraints:      92880
2428.32/2434.68	c #Conflicts:    1051000 | #Constraints:      93880
2428.32/2434.68	c #Conflicts:    1052000 | #Constraints:      94880
2428.32/2434.68	c #Conflicts:    1053000 | #Constraints:      95880
2428.32/2434.68	c #Conflicts:    1054000 | #Constraints:      96880
2428.32/2434.68	c #Conflicts:    1055000 | #Constraints:      97880
2428.32/2434.68	c #Conflicts:    1056000 | #Constraints:      98880
2428.32/2434.68	c #Conflicts:    1057000 | #Constraints:      99880
2428.32/2434.68	c #Conflicts:    1058000 | #Constraints:     100880
2428.32/2434.68	c #Conflicts:    1059000 | #Constraints:     101880
2428.32/2434.68	c #Conflicts:    1060000 | #Constraints:     102880
2428.32/2434.68	c #Conflicts:    1061000 | #Constraints:     103880
2428.32/2434.68	c #Conflicts:    1062000 | #Constraints:     104880
2428.32/2434.68	c INPROCESSING
2428.32/2434.68	c GARBAGE COLLECT
2428.32/2434.68	c rational objective 42
2464.82/2471.28	c #Conflicts:    1063000 | #Constraints:      85478
2464.82/2471.28	c #Conflicts:    1064000 | #Constraints:      86478
2464.82/2471.28	c #Conflicts:    1065000 | #Constraints:      87478
2464.82/2471.28	c #Conflicts:    1066000 | #Constraints:      88478
2464.82/2471.28	c #Conflicts:    1067000 | #Constraints:      89478
2464.82/2471.28	c #Conflicts:    1068000 | #Constraints:      90478
2464.82/2471.28	c #Conflicts:    1069000 | #Constraints:      91478
2464.82/2471.28	c #Conflicts:    1070000 | #Constraints:      92478
2464.82/2471.28	c #Conflicts:    1071000 | #Constraints:      93478
2464.82/2471.28	c #Conflicts:    1072000 | #Constraints:      94478
2464.82/2471.28	c #Conflicts:    1073000 | #Constraints:      95478
2464.82/2471.28	c #Conflicts:    1074000 | #Constraints:      96478
2464.82/2471.28	c #Conflicts:    1075000 | #Constraints:      97478
2464.82/2471.28	c #Conflicts:    1076000 | #Constraints:      98478
2464.82/2471.28	c #Conflicts:    1077000 | #Constraints:      99478
2464.82/2471.28	c #Conflicts:    1078000 | #Constraints:     100478
2464.82/2471.28	c #Conflicts:    1079000 | #Constraints:     101478
2464.82/2471.28	c #Conflicts:    1080000 | #Constraints:     102478
2464.82/2471.28	c #Conflicts:    1081000 | #Constraints:     103478
2464.82/2471.28	c #Conflicts:    1082000 | #Constraints:     104478
2464.82/2471.28	c #Conflicts:    1083000 | #Constraints:     105478
2464.82/2471.28	c INPROCESSING
2464.82/2471.28	c GARBAGE COLLECT
2464.82/2471.28	c rational objective 42
2524.66/2531.28	c #Conflicts:    1084000 | #Constraints:      85874
2524.66/2531.28	c #Conflicts:    1085000 | #Constraints:      86874
2524.66/2531.28	c #Conflicts:    1086000 | #Constraints:      87874
2524.66/2531.28	c #Conflicts:    1087000 | #Constraints:      88874
2524.66/2531.28	c #Conflicts:    1088000 | #Constraints:      89874
2524.66/2531.28	c #Conflicts:    1089000 | #Constraints:      90874
2524.66/2531.28	c #Conflicts:    1090000 | #Constraints:      91874
2524.66/2531.28	c #Conflicts:    1091000 | #Constraints:      92874
2524.66/2531.28	c #Conflicts:    1092000 | #Constraints:      93874
2524.66/2531.28	c #Conflicts:    1093000 | #Constraints:      94874
2524.66/2531.28	c #Conflicts:    1094000 | #Constraints:      95874
2524.66/2531.28	c #Conflicts:    1095000 | #Constraints:      96874
2524.66/2531.28	c #Conflicts:    1096000 | #Constraints:      97874
2524.66/2531.28	c #Conflicts:    1097000 | #Constraints:      98874
2524.66/2531.28	c #Conflicts:    1098000 | #Constraints:      99874
2524.66/2531.28	c #Conflicts:    1099000 | #Constraints:     100874
2524.66/2531.28	c #Conflicts:    1100000 | #Constraints:     101874
2524.66/2531.28	c #Conflicts:    1101000 | #Constraints:     102874
2524.66/2531.28	c #Conflicts:    1102000 | #Constraints:     103874
2524.66/2531.28	c #Conflicts:    1103000 | #Constraints:     104874
2524.66/2531.28	c #Conflicts:    1104000 | #Constraints:     105874
2524.66/2531.28	c INPROCESSING
2524.66/2531.28	c GARBAGE COLLECT
2524.66/2531.28	c rational objective 42
2547.51/2554.11	c #Conflicts:    1105000 | #Constraints:      86069
2547.51/2554.11	c #Conflicts:    1106000 | #Constraints:      87069
2547.51/2554.11	c #Conflicts:    1107000 | #Constraints:      88069
2547.51/2554.11	c #Conflicts:    1108000 | #Constraints:      89069
2547.51/2554.11	c #Conflicts:    1109000 | #Constraints:      90069
2547.51/2554.11	c #Conflicts:    1110000 | #Constraints:      91069
2547.51/2554.11	c #Conflicts:    1111000 | #Constraints:      92069
2547.51/2554.11	c #Conflicts:    1112000 | #Constraints:      93069
2547.51/2554.11	c #Conflicts:    1113000 | #Constraints:      94069
2547.51/2554.11	c #Conflicts:    1114000 | #Constraints:      95069
2547.51/2554.11	c #Conflicts:    1115000 | #Constraints:      96069
2547.51/2554.11	c #Conflicts:    1116000 | #Constraints:      97069
2547.51/2554.11	c #Conflicts:    1117000 | #Constraints:      98069
2547.51/2554.11	c #Conflicts:    1118000 | #Constraints:      99069
2547.51/2554.11	c #Conflicts:    1119000 | #Constraints:     100069
2547.51/2554.11	c #Conflicts:    1120000 | #Constraints:     101069
2547.51/2554.11	c #Conflicts:    1121000 | #Constraints:     102069
2547.51/2554.11	c #Conflicts:    1122000 | #Constraints:     103069
2547.51/2554.11	c #Conflicts:    1123000 | #Constraints:     104069
2547.51/2554.11	c #Conflicts:    1124000 | #Constraints:     105069
2547.51/2554.11	c #Conflicts:    1125000 | #Constraints:     106069
2547.51/2554.11	c INPROCESSING
2547.51/2554.11	c GARBAGE COLLECT
2547.51/2554.11	c rational objective 42
2575.23/2581.97	c #Conflicts:    1126000 | #Constraints:      86076
2575.23/2581.97	c #Conflicts:    1127000 | #Constraints:      87076
2575.23/2581.97	c #Conflicts:    1128000 | #Constraints:      88076
2575.23/2581.97	c #Conflicts:    1129000 | #Constraints:      89076
2575.23/2581.97	c #Conflicts:    1130000 | #Constraints:      90076
2575.23/2581.97	c #Conflicts:    1131000 | #Constraints:      91076
2575.23/2581.97	c #Conflicts:    1132000 | #Constraints:      92076
2575.23/2581.97	c #Conflicts:    1133000 | #Constraints:      93076
2575.23/2581.97	c #Conflicts:    1134000 | #Constraints:      94076
2575.23/2581.97	c #Conflicts:    1135000 | #Constraints:      95076
2575.23/2581.97	c #Conflicts:    1136000 | #Constraints:      96076
2575.23/2581.97	c #Conflicts:    1137000 | #Constraints:      97076
2575.23/2581.97	c #Conflicts:    1138000 | #Constraints:      98076
2575.23/2581.97	c #Conflicts:    1139000 | #Constraints:      99076
2575.23/2581.97	c #Conflicts:    1140000 | #Constraints:     100076
2575.23/2581.97	c #Conflicts:    1141000 | #Constraints:     101076
2575.23/2581.97	c #Conflicts:    1142000 | #Constraints:     102076
2575.23/2581.97	c #Conflicts:    1143000 | #Constraints:     103076
2575.23/2581.97	c #Conflicts:    1144000 | #Constraints:     104076
2575.23/2581.97	c #Conflicts:    1145000 | #Constraints:     105076
2575.23/2581.97	c #Conflicts:    1146000 | #Constraints:     106076
2575.23/2581.97	c INPROCESSING
2575.23/2581.97	c GARBAGE COLLECT
2575.23/2581.97	c rational objective 42
2602.46/2609.29	c #Conflicts:    1147000 | #Constraints:      85886
2602.46/2609.29	c #Conflicts:    1148000 | #Constraints:      86886
2602.46/2609.29	c #Conflicts:    1149000 | #Constraints:      87886
2602.46/2609.29	c #Conflicts:    1150000 | #Constraints:      88886
2602.46/2609.29	c #Conflicts:    1151000 | #Constraints:      89886
2602.46/2609.29	c #Conflicts:    1152000 | #Constraints:      90886
2602.46/2609.29	c #Conflicts:    1153000 | #Constraints:      91886
2602.46/2609.29	c #Conflicts:    1154000 | #Constraints:      92886
2602.46/2609.29	c #Conflicts:    1155000 | #Constraints:      93886
2602.46/2609.29	c #Conflicts:    1156000 | #Constraints:      94886
2602.46/2609.29	c #Conflicts:    1157000 | #Constraints:      95886
2602.46/2609.29	c #Conflicts:    1158000 | #Constraints:      96886
2602.46/2609.29	c #Conflicts:    1159000 | #Constraints:      97886
2602.46/2609.29	c #Conflicts:    1160000 | #Constraints:      98886
2602.46/2609.29	c #Conflicts:    1161000 | #Constraints:      99886
2602.46/2609.29	c #Conflicts:    1162000 | #Constraints:     100886
2602.46/2609.29	c #Conflicts:    1163000 | #Constraints:     101886
2602.46/2609.29	c #Conflicts:    1164000 | #Constraints:     102886
2602.46/2609.29	c #Conflicts:    1165000 | #Constraints:     103886
2602.46/2609.29	c #Conflicts:    1166000 | #Constraints:     104886
2602.46/2609.29	c #Conflicts:    1167000 | #Constraints:     105886
2602.46/2609.29	c #Conflicts:    1168000 | #Constraints:     106886
2602.46/2609.29	c INPROCESSING
2602.46/2609.29	c GARBAGE COLLECT
2602.46/2609.29	c rational objective 42
2641.27/2648.19	c #Conflicts:    1169000 | #Constraints:      86482
2641.27/2648.19	c #Conflicts:    1170000 | #Constraints:      87482
2641.27/2648.19	c #Conflicts:    1171000 | #Constraints:      88482
2641.27/2648.19	c #Conflicts:    1172000 | #Constraints:      89482
2641.27/2648.19	c #Conflicts:    1173000 | #Constraints:      90482
2641.27/2648.19	c #Conflicts:    1174000 | #Constraints:      91482
2641.27/2648.19	c #Conflicts:    1175000 | #Constraints:      92482
2641.27/2648.19	c #Conflicts:    1176000 | #Constraints:      93482
2641.27/2648.19	c #Conflicts:    1177000 | #Constraints:      94482
2641.27/2648.19	c #Conflicts:    1178000 | #Constraints:      95482
2641.27/2648.19	c #Conflicts:    1179000 | #Constraints:      96482
2641.27/2648.19	c #Conflicts:    1180000 | #Constraints:      97482
2641.27/2648.19	c #Conflicts:    1181000 | #Constraints:      98482
2641.27/2648.19	c #Conflicts:    1182000 | #Constraints:      99482
2641.27/2648.19	c #Conflicts:    1183000 | #Constraints:     100482
2641.27/2648.19	c #Conflicts:    1184000 | #Constraints:     101482
2641.27/2648.19	c #Conflicts:    1185000 | #Constraints:     102482
2641.27/2648.19	c #Conflicts:    1186000 | #Constraints:     103482
2641.27/2648.19	c #Conflicts:    1187000 | #Constraints:     104482
2641.27/2648.19	c #Conflicts:    1188000 | #Constraints:     105482
2641.27/2648.19	c #Conflicts:    1189000 | #Constraints:     106482
2641.27/2648.19	c #Conflicts:    1190000 | #Constraints:     107482
2641.27/2648.19	c INPROCESSING
2641.27/2648.19	c GARBAGE COLLECT
2641.27/2648.19	c rational objective 42
2727.64/2734.79	c #Conflicts:    1191000 | #Constraints:      86880
2727.64/2734.79	c #Conflicts:    1192000 | #Constraints:      87880
2727.64/2734.79	c #Conflicts:    1193000 | #Constraints:      88880
2727.64/2734.79	c #Conflicts:    1194000 | #Constraints:      89880
2727.64/2734.79	c #Conflicts:    1195000 | #Constraints:      90880
2727.64/2734.79	c #Conflicts:    1196000 | #Constraints:      91880
2727.64/2734.79	c #Conflicts:    1197000 | #Constraints:      92880
2727.64/2734.79	c #Conflicts:    1198000 | #Constraints:      93880
2727.64/2734.79	c #Conflicts:    1199000 | #Constraints:      94880
2727.64/2734.79	c #Conflicts:    1200000 | #Constraints:      95880
2727.64/2734.79	c #Conflicts:    1201000 | #Constraints:      96880
2727.64/2734.79	c #Conflicts:    1202000 | #Constraints:      97880
2727.64/2734.79	c #Conflicts:    1203000 | #Constraints:      98880
2727.64/2734.79	c #Conflicts:    1204000 | #Constraints:      99880
2727.64/2734.79	c #Conflicts:    1205000 | #Constraints:     100880
2727.64/2734.79	c #Conflicts:    1206000 | #Constraints:     101880
2727.64/2734.79	c #Conflicts:    1207000 | #Constraints:     102880
2727.64/2734.79	c #Conflicts:    1208000 | #Constraints:     103880
2727.64/2734.79	c #Conflicts:    1209000 | #Constraints:     104880
2727.64/2734.79	c #Conflicts:    1210000 | #Constraints:     105880
2727.64/2734.79	c #Conflicts:    1211000 | #Constraints:     106880
2727.64/2734.79	c #Conflicts:    1212000 | #Constraints:     107880
2727.64/2734.79	c INPROCESSING
2727.64/2734.79	c GARBAGE COLLECT
2727.64/2734.79	c rational objective 42
2855.60/2863.08	c #Conflicts:    1213000 | #Constraints:      87100
2855.60/2863.08	c #Conflicts:    1214000 | #Constraints:      88100
2855.60/2863.08	c #Conflicts:    1215000 | #Constraints:      89100
2855.60/2863.08	c #Conflicts:    1216000 | #Constraints:      90100
2855.60/2863.08	c #Conflicts:    1217000 | #Constraints:      91100
2855.60/2863.08	c #Conflicts:    1218000 | #Constraints:      92100
2855.60/2863.08	c #Conflicts:    1219000 | #Constraints:      93100
2855.60/2863.08	c #Conflicts:    1220000 | #Constraints:      94100
2855.60/2863.08	c #Conflicts:    1221000 | #Constraints:      95100
2855.60/2863.08	c #Conflicts:    1222000 | #Constraints:      96100
2855.60/2863.08	c #Conflicts:    1223000 | #Constraints:      97100
2855.60/2863.08	c #Conflicts:    1224000 | #Constraints:      98100
2855.60/2863.08	c #Conflicts:    1225000 | #Constraints:      99100
2855.60/2863.08	c #Conflicts:    1226000 | #Constraints:     100100
2855.60/2863.08	c #Conflicts:    1227000 | #Constraints:     101100
2855.60/2863.08	c #Conflicts:    1228000 | #Constraints:     102100
2855.60/2863.08	c #Conflicts:    1229000 | #Constraints:     103100
2855.60/2863.08	c #Conflicts:    1230000 | #Constraints:     104100
2855.60/2863.08	c #Conflicts:    1231000 | #Constraints:     105100
2855.60/2863.08	c #Conflicts:    1232000 | #Constraints:     106100
2855.60/2863.08	c #Conflicts:    1233000 | #Constraints:     107100
2855.60/2863.08	c #Conflicts:    1234000 | #Constraints:     108100
2855.60/2863.08	c INPROCESSING
2855.60/2863.08	c GARBAGE COLLECT
2855.60/2863.08	c rational objective 42
2996.67/3004.55	c #Conflicts:    1235000 | #Constraints:      87113
2996.67/3004.55	c #Conflicts:    1236000 | #Constraints:      88113
2996.67/3004.55	c #Conflicts:    1237000 | #Constraints:      89113
2996.67/3004.55	c #Conflicts:    1238000 | #Constraints:      90113
2996.67/3004.55	c #Conflicts:    1239000 | #Constraints:      91113
2996.67/3004.55	c #Conflicts:    1240000 | #Constraints:      92113
2996.67/3004.55	c #Conflicts:    1241000 | #Constraints:      93113
2996.67/3004.55	c #Conflicts:    1242000 | #Constraints:      94113
2996.67/3004.55	c #Conflicts:    1243000 | #Constraints:      95113
2996.67/3004.55	c #Conflicts:    1244000 | #Constraints:      96113
2996.67/3004.55	c #Conflicts:    1245000 | #Constraints:      97113
2996.67/3004.55	c #Conflicts:    1246000 | #Constraints:      98113
2996.67/3004.55	c #Conflicts:    1247000 | #Constraints:      99113
2996.67/3004.55	c #Conflicts:    1248000 | #Constraints:     100113
2996.67/3004.55	c #Conflicts:    1249000 | #Constraints:     101113
2996.67/3004.55	c #Conflicts:    1250000 | #Constraints:     102113
2996.67/3004.55	c #Conflicts:    1251000 | #Constraints:     103113
2996.67/3004.55	c #Conflicts:    1252000 | #Constraints:     104113
2996.67/3004.55	c #Conflicts:    1253000 | #Constraints:     105113
2996.67/3004.55	c #Conflicts:    1254000 | #Constraints:     106113
2996.67/3004.55	c #Conflicts:    1255000 | #Constraints:     107113
2996.67/3004.55	c #Conflicts:    1256000 | #Constraints:     108113
2996.67/3004.55	c INPROCESSING
2996.67/3004.55	c GARBAGE COLLECT
2996.67/3004.55	c rational objective 42
3035.55/3043.54	c #Conflicts:    1257000 | #Constraints:      86928
3035.55/3043.54	c #Conflicts:    1258000 | #Constraints:      87928
3035.55/3043.54	c #Conflicts:    1259000 | #Constraints:      88928
3035.55/3043.54	c #Conflicts:    1260000 | #Constraints:      89928
3035.55/3043.54	c #Conflicts:    1261000 | #Constraints:      90928
3035.55/3043.54	c #Conflicts:    1262000 | #Constraints:      91928
3035.55/3043.54	c #Conflicts:    1263000 | #Constraints:      92928
3035.55/3043.54	c #Conflicts:    1264000 | #Constraints:      93928
3035.55/3043.54	c #Conflicts:    1265000 | #Constraints:      94928
3035.55/3043.54	c #Conflicts:    1266000 | #Constraints:      95928
3035.55/3043.54	c #Conflicts:    1267000 | #Constraints:      96928
3035.55/3043.54	c #Conflicts:    1268000 | #Constraints:      97928
3035.55/3043.54	c #Conflicts:    1269000 | #Constraints:      98928
3035.55/3043.54	c #Conflicts:    1270000 | #Constraints:      99928
3035.55/3043.54	c #Conflicts:    1271000 | #Constraints:     100928
3035.55/3043.54	c #Conflicts:    1272000 | #Constraints:     101928
3035.55/3043.54	c #Conflicts:    1273000 | #Constraints:     102928
3035.55/3043.54	c #Conflicts:    1274000 | #Constraints:     103928
3035.55/3043.54	c #Conflicts:    1275000 | #Constraints:     104928
3035.55/3043.54	c #Conflicts:    1276000 | #Constraints:     105928
3035.55/3043.54	c #Conflicts:    1277000 | #Constraints:     106928
3035.55/3043.54	c #Conflicts:    1278000 | #Constraints:     107928
3035.55/3043.54	c #Conflicts:    1279000 | #Constraints:     108928
3035.55/3043.54	c INPROCESSING
3035.55/3043.54	c GARBAGE COLLECT
3035.55/3043.54	c rational objective 42
3187.65/3196.09	c #Conflicts:    1280000 | #Constraints:      87507
3187.65/3196.09	c #Conflicts:    1281000 | #Constraints:      88507
3187.65/3196.09	c #Conflicts:    1282000 | #Constraints:      89507
3187.65/3196.09	c #Conflicts:    1283000 | #Constraints:      90507
3187.65/3196.09	c #Conflicts:    1284000 | #Constraints:      91507
3187.65/3196.09	c #Conflicts:    1285000 | #Constraints:      92507
3187.65/3196.09	c #Conflicts:    1286000 | #Constraints:      93507
3187.65/3196.09	c #Conflicts:    1287000 | #Constraints:      94507
3187.65/3196.09	c #Conflicts:    1288000 | #Constraints:      95507
3187.65/3196.09	c #Conflicts:    1289000 | #Constraints:      96507
3187.65/3196.09	c #Conflicts:    1290000 | #Constraints:      97507
3187.65/3196.09	c #Conflicts:    1291000 | #Constraints:      98507
3187.65/3196.09	c #Conflicts:    1292000 | #Constraints:      99507
3187.65/3196.09	c #Conflicts:    1293000 | #Constraints:     100507
3187.65/3196.09	c #Conflicts:    1294000 | #Constraints:     101507
3187.65/3196.09	c #Conflicts:    1295000 | #Constraints:     102507
3187.65/3196.09	c #Conflicts:    1296000 | #Constraints:     103507
3187.65/3196.09	c #Conflicts:    1297000 | #Constraints:     104507
3187.65/3196.09	c #Conflicts:    1298000 | #Constraints:     105507
3187.65/3196.09	c #Conflicts:    1299000 | #Constraints:     106507
3187.65/3196.09	c #Conflicts:    1300000 | #Constraints:     107507
3187.65/3196.09	c #Conflicts:    1301000 | #Constraints:     108507
3187.65/3196.09	c #Conflicts:    1302000 | #Constraints:     109507
3187.65/3196.09	c INPROCESSING
3187.65/3196.09	c GARBAGE COLLECT
3187.65/3196.09	c rational objective 42

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 (58071 MiB free)
  memory of node 1: 64507 MiB (45460 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508046-1751508782/watcher-4508046-1751508782 -o /tmp/evaluation-result-4508046-1751508782/solver-4508046-1751508782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751508121-72542 --watchdog 3760 run-opt-ls.sh HOME/instance-4508046-1751508782.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100059 s]*
/proc/loadavg: 4.11 4.05 4.01 5/270 72690
/proc/meminfo: memFree=105982524/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72690] ppid=72688 vsize=56524 memory=39000 CPUtime=0.08 cores=0,2
/proc/72690/stat : 72690 (pbsuma) R 72688 72688 72530 0 -1 4194304 10747 0 0 0 7 1 0 0 20 0 1 0 66557047 57880576 9750 18446744073709551615 4210688 4653049 140724490167328 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 5033984 140724490168675 140724490168882 140724490168882 140724490174447 0
/proc/72690/statm: 14131 9750 1024 108 0 11539 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 60716 KiB
Current children cumulated memory: 42072 KiB

[startup+0.205641 s]*
/proc/loadavg: 4.11 4.05 4.01 5/270 72690
/proc/meminfo: memFree=105980760/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 209 0 0 0 0 0 0 0 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72690] ppid=72688 vsize=42232 memory=30520 CPUtime=0.19 cores=0,2
/proc/72690/stat : 72690 (pbsuma) R 72688 72688 72530 0 -1 4194304 11051 0 0 0 18 1 0 0 20 0 1 0 66557047 43245568 7630 18446744073709551615 4210688 4653049 140724490167328 0 0 0 0 0 0 0 0 0 17 0 0 0 0 0 0 4700520 4703148 5033984 140724490168675 140724490168882 140724490168882 140724490174447 0
/proc/72690/statm: 10558 7630 1024 108 0 7966 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 46424 KiB
Current children cumulated memory: 33592 KiB

[startup+0.305538 s]*
/proc/loadavg: 4.11 4.05 4.01 5/270 72691
/proc/meminfo: memFree=105977384/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=63312 memory=18124 CPUtime=0.02 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 2300 0 0 0 1 1 0 0 20 0 1 0 66557073 64831488 4531 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 15828 4531 1952 1147 0 3255 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 67504 KiB
Current children cumulated memory: 21196 KiB

[startup+0.700179 s]
/proc/loadavg: 4.11 4.05 4.01 5/270 72691
/proc/meminfo: memFree=105952000/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=125840 memory=83240 CPUtime=0.4 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 12488 0 0 0 33 7 0 0 20 0 1 0 66557073 128860160 20810 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 31460 20810 2304 1147 0 18887 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 130032 KiB
Current children cumulated memory: 86312 KiB

[startup+1.50016 s]
/proc/loadavg: 4.11 4.05 4.01 5/270 72691
/proc/meminfo: memFree=105903356/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=160188 memory=115428 CPUtime=1.2 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 18062 0 0 0 109 11 0 0 20 0 1 0 66557073 164032512 28857 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 40047 28857 2400 1147 0 27474 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 164380 KiB
Current children cumulated memory: 118500 KiB

[startup+3.10545 s]
/proc/loadavg: 4.10 4.05 4.01 5/270 72691
/proc/meminfo: memFree=105905680/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=165004 memory=119012 CPUtime=2.8 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 18967 0 0 0 266 14 0 0 20 0 1 0 66557073 168964096 29753 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 41251 29753 2400 1147 0 28678 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 169196 KiB
Current children cumulated memory: 122084 KiB

[startup+6.30016 s]
/proc/loadavg: 4.10 4.05 4.01 5/270 72691
/proc/meminfo: memFree=105911352/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=166028 memory=120036 CPUtime=5.99 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 19240 0 0 0 575 24 0 0 20 0 1 0 66557073 170012672 30009 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 41507 30009 2400 1147 0 28934 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 170220 KiB
Current children cumulated memory: 123108 KiB

[startup+12.7001 s]
/proc/loadavg: 4.09 4.05 4.01 5/270 72691
/proc/meminfo: memFree=105909408/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=167684 memory=121188 CPUtime=12.37 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 19543 0 0 0 1208 29 0 0 20 0 1 0 66557073 171708416 30297 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 41921 30297 2400 1147 0 29348 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 171876 KiB
Current children cumulated memory: 124260 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.06 4.01 5/268 72691
/proc/meminfo: memFree=105889728/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=184844 memory=134992 CPUtime=25.14 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 21977 0 0 0 2472 42 0 0 20 0 1 0 66557073 189280256 33748 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 46211 33748 2400 1147 0 33638 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 189036 KiB
Current children cumulated memory: 138064 KiB

[startup+51.1055 s]
/proc/loadavg: 4.22 4.09 4.02 5/269 72693
/proc/meminfo: memFree=105891364/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=190460 memory=140880 CPUtime=50.68 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 23439 0 0 0 5021 47 0 0 20 0 1 0 66557073 195031040 35220 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 47615 35220 2400 1147 0 35042 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 194652 KiB
Current children cumulated memory: 143952 KiB

[startup+102.3 s]
/proc/loadavg: 4.14 4.09 4.02 5/269 72695
/proc/meminfo: memFree=105891044/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=190644 memory=143084 CPUtime=101.73 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 23487 0 0 0 10098 75 0 0 20 0 1 0 66557073 195219456 35771 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 47661 35771 2400 1147 0 35088 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 194836 KiB
Current children cumulated memory: 146156 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.10 4.03 5/269 72697
/proc/meminfo: memFree=105883228/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=190984 memory=143468 CPUtime=161.58 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 23586 0 0 0 16049 109 0 0 20 0 1 0 66557073 195567616 35867 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 47746 35867 2400 1147 0 35173 0
Current children cumulated CPU time: 161.83 s
Current children cumulated vsize: 195176 KiB
Current children cumulated memory: 146540 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.09 4.03 5/268 72699
/proc/meminfo: memFree=105852624/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=192332 memory=144620 CPUtime=221.42 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 23803 0 0 0 22003 139 0 0 20 0 1 0 66557073 196947968 36155 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 48083 36155 2400 1147 0 35510 0

################
# More data... #
################

[startup+3342.3 s]
/proc/loadavg: 4.23 4.13 4.10 5/266 72996
/proc/meminfo: memFree=105824552/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=239912 memory=194308 CPUtime=3333.3 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 32193 0 0 0 331805 1525 0 0 20 0 1 0 66557073 245669888 48577 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 59978 48577 2400 1147 0 47405 0
Current children cumulated CPU time: 3333.55 s
Current children cumulated vsize: 244104 KiB
Current children cumulated memory: 197380 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/266 72998
/proc/meminfo: memFree=105823644/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=239912 memory=194308 CPUtime=3393.15 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 32193 0 0 0 337775 1540 0 0 20 0 1 0 66557073 245669888 48577 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 59978 48577 2400 1147 0 47405 0
Current children cumulated CPU time: 3393.4 s
Current children cumulated vsize: 244104 KiB
Current children cumulated memory: 197380 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/266 73000
/proc/meminfo: memFree=105826784/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=239912 memory=194308 CPUtime=3452.99 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 32200 0 0 0 343741 1558 0 0 20 0 1 0 66557073 245669888 48577 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 59978 48577 2400 1147 0 47405 0
Current children cumulated CPU time: 3453.24 s
Current children cumulated vsize: 244104 KiB
Current children cumulated memory: 197380 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 73009
/proc/meminfo: memFree=105817924/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=239912 memory=194308 CPUtime=3512.83 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 32200 0 0 0 349712 1571 0 0 20 0 1 0 66557073 245669888 48577 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 59978 48577 2400 1147 0 47405 0
Current children cumulated CPU time: 3513.08 s
Current children cumulated vsize: 244104 KiB
Current children cumulated memory: 197380 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/268 73013
/proc/meminfo: memFree=105819632/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=239912 memory=194308 CPUtime=3572.68 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 32200 0 0 0 355683 1585 0 0 20 0 1 0 66557073 245669888 48577 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 59978 48577 2400 1147 0 47405 0
Current children cumulated CPU time: 3572.93 s
Current children cumulated vsize: 244104 KiB
Current children cumulated memory: 197380 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.5 s]
/proc/loadavg: 4.13 4.12 4.09 5/268 73014
/proc/meminfo: memFree=105820672/131249988 swapFree=33010160/33010684
[pid=72688] ppid=72685 vsize=4192 memory=3072 CPUtime=0.25 cores=0,2
/proc/72688/stat : 72688 (run-opt-ls.sh) S 72685 72688 72530 0 -1 4194304 240 11295 0 0 0 0 24 1 20 0 1 0 66557046 4292608 768 18446744073709551615 94200366878720 94200367773253 140725503579904 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94200368012304 94200368060048 94200378007552 140725503588711 140725503588837 140725503588837 140725503594439 0
/proc/72688/statm: 1048 768 704 219 0 110 0
[pid=72691] ppid=72688 vsize=239912 memory=194308 CPUtime=3599.8 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72688 72688 72530 0 -1 4194304 32200 0 0 0 358387 1593 0 0 20 0 1 0 66557073 245669888 48577 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 59978 48577 2400 1147 0 47405 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 244104 KiB
Current children cumulated memory: 197380 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.5 s]
# the end of solver process 72688 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.242068 s, system=0.016382 s
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

[startup+3611.5 s]
# the end of solver process 72691 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3586.11 s, system=15.9584 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+3609.6 s]*
/proc/loadavg: 4.13 4.12 4.09 5/267 73014
/proc/meminfo: memFree=105820672/131249988 swapFree=33010160/33010684
[pid=72691] ppid=72685 vsize=239912 memory=194308 CPUtime=3599.91 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72685 72688 72530 0 -1 4194304 32200 0 0 0 358398 1593 0 0 20 0 1 0 66557073 245669888 48577 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 59978 48577 2400 1147 0 47405 0
Current cumulated CPU time of completed processes: 0.25845 s
Current children cumulated CPU time: 3599.91 s
Current children cumulated vsize: 239912 KiB
Current children cumulated memory: 194308 KiB

[startup+3610.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 73014
/proc/meminfo: memFree=105820672/131249988 swapFree=33010160/33010684
[pid=72691] ppid=72685 vsize=239912 memory=194308 CPUtime=3600.71 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72685 72688 72530 0 -1 4194304 32200 0 0 0 358477 1594 0 0 20 0 1 0 66557073 245669888 48577 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 59978 48577 2400 1147 0 47405 0
Current cumulated CPU time of completed processes: 0.25845 s
Current children cumulated CPU time: 3600.71 s
Current children cumulated vsize: 239912 KiB
Current children cumulated memory: 194308 KiB

[startup+3611.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 73014
/proc/meminfo: memFree=105820672/131249988 swapFree=33010160/33010684
[pid=72691] ppid=72685 vsize=239912 memory=194308 CPUtime=3601.5 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72685 72688 72530 0 -1 4194304 32200 0 0 0 358556 1594 0 0 20 0 1 0 66557073 245669888 48577 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 59978 48577 2400 1147 0 47405 0
Current cumulated CPU time of completed processes: 0.25845 s
Current children cumulated CPU time: 3601.5 s
Current children cumulated vsize: 239912 KiB
Current children cumulated memory: 194308 KiB

[startup+3611.4 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 73014
/proc/meminfo: memFree=105820672/131249988 swapFree=33010160/33010684
[pid=72691] ppid=72685 vsize=239912 memory=194308 CPUtime=3601.7 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72685 72688 72530 0 -1 4194304 32200 0 0 0 358576 1594 0 0 20 0 1 0 66557073 245669888 48577 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 59978 48577 2400 1147 0 47405 0
Current cumulated CPU time of completed processes: 0.25845 s
Current children cumulated CPU time: 3601.7 s
Current children cumulated vsize: 239912 KiB
Current children cumulated memory: 194308 KiB

[startup+3611.5 s]
/proc/loadavg: 4.13 4.12 4.09 5/267 73014
/proc/meminfo: memFree=105820672/131249988 swapFree=33010160/33010684
[pid=72691] ppid=72685 vsize=239912 memory=194308 CPUtime=3601.8 cores=0,2
/proc/72691/stat : 72691 (roundingsat) R 72685 72688 72530 0 -1 4194304 32200 0 0 0 358586 1594 0 0 20 0 1 0 66557073 245669888 48577 18446744073709551615 4227072 8923433 140729023353776 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 30752768 140729023355206 140729023355432 140729023355432 140729023361002 0
/proc/72691/statm: 59978 48577 2400 1147 0 47405 0
Current cumulated CPU time of completed processes: 0.25845 s
Current children cumulated CPU time: 3601.8 s
Current children cumulated vsize: 239912 KiB
Current children cumulated memory: 194308 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3611.5
CPU time (s): 3602.07
CPU user time (s): 3586.11
CPU system time (s): 15.9584
CPU usage (%): 99.7388
Max. virtual memory (cumulated for all children) (KiB): 244104
Max. memory (cumulated for all children) (KiB): 197380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3586.11
system time used= 15.9584
maximum resident set size= 194308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43735
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 238
involuntary context switches= 8060


# summary of solver processes directly reported to runsolver:
#   pid: 72688,72691
#   total CPU time (s): 3602.07
#   total CPU user time (s): 3586.11
#   total CPU system time (s): 15.9584

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96481 second user time and 15.5035 second system time

The end

Launcher Data

Begin job on nodeC034 at 2025-07-03 04:13:02
IDJOB=4508046
IDBENCH=158392
IDSOLVER=3355
FILE ID=nodeC034/4508046-1751508782
RUNJOBID= nodeC034-1751508121-72542
SLURM_JOB_ID= 9598604
Free space on /tmp= 431116 MiB

SOLVER NAME= roundingsat-ls+pbsuma 63f22ad
BENCH NAME= PB24/normalized-PB15eval/OPT-LIN/EmployeeScheduling/normalized-jul6.5.opb
COMMAND LINE= run-opt-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4508046-1751508782/watcher-4508046-1751508782 -o /tmp/evaluation-result-4508046-1751508782/solver-4508046-1751508782 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1751508121-72542 --watchdog 3760  run-opt-ls.sh HOME/instance-4508046-1751508782.opb

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

MD5SUM BENCH= 4f8efbeb69f885a3b6f9ae87862f80cd
RANDOM SEED=2132717576

nodeC034 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.787
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.53
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.759
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.53
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		: 3616.510
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.53
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		: 3586.116
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.53
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.764
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.53
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.756
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.366
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.53
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		: 3601.040
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        106018052 kB
MemAvailable:   129215004 kB
Buffers:            2128 kB
Cached:         23936104 kB
SwapCached:           36 kB
Active:          1053668 kB
Inactive:       23461496 kB
Active(anon):     590792 kB
Inactive(anon):     4208 kB
Active(file):     462876 kB
Inactive(file): 23457288 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              8140 kB
Writeback:            24 kB
AnonPages:        576780 kB
Mapped:           118240 kB
Shmem:             18068 kB
KReclaimable:     231656 kB
Slab:             324540 kB
SReclaimable:     231656 kB
SUnreclaim:        92884 kB
KernelStack:        4364 kB
PageTables:         4540 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     913160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150664 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    473088 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:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431108 MiB
End job on nodeC034 at 2025-07-03 05:13:14