Trace number 4490288

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-ihs 63f22adOPT2 1374.34 1378.61

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_3.opb
MD5SUM86001821498b0a30bc65df6451678f5a
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 benchmark2
Best CPU time to get the best result obtained on this benchmark18.7971
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables94
Total number of constraints8
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 940
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3331
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.03	c #variables 94 #constraints 8
0.00/0.03	c objective is ce32 
0.00/0.03	c initial watched  CF 32, 64, 128, Arb: 0 , 0 , 0 , 0
0.00/0.03	c initial counting CF 32, 64, 128, Arb: 9 , 0 , 0 , 0
0.00/0.03	c GLOBAL bounds - >= 0 @ 0.000848
0.00/0.03	c GLOBAL bounds - >= 0 @ 0.001001
0.00/0.03	c rational objective 0
0.48/0.57	c #Conflicts:       1000 | #Constraints:       1016
0.48/0.57	c #Conflicts:       2000 | #Constraints:       2020
0.48/0.57	c INPROCESSING
0.48/0.57	c GARBAGE COLLECT
0.48/0.57	c rational objective 0
1.06/1.17	c #Conflicts:       3000 | #Constraints:       2023
1.06/1.17	c #Conflicts:       4000 | #Constraints:       3023
1.06/1.17	c INPROCESSING
1.06/1.17	c GARBAGE COLLECT
1.06/1.17	c rational objective 0
1.65/1.70	c #Conflicts:       5000 | #Constraints:       2419
1.65/1.70	c #Conflicts:       6000 | #Constraints:       3419
1.65/1.70	c INPROCESSING
1.65/1.70	c GARBAGE COLLECT
1.65/1.70	c rational objective 0
2.14/2.21	c #Conflicts:       7000 | #Constraints:       2421
2.14/2.21	c #Conflicts:       8000 | #Constraints:       3422
2.14/2.21	c #Conflicts:       9000 | #Constraints:       4422
2.14/2.21	c INPROCESSING
2.14/2.21	c GARBAGE COLLECT
2.14/2.21	c rational objective 0
2.85/2.99	c #Conflicts:      10000 | #Constraints:       3508
2.85/2.99	c #Conflicts:      11000 | #Constraints:       5002
2.85/2.99	c #Conflicts:      12000 | #Constraints:       6499
2.85/2.99	c INPROCESSING
2.85/2.99	c GARBAGE COLLECT
2.85/2.99	c rational objective 0
3.74/3.89	c #Conflicts:      13000 | #Constraints:       4695
3.74/3.89	c #Conflicts:      14000 | #Constraints:       6198
3.74/3.89	c #Conflicts:      15000 | #Constraints:       7695
3.74/3.89	c INPROCESSING
3.74/3.89	c GARBAGE COLLECT
3.74/3.89	c rational objective 0
4.63/4.70	c #Conflicts:      16000 | #Constraints:       4859
4.63/4.70	c #Conflicts:      17000 | #Constraints:       5859
4.63/4.70	c #Conflicts:      18000 | #Constraints:       6859
4.63/4.70	c INPROCESSING
4.63/4.70	c GARBAGE COLLECT
4.63/4.70	c rational objective 0
5.74/5.84	c #Conflicts:      19000 | #Constraints:       4740
5.74/5.84	c #Conflicts:      20000 | #Constraints:       6233
5.74/5.84	c #Conflicts:      21000 | #Constraints:       7722
5.74/5.84	c INPROCESSING
5.74/5.84	c GARBAGE COLLECT
5.74/5.84	c rational objective 0
7.13/7.23	c #Conflicts:      22000 | #Constraints:       4890
7.13/7.23	c #Conflicts:      23000 | #Constraints:       6379
7.13/7.23	c #Conflicts:      24000 | #Constraints:       7863
7.13/7.23	c #Conflicts:      25000 | #Constraints:       9359
7.13/7.23	c INPROCESSING
7.13/7.23	c GARBAGE COLLECT
7.13/7.23	c rational objective 0
8.72/8.81	c #Conflicts:      26000 | #Constraints:       5958
8.72/8.81	c #Conflicts:      27000 | #Constraints:       7440
8.72/8.81	c #Conflicts:      28000 | #Constraints:       8941
8.72/8.81	c #Conflicts:      29000 | #Constraints:      10443
8.72/8.81	c INPROCESSING
8.72/8.81	c GARBAGE COLLECT
8.72/8.81	c rational objective 0
10.42/10.53	c #Conflicts:      30000 | #Constraints:       6585
10.42/10.53	c #Conflicts:      31000 | #Constraints:       8064
10.42/10.53	c #Conflicts:      32000 | #Constraints:       9556
10.42/10.53	c #Conflicts:      33000 | #Constraints:      10998
10.42/10.53	c INPROCESSING
10.42/10.53	c GARBAGE COLLECT
10.42/10.53	c rational objective 0
11.93/12.08	c #Conflicts:      34000 | #Constraints:       6509
11.93/12.08	c #Conflicts:      35000 | #Constraints:       7509
11.93/12.08	c #Conflicts:      36000 | #Constraints:       8511
11.93/12.08	c #Conflicts:      37000 | #Constraints:       9511
11.93/12.08	c INPROCESSING
11.93/12.08	c GARBAGE COLLECT
11.93/12.08	c rational objective 0
13.51/13.62	c #Conflicts:      38000 | #Constraints:       5668
13.51/13.62	c #Conflicts:      39000 | #Constraints:       6668
13.51/13.62	c #Conflicts:      40000 | #Constraints:       7668
13.51/13.62	c #Conflicts:      41000 | #Constraints:       8668
13.51/13.62	c INPROCESSING
13.51/13.62	c GARBAGE COLLECT
13.51/13.62	c rational objective 0
15.41/15.57	c #Conflicts:      42000 | #Constraints:       5230
15.41/15.57	c #Conflicts:      43000 | #Constraints:       6364
15.41/15.57	c #Conflicts:      44000 | #Constraints:       7684
15.41/15.57	c #Conflicts:      45000 | #Constraints:       9175
15.41/15.57	c #Conflicts:      46000 | #Constraints:      10566
15.41/15.57	c INPROCESSING
15.41/15.57	c GARBAGE COLLECT
15.41/15.57	c rational objective 0
17.59/17.74	c #Conflicts:      47000 | #Constraints:       6467
17.59/17.74	c #Conflicts:      48000 | #Constraints:       7913
17.59/17.74	c #Conflicts:      49000 | #Constraints:       8914
17.59/17.74	c #Conflicts:      50000 | #Constraints:      10140
17.59/17.74	c #Conflicts:      51000 | #Constraints:      11613
17.59/17.74	c INPROCESSING
17.59/17.74	c GARBAGE COLLECT
17.59/17.74	c rational objective 0
19.80/19.94	c #Conflicts:      52000 | #Constraints:       7037
19.80/19.94	c #Conflicts:      53000 | #Constraints:       8196
19.80/19.94	c #Conflicts:      54000 | #Constraints:       9201
19.80/19.94	c #Conflicts:      55000 | #Constraints:      10493
19.80/19.94	c #Conflicts:      56000 | #Constraints:      11653
19.80/19.94	c INPROCESSING
19.80/19.94	c GARBAGE COLLECT
19.80/19.94	c rational objective 0
22.08/22.26	c #Conflicts:      57000 | #Constraints:       7025
22.08/22.26	c #Conflicts:      58000 | #Constraints:       8152
22.08/22.26	c #Conflicts:      59000 | #Constraints:       9649
22.08/22.26	c #Conflicts:      60000 | #Constraints:      11152
22.08/22.26	c #Conflicts:      61000 | #Constraints:      12634
22.08/22.26	c INPROCESSING
22.08/22.26	c GARBAGE COLLECT
22.08/22.26	c rational objective 0
24.77/24.91	c #Conflicts:      62000 | #Constraints:       7578
24.77/24.91	c #Conflicts:      63000 | #Constraints:       9058
24.77/24.91	c #Conflicts:      64000 | #Constraints:      10277
24.77/24.91	c #Conflicts:      65000 | #Constraints:      11724
24.77/24.91	c #Conflicts:      66000 | #Constraints:      13081
24.77/24.91	c INPROCESSING
24.77/24.91	c GARBAGE COLLECT
24.77/24.91	c rational objective 0
27.56/27.75	c #Conflicts:      67000 | #Constraints:       7590
27.56/27.75	c #Conflicts:      68000 | #Constraints:       8760
27.56/27.75	c #Conflicts:      69000 | #Constraints:      10100
27.56/27.75	c #Conflicts:      70000 | #Constraints:      11455
27.56/27.75	c #Conflicts:      71000 | #Constraints:      12871
27.56/27.75	c #Conflicts:      72000 | #Constraints:      14364
27.56/27.75	c INPROCESSING
27.56/27.75	c GARBAGE COLLECT
27.56/27.75	c rational objective 0
30.65/30.85	c #Conflicts:      73000 | #Constraints:       8368
30.65/30.85	c #Conflicts:      74000 | #Constraints:       9552
30.65/30.85	c #Conflicts:      75000 | #Constraints:      10996
30.65/30.85	c #Conflicts:      76000 | #Constraints:      12261
30.65/30.85	c #Conflicts:      77000 | #Constraints:      13592
30.65/30.85	c #Conflicts:      78000 | #Constraints:      14843
30.65/30.85	c INPROCESSING
30.65/30.85	c GARBAGE COLLECT
30.65/30.85	c rational objective 0
33.96/34.13	c #Conflicts:      79000 | #Constraints:       8909
33.96/34.13	c #Conflicts:      80000 | #Constraints:      10376
33.96/34.13	c #Conflicts:      81000 | #Constraints:      11849
33.96/34.13	c #Conflicts:      82000 | #Constraints:      13346
33.96/34.13	c #Conflicts:      83000 | #Constraints:      14845
33.96/34.13	c #Conflicts:      84000 | #Constraints:      16334
33.96/34.13	c INPROCESSING
33.96/34.13	c GARBAGE COLLECT
33.96/34.13	c rational objective 0
37.53/37.70	c #Conflicts:      85000 | #Constraints:       9624
37.53/37.70	c #Conflicts:      86000 | #Constraints:      11017
37.53/37.70	c #Conflicts:      87000 | #Constraints:      12488
37.53/37.70	c #Conflicts:      88000 | #Constraints:      13983
37.53/37.70	c #Conflicts:      89000 | #Constraints:      14999
37.53/37.70	c #Conflicts:      90000 | #Constraints:      15999
37.53/37.70	c INPROCESSING
37.53/37.70	c GARBAGE COLLECT
37.53/37.70	c rational objective 0
40.94/41.12	c #Conflicts:      91000 | #Constraints:       8974
40.94/41.12	c #Conflicts:      92000 | #Constraints:      10077
40.94/41.12	c #Conflicts:      93000 | #Constraints:      11315
40.94/41.12	c #Conflicts:      94000 | #Constraints:      12633
40.94/41.12	c #Conflicts:      95000 | #Constraints:      14098
40.94/41.12	c #Conflicts:      96000 | #Constraints:      15396
40.94/41.12	c INPROCESSING
40.94/41.12	c GARBAGE COLLECT
40.94/41.12	c rational objective 0
44.92/45.16	c #Conflicts:      97000 | #Constraints:       8616
44.92/45.16	c #Conflicts:      98000 | #Constraints:      10090
44.92/45.16	c #Conflicts:      99000 | #Constraints:      11548
44.92/45.16	c #Conflicts:     100000 | #Constraints:      13028
44.92/45.16	c #Conflicts:     101000 | #Constraints:      14542
44.92/45.16	c #Conflicts:     102000 | #Constraints:      16036
44.92/45.16	c #Conflicts:     103000 | #Constraints:      17531
44.92/45.16	c INPROCESSING
44.92/45.16	c GARBAGE COLLECT
44.92/45.16	c rational objective 0
49.30/49.56	c #Conflicts:     104000 | #Constraints:      10031
49.30/49.56	c #Conflicts:     105000 | #Constraints:      11381
49.30/49.56	c #Conflicts:     106000 | #Constraints:      12875
49.30/49.56	c #Conflicts:     107000 | #Constraints:      14198
49.30/49.56	c #Conflicts:     108000 | #Constraints:      15552
49.30/49.56	c #Conflicts:     109000 | #Constraints:      17049
49.30/49.56	c #Conflicts:     110000 | #Constraints:      18302
49.30/49.56	c INPROCESSING
49.30/49.56	c GARBAGE COLLECT
49.30/49.56	c rational objective 0
53.68/53.98	c #Conflicts:     111000 | #Constraints:      10557
53.68/53.98	c #Conflicts:     112000 | #Constraints:      11774
53.68/53.98	c #Conflicts:     113000 | #Constraints:      12931
53.68/53.98	c #Conflicts:     114000 | #Constraints:      14099
53.68/53.98	c #Conflicts:     115000 | #Constraints:      15321
53.68/53.98	c #Conflicts:     116000 | #Constraints:      16382
53.68/53.98	c #Conflicts:     117000 | #Constraints:      17665
53.68/53.98	c INPROCESSING
53.68/53.98	c GARBAGE COLLECT
53.68/53.98	c rational objective 0
57.88/58.18	c #Conflicts:     118000 | #Constraints:      10014
57.88/58.18	c #Conflicts:     119000 | #Constraints:      11172
57.88/58.18	c #Conflicts:     120000 | #Constraints:      12314
57.88/58.18	c #Conflicts:     121000 | #Constraints:      13456
57.88/58.18	c #Conflicts:     122000 | #Constraints:      14518
57.88/58.18	c #Conflicts:     123000 | #Constraints:      15680
57.88/58.18	c #Conflicts:     124000 | #Constraints:      16803
57.88/58.18	c INPROCESSING
57.88/58.18	c GARBAGE COLLECT
57.88/58.18	c rational objective 0
62.55/62.86	c #Conflicts:     125000 | #Constraints:       9682
62.55/62.86	c #Conflicts:     126000 | #Constraints:      11185
62.55/62.86	c #Conflicts:     127000 | #Constraints:      12529
62.55/62.86	c #Conflicts:     128000 | #Constraints:      13612
62.55/62.86	c #Conflicts:     129000 | #Constraints:      15102
62.55/62.86	c #Conflicts:     130000 | #Constraints:      16492
62.55/62.86	c #Conflicts:     131000 | #Constraints:      17634
62.55/62.86	c INPROCESSING
62.55/62.86	c GARBAGE COLLECT
62.55/62.86	c rational objective 0
67.43/67.72	c #Conflicts:     132000 | #Constraints:       9677
67.43/67.72	c #Conflicts:     133000 | #Constraints:      10822
67.43/67.72	c #Conflicts:     134000 | #Constraints:      12177
67.43/67.72	c #Conflicts:     135000 | #Constraints:      13673
67.43/67.72	c #Conflicts:     136000 | #Constraints:      15186
67.43/67.72	c #Conflicts:     137000 | #Constraints:      16419
67.43/67.72	c #Conflicts:     138000 | #Constraints:      17862
67.43/67.72	c #Conflicts:     139000 | #Constraints:      19138
67.43/67.72	c INPROCESSING
67.43/67.72	c GARBAGE COLLECT
67.43/67.72	c rational objective 0
74.22/74.58	c #Conflicts:     140000 | #Constraints:      10829
74.22/74.58	c #Conflicts:     141000 | #Constraints:      12315
74.22/74.58	c #Conflicts:     142000 | #Constraints:      13820
74.22/74.58	c #Conflicts:     143000 | #Constraints:      15288
74.22/74.58	c #Conflicts:     144000 | #Constraints:      16773
74.22/74.58	c #Conflicts:     145000 | #Constraints:      18255
74.22/74.58	c #Conflicts:     146000 | #Constraints:      19733
74.22/74.58	c #Conflicts:     147000 | #Constraints:      21228
74.22/74.58	c INPROCESSING
74.22/74.58	c GARBAGE COLLECT
74.22/74.58	c rational objective 0
81.39/81.76	c #Conflicts:     148000 | #Constraints:      12087
81.39/81.76	c #Conflicts:     149000 | #Constraints:      13521
81.39/81.76	c #Conflicts:     150000 | #Constraints:      14527
81.39/81.76	c #Conflicts:     151000 | #Constraints:      15982
81.39/81.76	c #Conflicts:     152000 | #Constraints:      17454
81.39/81.76	c #Conflicts:     153000 | #Constraints:      18945
81.39/81.76	c #Conflicts:     154000 | #Constraints:      20444
81.39/81.76	c #Conflicts:     155000 | #Constraints:      21934
81.39/81.76	c INPROCESSING
81.39/81.76	c GARBAGE COLLECT
81.39/81.76	c rational objective 0
89.68/90.02	c #Conflicts:     156000 | #Constraints:      12473
89.68/90.02	c #Conflicts:     157000 | #Constraints:      13956
89.68/90.02	c #Conflicts:     158000 | #Constraints:      15452
89.68/90.02	c #Conflicts:     159000 | #Constraints:      16944
89.68/90.02	c #Conflicts:     160000 | #Constraints:      18435
89.68/90.02	c #Conflicts:     161000 | #Constraints:      19926
89.68/90.02	c #Conflicts:     162000 | #Constraints:      21430
89.68/90.02	c #Conflicts:     163000 | #Constraints:      22896
89.68/90.02	c INPROCESSING
89.68/90.02	c GARBAGE COLLECT
89.68/90.02	c rational objective 0
97.14/97.54	c #Conflicts:     164000 | #Constraints:      12711
97.14/97.54	c #Conflicts:     165000 | #Constraints:      14009
97.14/97.54	c #Conflicts:     166000 | #Constraints:      15030
97.14/97.54	c #Conflicts:     167000 | #Constraints:      16085
97.14/97.54	c #Conflicts:     168000 | #Constraints:      17378
97.14/97.54	c #Conflicts:     169000 | #Constraints:      18854
97.14/97.54	c #Conflicts:     170000 | #Constraints:      20288
97.14/97.54	c #Conflicts:     171000 | #Constraints:      21596
97.14/97.54	c INPROCESSING
97.14/97.54	c GARBAGE COLLECT
97.14/97.54	c rational objective 0
104.62/105.07	c #Conflicts:     172000 | #Constraints:      11727
104.62/105.07	c #Conflicts:     173000 | #Constraints:      12727
104.62/105.07	c #Conflicts:     174000 | #Constraints:      13991
104.62/105.07	c #Conflicts:     175000 | #Constraints:      15363
104.62/105.07	c #Conflicts:     176000 | #Constraints:      16523
104.62/105.07	c #Conflicts:     177000 | #Constraints:      17849
104.62/105.07	c #Conflicts:     178000 | #Constraints:      19053
104.62/105.07	c #Conflicts:     179000 | #Constraints:      20538
104.62/105.07	c #Conflicts:     180000 | #Constraints:      21934
104.62/105.07	c INPROCESSING
104.62/105.07	c GARBAGE COLLECT
104.62/105.07	c rational objective 0
112.09/112.52	c #Conflicts:     181000 | #Constraints:      12274
112.09/112.52	c #Conflicts:     182000 | #Constraints:      13743
112.09/112.52	c #Conflicts:     183000 | #Constraints:      15224
112.09/112.52	c #Conflicts:     184000 | #Constraints:      16725
112.09/112.52	c #Conflicts:     185000 | #Constraints:      18221
112.09/112.52	c #Conflicts:     186000 | #Constraints:      19714
112.09/112.52	c #Conflicts:     187000 | #Constraints:      21198
112.09/112.52	c #Conflicts:     188000 | #Constraints:      22712
112.09/112.52	c #Conflicts:     189000 | #Constraints:      24208
112.09/112.52	c INPROCESSING
112.09/112.52	c GARBAGE COLLECT
112.09/112.52	c rational objective 0
120.57/121.09	c #Conflicts:     190000 | #Constraints:      13606
120.57/121.09	c #Conflicts:     191000 | #Constraints:      15112
120.57/121.09	c #Conflicts:     192000 | #Constraints:      16605
120.57/121.09	c #Conflicts:     193000 | #Constraints:      18097
120.57/121.09	c #Conflicts:     194000 | #Constraints:      19590
120.57/121.09	c #Conflicts:     195000 | #Constraints:      21079
120.57/121.09	c #Conflicts:     196000 | #Constraints:      22572
120.57/121.09	c #Conflicts:     197000 | #Constraints:      24060
120.57/121.09	c #Conflicts:     198000 | #Constraints:      25549
120.57/121.09	c INPROCESSING
120.57/121.09	c GARBAGE COLLECT
120.57/121.09	c rational objective 0
130.03/130.54	c #Conflicts:     199000 | #Constraints:      14119
130.03/130.54	c #Conflicts:     200000 | #Constraints:      15632
130.03/130.54	c #Conflicts:     201000 | #Constraints:      17122
130.03/130.54	c #Conflicts:     202000 | #Constraints:      18599
130.03/130.54	c #Conflicts:     203000 | #Constraints:      20082
130.03/130.54	c #Conflicts:     204000 | #Constraints:      21589
130.03/130.54	c #Conflicts:     205000 | #Constraints:      23071
130.03/130.54	c #Conflicts:     206000 | #Constraints:      24564
130.03/130.54	c #Conflicts:     207000 | #Constraints:      26061
130.03/130.54	c INPROCESSING
130.03/130.54	c GARBAGE COLLECT
130.03/130.54	c rational objective 0.00703934
146.28/146.85	c #Conflicts:     208000 | #Constraints:      14368
146.28/146.85	c #Conflicts:     209000 | #Constraints:      15861
146.28/146.85	c #Conflicts:     210000 | #Constraints:      17342
146.28/146.85	c #Conflicts:     211000 | #Constraints:      18819
146.28/146.85	c #Conflicts:     212000 | #Constraints:      20324
146.28/146.85	c #Conflicts:     213000 | #Constraints:      21827
146.28/146.85	c #Conflicts:     214000 | #Constraints:      23320
146.28/146.85	c #Conflicts:     215000 | #Constraints:      24721
146.28/146.85	c #Conflicts:     216000 | #Constraints:      26124
146.28/146.85	c INPROCESSING
146.28/146.85	c GARBAGE COLLECT
146.28/146.85	c #Conflicts:     217000 | #Constraints:      14110
146.28/146.85	c #Conflicts:     218000 | #Constraints:      15590
146.28/146.85	c #Conflicts:     219000 | #Constraints:      17083
146.28/146.85	c #Conflicts:     220000 | #Constraints:      18582
146.28/146.85	c #Conflicts:     221000 | #Constraints:      20061
146.28/146.85	c #Conflicts:     222000 | #Constraints:      21546
146.28/146.85	c GLOBAL bounds - >= 0 @ 144.418
146.28/146.85	c GLOBAL bounds - >= 0 @ 144.418
235.59/236.46	c #Conflicts:     223000 | #Constraints:      23048
235.59/236.46	c #Conflicts:     224000 | #Constraints:      24525
235.59/236.46	c #Conflicts:     225000 | #Constraints:      26036
235.59/236.46	c #Conflicts:     226000 | #Constraints:      27542
235.59/236.46	c INPROCESSING
235.59/236.46	c GARBAGE COLLECT
235.59/236.46	c #Conflicts:     227000 | #Constraints:      15146
235.59/236.46	c #Conflicts:     228000 | #Constraints:      16632
235.59/236.46	c #Conflicts:     229000 | #Constraints:      18133
235.59/236.46	c #Conflicts:     230000 | #Constraints:      19621
235.59/236.46	c #Conflicts:     231000 | #Constraints:      21104
235.59/236.46	c #Conflicts:     232000 | #Constraints:      22607
235.59/236.46	c #Conflicts:     233000 | #Constraints:      24089
235.59/236.46	c #Conflicts:     234000 | #Constraints:      25554
235.59/236.46	c #Conflicts:     235000 | #Constraints:      27040
235.59/236.46	c #Conflicts:     236000 | #Constraints:      28525
235.59/236.46	c INPROCESSING
235.59/236.46	c GARBAGE COLLECT
235.59/236.46	c #Conflicts:     237000 | #Constraints:      15752
235.59/236.46	c #Conflicts:     238000 | #Constraints:      17261
235.59/236.46	c #Conflicts:     239000 | #Constraints:      18763
235.59/236.46	c #Conflicts:     240000 | #Constraints:      20264
235.59/236.46	c #Conflicts:     241000 | #Constraints:      21751
235.59/236.46	c #Conflicts:     242000 | #Constraints:      23207
235.59/236.46	c #Conflicts:     243000 | #Constraints:      24584
235.59/236.46	c #Conflicts:     244000 | #Constraints:      26072
235.59/236.46	c #Conflicts:     245000 | #Constraints:      27563
235.59/236.46	c #Conflicts:     246000 | #Constraints:      28952
235.59/236.46	c INPROCESSING
235.59/236.46	c GARBAGE COLLECT
235.59/236.46	c #Conflicts:     247000 | #Constraints:      15992
235.59/236.46	c #Conflicts:     248000 | #Constraints:      17428
235.59/236.46	c #Conflicts:     249000 | #Constraints:      18929
235.59/236.46	c #Conflicts:     250000 | #Constraints:      20421
235.59/236.46	c #Conflicts:     251000 | #Constraints:      21921
235.59/236.46	c #Conflicts:     252000 | #Constraints:      23414
235.59/236.46	c #Conflicts:     253000 | #Constraints:      24923
235.59/236.46	c #Conflicts:     254000 | #Constraints:      26420
235.59/236.46	c #Conflicts:     255000 | #Constraints:      27912
235.59/236.46	c #Conflicts:     256000 | #Constraints:      29410
235.59/236.46	c INPROCESSING
235.59/236.46	c GARBAGE COLLECT
235.59/236.46	c #Conflicts:     257000 | #Constraints:      16052
235.59/236.46	c #Conflicts:     258000 | #Constraints:      17545
235.59/236.46	c #Conflicts:     259000 | #Constraints:      19049
235.59/236.46	c #Conflicts:     260000 | #Constraints:      20540
235.59/236.46	c #Conflicts:     261000 | #Constraints:      22024
235.59/236.46	c #Conflicts:     262000 | #Constraints:      23522
235.59/236.46	c #Conflicts:     263000 | #Constraints:      25012
235.59/236.46	c #Conflicts:     264000 | #Constraints:      26504
235.59/236.46	c #Conflicts:     265000 | #Constraints:      27997
235.59/236.46	c #Conflicts:     266000 | #Constraints:      29505
235.59/236.46	c INPROCESSING
235.59/236.46	c GARBAGE COLLECT
235.59/236.46	c #Conflicts:     267000 | #Constraints:      15793
235.59/236.46	c #Conflicts:     268000 | #Constraints:      17294
235.59/236.46	c #Conflicts:     269000 | #Constraints:      18778
235.59/236.46	c #Conflicts:     270000 | #Constraints:      20274
235.59/236.46	c #Conflicts:     271000 | #Constraints:      21754
235.59/236.46	c #Conflicts:     272000 | #Constraints:      23245
235.59/236.46	c #Conflicts:     273000 | #Constraints:      24727
235.59/236.46	c #Conflicts:     274000 | #Constraints:      26224
235.59/236.46	c #Conflicts:     275000 | #Constraints:      27335
235.59/236.46	c #Conflicts:     276000 | #Constraints:      28810
235.59/236.46	c #Conflicts:     277000 | #Constraints:      30312
235.59/236.46	c INPROCESSING
235.59/236.46	c GARBAGE COLLECT
235.59/236.46	c #Conflicts:     278000 | #Constraints:      16490
235.59/236.46	c #Conflicts:     279000 | #Constraints:      17983
235.59/236.46	c #Conflicts:     280000 | #Constraints:      19468
235.59/236.46	c #Conflicts:     281000 | #Constraints:      20965
235.59/236.46	c #Conflicts:     282000 | #Constraints:      22464
235.59/236.46	c #Conflicts:     283000 | #Constraints:      23937
235.59/236.46	c #Conflicts:     284000 | #Constraints:      25427
235.59/236.46	c #Conflicts:     285000 | #Constraints:      26915
235.59/236.46	c #Conflicts:     286000 | #Constraints:      28398
235.59/236.46	c #Conflicts:     287000 | #Constraints:      29885
235.59/236.46	c #Conflicts:     288000 | #Constraints:      31382
235.59/236.46	c INPROCESSING
235.59/236.46	c GARBAGE COLLECT
235.59/236.46	c #Conflicts:     289000 | #Constraints:      17188
235.59/236.46	c #Conflicts:     290000 | #Constraints:      18693
235.59/236.46	c #Conflicts:     291000 | #Constraints:      20197
235.59/236.46	c #Conflicts:     292000 | #Constraints:      21694
235.59/236.46	c #Conflicts:     293000 | #Constraints:      23184
235.59/236.46	c #Conflicts:     294000 | #Constraints:      24667
235.59/236.46	c #Conflicts:     295000 | #Constraints:      26152
235.59/236.46	c #Conflicts:     296000 | #Constraints:      27644
235.59/236.46	c #Conflicts:     297000 | #Constraints:      29142
337.16/338.32	c #Conflicts:     298000 | #Constraints:      30628
337.16/338.32	c #Conflicts:     299000 | #Constraints:      32111
337.16/338.32	c INPROCESSING
337.16/338.32	c GARBAGE COLLECT
337.16/338.32	c #Conflicts:     300000 | #Constraints:      17552
337.16/338.32	c #Conflicts:     301000 | #Constraints:      19032
337.16/338.32	c #Conflicts:     302000 | #Constraints:      20462
337.16/338.32	c #Conflicts:     303000 | #Constraints:      21742
337.16/338.32	c #Conflicts:     304000 | #Constraints:      23229
337.16/338.32	c #Conflicts:     305000 | #Constraints:      24728
337.16/338.32	c #Conflicts:     306000 | #Constraints:      26147
337.16/338.32	c #Conflicts:     307000 | #Constraints:      27642
337.16/338.32	c #Conflicts:     308000 | #Constraints:      29120
337.16/338.32	c #Conflicts:     309000 | #Constraints:      30604
337.16/338.32	c #Conflicts:     310000 | #Constraints:      32091
337.16/338.32	c INPROCESSING
337.16/338.32	c GARBAGE COLLECT
337.16/338.32	c #Conflicts:     311000 | #Constraints:      17408
337.16/338.32	c #Conflicts:     312000 | #Constraints:      18895
337.16/338.32	c #Conflicts:     313000 | #Constraints:      20269
337.16/338.32	c #Conflicts:     314000 | #Constraints:      21755
337.16/338.32	c #Conflicts:     315000 | #Constraints:      23256
337.16/338.32	c #Conflicts:     316000 | #Constraints:      24738
337.16/338.32	c #Conflicts:     317000 | #Constraints:      26226
337.16/338.32	c #Conflicts:     318000 | #Constraints:      27720
337.16/338.32	c #Conflicts:     319000 | #Constraints:      29214
337.16/338.32	c #Conflicts:     320000 | #Constraints:      30718
337.16/338.32	c #Conflicts:     321000 | #Constraints:      32230
337.16/338.32	c INPROCESSING
337.16/338.32	c GARBAGE COLLECT
337.16/338.32	c #Conflicts:     322000 | #Constraints:      17176
337.16/338.32	c #Conflicts:     323000 | #Constraints:      18664
337.16/338.32	c #Conflicts:     324000 | #Constraints:      20167
337.16/338.32	c #Conflicts:     325000 | #Constraints:      21609
337.16/338.32	c #Conflicts:     326000 | #Constraints:      23087
337.16/338.32	c #Conflicts:     327000 | #Constraints:      24569
337.16/338.32	c #Conflicts:     328000 | #Constraints:      26058
337.16/338.32	c #Conflicts:     329000 | #Constraints:      27546
337.16/338.32	c #Conflicts:     330000 | #Constraints:      29039
337.16/338.32	c #Conflicts:     331000 | #Constraints:      30535
337.16/338.32	c #Conflicts:     332000 | #Constraints:      32013
337.16/338.32	c #Conflicts:     333000 | #Constraints:      33507
337.16/338.32	c INPROCESSING
337.16/338.32	c GARBAGE COLLECT
337.16/338.32	c #Conflicts:     334000 | #Constraints:      18106
337.16/338.32	c #Conflicts:     335000 | #Constraints:      19588
337.16/338.32	c #Conflicts:     336000 | #Constraints:      21068
337.16/338.32	c #Conflicts:     337000 | #Constraints:      22546
337.16/338.32	c #Conflicts:     338000 | #Constraints:      24028
337.16/338.32	c #Conflicts:     339000 | #Constraints:      25463
337.16/338.32	c #Conflicts:     340000 | #Constraints:      26943
337.16/338.32	c #Conflicts:     341000 | #Constraints:      28436
337.16/338.32	c #Conflicts:     342000 | #Constraints:      29919
337.16/338.32	c #Conflicts:     343000 | #Constraints:      31401
337.16/338.32	c #Conflicts:     344000 | #Constraints:      32892
337.16/338.32	c #Conflicts:     345000 | #Constraints:      34388
337.16/338.32	c INPROCESSING
337.16/338.32	c GARBAGE COLLECT
337.16/338.32	c #Conflicts:     346000 | #Constraints:      18576
337.16/338.32	c #Conflicts:     347000 | #Constraints:      20033
337.16/338.32	c #Conflicts:     348000 | #Constraints:      21219
337.16/338.32	c #Conflicts:     349000 | #Constraints:      22718
337.16/338.32	c #Conflicts:     350000 | #Constraints:      24220
337.16/338.32	c #Conflicts:     351000 | #Constraints:      25725
337.16/338.32	c #Conflicts:     352000 | #Constraints:      27198
337.16/338.32	c #Conflicts:     353000 | #Constraints:      28696
337.16/338.32	c #Conflicts:     354000 | #Constraints:      30177
337.16/338.32	c #Conflicts:     355000 | #Constraints:      31663
337.16/338.32	c #Conflicts:     356000 | #Constraints:      33142
337.16/338.32	c #Conflicts:     357000 | #Constraints:      34628
337.16/338.32	c INPROCESSING
337.16/338.32	c GARBAGE COLLECT
337.16/338.32	c #Conflicts:     358000 | #Constraints:      18826
337.16/338.32	c #Conflicts:     359000 | #Constraints:      20312
337.16/338.32	c #Conflicts:     360000 | #Constraints:      21804
337.16/338.32	c #Conflicts:     361000 | #Constraints:      23289
337.16/338.32	c #Conflicts:     362000 | #Constraints:      24772
337.16/338.32	c #Conflicts:     363000 | #Constraints:      26247
337.16/338.32	c #Conflicts:     364000 | #Constraints:      27723
337.16/338.32	c #Conflicts:     365000 | #Constraints:      29216
337.16/338.32	c #Conflicts:     366000 | #Constraints:      30713
337.16/338.32	c #Conflicts:     367000 | #Constraints:      32212
337.16/338.32	c #Conflicts:     368000 | #Constraints:      33690
337.16/338.32	c #Conflicts:     369000 | #Constraints:      35173
337.16/338.32	c INPROCESSING
337.16/338.32	c GARBAGE COLLECT
337.16/338.32	c #Conflicts:     370000 | #Constraints:      18956
337.16/338.32	c #Conflicts:     371000 | #Constraints:      20448
445.31/446.89	c #Conflicts:     372000 | #Constraints:      21822
445.31/446.89	c #Conflicts:     373000 | #Constraints:      23035
445.31/446.89	c #Conflicts:     374000 | #Constraints:      24532
445.31/446.89	c #Conflicts:     375000 | #Constraints:      26015
445.31/446.89	c #Conflicts:     376000 | #Constraints:      27491
445.31/446.89	c #Conflicts:     377000 | #Constraints:      28980
445.31/446.89	c #Conflicts:     378000 | #Constraints:      30499
445.31/446.89	c #Conflicts:     379000 | #Constraints:      31985
445.31/446.89	c #Conflicts:     380000 | #Constraints:      33109
445.31/446.89	c #Conflicts:     381000 | #Constraints:      34599
445.31/446.89	c INPROCESSING
445.31/446.89	c GARBAGE COLLECT
445.31/446.89	c #Conflicts:     382000 | #Constraints:      18353
445.31/446.89	c #Conflicts:     383000 | #Constraints:      19853
445.31/446.89	c #Conflicts:     384000 | #Constraints:      21308
445.31/446.89	c #Conflicts:     385000 | #Constraints:      22673
445.31/446.89	c #Conflicts:     386000 | #Constraints:      24176
445.31/446.89	c #Conflicts:     387000 | #Constraints:      25674
445.31/446.89	c #Conflicts:     388000 | #Constraints:      27154
445.31/446.89	c #Conflicts:     389000 | #Constraints:      28636
445.31/446.89	c #Conflicts:     390000 | #Constraints:      30130
445.31/446.89	c #Conflicts:     391000 | #Constraints:      31430
445.31/446.89	c #Conflicts:     392000 | #Constraints:      32925
445.31/446.89	c #Conflicts:     393000 | #Constraints:      33952
445.31/446.89	c #Conflicts:     394000 | #Constraints:      35321
445.31/446.89	c INPROCESSING
445.31/446.89	c GARBAGE COLLECT
445.31/446.89	c #Conflicts:     395000 | #Constraints:      19006
445.31/446.89	c #Conflicts:     396000 | #Constraints:      20497
445.31/446.89	c #Conflicts:     397000 | #Constraints:      21884
445.31/446.89	c #Conflicts:     398000 | #Constraints:      23373
445.31/446.89	c #Conflicts:     399000 | #Constraints:      24878
445.31/446.89	c #Conflicts:     400000 | #Constraints:      26347
445.31/446.89	c #Conflicts:     401000 | #Constraints:      27837
445.31/446.89	c #Conflicts:     402000 | #Constraints:      29341
445.31/446.89	c #Conflicts:     403000 | #Constraints:      30836
445.31/446.89	c #Conflicts:     404000 | #Constraints:      32310
445.31/446.89	c #Conflicts:     405000 | #Constraints:      33783
445.31/446.89	c #Conflicts:     406000 | #Constraints:      35275
445.31/446.89	c #Conflicts:     407000 | #Constraints:      36761
445.31/446.89	c INPROCESSING
445.31/446.89	c GARBAGE COLLECT
445.31/446.89	c #Conflicts:     408000 | #Constraints:      19894
445.31/446.89	c #Conflicts:     409000 | #Constraints:      21380
445.31/446.89	c #Conflicts:     410000 | #Constraints:      22875
445.31/446.89	c #Conflicts:     411000 | #Constraints:      24359
445.31/446.89	c #Conflicts:     412000 | #Constraints:      25857
445.31/446.89	c #Conflicts:     413000 | #Constraints:      27332
445.31/446.89	c #Conflicts:     414000 | #Constraints:      28832
445.31/446.89	c #Conflicts:     415000 | #Constraints:      30317
445.31/446.89	c #Conflicts:     416000 | #Constraints:      31815
445.31/446.89	c #Conflicts:     417000 | #Constraints:      33298
445.31/446.89	c #Conflicts:     418000 | #Constraints:      34803
445.31/446.89	c #Conflicts:     419000 | #Constraints:      36292
445.31/446.89	c #Conflicts:     420000 | #Constraints:      37785
445.31/446.89	c INPROCESSING
445.31/446.89	c GARBAGE COLLECT
445.31/446.89	c #Conflicts:     421000 | #Constraints:      20391
445.31/446.89	c #Conflicts:     422000 | #Constraints:      21879
445.31/446.89	c #Conflicts:     423000 | #Constraints:      23357
445.31/446.89	c #Conflicts:     424000 | #Constraints:      24848
445.31/446.89	c #Conflicts:     425000 | #Constraints:      26343
445.31/446.89	c #Conflicts:     426000 | #Constraints:      27823
445.31/446.89	c #Conflicts:     427000 | #Constraints:      29315
445.31/446.89	c #Conflicts:     428000 | #Constraints:      30803
445.31/446.89	c #Conflicts:     429000 | #Constraints:      32303
445.31/446.89	c #Conflicts:     430000 | #Constraints:      33802
445.31/446.89	c #Conflicts:     431000 | #Constraints:      35290
445.31/446.89	c #Conflicts:     432000 | #Constraints:      36776
445.31/446.89	c #Conflicts:     433000 | #Constraints:      38261
445.31/446.89	c INPROCESSING
445.31/446.89	c GARBAGE COLLECT
445.31/446.89	c #Conflicts:     434000 | #Constraints:      20496
445.31/446.89	c #Conflicts:     435000 | #Constraints:      21981
445.31/446.89	c #Conflicts:     436000 | #Constraints:      23452
445.31/446.89	c #Conflicts:     437000 | #Constraints:      24952
445.31/446.89	c #Conflicts:     438000 | #Constraints:      26449
445.31/446.89	c #Conflicts:     439000 | #Constraints:      27923
445.31/446.89	c #Conflicts:     440000 | #Constraints:      29409
445.31/446.89	c #Conflicts:     441000 | #Constraints:      30898
445.31/446.89	c #Conflicts:     442000 | #Constraints:      32383
445.31/446.89	c #Conflicts:     443000 | #Constraints:      33662
445.31/446.89	c GLOBAL bounds - >= 0 @ 441.362
445.31/446.89	c GLOBAL bounds - >= 0 @ 441.363
450.79/452.37	c #Conflicts:     444000 | #Constraints:      35151
450.79/452.37	c #Conflicts:     445000 | #Constraints:      36640
450.79/452.37	c #Conflicts:     446000 | #Constraints:      38128
450.79/452.37	c INPROCESSING
450.79/452.37	c GARBAGE COLLECT
450.79/452.37	c rational objective 0
472.23/473.88	c #Conflicts:     447000 | #Constraints:      19993
472.23/473.88	c #Conflicts:     448000 | #Constraints:      21479
472.23/473.88	c #Conflicts:     449000 | #Constraints:      22961
472.23/473.88	c #Conflicts:     450000 | #Constraints:      24463
472.23/473.88	c #Conflicts:     451000 | #Constraints:      25894
472.23/473.88	c #Conflicts:     452000 | #Constraints:      27222
472.23/473.88	c #Conflicts:     453000 | #Constraints:      28723
472.23/473.88	c #Conflicts:     454000 | #Constraints:      30158
472.23/473.88	c #Conflicts:     455000 | #Constraints:      31478
472.23/473.88	c #Conflicts:     456000 | #Constraints:      32899
472.23/473.88	c #Conflicts:     457000 | #Constraints:      34356
472.23/473.88	c #Conflicts:     458000 | #Constraints:      35752
472.23/473.88	c #Conflicts:     459000 | #Constraints:      37067
472.23/473.88	c #Conflicts:     460000 | #Constraints:      38489
472.23/473.88	c INPROCESSING
472.23/473.88	c GARBAGE COLLECT
472.23/473.88	c rational objective 0
472.44/474.04	c GLOBAL bounds - >= 0 @ 468.289
472.44/474.04	c GLOBAL bounds - >= 0 @ 468.289
488.28/489.96	c #Conflicts:     461000 | #Constraints:      20522
488.28/489.96	c #Conflicts:     462000 | #Constraints:      21935
488.28/489.96	c #Conflicts:     463000 | #Constraints:      23120
488.28/489.96	c #Conflicts:     464000 | #Constraints:      24363
488.28/489.96	c #Conflicts:     465000 | #Constraints:      25507
488.28/489.96	c #Conflicts:     466000 | #Constraints:      26655
488.28/489.96	c #Conflicts:     467000 | #Constraints:      28155
488.28/489.96	c #Conflicts:     468000 | #Constraints:      29621
488.28/489.96	c #Conflicts:     469000 | #Constraints:      30999
488.28/489.96	c #Conflicts:     470000 | #Constraints:      32489
488.28/489.96	c #Conflicts:     471000 | #Constraints:      33918
488.28/489.96	c GLOBAL bounds 3 >= 0 @ 484.059
488.28/489.96	c GLOBAL bounds 3 >= 0 @ 484.059
492.58/494.24	c #Conflicts:     472000 | #Constraints:      35235
492.58/494.24	c #Conflicts:     473000 | #Constraints:      36602
492.58/494.24	c #Conflicts:     474000 | #Constraints:      37838
492.58/494.24	c INPROCESSING
492.58/494.24	c GARBAGE COLLECT
492.58/494.24	c rational objective 0
508.72/510.45	c #Conflicts:     475000 | #Constraints:      20035
508.72/510.45	c #Conflicts:     476000 | #Constraints:      21142
508.72/510.45	c #Conflicts:     477000 | #Constraints:      22142
508.72/510.45	c #Conflicts:     478000 | #Constraints:      23290
508.72/510.45	c #Conflicts:     479000 | #Constraints:      24518
508.72/510.45	c #Conflicts:     480000 | #Constraints:      25647
508.72/510.45	c #Conflicts:     481000 | #Constraints:      26755
508.72/510.45	c #Conflicts:     482000 | #Constraints:      27850
508.72/510.45	c #Conflicts:     483000 | #Constraints:      29200
508.72/510.45	c #Conflicts:     484000 | #Constraints:      30331
508.72/510.45	c #Conflicts:     485000 | #Constraints:      31394
508.72/510.45	c #Conflicts:     486000 | #Constraints:      32560
508.72/510.45	c #Conflicts:     487000 | #Constraints:      33616
508.72/510.45	c #Conflicts:     488000 | #Constraints:      34875
508.72/510.45	c INPROCESSING
508.72/510.45	c GARBAGE COLLECT
508.72/510.45	c rational objective 0
526.58/528.31	c #Conflicts:     489000 | #Constraints:      18754
526.58/528.31	c #Conflicts:     490000 | #Constraints:      20246
526.58/528.31	c #Conflicts:     491000 | #Constraints:      21665
526.58/528.31	c #Conflicts:     492000 | #Constraints:      23150
526.58/528.31	c #Conflicts:     493000 | #Constraints:      24629
526.58/528.31	c #Conflicts:     494000 | #Constraints:      25938
526.58/528.31	c #Conflicts:     495000 | #Constraints:      27439
526.58/528.31	c #Conflicts:     496000 | #Constraints:      28909
526.58/528.31	c #Conflicts:     497000 | #Constraints:      30395
526.58/528.31	c #Conflicts:     498000 | #Constraints:      31883
526.58/528.31	c #Conflicts:     499000 | #Constraints:      33363
526.58/528.31	c #Conflicts:     500000 | #Constraints:      34858
526.58/528.31	c #Conflicts:     501000 | #Constraints:      36360
526.58/528.31	c #Conflicts:     502000 | #Constraints:      37449
526.58/528.31	c INPROCESSING
526.58/528.31	c GARBAGE COLLECT
526.58/528.31	c rational objective 0
534.27/536.10	c #Conflicts:     503000 | #Constraints:      19685
534.27/536.10	c #Conflicts:     504000 | #Constraints:      20685
534.27/536.10	c #Conflicts:     505000 | #Constraints:      21685
534.27/536.10	c #Conflicts:     506000 | #Constraints:      22685
534.27/536.10	c #Conflicts:     507000 | #Constraints:      23685
534.27/536.10	c #Conflicts:     508000 | #Constraints:      24685
534.27/536.10	c #Conflicts:     509000 | #Constraints:      25685
534.27/536.10	c GLOBAL bounds 3 >= 0 @ 529.763
534.27/536.10	c GLOBAL bounds 3 >= 0 @ 529.763
541.93/543.71	c #Conflicts:     510000 | #Constraints:      26686
541.93/543.71	c #Conflicts:     511000 | #Constraints:      27686
541.93/543.71	c #Conflicts:     512000 | #Constraints:      28686
541.93/543.71	c #Conflicts:     513000 | #Constraints:      29686
541.93/543.71	c #Conflicts:     514000 | #Constraints:      30686
541.93/543.71	c #Conflicts:     515000 | #Constraints:      31686
541.93/543.71	c #Conflicts:     516000 | #Constraints:      32686
541.93/543.71	c INPROCESSING
541.93/543.71	c GARBAGE COLLECT
541.93/543.71	c rational objective 0
558.98/560.85	c #Conflicts:     517000 | #Constraints:      17263
558.98/560.85	c #Conflicts:     518000 | #Constraints:      18626
558.98/560.85	c #Conflicts:     519000 | #Constraints:      20014
558.98/560.85	c #Conflicts:     520000 | #Constraints:      21279
558.98/560.85	c #Conflicts:     521000 | #Constraints:      22564
558.98/560.85	c #Conflicts:     522000 | #Constraints:      23929
558.98/560.85	c #Conflicts:     523000 | #Constraints:      25239
558.98/560.85	c #Conflicts:     524000 | #Constraints:      26442
558.98/560.85	c #Conflicts:     525000 | #Constraints:      27634
558.98/560.85	c #Conflicts:     526000 | #Constraints:      28894
558.98/560.85	c #Conflicts:     527000 | #Constraints:      29935
558.98/560.85	c #Conflicts:     528000 | #Constraints:      31129
558.98/560.85	c #Conflicts:     529000 | #Constraints:      32247
558.98/560.85	c #Conflicts:     530000 | #Constraints:      33629
558.98/560.85	c #Conflicts:     531000 | #Constraints:      34891
558.98/560.85	c INPROCESSING
558.98/560.85	c GARBAGE COLLECT
558.98/560.85	c rational objective 0
577.82/579.76	c #Conflicts:     532000 | #Constraints:      18810
577.82/579.76	c #Conflicts:     533000 | #Constraints:      20308
577.82/579.76	c #Conflicts:     534000 | #Constraints:      21793
577.82/579.76	c #Conflicts:     535000 | #Constraints:      23291
577.82/579.76	c #Conflicts:     536000 | #Constraints:      24783
577.82/579.76	c #Conflicts:     537000 | #Constraints:      26266
577.82/579.76	c #Conflicts:     538000 | #Constraints:      27756
577.82/579.76	c #Conflicts:     539000 | #Constraints:      29250
577.82/579.76	c #Conflicts:     540000 | #Constraints:      30700
577.82/579.76	c #Conflicts:     541000 | #Constraints:      32194
577.82/579.76	c #Conflicts:     542000 | #Constraints:      33656
577.82/579.76	c #Conflicts:     543000 | #Constraints:      35133
577.82/579.76	c #Conflicts:     544000 | #Constraints:      36422
577.82/579.76	c #Conflicts:     545000 | #Constraints:      37909
577.82/579.76	c #Conflicts:     546000 | #Constraints:      39390
577.82/579.76	c INPROCESSING
577.82/579.76	c GARBAGE COLLECT
577.82/579.76	c rational objective 0
598.96/600.97	c #Conflicts:     547000 | #Constraints:      21051
598.96/600.97	c #Conflicts:     548000 | #Constraints:      22542
598.96/600.97	c #Conflicts:     549000 | #Constraints:      23969
598.96/600.97	c #Conflicts:     550000 | #Constraints:      25397
598.96/600.97	c #Conflicts:     551000 | #Constraints:      26872
598.96/600.97	c #Conflicts:     552000 | #Constraints:      28352
598.96/600.97	c #Conflicts:     553000 | #Constraints:      29589
598.96/600.97	c #Conflicts:     554000 | #Constraints:      30873
598.96/600.97	c #Conflicts:     555000 | #Constraints:      32352
598.96/600.97	c #Conflicts:     556000 | #Constraints:      33790
598.96/600.97	c #Conflicts:     557000 | #Constraints:      35109
598.96/600.97	c #Conflicts:     558000 | #Constraints:      36597
598.96/600.97	c #Conflicts:     559000 | #Constraints:      38006
598.96/600.97	c #Conflicts:     560000 | #Constraints:      39513
598.96/600.97	c #Conflicts:     561000 | #Constraints:      40872
598.96/600.97	c INPROCESSING
598.96/600.97	c GARBAGE COLLECT
598.96/600.97	c rational objective 0
617.71/619.73	c #Conflicts:     562000 | #Constraints:      21451
617.71/619.73	c #Conflicts:     563000 | #Constraints:      22683
617.71/619.73	c #Conflicts:     564000 | #Constraints:      23713
617.71/619.73	c #Conflicts:     565000 | #Constraints:      24817
617.71/619.73	c #Conflicts:     566000 | #Constraints:      25950
617.71/619.73	c #Conflicts:     567000 | #Constraints:      27210
617.71/619.73	c #Conflicts:     568000 | #Constraints:      28373
617.71/619.73	c #Conflicts:     569000 | #Constraints:      29397
617.71/619.73	c #Conflicts:     570000 | #Constraints:      30450
617.71/619.73	c #Conflicts:     571000 | #Constraints:      31530
617.71/619.73	c #Conflicts:     572000 | #Constraints:      32631
617.71/619.73	c #Conflicts:     573000 | #Constraints:      33631
617.71/619.73	c #Conflicts:     574000 | #Constraints:      34643
617.71/619.73	c #Conflicts:     575000 | #Constraints:      35662
617.71/619.73	c #Conflicts:     576000 | #Constraints:      36662
617.71/619.73	c INPROCESSING
617.71/619.73	c GARBAGE COLLECT
617.71/619.73	c rational objective 0
641.13/643.22	c #Conflicts:     577000 | #Constraints:      19600
641.13/643.22	c #Conflicts:     578000 | #Constraints:      21084
641.13/643.22	c #Conflicts:     579000 | #Constraints:      22568
641.13/643.22	c #Conflicts:     580000 | #Constraints:      24064
641.13/643.22	c #Conflicts:     581000 | #Constraints:      25556
641.13/643.22	c #Conflicts:     582000 | #Constraints:      27044
641.13/643.22	c #Conflicts:     583000 | #Constraints:      28528
641.13/643.22	c #Conflicts:     584000 | #Constraints:      30014
641.13/643.22	c #Conflicts:     585000 | #Constraints:      31489
641.13/643.22	c #Conflicts:     586000 | #Constraints:      32986
641.13/643.22	c #Conflicts:     587000 | #Constraints:      34471
641.13/643.22	c #Conflicts:     588000 | #Constraints:      35957
641.13/643.22	c #Conflicts:     589000 | #Constraints:      37441
641.13/643.22	c #Conflicts:     590000 | #Constraints:      38927
641.13/643.22	c #Conflicts:     591000 | #Constraints:      40421
641.13/643.22	c INPROCESSING
641.13/643.22	c GARBAGE COLLECT
641.13/643.22	c rational objective 0
662.37/664.53	c #Conflicts:     592000 | #Constraints:      21162
662.37/664.53	c #Conflicts:     593000 | #Constraints:      22288
662.37/664.53	c #Conflicts:     594000 | #Constraints:      23723
662.37/664.53	c #Conflicts:     595000 | #Constraints:      25024
662.37/664.53	c #Conflicts:     596000 | #Constraints:      26024
662.37/664.53	c #Conflicts:     597000 | #Constraints:      27194
662.37/664.53	c #Conflicts:     598000 | #Constraints:      28344
662.37/664.53	c #Conflicts:     599000 | #Constraints:      29438
662.37/664.53	c #Conflicts:     600000 | #Constraints:      30766
662.37/664.53	c #Conflicts:     601000 | #Constraints:      32132
662.37/664.53	c #Conflicts:     602000 | #Constraints:      33479
662.37/664.53	c #Conflicts:     603000 | #Constraints:      34838
662.37/664.53	c #Conflicts:     604000 | #Constraints:      36276
662.37/664.53	c #Conflicts:     605000 | #Constraints:      37738
662.37/664.53	c #Conflicts:     606000 | #Constraints:      39214
662.37/664.53	c #Conflicts:     607000 | #Constraints:      40318
662.37/664.53	c INPROCESSING
662.37/664.53	c GARBAGE COLLECT
662.37/664.53	c rational objective 0
686.50/688.72	c #Conflicts:     608000 | #Constraints:      21431
686.50/688.72	c #Conflicts:     609000 | #Constraints:      22918
686.50/688.72	c #Conflicts:     610000 | #Constraints:      24400
686.50/688.72	c #Conflicts:     611000 | #Constraints:      25808
686.50/688.72	c #Conflicts:     612000 | #Constraints:      27317
686.50/688.72	c #Conflicts:     613000 | #Constraints:      28797
686.50/688.72	c #Conflicts:     614000 | #Constraints:      30289
686.50/688.72	c #Conflicts:     615000 | #Constraints:      31794
686.50/688.72	c #Conflicts:     616000 | #Constraints:      33289
686.50/688.72	c #Conflicts:     617000 | #Constraints:      34784
686.50/688.72	c #Conflicts:     618000 | #Constraints:      36261
686.50/688.72	c #Conflicts:     619000 | #Constraints:      37739
686.50/688.72	c #Conflicts:     620000 | #Constraints:      39245
686.50/688.72	c #Conflicts:     621000 | #Constraints:      40728
686.50/688.72	c #Conflicts:     622000 | #Constraints:      42197
686.50/688.72	c #Conflicts:     623000 | #Constraints:      43685
686.50/688.72	c INPROCESSING
686.50/688.72	c GARBAGE COLLECT
686.50/688.72	c rational objective 0
699.46/701.74	c #Conflicts:     624000 | #Constraints:      23310
699.46/701.74	c #Conflicts:     625000 | #Constraints:      24802
699.46/701.74	c #Conflicts:     626000 | #Constraints:      26262
699.46/701.74	c #Conflicts:     627000 | #Constraints:      27748
699.46/701.74	c #Conflicts:     628000 | #Constraints:      29231
699.46/701.74	c #Conflicts:     629000 | #Constraints:      30723
699.46/701.74	c #Conflicts:     630000 | #Constraints:      32206
699.46/701.74	c #Conflicts:     631000 | #Constraints:      33664
699.46/701.74	c #Conflicts:     632000 | #Constraints:      35141
699.46/701.74	c GLOBAL bounds 3 >= 0 @ 693.883
699.46/701.74	c GLOBAL bounds 3 >= 0 @ 693.884
712.22/714.52	c #Conflicts:     633000 | #Constraints:      36637
712.22/714.52	c #Conflicts:     634000 | #Constraints:      38116
712.22/714.52	c #Conflicts:     635000 | #Constraints:      39614
712.22/714.52	c #Conflicts:     636000 | #Constraints:      41108
712.22/714.52	c #Conflicts:     637000 | #Constraints:      42620
712.22/714.52	c #Conflicts:     638000 | #Constraints:      44106
712.22/714.52	c #Conflicts:     639000 | #Constraints:      45613
712.22/714.52	c INPROCESSING
712.22/714.52	c GARBAGE COLLECT
712.22/714.52	c rational objective 0
739.24/741.65	c #Conflicts:     640000 | #Constraints:      24176
739.24/741.65	c #Conflicts:     641000 | #Constraints:      25678
739.24/741.65	c #Conflicts:     642000 | #Constraints:      27179
739.24/741.65	c #Conflicts:     643000 | #Constraints:      28662
739.24/741.65	c #Conflicts:     644000 | #Constraints:      30151
739.24/741.65	c #Conflicts:     645000 | #Constraints:      31640
739.24/741.65	c #Conflicts:     646000 | #Constraints:      33121
739.24/741.65	c #Conflicts:     647000 | #Constraints:      34605
739.24/741.65	c #Conflicts:     648000 | #Constraints:      36097
739.24/741.65	c #Conflicts:     649000 | #Constraints:      37574
739.24/741.65	c #Conflicts:     650000 | #Constraints:      39073
739.24/741.65	c #Conflicts:     651000 | #Constraints:      40558
739.24/741.65	c #Conflicts:     652000 | #Constraints:      42063
739.24/741.65	c #Conflicts:     653000 | #Constraints:      43552
739.24/741.65	c #Conflicts:     654000 | #Constraints:      45041
739.24/741.65	c #Conflicts:     655000 | #Constraints:      46524
739.24/741.65	c INPROCESSING
739.24/741.65	c GARBAGE COLLECT
739.24/741.65	c rational objective 0
767.46/769.95	c #Conflicts:     656000 | #Constraints:      24604
767.46/769.95	c #Conflicts:     657000 | #Constraints:      26093
767.46/769.95	c #Conflicts:     658000 | #Constraints:      27611
767.46/769.95	c #Conflicts:     659000 | #Constraints:      29090
767.46/769.95	c #Conflicts:     660000 | #Constraints:      30584
767.46/769.95	c #Conflicts:     661000 | #Constraints:      32029
767.46/769.95	c #Conflicts:     662000 | #Constraints:      33370
767.46/769.95	c #Conflicts:     663000 | #Constraints:      34858
767.46/769.95	c #Conflicts:     664000 | #Constraints:      36351
767.46/769.95	c #Conflicts:     665000 | #Constraints:      37838
767.46/769.95	c #Conflicts:     666000 | #Constraints:      39329
767.46/769.95	c #Conflicts:     667000 | #Constraints:      40821
767.46/769.95	c #Conflicts:     668000 | #Constraints:      42276
767.46/769.95	c #Conflicts:     669000 | #Constraints:      43767
767.46/769.95	c #Conflicts:     670000 | #Constraints:      45259
767.46/769.95	c #Conflicts:     671000 | #Constraints:      46758
767.46/769.95	c INPROCESSING
767.46/769.95	c GARBAGE COLLECT
767.46/769.95	c rational objective 0
792.60/795.13	c #Conflicts:     672000 | #Constraints:      24315
792.60/795.13	c #Conflicts:     673000 | #Constraints:      25451
792.60/795.13	c #Conflicts:     674000 | #Constraints:      26707
792.60/795.13	c #Conflicts:     675000 | #Constraints:      27847
792.60/795.13	c #Conflicts:     676000 | #Constraints:      29199
792.60/795.13	c #Conflicts:     677000 | #Constraints:      30203
792.60/795.13	c #Conflicts:     678000 | #Constraints:      31203
792.60/795.13	c #Conflicts:     679000 | #Constraints:      32254
792.60/795.13	c #Conflicts:     680000 | #Constraints:      33254
792.60/795.13	c #Conflicts:     681000 | #Constraints:      34343
792.60/795.13	c #Conflicts:     682000 | #Constraints:      35412
792.60/795.13	c #Conflicts:     683000 | #Constraints:      36555
792.60/795.13	c #Conflicts:     684000 | #Constraints:      37922
792.60/795.13	c #Conflicts:     685000 | #Constraints:      39044
792.60/795.13	c #Conflicts:     686000 | #Constraints:      40072
792.60/795.13	c #Conflicts:     687000 | #Constraints:      41450
792.60/795.13	c #Conflicts:     688000 | #Constraints:      42712
792.60/795.13	c INPROCESSING
792.60/795.13	c GARBAGE COLLECT
792.60/795.13	c rational objective 0
816.91/819.51	c #Conflicts:     689000 | #Constraints:      22291
816.91/819.51	c #Conflicts:     690000 | #Constraints:      23291
816.91/819.51	c #Conflicts:     691000 | #Constraints:      24296
816.91/819.51	c #Conflicts:     692000 | #Constraints:      25662
816.91/819.51	c #Conflicts:     693000 | #Constraints:      27020
816.91/819.51	c #Conflicts:     694000 | #Constraints:      28107
816.91/819.51	c #Conflicts:     695000 | #Constraints:      29463
816.91/819.51	c #Conflicts:     696000 | #Constraints:      30635
816.91/819.51	c #Conflicts:     697000 | #Constraints:      31736
816.91/819.51	c #Conflicts:     698000 | #Constraints:      33010
816.91/819.51	c #Conflicts:     699000 | #Constraints:      34508
816.91/819.51	c #Conflicts:     700000 | #Constraints:      35810
816.91/819.51	c #Conflicts:     701000 | #Constraints:      37304
816.91/819.51	c #Conflicts:     702000 | #Constraints:      38705
816.91/819.51	c #Conflicts:     703000 | #Constraints:      40172
816.91/819.51	c #Conflicts:     704000 | #Constraints:      41208
816.91/819.51	c #Conflicts:     705000 | #Constraints:      42315
816.91/819.51	c INPROCESSING
816.91/819.51	c GARBAGE COLLECT
816.91/819.51	c rational objective 0
839.36/842.05	c #Conflicts:     706000 | #Constraints:      22189
839.36/842.05	c #Conflicts:     707000 | #Constraints:      23189
839.36/842.05	c #Conflicts:     708000 | #Constraints:      24189
839.36/842.05	c #Conflicts:     709000 | #Constraints:      25256
839.36/842.05	c #Conflicts:     710000 | #Constraints:      26347
839.36/842.05	c #Conflicts:     711000 | #Constraints:      27347
839.36/842.05	c #Conflicts:     712000 | #Constraints:      28638
839.36/842.05	c #Conflicts:     713000 | #Constraints:      29729
839.36/842.05	c #Conflicts:     714000 | #Constraints:      30731
839.36/842.05	c #Conflicts:     715000 | #Constraints:      32043
839.36/842.05	c #Conflicts:     716000 | #Constraints:      33253
839.36/842.05	c #Conflicts:     717000 | #Constraints:      34482
839.36/842.05	c #Conflicts:     718000 | #Constraints:      35720
839.36/842.05	c #Conflicts:     719000 | #Constraints:      36720
839.36/842.05	c #Conflicts:     720000 | #Constraints:      37720
839.36/842.05	c #Conflicts:     721000 | #Constraints:      38954
839.36/842.05	c #Conflicts:     722000 | #Constraints:      39965
839.36/842.05	c INPROCESSING
839.36/842.05	c GARBAGE COLLECT
839.36/842.05	c rational objective 0
844.23/846.93	c #Conflicts:     723000 | #Constraints:      21287
844.23/846.93	c #Conflicts:     724000 | #Constraints:      22744
844.23/846.93	c #Conflicts:     725000 | #Constraints:      23985
844.23/846.93	c #Conflicts:     726000 | #Constraints:      25467
844.23/846.93	c GLOBAL bounds 3 >= 0 @ 837.826
844.23/846.93	c GLOBAL bounds 3 >= 0 @ 837.826
866.46/869.27	c #Conflicts:     727000 | #Constraints:      26912
866.46/869.27	c #Conflicts:     728000 | #Constraints:      28356
866.46/869.27	c #Conflicts:     729000 | #Constraints:      29616
866.46/869.27	c #Conflicts:     730000 | #Constraints:      31104
866.46/869.27	c #Conflicts:     731000 | #Constraints:      32601
866.46/869.27	c #Conflicts:     732000 | #Constraints:      33783
866.46/869.27	c #Conflicts:     733000 | #Constraints:      35064
866.46/869.27	c #Conflicts:     734000 | #Constraints:      36540
866.46/869.27	c #Conflicts:     735000 | #Constraints:      38032
866.46/869.27	c #Conflicts:     736000 | #Constraints:      39521
866.46/869.27	c #Conflicts:     737000 | #Constraints:      40933
866.46/869.27	c #Conflicts:     738000 | #Constraints:      42445
866.46/869.27	c #Conflicts:     739000 | #Constraints:      43824
866.46/869.27	c INPROCESSING
866.46/869.27	c GARBAGE COLLECT
866.46/869.27	c rational objective 0
882.92/885.78	c #Conflicts:     740000 | #Constraints:      23117
882.92/885.78	c #Conflicts:     741000 | #Constraints:      24393
882.92/885.78	c #Conflicts:     742000 | #Constraints:      25458
882.92/885.78	c #Conflicts:     743000 | #Constraints:      26636
882.92/885.78	c #Conflicts:     744000 | #Constraints:      27760
882.92/885.78	c #Conflicts:     745000 | #Constraints:      28955
882.92/885.78	c #Conflicts:     746000 | #Constraints:      29955
882.92/885.78	c #Conflicts:     747000 | #Constraints:      30955
882.92/885.78	c #Conflicts:     748000 | #Constraints:      32272
882.92/885.78	c #Conflicts:     749000 | #Constraints:      33711
882.92/885.78	c #Conflicts:     750000 | #Constraints:      35187
882.92/885.78	c #Conflicts:     751000 | #Constraints:      36597
882.92/885.78	c GLOBAL bounds 2 >= 0 @ 876.349
882.92/885.78	c GLOBAL bounds 2 >= 0 @ 876.349
892.88/895.79	c #Conflicts:     752000 | #Constraints:      37673
892.88/895.79	c #Conflicts:     753000 | #Constraints:      38822
892.88/895.79	c #Conflicts:     754000 | #Constraints:      40160
892.88/895.79	c #Conflicts:     755000 | #Constraints:      41266
892.88/895.79	c #Conflicts:     756000 | #Constraints:      42425
892.88/895.79	c INPROCESSING
892.88/895.79	c GARBAGE COLLECT
892.88/895.79	c rational objective 0.00505051
922.30/925.22	c #Conflicts:     757000 | #Constraints:      22025
922.30/925.22	c #Conflicts:     758000 | #Constraints:      23316
922.30/925.22	c #Conflicts:     759000 | #Constraints:      24343
922.30/925.22	c #Conflicts:     760000 | #Constraints:      25608
922.30/925.22	c #Conflicts:     761000 | #Constraints:      26896
922.30/925.22	c #Conflicts:     762000 | #Constraints:      28219
922.30/925.22	c #Conflicts:     763000 | #Constraints:      29716
922.30/925.22	c #Conflicts:     764000 | #Constraints:      30901
922.30/925.22	c #Conflicts:     765000 | #Constraints:      32297
922.30/925.22	c #Conflicts:     766000 | #Constraints:      33786
922.30/925.22	c #Conflicts:     767000 | #Constraints:      35110
922.30/925.22	c #Conflicts:     768000 | #Constraints:      36589
922.30/925.22	c #Conflicts:     769000 | #Constraints:      38047
922.30/925.22	c #Conflicts:     770000 | #Constraints:      39447
922.30/925.22	c #Conflicts:     771000 | #Constraints:      40754
922.30/925.22	c #Conflicts:     772000 | #Constraints:      42139
922.30/925.22	c #Conflicts:     773000 | #Constraints:      43520
922.30/925.22	c #Conflicts:     774000 | #Constraints:      44534
922.30/925.22	c INPROCESSING
922.30/925.22	c GARBAGE COLLECT
922.30/925.22	c rational objective 1
950.81/953.83	c #Conflicts:     775000 | #Constraints:      23230
950.81/953.83	c #Conflicts:     776000 | #Constraints:      24265
950.81/953.83	c #Conflicts:     777000 | #Constraints:      25613
950.81/953.83	c #Conflicts:     778000 | #Constraints:      27049
950.81/953.83	c #Conflicts:     779000 | #Constraints:      28326
950.81/953.83	c #Conflicts:     780000 | #Constraints:      29642
950.81/953.83	c #Conflicts:     781000 | #Constraints:      31146
950.81/953.83	c #Conflicts:     782000 | #Constraints:      32638
950.81/953.83	c #Conflicts:     783000 | #Constraints:      33728
950.81/953.83	c #Conflicts:     784000 | #Constraints:      34893
950.81/953.83	c #Conflicts:     785000 | #Constraints:      35893
950.81/953.83	c #Conflicts:     786000 | #Constraints:      37112
950.81/953.83	c #Conflicts:     787000 | #Constraints:      38214
950.81/953.83	c #Conflicts:     788000 | #Constraints:      39441
950.81/953.83	c #Conflicts:     789000 | #Constraints:      40859
950.81/953.83	c #Conflicts:     790000 | #Constraints:      42050
950.81/953.83	c #Conflicts:     791000 | #Constraints:      43331
950.81/953.83	c #Conflicts:     792000 | #Constraints:      44406
950.81/953.83	c INPROCESSING
950.81/953.83	c GARBAGE COLLECT
950.81/953.83	c rational objective 1
981.82/985.00	c #Conflicts:     793000 | #Constraints:      23488
981.82/985.00	c #Conflicts:     794000 | #Constraints:      24745
981.82/985.00	c #Conflicts:     795000 | #Constraints:      25856
981.82/985.00	c #Conflicts:     796000 | #Constraints:      27249
981.82/985.00	c #Conflicts:     797000 | #Constraints:      28521
981.82/985.00	c #Conflicts:     798000 | #Constraints:      29837
981.82/985.00	c #Conflicts:     799000 | #Constraints:      31302
981.82/985.00	c #Conflicts:     800000 | #Constraints:      32749
981.82/985.00	c #Conflicts:     801000 | #Constraints:      34246
981.82/985.00	c #Conflicts:     802000 | #Constraints:      35580
981.82/985.00	c #Conflicts:     803000 | #Constraints:      36940
981.82/985.00	c #Conflicts:     804000 | #Constraints:      38115
981.82/985.00	c #Conflicts:     805000 | #Constraints:      39533
981.82/985.00	c #Conflicts:     806000 | #Constraints:      41013
981.82/985.00	c #Conflicts:     807000 | #Constraints:      42501
981.82/985.00	c #Conflicts:     808000 | #Constraints:      43940
981.82/985.00	c #Conflicts:     809000 | #Constraints:      45208
981.82/985.00	c #Conflicts:     810000 | #Constraints:      46692
981.82/985.00	c INPROCESSING
981.82/985.00	c GARBAGE COLLECT
981.82/985.00	c rational objective 1
1014.32/1017.56	c #Conflicts:     811000 | #Constraints:      24600
1014.32/1017.56	c #Conflicts:     812000 | #Constraints:      25924
1014.32/1017.56	c #Conflicts:     813000 | #Constraints:      27307
1014.32/1017.56	c #Conflicts:     814000 | #Constraints:      28528
1014.32/1017.56	c #Conflicts:     815000 | #Constraints:      29923
1014.32/1017.56	c #Conflicts:     816000 | #Constraints:      31076
1014.32/1017.56	c #Conflicts:     817000 | #Constraints:      32417
1014.32/1017.56	c #Conflicts:     818000 | #Constraints:      33868
1014.32/1017.56	c #Conflicts:     819000 | #Constraints:      35134
1014.32/1017.56	c #Conflicts:     820000 | #Constraints:      36560
1014.32/1017.56	c #Conflicts:     821000 | #Constraints:      37700
1014.32/1017.56	c #Conflicts:     822000 | #Constraints:      38723
1014.32/1017.56	c #Conflicts:     823000 | #Constraints:      40177
1014.32/1017.56	c #Conflicts:     824000 | #Constraints:      41364
1014.32/1017.56	c #Conflicts:     825000 | #Constraints:      42623
1014.32/1017.56	c #Conflicts:     826000 | #Constraints:      43701
1014.32/1017.56	c #Conflicts:     827000 | #Constraints:      45005
1014.32/1017.56	c #Conflicts:     828000 | #Constraints:      46487
1014.32/1017.56	c INPROCESSING
1014.32/1017.56	c GARBAGE COLLECT
1014.32/1017.56	c rational objective 1
1046.83/1050.16	c #Conflicts:     829000 | #Constraints:      24542
1046.83/1050.16	c #Conflicts:     830000 | #Constraints:      26022
1046.83/1050.16	c #Conflicts:     831000 | #Constraints:      27488
1046.83/1050.16	c #Conflicts:     832000 | #Constraints:      28647
1046.83/1050.16	c #Conflicts:     833000 | #Constraints:      29938
1046.83/1050.16	c #Conflicts:     834000 | #Constraints:      30938
1046.83/1050.16	c #Conflicts:     835000 | #Constraints:      32257
1046.83/1050.16	c #Conflicts:     836000 | #Constraints:      33549
1046.83/1050.16	c #Conflicts:     837000 | #Constraints:      34703
1046.83/1050.16	c #Conflicts:     838000 | #Constraints:      36163
1046.83/1050.16	c #Conflicts:     839000 | #Constraints:      37585
1046.83/1050.16	c #Conflicts:     840000 | #Constraints:      39086
1046.83/1050.16	c #Conflicts:     841000 | #Constraints:      40571
1046.83/1050.16	c #Conflicts:     842000 | #Constraints:      41806
1046.83/1050.16	c #Conflicts:     843000 | #Constraints:      43179
1046.83/1050.16	c #Conflicts:     844000 | #Constraints:      44681
1046.83/1050.16	c #Conflicts:     845000 | #Constraints:      45758
1046.83/1050.16	c #Conflicts:     846000 | #Constraints:      47221
1046.83/1050.16	c INPROCESSING
1046.83/1050.16	c GARBAGE COLLECT
1046.83/1050.16	c rational objective 1
1078.53/1081.97	c #Conflicts:     847000 | #Constraints:      24645
1078.53/1081.97	c #Conflicts:     848000 | #Constraints:      26139
1078.53/1081.97	c #Conflicts:     849000 | #Constraints:      27639
1078.53/1081.97	c #Conflicts:     850000 | #Constraints:      29139
1078.53/1081.97	c #Conflicts:     851000 | #Constraints:      30634
1078.53/1081.97	c #Conflicts:     852000 | #Constraints:      32071
1078.53/1081.97	c #Conflicts:     853000 | #Constraints:      33554
1078.53/1081.97	c #Conflicts:     854000 | #Constraints:      35022
1078.53/1081.97	c #Conflicts:     855000 | #Constraints:      36484
1078.53/1081.97	c #Conflicts:     856000 | #Constraints:      37728
1078.53/1081.97	c #Conflicts:     857000 | #Constraints:      39218
1078.53/1081.97	c #Conflicts:     858000 | #Constraints:      40678
1078.53/1081.97	c #Conflicts:     859000 | #Constraints:      42157
1078.53/1081.97	c #Conflicts:     860000 | #Constraints:      43528
1078.53/1081.97	c #Conflicts:     861000 | #Constraints:      45007
1078.53/1081.97	c GLOBAL bounds 2 >= 0 @ 1071.02
1078.53/1081.97	c GLOBAL bounds 2 >= 0 @ 1071.02
1089.61/1093.08	c #Conflicts:     862000 | #Constraints:      46499
1089.61/1093.08	c #Conflicts:     863000 | #Constraints:      47545
1089.61/1093.08	c #Conflicts:     864000 | #Constraints:      49042
1089.61/1093.08	c #Conflicts:     865000 | #Constraints:      50524
1089.61/1093.08	c INPROCESSING
1089.61/1093.08	c GARBAGE COLLECT
1089.61/1093.08	c rational objective 1
1130.07/1133.60	c #Conflicts:     866000 | #Constraints:      26502
1130.07/1133.60	c #Conflicts:     867000 | #Constraints:      27826
1130.07/1133.60	c #Conflicts:     868000 | #Constraints:      29303
1130.07/1133.60	c #Conflicts:     869000 | #Constraints:      30804
1130.07/1133.60	c #Conflicts:     870000 | #Constraints:      31971
1130.07/1133.60	c #Conflicts:     871000 | #Constraints:      33410
1130.07/1133.60	c #Conflicts:     872000 | #Constraints:      34889
1130.07/1133.60	c #Conflicts:     873000 | #Constraints:      36372
1130.07/1133.60	c #Conflicts:     874000 | #Constraints:      37859
1130.07/1133.60	c #Conflicts:     875000 | #Constraints:      38998
1130.07/1133.60	c #Conflicts:     876000 | #Constraints:      40101
1130.07/1133.60	c #Conflicts:     877000 | #Constraints:      41469
1130.07/1133.60	c #Conflicts:     878000 | #Constraints:      42949
1130.07/1133.60	c #Conflicts:     879000 | #Constraints:      44439
1130.07/1133.60	c #Conflicts:     880000 | #Constraints:      45439
1130.07/1133.60	c #Conflicts:     881000 | #Constraints:      46760
1130.07/1133.60	c #Conflicts:     882000 | #Constraints:      47833
1130.07/1133.60	c #Conflicts:     883000 | #Constraints:      49100
1130.07/1133.60	c #Conflicts:     884000 | #Constraints:      50217
1130.07/1133.60	c INPROCESSING
1130.07/1133.60	c GARBAGE COLLECT
1130.07/1133.60	c rational objective 1
1163.39/1167.08	c #Conflicts:     885000 | #Constraints:      26349
1163.39/1167.08	c #Conflicts:     886000 | #Constraints:      27480
1163.39/1167.08	c #Conflicts:     887000 | #Constraints:      28717
1163.39/1167.08	c #Conflicts:     888000 | #Constraints:      29898
1163.39/1167.08	c #Conflicts:     889000 | #Constraints:      31032
1163.39/1167.08	c #Conflicts:     890000 | #Constraints:      32105
1163.39/1167.08	c #Conflicts:     891000 | #Constraints:      33386
1163.39/1167.08	c #Conflicts:     892000 | #Constraints:      34676
1163.39/1167.08	c #Conflicts:     893000 | #Constraints:      35762
1163.39/1167.08	c #Conflicts:     894000 | #Constraints:      36762
1163.39/1167.08	c #Conflicts:     895000 | #Constraints:      37780
1163.39/1167.08	c #Conflicts:     896000 | #Constraints:      38993
1163.39/1167.08	c #Conflicts:     897000 | #Constraints:      40263
1163.39/1167.08	c #Conflicts:     898000 | #Constraints:      41518
1163.39/1167.08	c #Conflicts:     899000 | #Constraints:      42730
1163.39/1167.08	c #Conflicts:     900000 | #Constraints:      43844
1163.39/1167.08	c #Conflicts:     901000 | #Constraints:      45151
1163.39/1167.08	c #Conflicts:     902000 | #Constraints:      46388
1163.39/1167.08	c #Conflicts:     903000 | #Constraints:      47737
1163.39/1167.08	c INPROCESSING
1163.39/1167.08	c GARBAGE COLLECT
1163.39/1167.08	c rational objective 1
1197.66/1201.41	c #Conflicts:     904000 | #Constraints:      25344
1197.66/1201.41	c #Conflicts:     905000 | #Constraints:      26478
1197.66/1201.41	c #Conflicts:     906000 | #Constraints:      27587
1197.66/1201.41	c #Conflicts:     907000 | #Constraints:      28931
1197.66/1201.41	c #Conflicts:     908000 | #Constraints:      30001
1197.66/1201.41	c #Conflicts:     909000 | #Constraints:      31053
1197.66/1201.41	c #Conflicts:     910000 | #Constraints:      32382
1197.66/1201.41	c #Conflicts:     911000 | #Constraints:      33865
1197.66/1201.41	c #Conflicts:     912000 | #Constraints:      35215
1197.66/1201.41	c #Conflicts:     913000 | #Constraints:      36638
1197.66/1201.41	c #Conflicts:     914000 | #Constraints:      37851
1197.66/1201.41	c #Conflicts:     915000 | #Constraints:      39264
1197.66/1201.41	c #Conflicts:     916000 | #Constraints:      40314
1197.66/1201.41	c #Conflicts:     917000 | #Constraints:      41663
1197.66/1201.41	c #Conflicts:     918000 | #Constraints:      42973
1197.66/1201.41	c #Conflicts:     919000 | #Constraints:      44108
1197.66/1201.41	c #Conflicts:     920000 | #Constraints:      45309
1197.66/1201.41	c #Conflicts:     921000 | #Constraints:      46626
1197.66/1201.41	c #Conflicts:     922000 | #Constraints:      47810
1197.66/1201.41	c INPROCESSING
1197.66/1201.41	c GARBAGE COLLECT
1197.66/1201.41	c rational objective 1
1234.06/1237.92	c #Conflicts:     923000 | #Constraints:      24875
1234.06/1237.92	c #Conflicts:     924000 | #Constraints:      25875
1234.06/1237.92	c #Conflicts:     925000 | #Constraints:      27058
1234.06/1237.92	c #Conflicts:     926000 | #Constraints:      28487
1234.06/1237.92	c #Conflicts:     927000 | #Constraints:      29701
1234.06/1237.92	c #Conflicts:     928000 | #Constraints:      31150
1234.06/1237.92	c #Conflicts:     929000 | #Constraints:      32638
1234.06/1237.92	c #Conflicts:     930000 | #Constraints:      34118
1234.06/1237.92	c #Conflicts:     931000 | #Constraints:      35318
1234.06/1237.92	c #Conflicts:     932000 | #Constraints:      36693
1234.06/1237.92	c #Conflicts:     933000 | #Constraints:      38161
1234.06/1237.92	c #Conflicts:     934000 | #Constraints:      39644
1234.06/1237.92	c #Conflicts:     935000 | #Constraints:      41064
1234.06/1237.92	c #Conflicts:     936000 | #Constraints:      42493
1234.06/1237.92	c #Conflicts:     937000 | #Constraints:      43975
1234.06/1237.92	c #Conflicts:     938000 | #Constraints:      45462
1234.06/1237.92	c #Conflicts:     939000 | #Constraints:      46867
1234.06/1237.92	c #Conflicts:     940000 | #Constraints:      48272
1234.06/1237.92	c #Conflicts:     941000 | #Constraints:      49710
1234.06/1237.92	c INPROCESSING
1234.06/1237.92	c GARBAGE COLLECT
1234.06/1237.92	c rational objective 1
1256.49/1260.50	c #Conflicts:     942000 | #Constraints:      25665
1256.49/1260.50	c #Conflicts:     943000 | #Constraints:      27053
1256.49/1260.50	c #Conflicts:     944000 | #Constraints:      28530
1256.49/1260.50	c #Conflicts:     945000 | #Constraints:      29976
1256.49/1260.50	c #Conflicts:     946000 | #Constraints:      31311
1256.49/1260.50	c #Conflicts:     947000 | #Constraints:      32377
1256.49/1260.50	c #Conflicts:     948000 | #Constraints:      33527
1256.49/1260.50	c #Conflicts:     949000 | #Constraints:      34950
1256.49/1260.50	c #Conflicts:     950000 | #Constraints:      36425
1256.49/1260.50	c #Conflicts:     951000 | #Constraints:      37790
1256.49/1260.50	c #Conflicts:     952000 | #Constraints:      38993
1256.49/1260.50	c #Conflicts:     953000 | #Constraints:      40455
1256.49/1260.50	c #Conflicts:     954000 | #Constraints:      41701
1256.49/1260.50	c GLOBAL bounds 2 >= 0 @ 1248.2
1256.49/1260.50	c GLOBAL bounds 2 >= 0 @ 1248.2
1273.06/1277.03	c #Conflicts:     955000 | #Constraints:      43137
1273.06/1277.03	c #Conflicts:     956000 | #Constraints:      44607
1273.06/1277.03	c #Conflicts:     957000 | #Constraints:      46122
1273.06/1277.03	c #Conflicts:     958000 | #Constraints:      47323
1273.06/1277.03	c #Conflicts:     959000 | #Constraints:      48583
1273.06/1277.03	c #Conflicts:     960000 | #Constraints:      50034
1273.06/1277.03	c #Conflicts:     961000 | #Constraints:      51470
1273.06/1277.03	c INPROCESSING
1273.06/1277.03	c GARBAGE COLLECT
1273.06/1277.03	c rational objective 1
1311.62/1315.71	c #Conflicts:     962000 | #Constraints:      27071
1311.62/1315.71	c #Conflicts:     963000 | #Constraints:      28476
1311.62/1315.71	c #Conflicts:     964000 | #Constraints:      29973
1311.62/1315.71	c #Conflicts:     965000 | #Constraints:      31469
1311.62/1315.71	c #Conflicts:     966000 | #Constraints:      32957
1311.62/1315.71	c #Conflicts:     967000 | #Constraints:      34465
1311.62/1315.71	c #Conflicts:     968000 | #Constraints:      35889
1311.62/1315.71	c #Conflicts:     969000 | #Constraints:      37220
1311.62/1315.71	c #Conflicts:     970000 | #Constraints:      38711
1311.62/1315.71	c #Conflicts:     971000 | #Constraints:      40170
1311.62/1315.71	c #Conflicts:     972000 | #Constraints:      41491
1311.62/1315.71	c #Conflicts:     973000 | #Constraints:      42821
1311.62/1315.71	c #Conflicts:     974000 | #Constraints:      44300
1311.62/1315.71	c #Conflicts:     975000 | #Constraints:      45804
1311.62/1315.71	c #Conflicts:     976000 | #Constraints:      47296
1311.62/1315.71	c #Conflicts:     977000 | #Constraints:      48790
1311.62/1315.71	c #Conflicts:     978000 | #Constraints:      50264
1311.62/1315.71	c #Conflicts:     979000 | #Constraints:      51761
1311.62/1315.71	c #Conflicts:     980000 | #Constraints:      53269
1311.62/1315.71	c #Conflicts:     981000 | #Constraints:      54753
1311.62/1315.71	c INPROCESSING
1311.62/1315.71	c GARBAGE COLLECT
1311.62/1315.71	c rational objective 1
1315.60/1319.79	c #Conflicts:     982000 | #Constraints:      28879
1315.60/1319.79	c #Conflicts:     983000 | #Constraints:      30370
1315.60/1319.79	c GLOBAL bounds 2 >= 0 @ 1307.09
1315.60/1319.79	c GLOBAL bounds 2 >= 0 @ 1307.09
1351.58/1355.89	c #Conflicts:     984000 | #Constraints:      31873
1351.58/1355.89	c #Conflicts:     985000 | #Constraints:      33370
1351.58/1355.89	c #Conflicts:     986000 | #Constraints:      34876
1351.58/1355.89	c #Conflicts:     987000 | #Constraints:      36356
1351.58/1355.89	c #Conflicts:     988000 | #Constraints:      37844
1351.58/1355.89	c #Conflicts:     989000 | #Constraints:      39342
1351.58/1355.89	c #Conflicts:     990000 | #Constraints:      40838
1351.58/1355.89	c #Conflicts:     991000 | #Constraints:      42349
1351.58/1355.89	c #Conflicts:     992000 | #Constraints:      43841
1351.58/1355.89	c #Conflicts:     993000 | #Constraints:      45344
1351.58/1355.89	c #Conflicts:     994000 | #Constraints:      46846
1351.58/1355.89	c #Conflicts:     995000 | #Constraints:      48331
1351.58/1355.89	c #Conflicts:     996000 | #Constraints:      49835
1351.58/1355.89	c #Conflicts:     997000 | #Constraints:      51339
1351.58/1355.89	c #Conflicts:     998000 | #Constraints:      52834
1351.58/1355.89	c #Conflicts:     999000 | #Constraints:      54314
1351.58/1355.89	c #Conflicts:    1000000 | #Constraints:      55836
1351.58/1355.89	c #Conflicts:    1001000 | #Constraints:      57330
1351.58/1355.89	c INPROCESSING
1351.58/1355.89	c GARBAGE COLLECT
1351.58/1355.89	c rational objective 1
1374.32/1378.60	c #Conflicts:    1002000 | #Constraints:      30161
1374.32/1378.60	c #Conflicts:    1003000 | #Constraints:      31660
1374.32/1378.60	c #Conflicts:    1004000 | #Constraints:      33144
1374.32/1378.60	c #Conflicts:    1005000 | #Constraints:      34649
1374.32/1378.60	c #Conflicts:    1006000 | #Constraints:      36147
1374.32/1378.60	c #Conflicts:    1007000 | #Constraints:      37633
1374.32/1378.60	c #Conflicts:    1008000 | #Constraints:      39119
1374.32/1378.60	c #Conflicts:    1009000 | #Constraints:      40614
1374.32/1378.60	c #Conflicts:    1010000 | #Constraints:      42094
1374.32/1378.60	c #Conflicts:    1011000 | #Constraints:      43590
1374.32/1378.60	c #Conflicts:    1012000 | #Constraints:      45090
1374.32/1378.60	c #Conflicts:    1013000 | #Constraints:      46525
1374.32/1378.60	c Inconsistent constraint found
1374.32/1378.60	c cpu time 1365.48 s
1374.32/1378.60	c deterministic time 161988700529 1.62e+11
1374.32/1378.60	c optimization time 0.00222 s
1374.32/1378.60	c total solve time 1365.47 s
1374.32/1378.60	c core-guided solve time 0 s
1374.32/1378.60	c propagation time 1182.71 s
1374.32/1378.60	c conflict analysis time 163.285 s
1374.32/1378.60	c propagations 12210509
1374.32/1378.60	c resolve steps 6253361
1374.32/1378.60	c decisions 1225226
1374.32/1378.60	c conflicts 1013055
1374.32/1378.60	c restarts 2045
1374.32/1378.60	c inprocessing phases 91
1374.32/1378.60	c garbage collections 91 ,( 100.00 )
1374.32/1378.60	c input clauses 9 ,( 52.94 )
1374.32/1378.60	c input cardinalities 0 ,( 0.00 )
1374.32/1378.60	c input general constraints 8 ,( 47.06 )
1374.32/1378.60	c input average constraint length 54.71
1374.32/1378.60	c input average constraint degree 486.18
1374.32/1378.60	c learned clauses 534223 ,( 38.61 )
1374.32/1378.60	c learned cardinalities 0 ,( 0.00 )
1374.32/1378.60	c learned general constraints 849538 ,( 61.39 )
1374.32/1378.60	c learned average constraint length 77.05
1374.32/1378.60	c learned average constraint degree 1634075060.51
1374.32/1378.60	c watched  CF 32, 64, 128, Arb: 260584 , 0 , 0 , 0
1374.32/1378.60	c counting CF 32, 64, 128, Arb: 588963 , 0 , 0 , 0
1374.32/1378.60	c watched   constraints 260584 ,( 30.67 ) 
1374.32/1378.60	c counting  constraints 588962 ,( 69.33 ) 
1374.32/1378.60	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 67693751 , 0 , 19769744079 ,( 58219230 , 19711524849 )
1374.32/1378.60	c gcd simplifications 521135
1374.32/1378.60	c detected cardinalities 0
1374.32/1378.60	c weakened non-implied lits 13010170
1374.32/1378.60	c weakened non-implying lits 1249695
1374.32/1378.60	c original variables 94
1374.32/1378.60	c clausal propagations 89184
1374.32/1378.60	c cardinality propagations 0
1374.32/1378.60	c watched propagations 26025
1374.32/1378.60	c counting propagations 11073508
1374.32/1378.60	c watch lookups 43400184647
1374.32/1378.60	c watch backjump lookups 0
1374.32/1378.60	c watch checks 2129417632
1374.32/1378.60	c propagation checks 115848124118
1374.32/1378.60	c constraint additions 582430737
1374.32/1378.60	c trail pops 14448765
1374.32/1378.60	c formula constraints 8
1374.32/1378.60	c learned constraints 1013029
1374.32/1378.60	c bound constraints 0
1374.32/1378.60	c core-guided constraints 0
1374.32/1378.60	c encountered formula constraints 334271
1374.32/1378.60	c encountered learned constraints 1409623
1374.32/1378.60	c encountered bound constraints 0
1374.32/1378.60	c encountered core-guided constraints 0
1374.32/1378.60	c LP total time 35.595 s
1374.32/1378.60	c LP solve time 19.44 s
1374.32/1378.60	c LP constraints added 100
1374.32/1378.60	c LP constraints removed 89
1374.32/1378.60	c LP pivots internal 657979
1374.32/1378.60	c LP pivots root 915
1374.32/1378.60	c LP calls 495681
1374.32/1378.60	c LP optimalities 125052
1374.32/1378.60	c LP no pivot count 12235
1374.32/1378.60	c LP infeasibilities 370627
1374.32/1378.60	c LP valid Farkas constraints 370624
1374.32/1378.60	c LP learned Farkas constraints 25
1374.32/1378.60	c LP basis resets 2
1374.32/1378.60	c LP cycling count 0
1374.32/1378.60	c LP singular count 2
1374.32/1378.60	c LP no primal count 0
1374.32/1378.60	c LP no farkas count 0
1374.32/1378.60	c LP other issue count 0
1374.32/1378.60	c LP Gomory cuts 83
1374.32/1378.60	c LP learned cuts 9
1374.32/1378.60	c LP deleted cuts 89
1374.32/1378.60	c LP encountered Gomory constraints 1258
1374.32/1378.60	c LP encountered Farkas constraints 5217863
1374.32/1378.60	c LP encountered learned Farkas constraints 303376
1374.32/1378.60	c CG auxiliary variables introduced 5
1374.32/1378.60	c CG solutions found 2
1374.32/1378.60	c CG cores constructed 10
1374.32/1378.60	c CG core cardinality constraints returned 0
1374.32/1378.60	c CG unit cores 0
1374.32/1378.60	c CG single cores 0
1374.32/1378.60	c CG blocks removed during cardinality reduction 0
1374.32/1378.60	c CG first core best 0
1374.32/1378.60	c CG decision core best 0
1374.32/1378.60	c CG core reduction tie 0
1374.32/1378.60	c CG core degree average 0.00
1374.32/1378.60	c CG core slack average 0.00
1374.32/1378.60	c CG core upper bound improvements 0
1374.32/1378.60	c STR number of successful calls 0
1374.32/1378.60	c STR number of unsuccessful calls 0
1374.32/1378.60	c STR number of inconclusive calls 0
1374.32/1378.60	c STR number of successful attempts 0
1374.32/1378.60	c STR number of unsuccessful attempts 0
1374.32/1378.60	c STR number of inconclusive attempts 0
1374.32/1378.60	c STR average degree increase per successful call inf
1374.32/1378.60	c STR average degree increase per successful attempt inf
1374.32/1378.60	c STR total number of conflicts for successful attempts 0
1374.32/1378.60	c STR total number of conflicts for unsuccessful attempts 0
1374.32/1378.60	c STR total number of conflicts for inconclusive attempts 0
1374.32/1378.60	c STR average number of conflicts per successful attempt inf
1374.32/1378.60	c STR average number of conflicts per unsuccessful attempt inf
1374.32/1378.60	c STR average number of conflicts per inconclusive attempt inf
1374.32/1378.60	c AVG.sumWPerc 60.39 
1374.32/1378.60	c bigint constraints 0 
1374.32/1378.60	o 2
1374.32/1378.60	s OPTIMUM FOUND
1374.32/1378.60	v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 x68 x69 x70 -x71 -x72 x73 -x74 -x75 x76 -x77 x78 x79 -x80 -x81 -x82 -x83 -x84 x85 x86 x87 -x88 x89 -x90 x91 -x92 x93 x94

Verifier Data

OK	2

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490288-1751365846/watcher-4490288-1751365846 -o /tmp/evaluation-result-4490288-1751365846/solver-4490288-1751365846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751361724-50467 --watchdog 3760 run-opt.sh HOME/instance-4490288-1751365846.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100066 s]*
/proc/loadavg: 4.22 4.18 4.10 5/256 51207
/proc/meminfo: memFree=127816104/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=60168 memory=11008 CPUtime=0.07 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 527 0 0 0 6 1 0 0 20 0 1 0 52263942 61612032 2752 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 15042 2752 2464 1147 0 2469 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 64360 KiB
Current children cumulated memory: 13952 KiB

[startup+0.213346 s]*
/proc/loadavg: 4.20 4.17 4.10 5/256 51207
/proc/meminfo: memFree=127816104/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=60432 memory=13336 CPUtime=0.17 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 609 0 0 0 16 1 0 0 20 0 1 0 52263942 61882368 3334 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 15108 3334 2464 1147 0 2535 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 64624 KiB
Current children cumulated memory: 16280 KiB

[startup+0.312585 s]*
/proc/loadavg: 4.20 4.17 4.10 5/256 51207
/proc/meminfo: memFree=127816104/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=60700 memory=13464 CPUtime=0.28 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 661 0 0 0 26 2 0 0 20 0 1 0 52263942 62156800 3366 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 15175 3366 2464 1147 0 2602 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 64892 KiB
Current children cumulated memory: 16408 KiB

[startup+0.700317 s]
/proc/loadavg: 4.20 4.17 4.10 5/256 51207
/proc/meminfo: memFree=127816120/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=61540 memory=14360 CPUtime=0.65 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 867 0 0 0 62 3 0 0 20 0 1 0 52263942 63016960 3590 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 15385 3590 2464 1147 0 2812 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 65732 KiB
Current children cumulated memory: 17304 KiB

[startup+1.50033 s]
/proc/loadavg: 4.20 4.17 4.10 5/256 51207
/proc/meminfo: memFree=127816120/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=62904 memory=15512 CPUtime=1.45 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 1153 0 0 0 138 7 0 0 20 0 1 0 52263942 64413696 3878 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 15726 3878 2464 1147 0 3153 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 67096 KiB
Current children cumulated memory: 18456 KiB

[startup+3.11301 s]
/proc/loadavg: 4.20 4.17 4.10 5/256 51207
/proc/meminfo: memFree=127816328/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=68064 memory=21844 CPUtime=3.05 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 2236 0 0 0 293 12 0 0 20 0 1 0 52263942 69697536 5461 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 17016 5461 2464 1147 0 4443 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 72256 KiB
Current children cumulated memory: 24788 KiB

[startup+6.30033 s]
/proc/loadavg: 4.27 4.19 4.10 5/257 51209
/proc/meminfo: memFree=127816028/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=73448 memory=24532 CPUtime=6.23 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 2925 0 0 0 604 19 0 0 20 0 1 0 52263942 75210752 6133 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 18362 6133 2464 1147 0 5789 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 77640 KiB
Current children cumulated memory: 27476 KiB

[startup+12.7004 s]
/proc/loadavg: 4.24 4.18 4.10 5/257 51209
/proc/meminfo: memFree=127816036/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=77144 memory=28628 CPUtime=12.61 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 3949 0 0 0 1230 31 0 0 20 0 1 0 52263942 78995456 7157 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 19286 7157 2464 1147 0 6713 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 81336 KiB
Current children cumulated memory: 31572 KiB

[startup+25.5004 s]
/proc/loadavg: 4.21 4.18 4.10 5/257 51209
/proc/meminfo: memFree=127816432/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=84468 memory=32724 CPUtime=25.37 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 4887 0 0 0 2482 55 0 0 20 0 1 0 52263942 86495232 8181 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 21117 8181 2528 1147 0 8544 0
Current children cumulated CPU time: 25.37 s
Current children cumulated vsize: 88660 KiB
Current children cumulated memory: 35668 KiB

[startup+51.1139 s]
/proc/loadavg: 4.20 4.18 4.10 5/257 51209
/proc/meminfo: memFree=127793052/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=89504 memory=40580 CPUtime=50.9 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 6235 0 0 0 4996 94 0 0 20 0 1 0 52263942 91652096 10145 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 22376 10145 2560 1147 0 9803 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 93696 KiB
Current children cumulated memory: 43524 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.16 4.09 5/257 51212
/proc/meminfo: memFree=127769948/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=104848 memory=46592 CPUtime=101.92 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 8631 0 0 0 10041 151 0 0 20 0 1 0 52263942 107364352 11648 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 26212 11648 2560 1147 0 13639 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 109040 KiB
Current children cumulated memory: 49536 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/256 51214
/proc/meminfo: memFree=127644196/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=111036 memory=54628 CPUtime=161.72 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 11085 0 0 0 15968 204 0 0 20 0 1 0 52263942 113700864 13657 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 27759 13657 2560 1147 0 15186 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 115228 KiB
Current children cumulated memory: 57572 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/255 51216
/proc/meminfo: memFree=127627704/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=111880 memory=57804 CPUtime=221.53 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 11707 0 0 0 21904 249 0 0 20 0 1 0 52263942 114565120 14451 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 27970 14451 2560 1147 0 15397 0
Current children cumulated CPU time: 221.53 s

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

/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 23589 0 0 0 105145 754 0 0 20 0 1 0 52263942 159199232 22754 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 38867 22754 2560 1147 0 26294 0
Current children cumulated CPU time: 1058.99 s
Current children cumulated vsize: 159660 KiB
Current children cumulated memory: 93960 KiB

[startup+1122.3 s]
/proc/loadavg: 4.07 4.10 4.09 5/255 51262
/proc/meminfo: memFree=126988524/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=156820 memory=94136 CPUtime=1118.81 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 24089 0 0 0 111106 775 0 0 20 0 1 0 52263942 160583680 23534 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 39205 23534 2560 1147 0 26632 0
Current children cumulated CPU time: 1118.81 s
Current children cumulated vsize: 161012 KiB
Current children cumulated memory: 97080 KiB

[startup+1182.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/255 51264
/proc/meminfo: memFree=126972720/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=156492 memory=94032 CPUtime=1178.63 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 24356 0 0 0 117059 804 0 0 20 0 1 0 52263942 160247808 23508 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 39123 23508 2560 1147 0 26550 0
Current children cumulated CPU time: 1178.63 s
Current children cumulated vsize: 160684 KiB
Current children cumulated memory: 96976 KiB

[startup+1242.3 s]
/proc/loadavg: 4.15 4.12 4.09 6/255 51266
/proc/meminfo: memFree=126962720/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=157516 memory=94364 CPUtime=1238.44 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 24991 0 0 0 123013 831 0 0 20 0 1 0 52263942 161296384 23591 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 39379 23591 2560 1147 0 26806 0
Current children cumulated CPU time: 1238.44 s
Current children cumulated vsize: 161708 KiB
Current children cumulated memory: 97308 KiB

[startup+1302.3 s]
/proc/loadavg: 4.19 4.14 4.10 5/255 51268
/proc/meminfo: memFree=126927352/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=158868 memory=94860 CPUtime=1298.26 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 25507 0 0 0 128973 853 0 0 20 0 1 0 52263942 162680832 23715 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 39717 23715 2560 1147 0 27144 0
Current children cumulated CPU time: 1298.26 s
Current children cumulated vsize: 163060 KiB
Current children cumulated memory: 97804 KiB

[startup+1362.3 s]
/proc/loadavg: 4.13 4.13 4.09 5/254 51270
/proc/meminfo: memFree=126855564/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=160920 memory=100728 CPUtime=1358.07 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 27075 0 0 0 134929 878 0 0 20 0 1 0 52263942 164782080 25182 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 40230 25182 2560 1147 0 27657 0
Current children cumulated CPU time: 1358.07 s
Current children cumulated vsize: 165112 KiB
Current children cumulated memory: 103672 KiB

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

# cumulated CPU time of all completed processes:  user=1365.48 s, system=8.85962 s

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

[startup+1369.6 s]
/proc/loadavg: 4.12 4.13 4.09 5/254 51270
/proc/meminfo: memFree=126856216/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=160920 memory=100728 CPUtime=1365.35 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 27077 0 0 0 135654 881 0 0 20 0 1 0 52263942 164782080 25182 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 40230 25182 2560 1147 0 27657 0
Current children cumulated CPU time: 1365.35 s
Current children cumulated vsize: 165112 KiB
Current children cumulated memory: 103672 KiB

[startup+1372.8 s]
/proc/loadavg: 4.11 4.12 4.09 6/254 51270
/proc/meminfo: memFree=126864532/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=161176 memory=100660 CPUtime=1368.54 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 27147 0 0 0 135972 882 0 0 20 0 1 0 52263942 165044224 25165 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 40294 25165 2560 1147 0 27721 0
Current children cumulated CPU time: 1368.54 s
Current children cumulated vsize: 165368 KiB
Current children cumulated memory: 103604 KiB

[startup+1376 s]*
/proc/loadavg: 4.10 4.12 4.09 5/254 51270
/proc/meminfo: memFree=126858716/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=161176 memory=100660 CPUtime=1371.74 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 27157 0 0 0 136291 883 0 0 20 0 1 0 52263942 165044224 25165 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 40294 25165 2560 1147 0 27721 0
Current children cumulated CPU time: 1371.74 s
Current children cumulated vsize: 165368 KiB
Current children cumulated memory: 103604 KiB

[startup+1377.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 51270
/proc/meminfo: memFree=126858716/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=161176 memory=100660 CPUtime=1373.32 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 27163 0 0 0 136448 884 0 0 20 0 1 0 52263942 165044224 25165 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 40294 25165 2560 1147 0 27721 0
Current children cumulated CPU time: 1373.32 s
Current children cumulated vsize: 165368 KiB
Current children cumulated memory: 103604 KiB

[startup+1378.4 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 51270
/proc/meminfo: memFree=126858716/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=161176 memory=100660 CPUtime=1374.12 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 27164 0 0 0 136527 885 0 0 20 0 1 0 52263942 165044224 25165 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 40294 25165 2560 1147 0 27721 0
Current children cumulated CPU time: 1374.12 s
Current children cumulated vsize: 165368 KiB
Current children cumulated memory: 103604 KiB

[startup+1378.6 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 51270
/proc/meminfo: memFree=126858716/131382120 swapFree=33010416/33010684
[pid=51205] ppid=51202 vsize=4192 memory=2944 CPUtime=0 cores=4,6
/proc/51205/stat : 51205 (run-opt.sh) S 51202 51205 50456 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 52263941 4292608 736 18446744073709551615 93938965573632 93938966468165 140731879994928 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 93938966707216 93938966754960 93938999934976 140731879999853 140731879999976 140731879999976 140731880005578 0
/proc/51205/statm: 1048 736 672 219 0 110 0
[pid=51207] ppid=51205 vsize=161176 memory=100660 CPUtime=1374.32 cores=4,6
/proc/51207/stat : 51207 (roundingsat) R 51205 51205 50456 0 -1 4194304 27164 0 0 0 136547 885 0 0 20 0 1 0 52263942 165044224 25165 18446744073709551615 4227072 8923433 140723659185600 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 29769728 140723659192738 140723659192872 140723659192872 140723659198442 0
/proc/51207/statm: 40294 25165 2560 1147 0 27721 0
Current children cumulated CPU time: 1374.32 s
Current children cumulated vsize: 165368 KiB
Current children cumulated memory: 103604 KiB

Child status: 0

Real time (s): 1378.61
CPU time (s): 1374.34
CPU user time (s): 1365.48
CPU system time (s): 8.85962
CPU usage (%): 99.6903
Max. virtual memory (cumulated for all children) (KiB): 165368
Max. memory (cumulated for all children) (KiB): 103672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1365.48
system time used= 8.85962
maximum resident set size= 100980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27393
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 164
involuntary context switches= 7598


# summary of solver processes directly reported to runsolver:
#   pid: 51205
#   total CPU time (s): 1374.34
#   total CPU user time (s): 1365.48
#   total CPU system time (s): 8.85962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.2774 second user time and 14.0075 second system time

The end

Launcher Data

Begin job on nodeC006 at 2025-07-01 12:30:46
IDJOB=4490288
IDBENCH=147577
IDSOLVER=3350
FILE ID=nodeC006/4490288-1751365846
RUNJOBID= nodeC006-1751361724-50467
SLURM_JOB_ID= 9598172
Free space on /tmp= 432968 MiB

SOLVER NAME= roundingsat-ihs 63f22ad
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_3.opb
COMMAND LINE= run-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4490288-1751365846/watcher-4490288-1751365846 -o /tmp/evaluation-result-4490288-1751365846/solver-4490288-1751365846 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751361724-50467 --watchdog 3760  run-opt.sh HOME/instance-4490288-1751365846.opb

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

MD5SUM BENCH= 86001821498b0a30bc65df6451678f5a
RANDOM SEED=1307689724

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        127816264 kB
MemAvailable:   127737844 kB
Buffers:            2128 kB
Cached:           724028 kB
SwapCached:           12 kB
Active:          2533736 kB
Inactive:         398908 kB
Active(anon):    2213416 kB
Inactive(anon):    11092 kB
Active(file):     320320 kB
Inactive(file):   387816 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7616 kB
Writeback:             0 kB
AnonPages:       2209628 kB
Mapped:           116396 kB
Shmem:             17948 kB
KReclaimable:     105760 kB
Slab:             189592 kB
SReclaimable:     105760 kB
SUnreclaim:        83832 kB
KernelStack:        4112 kB
PageTables:         7740 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    3090368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1234944 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432940 MiB
End job on nodeC006 at 2025-07-01 12:53:45