Trace number 4460361

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 log (2)No Cert. 3601.22 3623.35

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-circ10-3.opb
MD5SUMe9a18706671e83c85382be3233ac0f60
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark276
Best CPU time to get the best result obtained on this benchmark3600.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2700
Total number of constraints42620
Number of constraints which are clauses20220
Number of constraints which are cardinality constraints (but not clauses)800
Number of constraints which are nor clauses,nor cardinality constraints21600
Minimum length of a constraint2
Maximum length of a constraint36
Number of terms in the objective function 900
Biggest coefficient in the objective function 5
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 2500
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 2500
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.14/1.75	c #variables 2700 #constraints 43070
6.51/8.15	c bounds - >= 0 @ 0.162154
6.51/8.15	c bounds 422 >= 0 @ 1.92295
6.51/8.15	c #Conflicts:       1000 | #Constraints:      44070
6.51/8.15	c #Conflicts:       2000 | #Constraints:      45070
6.51/8.15	c INPROCESSING
6.51/8.15	WSVECS04 Frhs2[1574]: 6 -8.00002 0 shouldn't be
20.68/22.34	c bounds 420 >= 0 @ 10.9802
20.68/22.34	c bounds 416 >= 0 @ 11.0276
20.68/22.34	c bounds 416 >= 3 @ 11.0526
20.68/22.34	c bounds 410 >= 3 @ 11.0665
20.68/22.34	c bounds 404 >= 3 @ 11.0751
20.68/22.34	c bounds 400 >= 3 @ 11.0864
20.68/22.34	c #Conflicts:       3000 | #Constraints:      45089
20.68/22.34	c bounds 396 >= 3 @ 11.1085
20.68/22.34	c bounds 396 >= 6 @ 11.1408
20.68/22.34	c bounds 384 >= 6 @ 11.1659
20.68/22.34	c bounds 382 >= 6 @ 11.1684
20.68/22.34	c bounds 380 >= 6 @ 11.1909
20.68/22.34	c #Conflicts:       4000 | #Constraints:      46096
20.68/22.34	c INPROCESSING
20.68/22.34	c GARBAGE COLLECT
20.68/22.34	c bounds 380 >= 9 @ 11.2301
20.68/22.34	c bounds 376 >= 9 @ 11.3545
20.68/22.34	c #Conflicts:       5000 | #Constraints:      45500
20.68/22.34	c #Conflicts:       6000 | #Constraints:      46500
20.68/22.34	c bounds 376 >= 12 @ 14.9495
20.68/22.34	c bounds 372 >= 12 @ 15.0534
20.68/22.34	c bounds 372 >= 15 @ 15.059
20.68/22.34	c INPROCESSING
20.68/22.34	c GARBAGE COLLECT
20.68/22.34	c #Conflicts:       7000 | #Constraints:      45511
20.68/22.34	c bounds 372 >= 18 @ 15.1334
20.68/22.34	c bounds 368 >= 18 @ 15.2135
20.68/22.34	c #Conflicts:       8000 | #Constraints:      46518
20.68/22.34	c bounds 368 >= 21 @ 15.2228
20.68/22.34	c #Conflicts:       9000 | #Constraints:      47521
20.68/22.34	c bounds 368 >= 24 @ 15.2665
20.68/22.34	c INPROCESSING
20.68/22.34	c GARBAGE COLLECT
20.68/22.34	c rational objective 140
22.66/24.35	c bounds 368 >= 27 @ 20.501
22.66/24.35	c bounds 364 >= 27 @ 20.6953
22.66/24.35	c #Conflicts:      10000 | #Constraints:      46233
22.66/24.35	c #Conflicts:      11000 | #Constraints:      47233
22.66/24.35	c bounds 364 >= 30 @ 20.8041
22.66/24.35	c #Conflicts:      12000 | #Constraints:      48239
22.66/24.35	c INPROCESSING
22.66/24.35	c GARBAGE COLLECT
22.66/24.35	c bounds 360 >= 30 @ 21.0949
22.66/24.35	c bounds 360 >= 32 @ 21.0956
22.66/24.35	c bounds 360 >= 34 @ 21.0956
22.66/24.35	c bounds 360 >= 36 @ 21.0959
22.66/24.35	c bounds 360 >= 38 @ 21.0966
22.66/24.35	c bounds 360 >= 40 @ 21.0976
22.66/24.35	c bounds 360 >= 42 @ 21.0976
22.66/24.35	c bounds 360 >= 44 @ 21.0976
22.66/24.35	c #Conflicts:      13000 | #Constraints:      46705
22.66/24.35	c bounds 360 >= 46 @ 21.135
22.66/24.35	WSVECS04 Frhs2[104]: 6 -4.00002 0 shouldn't be
22.66/24.35	WSVECS04 Frhs2[106]: 6 -4.00002 0 shouldn't be
22.66/24.35	WSVECS04 Frhs2[310]: 6 -1.00006 0 shouldn't be
22.66/24.35	WSVECS04 Frhs2[491]: 6 -1.00002 0 shouldn't be
22.66/24.35	WSVECS04 Frhs2[501]: 6 -1.00006 0 shouldn't be
22.66/24.35	WSVECS04 Frhs2[504]: 6 -4.00007 0 shouldn't be
22.66/24.35	WSVECS04 Frhs2[540]: 6 -1.00004 0 shouldn't be
22.66/24.35	WSVECS04 Frhs2[633]: 6 -3.00003 0 shouldn't be
22.66/24.35	WSVECS04 Frhs2[646]: 6 -4.00001 0 shouldn't be
22.66/24.35	WSVECS04 Frhs2[668]: 6 -3.00005 0 shouldn't be
22.66/24.35	WSVECS04 Frhs2[691]: 6 -1.00004 0 shouldn't be
22.66/24.35	WSVECS04 Frhs2[698]: 6 -3.00009 0 shouldn't be
22.66/24.35	WSVECS04 Frhs2[700]: 6 -1.00009 0 shouldn't be
22.66/24.35	WSVECS04 Frhs2[846]: 6 -4.00006 0 shouldn't be
22.66/24.35	WSVECS04 Frhs2[863]: 6 -3.00009 0 shouldn't be
30.15/31.89	c bounds 360 >= 48 @ 25.6718
30.15/31.89	c #Conflicts:      14000 | #Constraints:      47720
30.15/31.89	c bounds 358 >= 48 @ 25.8736
30.15/31.89	c bounds 358 >= 50 @ 25.8748
30.15/31.89	c bounds 358 >= 52 @ 25.881
30.15/31.89	c #Conflicts:      15000 | #Constraints:      48733
30.15/31.89	c INPROCESSING
30.15/31.89	c GARBAGE COLLECT
30.15/31.89	c bounds 358 >= 54 @ 25.9409
30.15/31.89	c #Conflicts:      16000 | #Constraints:      46949
30.15/31.89	c bounds 358 >= 56 @ 26.0163
30.15/31.89	c #Conflicts:      17000 | #Constraints:      47964
30.15/31.89	c #Conflicts:      18000 | #Constraints:      48964
30.15/31.89	c INPROCESSING
30.15/31.89	WSVECS04 Frhs2[41]: 6 -1.00009 0 shouldn't be
32.64/34.30	WSVECS04 Frhs2[8]: 6 -2.00003 0 shouldn't be
32.64/34.30	WSVECS04 Frhs2[9]: 6 -1.00002 0 shouldn't be
32.64/34.30	WSVECS04 Frhs2[50]: 6 -1.00002 0 shouldn't be
87.50/89.34	c #Conflicts:      19000 | #Constraints:      46978
87.50/89.34	c bounds 356 >= 56 @ 48.069
87.50/89.34	c bounds 352 >= 56 @ 48.1013
87.50/89.34	c bounds 352 >= 57 @ 48.1023
87.50/89.34	c bounds 352 >= 58 @ 48.1028
87.50/89.34	c bounds 352 >= 59 @ 48.1028
87.50/89.34	c bounds 352 >= 60 @ 48.1031
87.50/89.34	c bounds 352 >= 61 @ 48.104
87.50/89.34	c bounds 352 >= 62 @ 48.105
87.50/89.34	c bounds 352 >= 63 @ 48.106
87.50/89.34	c bounds 352 >= 64 @ 48.1067
87.50/89.34	c bounds 352 >= 65 @ 48.107
87.50/89.34	c bounds 352 >= 66 @ 48.108
87.50/89.34	c bounds 352 >= 67 @ 48.109
87.50/89.34	c bounds 352 >= 68 @ 48.1101
87.50/89.34	c bounds 352 >= 69 @ 48.1111
87.50/89.34	c bounds 352 >= 70 @ 48.1121
87.50/89.34	c bounds 352 >= 71 @ 48.1128
87.50/89.34	c bounds 352 >= 72 @ 48.1131
87.50/89.34	c bounds 352 >= 73 @ 48.1141
87.50/89.34	c bounds 352 >= 74 @ 48.1151
87.50/89.34	c bounds 352 >= 75 @ 48.116
87.50/89.34	c bounds 352 >= 76 @ 48.117
87.50/89.34	c bounds 352 >= 77 @ 48.118
87.50/89.34	c bounds 352 >= 78 @ 48.119
87.50/89.34	c bounds 352 >= 79 @ 48.12
87.50/89.34	c bounds 352 >= 80 @ 48.1211
87.50/89.34	c bounds 352 >= 81 @ 48.1218
87.50/89.34	c bounds 352 >= 82 @ 48.1218
87.50/89.34	c bounds 352 >= 83 @ 48.1225
87.50/89.34	c bounds 352 >= 84 @ 48.1228
87.50/89.34	c bounds 352 >= 85 @ 48.1228
87.50/89.34	c bounds 352 >= 86 @ 48.1239
87.50/89.34	c bounds 352 >= 87 @ 48.1251
87.50/89.34	c bounds 352 >= 88 @ 48.1258
87.50/89.34	c bounds 352 >= 89 @ 48.1265
87.50/89.34	c bounds 352 >= 90 @ 48.1268
87.50/89.34	c bounds 352 >= 91 @ 48.1268
87.50/89.34	c bounds 352 >= 92 @ 48.1279
87.50/89.34	c bounds 352 >= 93 @ 48.1291
87.50/89.34	c bounds 352 >= 94 @ 48.1297
87.50/89.34	c bounds 352 >= 95 @ 48.1314
87.50/89.34	c bounds 352 >= 96 @ 48.1317
87.50/89.34	c bounds 352 >= 97 @ 48.1327
87.50/89.34	c bounds 352 >= 98 @ 48.1367
87.50/89.34	c bounds 352 >= 99 @ 48.1377
87.50/89.34	c bounds 352 >= 100 @ 48.1454
87.50/89.34	c bounds 352 >= 101 @ 48.1577
87.50/89.34	c #Conflicts:      20000 | #Constraints:      48204
87.50/89.34	c bounds 350 >= 101 @ 48.3865
87.50/89.34	c bounds 350 >= 102 @ 48.3885
87.50/89.34	c bounds 350 >= 103 @ 48.3891
87.50/89.34	c bounds 350 >= 104 @ 48.3897
87.50/89.34	c bounds 350 >= 105 @ 48.3908
87.50/89.34	c bounds 350 >= 106 @ 48.3994
87.50/89.34	c bounds 350 >= 107 @ 48.4155
87.50/89.34	c #Conflicts:      21000 | #Constraints:      49277
87.50/89.34	c bounds 350 >= 108 @ 48.4597
87.50/89.34	c INPROCESSING
87.50/89.34	c GARBAGE COLLECT
87.50/89.34	c #Conflicts:      22000 | #Constraints:      47059
87.50/89.34	c #Conflicts:      23000 | #Constraints:      48059
87.50/89.34	c bounds 340 >= 108 @ 69.5003
87.50/89.34	c bounds 340 >= 109 @ 69.501
87.50/89.34	c bounds 340 >= 110 @ 69.5016
87.50/89.34	c bounds 340 >= 111 @ 69.5023
87.50/89.34	c bounds 340 >= 112 @ 69.504
87.50/89.34	c bounds 340 >= 113 @ 69.5058
87.50/89.34	c bounds 340 >= 114 @ 69.5107
87.50/89.34	c bounds 340 >= 115 @ 69.5132
87.50/89.34	c bounds 340 >= 116 @ 69.5151
87.50/89.34	c bounds 340 >= 117 @ 69.516
87.50/89.34	c bounds 340 >= 118 @ 69.5171
87.50/89.34	c bounds 340 >= 119 @ 69.5207
87.50/89.34	c #Conflicts:      24000 | #Constraints:      49186
87.50/89.34	c bounds 340 >= 120 @ 69.5253
87.50/89.34	c bounds 340 >= 121 @ 69.5376
87.50/89.34	c bounds 340 >= 122 @ 69.5885
87.50/89.34	c #Conflicts:      25000 | #Constraints:      50240
87.50/89.34	c INPROCESSING
87.50/89.34	c GARBAGE COLLECT
87.50/89.34	c bounds 340 >= 123 @ 69.7091
87.50/89.34	c #Conflicts:      26000 | #Constraints:      47868
87.50/89.34	c #Conflicts:      27000 | #Constraints:      48868
87.50/89.34	c #Conflicts:      28000 | #Constraints:      49868
87.50/89.34	c bounds 340 >= 124 @ 70.1079
87.50/89.34	c #Conflicts:      29000 | #Constraints:      50889
87.50/89.34	c INPROCESSING
87.50/89.34	c GARBAGE COLLECT
87.50/89.34	c bounds 338 >= 124 @ 70.6152
87.50/89.34	c bounds 336 >= 124 @ 70.6175
87.50/89.34	c #Conflicts:      30000 | #Constraints:      48296
87.50/89.34	c bounds 334 >= 124 @ 71.2433
87.50/89.34	c bounds 334 >= 125 @ 71.2512
87.50/89.34	c bounds 334 >= 126 @ 71.2518
87.50/89.34	c #Conflicts:      31000 | #Constraints:      49319
87.50/89.34	c bounds 334 >= 127 @ 71.2923
87.50/89.34	c bounds 334 >= 128 @ 71.307
87.50/89.34	c #Conflicts:      32000 | #Constraints:      50346
87.50/89.34	c #Conflicts:      33000 | #Constraints:      51346
87.50/89.34	c INPROCESSING
87.50/89.34	c GARBAGE COLLECT
87.50/89.34	c #Conflicts:      34000 | #Constraints:      48550
87.50/89.34	c bounds 334 >= 129 @ 71.5162
87.50/89.34	c #Conflicts:      35000 | #Constraints:      49565
87.50/89.34	c bounds 334 >= 130 @ 71.5948
87.50/89.34	c #Conflicts:      36000 | #Constraints:      50580
87.50/89.34	c #Conflicts:      37000 | #Constraints:      51580
87.50/89.34	c bounds 334 >= 131 @ 72.1659
87.50/89.34	c #Conflicts:      38000 | #Constraints:      52584
87.50/89.34	c bounds 332 >= 131 @ 72.6257
87.50/89.34	c bounds 332 >= 132 @ 72.6291
87.50/89.34	c bounds 332 >= 133 @ 72.6296
87.50/89.34	c bounds 332 >= 134 @ 72.6353
87.50/89.34	c bounds 332 >= 135 @ 86.018
87.50/89.34	c #Conflicts:      39000 | #Constraints:      53636
87.50/89.34	c bounds 332 >= 136 @ 86.0412
87.50/89.34	c bounds 332 >= 137 @ 86.0671
87.50/89.34	c bounds 332 >= 138 @ 86.1605
87.50/89.34	c #Conflicts:      40000 | #Constraints:      54693
87.50/89.34	c #Conflicts:      41000 | #Constraints:      55693
87.50/89.34	c #Conflicts:      42000 | #Constraints:      56693
87.50/89.34	c #Conflicts:      43000 | #Constraints:      57693
87.50/89.34	c bounds 332 >= 139 @ 86.665
106.05/107.96	c #Conflicts:      44000 | #Constraints:      58720
106.05/107.96	c #Conflicts:      45000 | #Constraints:      59720
106.05/107.96	c #Conflicts:      46000 | #Constraints:      60720
106.05/107.96	c #Conflicts:      47000 | #Constraints:      61720
106.05/107.96	c #Conflicts:      48000 | #Constraints:      62720
106.05/107.96	c INPROCESSING
106.05/107.96	c GARBAGE COLLECT
106.05/107.96	c rational objective 140
133.20/135.19	c bounds 332 >= 140 @ 105.131
133.20/135.19	c bounds 332 >= 141 @ 105.131
133.20/135.19	c bounds 332 >= 142 @ 105.132
133.20/135.19	c bounds 332 >= 143 @ 105.14
133.20/135.19	c bounds 332 >= 144 @ 105.147
133.20/135.19	c bounds 332 >= 145 @ 105.178
133.20/135.19	c #Conflicts:      49000 | #Constraints:      54438
133.20/135.19	c bounds 332 >= 146 @ 105.224
133.20/135.19	c #Conflicts:      50000 | #Constraints:      55456
133.20/135.19	c bounds 332 >= 147 @ 105.341
133.20/135.19	c #Conflicts:      51000 | #Constraints:      56480
133.20/135.19	c bounds 332 >= 148 @ 113.052
133.20/135.19	c #Conflicts:      52000 | #Constraints:      57504
133.20/135.19	c #Conflicts:      53000 | #Constraints:      58504
133.20/135.19	c INPROCESSING
133.20/135.19	c GARBAGE COLLECT
133.20/135.19	c rational objective 148
138.97/140.97	c #Conflicts:      54000 | #Constraints:      52149
138.97/140.97	c #Conflicts:      55000 | #Constraints:      53149
138.97/140.97	c bounds 332 >= 149 @ 132.536
138.97/140.97	c #Conflicts:      56000 | #Constraints:      54170
138.97/140.97	c #Conflicts:      57000 | #Constraints:      55170
138.97/140.97	c #Conflicts:      58000 | #Constraints:      56170
138.97/140.97	c INPROCESSING
138.97/140.97	c GARBAGE COLLECT
138.97/140.97	c #Conflicts:      59000 | #Constraints:      50767
138.97/140.97	c #Conflicts:      60000 | #Constraints:      51767
138.97/140.97	c #Conflicts:      61000 | #Constraints:      52767
138.97/140.97	c #Conflicts:      62000 | #Constraints:      53767
138.97/140.97	c bounds 316 >= 149 @ 136.129
138.97/140.97	c #Conflicts:      63000 | #Constraints:      54768
138.97/140.97	c #Conflicts:      64000 | #Constraints:      55768
138.97/140.97	WSVECS04 Frhs2[4]: 6 -4.00007 0 shouldn't be
138.97/140.97	WSVECS04 Frhs2[52]: 6 -2.00009 0 shouldn't be
138.97/140.97	WSVECS04 Frhs2[262]: 6 -1.00004 0 shouldn't be
138.97/140.97	WSVECS04 Frhs2[596]: 6 -5.00001 0 shouldn't be
138.97/140.97	WSVECS04 Frhs2[619]: 6 -2.00002 0 shouldn't be
138.97/140.97	WSVECS04 Frhs2[651]: 6 -1.0001 0 shouldn't be
138.97/140.97	WSVECS04 Frhs2[668]: 6 -3.00003 0 shouldn't be
138.97/140.97	WSVECS04 Frhs2[691]: 6 -1.00007 0 shouldn't be
138.97/140.97	WSVECS04 Frhs2[702]: 6 -2.00004 0 shouldn't be
138.97/140.97	WSVECS04 Frhs2[719]: 6 -2.00004 0 shouldn't be
141.17/143.13	WSVECS04 Frhs2[793]: 6 -2.00001 0 shouldn't be
143.56/145.56	WSVECS04 Frhs2[30]: 6 -1.00004 0 shouldn't be
143.56/145.56	WSVECS04 Frhs2[234]: 6 -4.00009 0 shouldn't be
143.56/145.56	WSVECS04 Frhs2[360]: 6 -1.00006 0 shouldn't be
143.56/145.56	WSVECS04 Frhs2[598]: 6 -3.00003 0 shouldn't be
143.56/145.56	WSVECS04 Frhs2[842]: 6 -2.00006 0 shouldn't be
147.15/149.19	WSVECS04 Frhs2[8]: 6 -2.00009 0 shouldn't be
147.15/149.19	WSVECS04 Frhs2[548]: 6 -2.00007 0 shouldn't be
154.13/156.12	WSVECS04 Frhs2[6]: 6 -4.00009 0 shouldn't be
154.13/156.12	WSVECS04 Frhs2[10]: 6 -1.00003 0 shouldn't be
154.13/156.12	WSVECS04 Frhs2[73]: 6 -2.00005 0 shouldn't be
154.13/156.12	WSVECS04 Frhs2[82]: 6 -1.00001 0 shouldn't be
154.13/156.12	WSVECS04 Frhs2[299]: 6 -2.00007 0 shouldn't be
154.13/156.12	WSVECS04 Frhs2[304]: 6 -4.00008 0 shouldn't be
154.13/156.12	WSVECS04 Frhs2[646]: 6 -4.00008 0 shouldn't be
154.13/156.12	WSVECS04 Frhs2[892]: 6 -1.00002 0 shouldn't be
154.13/156.12	WSVECS04 Frhs2[893]: 6 -2.00003 0 shouldn't be
154.13/156.12	WSVECS04 Frhs2[898]: 6 -3.00009 0 shouldn't be
161.42/163.41	WSVECS04 Frhs2[19]: 6 -2.00007 0 shouldn't be
161.42/163.41	WSVECS04 Frhs2[246]: 6 -5.00005 0 shouldn't be
161.42/163.41	WSVECS04 Frhs2[710]: 6 -1.00003 0 shouldn't be
166.60/168.62	WSVECS04 Frhs2[241]: 6 -1.00004 0 shouldn't be
166.60/168.62	WSVECS04 Frhs2[556]: 6 -4.00009 0 shouldn't be
168.89/170.95	WSVECS04 Frhs2[272]: 6 -2.00007 0 shouldn't be
168.89/170.95	WSVECS04 Frhs2[282]: 6 -2.00009 0 shouldn't be
168.89/170.95	WSVECS04 Frhs2[568]: 6 -3.00005 0 shouldn't be
168.89/170.95	WSVECS04 Frhs2[628]: 6 -3.00009 0 shouldn't be
168.89/170.95	WSVECS04 Frhs2[682]: 6 -2.00005 0 shouldn't be
168.89/170.95	WSVECS04 Frhs2[869]: 6 -2.00006 0 shouldn't be
171.78/173.81	WSVECS04 Frhs2[203]: 6 -3.00009 0 shouldn't be
171.78/173.81	WSVECS04 Frhs2[291]: 6 -1.00001 0 shouldn't be
171.78/173.81	WSVECS04 Frhs2[306]: 6 -4.00007 0 shouldn't be
171.78/173.81	WSVECS04 Frhs2[349]: 6 -2.00006 0 shouldn't be
171.78/173.81	WSVECS04 Frhs2[597]: 6 -4.00006 0 shouldn't be
171.78/173.81	WSVECS04 Frhs2[610]: 6 -1.00003 0 shouldn't be
171.78/173.81	WSVECS04 Frhs2[701]: 6 -1.00005 0 shouldn't be
171.78/173.81	WSVECS04 Frhs2[799]: 6 -2.00006 0 shouldn't be
171.78/173.81	WSVECS04 Frhs2[882]: 6 -2.00009 0 shouldn't be
171.78/173.81	WSVECS04 Frhs2[899]: 6 -2.00002 0 shouldn't be
171.78/173.81	WSVECS04 Frhs2[900]: 6 -1.00009 0 shouldn't be
175.98/178.04	WSVECS04 Frhs2[182]: 6 -2.00004 0 shouldn't be
175.98/178.04	WSVECS04 Frhs2[334]: 6 -3.00005 0 shouldn't be
175.98/178.04	WSVECS04 Frhs2[810]: 6 -1.00008 0 shouldn't be
175.98/178.04	WSVECS04 Frhs2[828]: 6 -2.00004 0 shouldn't be
175.98/178.04	WSVECS04 Frhs2[837]: 6 -3.00001 0 shouldn't be
175.98/178.04	WSVECS04 Frhs2[864]: 6 -4.00005 0 shouldn't be
181.25/183.33	WSVECS04 Frhs2[698]: 6 -3.0001 0 shouldn't be
201.80/203.93	c #Conflicts:      65000 | #Constraints:      56768
201.80/203.93	c #Conflicts:      66000 | #Constraints:      57768
201.80/203.93	c bounds 316 >= 150 @ 185.078
201.80/203.93	c #Conflicts:      67000 | #Constraints:      58789
201.80/203.93	c #Conflicts:      68000 | #Constraints:      59789
201.80/203.93	c #Conflicts:      69000 | #Constraints:      60789
201.80/203.93	c #Conflicts:      70000 | #Constraints:      61789
201.80/203.93	c #Conflicts:      71000 | #Constraints:      62789
201.80/203.93	c #Conflicts:      72000 | #Constraints:      63789
201.80/203.93	c #Conflicts:      73000 | #Constraints:      64789
201.80/203.93	c #Conflicts:      74000 | #Constraints:      65789
201.80/203.93	c #Conflicts:      75000 | #Constraints:      66789
201.80/203.93	c bounds 316 >= 151 @ 188.358
201.80/203.93	c #Conflicts:      76000 | #Constraints:      67816
201.80/203.93	c #Conflicts:      77000 | #Constraints:      68816
201.80/203.93	c #Conflicts:      78000 | #Constraints:      69816
201.80/203.93	c INPROCESSING
201.80/203.93	c GARBAGE COLLECT
201.80/203.93	c rational objective 151
219.65/221.88	c #Conflicts:      79000 | #Constraints:      58001
219.65/221.88	c #Conflicts:      80000 | #Constraints:      59001
219.65/221.88	c #Conflicts:      81000 | #Constraints:      60001
219.65/221.88	c #Conflicts:      82000 | #Constraints:      61001
219.65/221.88	c #Conflicts:      83000 | #Constraints:      62001
219.65/221.88	c bounds 314 >= 151 @ 204.172
219.65/221.88	c bounds 314 >= 152 @ 204.173
219.65/221.88	c bounds 314 >= 153 @ 204.173
219.65/221.88	c bounds 314 >= 154 @ 204.174
219.65/221.88	c bounds 314 >= 155 @ 204.175
219.65/221.88	c bounds 314 >= 156 @ 204.177
219.65/221.88	c bounds 314 >= 157 @ 204.188
219.65/221.88	c bounds 314 >= 158 @ 204.208
219.65/221.88	c #Conflicts:      84000 | #Constraints:      63109
219.65/221.88	c bounds 314 >= 159 @ 204.264
219.65/221.88	c INPROCESSING
219.65/221.88	c GARBAGE COLLECT
219.65/221.88	c rational objective 159
232.52/234.72	c #Conflicts:      85000 | #Constraints:      54349
232.52/234.72	c #Conflicts:      86000 | #Constraints:      55349
232.52/234.72	c bounds 314 >= 160 @ 218.259
232.52/234.72	c bounds 314 >= 161 @ 218.269
232.52/234.72	c bounds 314 >= 162 @ 218.271
232.52/234.72	c bounds 314 >= 163 @ 218.272
232.52/234.72	c bounds 314 >= 164 @ 218.274
232.52/234.72	c bounds 314 >= 165 @ 218.291
232.52/234.72	c #Conflicts:      87000 | #Constraints:      56431
232.52/234.72	c bounds 314 >= 166 @ 218.427
232.52/234.72	c #Conflicts:      88000 | #Constraints:      57449
232.52/234.72	c #Conflicts:      89000 | #Constraints:      58449
232.52/234.72	c bounds 314 >= 167 @ 218.883
232.52/234.72	c #Conflicts:      90000 | #Constraints:      59473
232.52/234.72	c #Conflicts:      91000 | #Constraints:      60473
232.52/234.72	c INPROCESSING
232.52/234.72	c GARBAGE COLLECT
232.52/234.72	c rational objective 167
274.01/276.31	c #Conflicts:      92000 | #Constraints:      53101
274.01/276.31	c #Conflicts:      93000 | #Constraints:      54101
274.01/276.31	c bounds 314 >= 168 @ 231.143
274.01/276.31	c #Conflicts:      94000 | #Constraints:      55122
274.01/276.31	c #Conflicts:      95000 | #Constraints:      56122
274.01/276.31	c #Conflicts:      96000 | #Constraints:      57122
274.01/276.31	c #Conflicts:      97000 | #Constraints:      58122
274.01/276.31	c #Conflicts:      98000 | #Constraints:      59122
274.01/276.31	c bounds 314 >= 169 @ 250.634
274.01/276.31	c #Conflicts:      99000 | #Constraints:      60143
274.01/276.31	c #Conflicts:     100000 | #Constraints:      61143
274.01/276.31	c #Conflicts:     101000 | #Constraints:      62143
274.01/276.31	c #Conflicts:     102000 | #Constraints:      63143
274.01/276.31	c bounds 312 >= 169 @ 252.545
274.01/276.31	c #Conflicts:     103000 | #Constraints:      64144
274.01/276.31	c #Conflicts:     104000 | #Constraints:      65144
274.01/276.31	c #Conflicts:     105000 | #Constraints:      66144
274.01/276.31	c #Conflicts:     106000 | #Constraints:      67144
274.01/276.31	c #Conflicts:     107000 | #Constraints:      68144
274.01/276.31	c #Conflicts:     108000 | #Constraints:      69144
274.01/276.31	c #Conflicts:     109000 | #Constraints:      70144
274.01/276.31	c bounds 308 >= 169 @ 260.068
274.01/276.31	c #Conflicts:     110000 | #Constraints:      71145
274.01/276.31	c #Conflicts:     111000 | #Constraints:      72145
274.01/276.31	c #Conflicts:     112000 | #Constraints:      73145
274.01/276.31	c #Conflicts:     113000 | #Constraints:      74145
274.01/276.31	c #Conflicts:     114000 | #Constraints:      75145
274.01/276.31	c #Conflicts:     115000 | #Constraints:      76145
274.01/276.31	c INPROCESSING
274.01/276.31	c GARBAGE COLLECT
274.01/276.31	c rational objective 169
287.78/290.17	c #Conflicts:     116000 | #Constraints:      61264
287.78/290.17	c #Conflicts:     117000 | #Constraints:      62264
287.78/290.17	c #Conflicts:     118000 | #Constraints:      63264
287.78/290.17	c #Conflicts:     119000 | #Constraints:      64264
287.78/290.17	c #Conflicts:     120000 | #Constraints:      65264
287.78/290.17	c bounds 308 >= 170 @ 273.595
287.78/290.17	c #Conflicts:     121000 | #Constraints:      66288
287.78/290.17	c #Conflicts:     122000 | #Constraints:      67288
287.78/290.17	c #Conflicts:     123000 | #Constraints:      68288
287.78/290.17	c INPROCESSING
287.78/290.17	c GARBAGE COLLECT
287.78/290.17	c rational objective 170
320.19/322.64	c #Conflicts:     124000 | #Constraints:      57148
320.19/322.64	c #Conflicts:     125000 | #Constraints:      58148
320.19/322.64	c #Conflicts:     126000 | #Constraints:      59148
320.19/322.64	c bounds 308 >= 171 @ 286.392
320.19/322.64	c #Conflicts:     127000 | #Constraints:      60172
320.19/322.64	c #Conflicts:     128000 | #Constraints:      61172
320.19/322.64	c #Conflicts:     129000 | #Constraints:      62172
320.19/322.64	c #Conflicts:     130000 | #Constraints:      63172
320.19/322.64	c #Conflicts:     131000 | #Constraints:      64172
320.19/322.64	c #Conflicts:     132000 | #Constraints:      65172
320.19/322.64	c INPROCESSING
320.19/322.64	c GARBAGE COLLECT
320.19/322.64	c rational objective 171
348.70/351.28	c #Conflicts:     133000 | #Constraints:      55853
348.70/351.28	c #Conflicts:     134000 | #Constraints:      56853
348.70/351.28	c #Conflicts:     135000 | #Constraints:      57853
348.70/351.28	c #Conflicts:     136000 | #Constraints:      58853
348.70/351.28	c #Conflicts:     137000 | #Constraints:      59853
348.70/351.28	c #Conflicts:     138000 | #Constraints:      60853
348.70/351.28	c bounds 308 >= 172 @ 326.664
348.70/351.28	c #Conflicts:     139000 | #Constraints:      61874
348.70/351.28	c #Conflicts:     140000 | #Constraints:      62874
348.70/351.28	c #Conflicts:     141000 | #Constraints:      63874
348.70/351.28	c #Conflicts:     142000 | #Constraints:      64874
348.70/351.28	c #Conflicts:     143000 | #Constraints:      65875
348.70/351.28	c #Conflicts:     144000 | #Constraints:      66875
348.70/351.28	c #Conflicts:     145000 | #Constraints:      67875
348.70/351.28	c #Conflicts:     146000 | #Constraints:      68875
348.70/351.28	c #Conflicts:     147000 | #Constraints:      69875
348.70/351.28	c #Conflicts:     148000 | #Constraints:      70875
348.70/351.28	c #Conflicts:     149000 | #Constraints:      71875
348.70/351.28	c #Conflicts:     150000 | #Constraints:      72875
348.70/351.28	c #Conflicts:     151000 | #Constraints:      73876
348.70/351.28	c #Conflicts:     152000 | #Constraints:      74878
348.70/351.28	c bounds 306 >= 172 @ 344.537
348.70/351.28	c bounds 306 >= 173 @ 344.537
348.70/351.28	c bounds 306 >= 174 @ 344.538
348.70/351.28	c bounds 306 >= 175 @ 344.539
348.70/351.28	c bounds 306 >= 176 @ 344.541
348.70/351.28	WSVECS04 Frhs2[30]: 6 -1.00004 0 shouldn't be
348.70/351.28	WSVECS04 Frhs2[199]: 6 -2.00003 0 shouldn't be
348.70/351.28	WSVECS04 Frhs2[202]: 6 -2.00008 0 shouldn't be
348.70/351.28	WSVECS04 Frhs2[632]: 6 -2.00003 0 shouldn't be
348.70/351.28	WSVECS04 Frhs2[713]: 6 -2.00003 0 shouldn't be
348.70/351.28	WSVECS04 Frhs2[723]: 6 -3.00005 0 shouldn't be
348.70/351.28	WSVECS04 Frhs2[803]: 6 -2.00005 0 shouldn't be
350.89/353.41	WSVECS04 Frhs2[299]: 6 -2.00003 0 shouldn't be
352.99/355.50	WSVECS04 Frhs2[4]: 6 -4.00007 0 shouldn't be
352.99/355.50	WSVECS04 Frhs2[52]: 6 -2.00007 0 shouldn't be
352.99/355.50	WSVECS04 Frhs2[220]: 6 -1.00009 0 shouldn't be
352.99/355.50	WSVECS04 Frhs2[646]: 6 -4.00002 0 shouldn't be
356.58/359.17	WSVECS04 Frhs2[82]: 6 -1.00007 0 shouldn't be
356.58/359.17	WSVECS04 Frhs2[210]: 6 -1.00009 0 shouldn't be
356.58/359.17	WSVECS04 Frhs2[842]: 6 -2.00003 0 shouldn't be
356.58/359.17	WSVECS04 Frhs2[873]: 6 -3.00008 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[10]: 6 -1.00007 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[58]: 6 -3.00007 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[99]: 6 -1.00008 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[120]: 6 -1.00007 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[146]: 6 -5.00002 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[155]: 6 -4.00005 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[178]: 6 -3.00006 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[200]: 6 -1.00004 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[301]: 6 -1.00002 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[548]: 6 -2.00003 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[573]: 6 -3.00009 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[591]: 6 -1.00002 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[597]: 6 -4.00009 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[600]: 6 -1.00007 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[737]: 6 -3.00008 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[847]: 6 -4.00002 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[864]: 6 -4.00007 0 shouldn't be
363.56/366.11	WSVECS04 Frhs2[891]: 6 -1.00006 0 shouldn't be
370.55/373.14	WSVECS04 Frhs2[6]: 6 -4.00002 0 shouldn't be
370.55/373.14	WSVECS04 Frhs2[100]: 6 -1.00004 0 shouldn't be
370.55/373.14	WSVECS04 Frhs2[131]: 6 -1.00009 0 shouldn't be
370.55/373.14	WSVECS04 Frhs2[191]: 6 -1.00009 0 shouldn't be
370.55/373.14	WSVECS04 Frhs2[328]: 6 -3.00005 0 shouldn't be
370.55/373.14	WSVECS04 Frhs2[598]: 6 -3.00006 0 shouldn't be
370.55/373.14	WSVECS04 Frhs2[828]: 6 -2.00008 0 shouldn't be
370.55/373.14	WSVECS04 Frhs2[899]: 6 -2.00001 0 shouldn't be
374.83/377.46	WSVECS04 Frhs2[273]: 6 -3.00005 0 shouldn't be
374.83/377.46	WSVECS04 Frhs2[349]: 6 -2.00002 0 shouldn't be
374.83/377.46	WSVECS04 Frhs2[553]: 6 -3.00005 0 shouldn't be
374.83/377.46	WSVECS04 Frhs2[691]: 6 -1.00007 0 shouldn't be
374.83/377.46	WSVECS04 Frhs2[793]: 6 -2.00007 0 shouldn't be
374.83/377.46	WSVECS04 Frhs2[797]: 6 -4.00001 0 shouldn't be
376.73/379.33	WSVECS04 Frhs2[37]: 6 -4.00003 0 shouldn't be
376.73/379.33	WSVECS04 Frhs2[72]: 6 -2.00006 0 shouldn't be
376.73/379.33	WSVECS04 Frhs2[110]: 6 -1.00003 0 shouldn't be
376.73/379.33	WSVECS04 Frhs2[298]: 6 -3.00009 0 shouldn't be
376.73/379.33	WSVECS04 Frhs2[310]: 6 -1.00004 0 shouldn't be
376.73/379.33	WSVECS04 Frhs2[629]: 6 -2.00003 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[1]: 6 -1.00003 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[19]: 6 -2.00007 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[73]: 6 -2.00004 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[102]: 6 -2.00001 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[103]: 6 -3.00005 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[137]: 6 -4.00004 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[170]: 6 -1.00008 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[206]: 6 -4.0001 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[282]: 6 -2.00006 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[306]: 6 -4.00005 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[360]: 6 -1.00007 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[560]: 6 -1.00008 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[582]: 6 -2.00005 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[610]: 6 -1.00002 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[702]: 6 -2.00003 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[819]: 6 -1.00006 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[832]: 6 -2.00003 0 shouldn't be
378.12/380.79	WSVECS04 Frhs2[893]: 6 -2.00003 0 shouldn't be
380.02/382.67	WSVECS04 Frhs2[8]: 6 -2.00007 0 shouldn't be
380.02/382.67	WSVECS04 Frhs2[619]: 6 -2.00005 0 shouldn't be
380.02/382.67	WSVECS04 Frhs2[895]: 6 -4.00009 0 shouldn't be
380.02/382.67	WSVECS04 Frhs2[900]: 6 -1.00006 0 shouldn't be
382.61/385.29	WSVECS04 Frhs2[5]: 6 -5.0001 0 shouldn't be
382.61/385.29	WSVECS04 Frhs2[603]: 6 -3.00005 0 shouldn't be
385.20/387.85	WSVECS04 Frhs2[107]: 6 -3.00008 0 shouldn't be
385.20/387.85	WSVECS04 Frhs2[894]: 6 -3.00007 0 shouldn't be
388.40/391.04	WSVECS04 Frhs2[595]: 6 -4.00008 0 shouldn't be
445.73/448.52	c #Conflicts:     153000 | #Constraints:      75922
445.73/448.52	c #Conflicts:     154000 | #Constraints:      76922
445.73/448.52	c #Conflicts:     155000 | #Constraints:      77922
445.73/448.52	c #Conflicts:     156000 | #Constraints:      78922
445.73/448.52	c bounds 306 >= 177 @ 434.279
445.73/448.52	c #Conflicts:     157000 | #Constraints:      79943
445.73/448.52	c bounds 306 >= 178 @ 434.637
445.73/448.52	c #Conflicts:     158000 | #Constraints:      80958
445.73/448.52	c #Conflicts:     159000 | #Constraints:      81958
445.73/448.52	c INPROCESSING
445.73/448.52	c GARBAGE COLLECT
445.73/448.52	c rational objective 178
462.59/465.42	c #Conflicts:     160000 | #Constraints:      63985
462.59/465.42	c bounds 306 >= 179 @ 442.493
462.59/465.42	c #Conflicts:     161000 | #Constraints:      65003
462.59/465.42	c bounds 306 >= 180 @ 442.583
462.59/465.42	c #Conflicts:     162000 | #Constraints:      66018
462.59/465.42	c #Conflicts:     163000 | #Constraints:      67018
462.59/465.42	c #Conflicts:     164000 | #Constraints:      68018
462.59/465.42	c bounds 306 >= 181 @ 443.114
462.59/465.42	c #Conflicts:     165000 | #Constraints:      69036
462.59/465.42	c #Conflicts:     166000 | #Constraints:      70036
462.59/465.42	c #Conflicts:     167000 | #Constraints:      71036
462.59/465.42	c #Conflicts:     168000 | #Constraints:      72036
462.59/465.42	c bounds 306 >= 182 @ 444.676
462.59/465.42	c #Conflicts:     169000 | #Constraints:      73057
462.59/465.42	c INPROCESSING
462.59/465.42	c GARBAGE COLLECT
462.59/465.42	c rational objective 182
516.27/519.29	c #Conflicts:     170000 | #Constraints:      59694
516.27/519.29	c #Conflicts:     171000 | #Constraints:      60694
516.27/519.29	c #Conflicts:     172000 | #Constraints:      61694
516.27/519.29	c #Conflicts:     173000 | #Constraints:      62694
516.27/519.29	c #Conflicts:     174000 | #Constraints:      63694
516.27/519.29	c #Conflicts:     175000 | #Constraints:      64694
516.27/519.29	c #Conflicts:     176000 | #Constraints:      65694
516.27/519.29	c #Conflicts:     177000 | #Constraints:      66694
516.27/519.29	c bounds 306 >= 183 @ 461.496
516.27/519.29	c #Conflicts:     178000 | #Constraints:      67715
516.27/519.29	c #Conflicts:     179000 | #Constraints:      68715
516.27/519.29	c INPROCESSING
516.27/519.29	c GARBAGE COLLECT
516.27/519.29	c rational objective 183
547.69/550.78	c #Conflicts:     180000 | #Constraints:      58054
547.69/550.78	c #Conflicts:     181000 | #Constraints:      59054
547.69/550.78	c #Conflicts:     182000 | #Constraints:      60054
547.69/550.78	c #Conflicts:     183000 | #Constraints:      61054
547.69/550.78	c #Conflicts:     184000 | #Constraints:      62054
547.69/550.78	c #Conflicts:     185000 | #Constraints:      63054
547.69/550.78	c #Conflicts:     186000 | #Constraints:      64054
547.69/550.78	c #Conflicts:     187000 | #Constraints:      65054
547.69/550.78	c #Conflicts:     188000 | #Constraints:      66054
547.69/550.78	c #Conflicts:     189000 | #Constraints:      67054
547.69/550.78	c #Conflicts:     190000 | #Constraints:      68054
547.69/550.78	c #Conflicts:     191000 | #Constraints:      69054
547.69/550.78	c #Conflicts:     192000 | #Constraints:      70054
547.69/550.78	c #Conflicts:     193000 | #Constraints:      71054
547.69/550.78	c #Conflicts:     194000 | #Constraints:      72054
547.69/550.78	c #Conflicts:     195000 | #Constraints:      73054
547.69/550.78	c #Conflicts:     196000 | #Constraints:      74054
547.69/550.78	c #Conflicts:     197000 | #Constraints:      75054
547.69/550.78	c #Conflicts:     198000 | #Constraints:      76054
547.69/550.78	c #Conflicts:     199000 | #Constraints:      77054
547.69/550.78	c #Conflicts:     200000 | #Constraints:      78054
547.69/550.78	c #Conflicts:     201000 | #Constraints:      79054
547.69/550.78	c #Conflicts:     202000 | #Constraints:      80054
547.69/550.78	c #Conflicts:     203000 | #Constraints:      81054
547.69/550.78	c bounds 306 >= 184 @ 530.534
547.69/550.78	c #Conflicts:     204000 | #Constraints:      82084
547.69/550.78	c #Conflicts:     205000 | #Constraints:      83084
547.69/550.78	c #Conflicts:     206000 | #Constraints:      84084
547.69/550.78	c #Conflicts:     207000 | #Constraints:      85084
547.69/550.78	c #Conflicts:     208000 | #Constraints:      86084
547.69/550.78	c #Conflicts:     209000 | #Constraints:      87084
547.69/550.78	c #Conflicts:     210000 | #Constraints:      88084
547.69/550.78	c #Conflicts:     211000 | #Constraints:      89084
547.69/550.78	c INPROCESSING
547.69/550.78	c GARBAGE COLLECT
547.69/550.78	c rational objective 184
618.83/622.10	c #Conflicts:     212000 | #Constraints:      67846
618.83/622.10	c #Conflicts:     213000 | #Constraints:      68846
618.83/622.10	c #Conflicts:     214000 | #Constraints:      69846
618.83/622.10	c #Conflicts:     215000 | #Constraints:      70846
618.83/622.10	c #Conflicts:     216000 | #Constraints:      71846
618.83/622.10	c #Conflicts:     217000 | #Constraints:      72846
618.83/622.10	c #Conflicts:     218000 | #Constraints:      73846
618.83/622.10	c #Conflicts:     219000 | #Constraints:      74846
618.83/622.10	c #Conflicts:     220000 | #Constraints:      75846
618.83/622.10	c #Conflicts:     221000 | #Constraints:      76847
618.83/622.10	c #Conflicts:     222000 | #Constraints:      77848
618.83/622.10	c INPROCESSING
618.83/622.10	c GARBAGE COLLECT
618.83/622.10	c rational objective 184
692.26/695.68	c #Conflicts:     223000 | #Constraints:      62106
692.26/695.68	c bounds 306 >= 185 @ 670.182
692.26/695.68	c bounds 306 >= 186 @ 670.205
692.26/695.68	c #Conflicts:     224000 | #Constraints:      63154
692.26/695.68	c #Conflicts:     225000 | #Constraints:      64154
692.26/695.68	c #Conflicts:     226000 | #Constraints:      65154
692.26/695.68	c bounds 306 >= 187 @ 670.415
692.26/695.68	c #Conflicts:     227000 | #Constraints:      66169
692.26/695.68	c bounds 306 >= 188 @ 670.687
692.26/695.68	c #Conflicts:     228000 | #Constraints:      67193
692.26/695.68	c #Conflicts:     229000 | #Constraints:      68193
692.26/695.68	c #Conflicts:     230000 | #Constraints:      69193
692.26/695.68	c #Conflicts:     231000 | #Constraints:      70193
692.26/695.68	c #Conflicts:     232000 | #Constraints:      71193
692.26/695.68	c bounds 306 >= 189 @ 672.216
692.26/695.68	c #Conflicts:     233000 | #Constraints:      72211
692.26/695.68	c #Conflicts:     234000 | #Constraints:      73211
692.26/695.68	c INPROCESSING
692.26/695.68	c GARBAGE COLLECT
692.26/695.68	c rational objective 189
773.27/776.86	c #Conflicts:     235000 | #Constraints:      61055
773.27/776.86	c #Conflicts:     236000 | #Constraints:      62055
773.27/776.86	c #Conflicts:     237000 | #Constraints:      63055
773.27/776.86	c bounds 306 >= 190 @ 688.298
773.27/776.86	c #Conflicts:     238000 | #Constraints:      64079
773.27/776.86	c #Conflicts:     239000 | #Constraints:      65079
773.27/776.86	c #Conflicts:     240000 | #Constraints:      66079
773.27/776.86	c bounds 306 >= 191 @ 688.632
773.27/776.86	c bounds 306 >= 192 @ 688.679
773.27/776.86	c #Conflicts:     241000 | #Constraints:      67115
773.27/776.86	c #Conflicts:     242000 | #Constraints:      68115
773.27/776.86	c bounds 306 >= 193 @ 688.871
773.27/776.86	c #Conflicts:     243000 | #Constraints:      69136
773.27/776.86	c #Conflicts:     244000 | #Constraints:      70136
773.27/776.86	c #Conflicts:     245000 | #Constraints:      71136
773.27/776.86	c bounds 306 >= 194 @ 689.768
773.27/776.86	c #Conflicts:     246000 | #Constraints:      72157
773.27/776.86	c #Conflicts:     247000 | #Constraints:      73157
773.27/776.86	c #Conflicts:     248000 | #Constraints:      74157
773.27/776.86	c #Conflicts:     249000 | #Constraints:      75157
773.27/776.86	c #Conflicts:     250000 | #Constraints:      76157
773.27/776.86	c #Conflicts:     251000 | #Constraints:      77157
773.27/776.86	c #Conflicts:     252000 | #Constraints:      78157
773.27/776.86	c bounds 306 >= 195 @ 692.637
773.27/776.86	c #Conflicts:     253000 | #Constraints:      79184
773.27/776.86	c #Conflicts:     254000 | #Constraints:      80184
773.27/776.86	c #Conflicts:     255000 | #Constraints:      81184
773.27/776.86	c #Conflicts:     256000 | #Constraints:      82184
773.27/776.86	c #Conflicts:     257000 | #Constraints:      83184
773.27/776.86	c #Conflicts:     258000 | #Constraints:      84184
773.27/776.86	c #Conflicts:     259000 | #Constraints:      85184
773.27/776.86	c #Conflicts:     260000 | #Constraints:      86184
773.27/776.86	c #Conflicts:     261000 | #Constraints:      87184
773.27/776.86	c #Conflicts:     262000 | #Constraints:      88184
773.27/776.86	c #Conflicts:     263000 | #Constraints:      89184
773.27/776.86	c #Conflicts:     264000 | #Constraints:      90184
773.27/776.86	c #Conflicts:     265000 | #Constraints:      91184
773.27/776.86	c bounds 306 >= 196 @ 748.873
773.27/776.86	c #Conflicts:     266000 | #Constraints:      92205
773.27/776.86	c #Conflicts:     267000 | #Constraints:      93205
773.27/776.86	c #Conflicts:     268000 | #Constraints:      94205
773.27/776.86	c #Conflicts:     269000 | #Constraints:      95205
773.27/776.86	c bounds 304 >= 196 @ 751.769
773.27/776.86	c #Conflicts:     270000 | #Constraints:      96206
773.27/776.86	c INPROCESSING
773.27/776.86	c GARBAGE COLLECT
773.27/776.86	c rational objective 196
807.38/811.02	c #Conflicts:     271000 | #Constraints:      71616
807.38/811.02	c #Conflicts:     272000 | #Constraints:      72616
807.38/811.02	c #Conflicts:     273000 | #Constraints:      73616
807.38/811.02	c #Conflicts:     274000 | #Constraints:      74616
807.38/811.02	c #Conflicts:     275000 | #Constraints:      75616
807.38/811.02	c #Conflicts:     276000 | #Constraints:      76616
807.38/811.02	c #Conflicts:     277000 | #Constraints:      77616
807.38/811.02	c #Conflicts:     278000 | #Constraints:      78616
807.38/811.02	c #Conflicts:     279000 | #Constraints:      79616
807.38/811.02	c bounds 302 >= 196 @ 780.446
807.38/811.02	c #Conflicts:     280000 | #Constraints:      80617
807.38/811.02	c #Conflicts:     281000 | #Constraints:      81617
807.38/811.02	c bounds 302 >= 197 @ 780.654
807.38/811.02	c #Conflicts:     282000 | #Constraints:      82644
807.38/811.02	c INPROCESSING
807.38/811.02	c GARBAGE COLLECT
807.38/811.02	c rational objective 197
889.28/893.14	c #Conflicts:     283000 | #Constraints:      64456
889.28/893.14	c #Conflicts:     284000 | #Constraints:      65456
889.28/893.14	c #Conflicts:     285000 | #Constraints:      66456
889.28/893.14	c #Conflicts:     286000 | #Constraints:      67456
889.28/893.14	c bounds 302 >= 198 @ 802.452
889.28/893.14	c #Conflicts:     287000 | #Constraints:      68477
889.28/893.14	c #Conflicts:     288000 | #Constraints:      69477
889.28/893.14	c #Conflicts:     289000 | #Constraints:      70477
889.28/893.14	c #Conflicts:     290000 | #Constraints:      71477
889.28/893.14	c bounds 302 >= 199 @ 845.645
889.28/893.14	c #Conflicts:     291000 | #Constraints:      72504
889.28/893.14	c #Conflicts:     292000 | #Constraints:      73504
889.28/893.14	c #Conflicts:     293000 | #Constraints:      74504
889.28/893.14	c #Conflicts:     294000 | #Constraints:      75504
889.28/893.14	c #Conflicts:     295000 | #Constraints:      76504
889.28/893.14	c #Conflicts:     296000 | #Constraints:      77504
889.28/893.14	c #Conflicts:     297000 | #Constraints:      78504
889.28/893.14	c #Conflicts:     298000 | #Constraints:      79504
889.28/893.14	c #Conflicts:     299000 | #Constraints:      80504
889.28/893.14	c bounds 302 >= 200 @ 850.647
889.28/893.14	c #Conflicts:     300000 | #Constraints:      81519
889.28/893.14	c #Conflicts:     301000 | #Constraints:      82519
889.28/893.14	c #Conflicts:     302000 | #Constraints:      83519
889.28/893.14	c #Conflicts:     303000 | #Constraints:      84519
889.28/893.14	c #Conflicts:     304000 | #Constraints:      85519
889.28/893.14	c #Conflicts:     305000 | #Constraints:      86519
889.28/893.14	c #Conflicts:     306000 | #Constraints:      87519
889.28/893.14	c #Conflicts:     307000 | #Constraints:      88519
889.28/893.14	c #Conflicts:     308000 | #Constraints:      89519
889.28/893.14	c #Conflicts:     309000 | #Constraints:      90519
889.28/893.14	c #Conflicts:     310000 | #Constraints:      91519
889.28/893.14	c bounds 302 >= 201 @ 861.099
889.28/893.14	c #Conflicts:     311000 | #Constraints:      92549
889.28/893.14	c #Conflicts:     312000 | #Constraints:      93549
889.28/893.14	c #Conflicts:     313000 | #Constraints:      94549
889.28/893.14	c #Conflicts:     314000 | #Constraints:      95549
889.28/893.14	c #Conflicts:     315000 | #Constraints:      96550
889.28/893.14	c #Conflicts:     316000 | #Constraints:      97550
889.28/893.14	c #Conflicts:     317000 | #Constraints:      98550
889.28/893.14	c #Conflicts:     318000 | #Constraints:      99550
889.28/893.14	c #Conflicts:     319000 | #Constraints:     100551
889.28/893.14	c #Conflicts:     320000 | #Constraints:     101552
889.28/893.14	c #Conflicts:     321000 | #Constraints:     102552
889.28/893.14	c INPROCESSING
889.28/893.14	c GARBAGE COLLECT
889.28/893.14	c rational objective 201
929.59/933.56	c #Conflicts:     322000 | #Constraints:      74433
929.59/933.56	c #Conflicts:     323000 | #Constraints:      75433
929.59/933.56	c #Conflicts:     324000 | #Constraints:      76433
929.59/933.56	c #Conflicts:     325000 | #Constraints:      77433
929.59/933.56	c #Conflicts:     326000 | #Constraints:      78433
929.59/933.56	c bounds 302 >= 202 @ 905.023
929.59/933.56	c #Conflicts:     327000 | #Constraints:      79457
929.59/933.56	c #Conflicts:     328000 | #Constraints:      80457
929.59/933.56	c #Conflicts:     329000 | #Constraints:      81457
929.59/933.56	c #Conflicts:     330000 | #Constraints:      82457
929.59/933.56	c #Conflicts:     331000 | #Constraints:      83457
929.59/933.56	c bounds 302 >= 203 @ 907.117
929.59/933.56	c #Conflicts:     332000 | #Constraints:      84469
929.59/933.56	c #Conflicts:     333000 | #Constraints:      85469
929.59/933.56	c #Conflicts:     334000 | #Constraints:      86469
929.59/933.56	c #Conflicts:     335000 | #Constraints:      87469
929.59/933.56	c #Conflicts:     336000 | #Constraints:      88469
929.59/933.56	c INPROCESSING
929.59/933.56	c GARBAGE COLLECT
929.59/933.56	c rational objective 203
997.50/1001.68	c bounds 300 >= 203 @ 923.08
997.50/1001.68	c #Conflicts:     337000 | #Constraints:      67844
997.50/1001.68	c #Conflicts:     338000 | #Constraints:      68844
997.50/1001.68	c #Conflicts:     339000 | #Constraints:      69844
997.50/1001.68	c #Conflicts:     340000 | #Constraints:      70844
997.50/1001.68	c #Conflicts:     341000 | #Constraints:      71844
997.50/1001.68	c #Conflicts:     342000 | #Constraints:      72846
997.50/1001.68	c #Conflicts:     343000 | #Constraints:      73846
997.50/1001.68	c #Conflicts:     344000 | #Constraints:      74848
997.50/1001.68	c #Conflicts:     345000 | #Constraints:      75848
997.50/1001.68	c #Conflicts:     346000 | #Constraints:      76848
997.50/1001.68	c #Conflicts:     347000 | #Constraints:      77848
997.50/1001.68	c #Conflicts:     348000 | #Constraints:      78848
997.50/1001.68	c #Conflicts:     349000 | #Constraints:      79848
997.50/1001.68	c #Conflicts:     350000 | #Constraints:      80848
997.50/1001.68	c #Conflicts:     351000 | #Constraints:      81848
997.50/1001.68	c #Conflicts:     352000 | #Constraints:      82848
997.50/1001.68	c #Conflicts:     353000 | #Constraints:      83849
997.50/1001.68	c #Conflicts:     354000 | #Constraints:      84851
997.50/1001.68	c #Conflicts:     355000 | #Constraints:      85851
997.50/1001.68	c #Conflicts:     356000 | #Constraints:      86851
997.50/1001.68	c #Conflicts:     357000 | #Constraints:      87851
997.50/1001.68	c #Conflicts:     358000 | #Constraints:      88852
997.50/1001.68	c #Conflicts:     359000 | #Constraints:      89853
997.50/1001.68	c #Conflicts:     360000 | #Constraints:      90854
997.50/1001.68	c #Conflicts:     361000 | #Constraints:      91855
997.50/1001.68	c #Conflicts:     362000 | #Constraints:      92855
997.50/1001.68	c #Conflicts:     363000 | #Constraints:      93855
997.50/1001.68	WSVECS04 Frhs2[50]: 6 0 4.00007 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[70]: 6 0 2.00006 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[89]: 6 -3.00009 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[101]: 6 -2.00002 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[103]: 6 -2.00005 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[110]: 6 -1.00008 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[119]: 6 -2.0001 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[200]: 6 -1.00006 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[207]: 6 -2.00002 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[243]: 6 0 2.00002 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[261]: 6 0 2.00006 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[273]: 6 -3.00007 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[280]: 6 -1.00007 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[300]: 6 -0.500089 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[306]: 6 -3.00004 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[310]: 6 -1.00004 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[311]: 6 0 1.00006 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[319]: 6 -2.00004 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[430]: 6 0 2.00006 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[541]: 6 0 1.46121 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[548]: 6 -2.00007 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[580]: 6 0 2.00004 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[597]: 6 -4.00008 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[603]: 6 -4.00009 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[610]: 6 -1.00008 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[611]: 6 0 1.00007 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[661]: 6 0 2.00002 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[664]: 6 -4.00002 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[702]: 6 -2.00003 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[731]: 6 0 1.00001 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[741]: 6 0 3.00004 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[750]: 6 0 1.00007 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[781]: 6 0 2.00001 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[819]: 6 -1.00007 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[820]: 6 0 1.00004 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[831]: 6 0 0.228347 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[840]: 6 0 1.77172 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[881]: 6 0 2.00002 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[895]: 6 -4.00008 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[931]: 6 0 3.31508 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[981]: 6 0 1.77176 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[983]: 6 0 1.77178 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[988]: 6 0 1.77174 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[990]: 6 0 1.77175 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[994]: 6 0 7.0001 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[997]: 6 0 3.22839 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[998]: 6 0 3.22838 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[999]: 6 0 3.2284 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1030]: 6 0 3.77175 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1031]: 6 0 5.54342 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1046]: 6 0 24.5001 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1053]: 6 0 4.00006 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1055]: 6 0 4.00005 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1057]: 6 0 7.31512 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1060]: 6 0 4.00003 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1077]: 6 -10.0183 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1083]: 6 0 0.0868258 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1089]: 6 0 5.08685 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1106]: 6 0 9.25123 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1107]: 6 0 11.0868 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1134]: 6 0 0.931547 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1161]: 6 0 15.0001 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1168]: 6 0 13.0001 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1169]: 6 0 13 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1170]: 6 0 9.91334 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1190]: 6 -5.50005 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1199]: 6 0 21.0001 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1235]: 6 -12.0001 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1250]: 6 0 3.46126 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1266]: 6 0 7.00005 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1306]: 6 0 0.374495 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1322]: 6 -4.00001 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1332]: 6 0 3.62562 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1352]: 6 0 0.500071 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1368]: 6 0 24.6256 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1374]: 6 -2.00008 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1412]: 6 0 4.00009 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1413]: 6 0 4.00006 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1509]: 6 0 8.00002 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1517]: 6 -5.07766 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1546]: 6 -10 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1725]: 6 0 4.89504 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1772]: 6 0 8.83564 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1776]: 6 0 11.3745 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1777]: 6 0 6.62561 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1804]: 6 0 1.46123 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1808]: 6 0 1.46122 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1816]: 6 -8.00004 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1840]: 6 0 22.8357 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1852]: 6 0 21.3745 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1854]: 6 0 21.3745 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1891]: 6 0 6.27176 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1907]: 6 0 6.27179 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1928]: 6 0 1.00002 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1932]: 6 0 1.00007 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1934]: 6 0 2.50005 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1959]: 6 0 0.395057 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[1994]: 6 -17 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2001]: 6 0 22 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2002]: 6 0 23.0001 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2033]: 6 0 1.50006 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2034]: 6 0 1.50005 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2036]: 6 0 7.64387 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2043]: 6 0 7.64391 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2050]: 6 0 9.64388 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2051]: 6 0 7.64386 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2052]: 6 0 7.64388 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2081]: 6 0 3.46126 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2093]: 6 0 4.53883 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2094]: 6 0 4.53882 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2104]: 6 0 6.53887 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2124]: 6 0 6.18272 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2153]: 6 -2.91782 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2166]: 6 -11.0777 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2179]: 6 0 2.69409 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2180]: 6 0 5.46123 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2189]: 6 0 5.46122 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2192]: 6 0 5.46123 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2194]: 6 0 7.4612 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2196]: 6 0 5.46121 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2212]: 6 -3.00005 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2307]: 6 0 1.00006 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2309]: 6 0 1.00008 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2310]: 6 0 1.00003 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2321]: 6 0 1.00004 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2323]: 6 0 1.00004 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2324]: 6 0 1.00003 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2327]: 6 0 1.00004 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2340]: 6 -1.00003 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2367]: 6 -2.45667 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2388]: 6 0 3.00003 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2404]: 6 -6.00008 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2479]: 6 -5.50005 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2489]: 6 -6.00007 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2540]: 6 -2.73062 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2542]: 6 0 1.62559 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2642]: 6 -15.1233 0 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2684]: 6 0 20.5 shouldn't be
997.50/1001.68	WSVECS04 Frhs2[2693]: 6 -3.68496 0 shouldn't be
1539.96/1545.52	c #Conflicts:     364000 | #Constraints:      94855
1539.96/1545.52	c bounds 296 >= 203 @ 992.799
1539.96/1545.52	c #Conflicts:     365000 | #Constraints:      95856
1539.96/1545.52	c #Conflicts:     366000 | #Constraints:      96856
1539.96/1545.52	c #Conflicts:     367000 | #Constraints:      97856
1539.96/1545.52	c #Conflicts:     368000 | #Constraints:      98856
1539.96/1545.52	c #Conflicts:     369000 | #Constraints:      99856
1539.96/1545.52	c #Conflicts:     370000 | #Constraints:     100856
1539.96/1545.52	c #Conflicts:     371000 | #Constraints:     101856
1539.96/1545.52	c #Conflicts:     372000 | #Constraints:     102856
1539.96/1545.52	c #Conflicts:     373000 | #Constraints:     103856
1539.96/1545.52	c #Conflicts:     374000 | #Constraints:     104856
1539.96/1545.52	c #Conflicts:     375000 | #Constraints:     105856
1539.96/1545.52	c #Conflicts:     376000 | #Constraints:     106856
1539.96/1545.52	c #Conflicts:     377000 | #Constraints:     107856
1539.96/1545.52	c bounds 296 >= 204 @ 1010.5
1539.96/1545.52	c #Conflicts:     378000 | #Constraints:     108880
1539.96/1545.52	c INPROCESSING
1539.96/1545.52	c GARBAGE COLLECT
1539.96/1545.52	c #Conflicts:     379000 | #Constraints:      77973
1539.96/1545.52	c #Conflicts:     380000 | #Constraints:      78973
1539.96/1545.52	c #Conflicts:     381000 | #Constraints:      79973
1539.96/1545.52	c #Conflicts:     382000 | #Constraints:      80973
1539.96/1545.52	c #Conflicts:     383000 | #Constraints:      81973
1539.96/1545.52	c #Conflicts:     384000 | #Constraints:      82973
1539.96/1545.52	c #Conflicts:     385000 | #Constraints:      83973
1539.96/1545.52	c #Conflicts:     386000 | #Constraints:      84973
1539.96/1545.52	c #Conflicts:     387000 | #Constraints:      85973
1539.96/1545.52	c #Conflicts:     388000 | #Constraints:      86973
1539.96/1545.52	c #Conflicts:     389000 | #Constraints:      87973
1539.96/1545.52	c #Conflicts:     390000 | #Constraints:      88973
1539.96/1545.52	c #Conflicts:     391000 | #Constraints:      89973
1539.96/1545.52	c #Conflicts:     392000 | #Constraints:      90973
1539.96/1545.52	c #Conflicts:     393000 | #Constraints:      91973
1539.96/1545.52	c INPROCESSING
1539.96/1545.52	c GARBAGE COLLECT
1539.96/1545.52	c #Conflicts:     394000 | #Constraints:      69329
1539.96/1545.52	c #Conflicts:     395000 | #Constraints:      70329
1539.96/1545.52	c #Conflicts:     396000 | #Constraints:      71329
1539.96/1545.52	c #Conflicts:     397000 | #Constraints:      72329
1539.96/1545.52	c #Conflicts:     398000 | #Constraints:      73329
1539.96/1545.52	c #Conflicts:     399000 | #Constraints:      74329
1539.96/1545.52	c #Conflicts:     400000 | #Constraints:      75329
1539.96/1545.52	c #Conflicts:     401000 | #Constraints:      76329
1539.96/1545.52	c bounds 296 >= 205 @ 1481.41
1539.96/1545.52	c #Conflicts:     402000 | #Constraints:      77365
1539.96/1545.52	c #Conflicts:     403000 | #Constraints:      78365
1539.96/1545.52	c #Conflicts:     404000 | #Constraints:      79365
1539.96/1545.52	c #Conflicts:     405000 | #Constraints:      80365
1539.96/1545.52	c #Conflicts:     406000 | #Constraints:      81365
1539.96/1545.52	c #Conflicts:     407000 | #Constraints:      82365
1539.96/1545.52	c #Conflicts:     408000 | #Constraints:      83365
1539.96/1545.52	c #Conflicts:     409000 | #Constraints:      84365
1539.96/1545.52	c #Conflicts:     410000 | #Constraints:      85365
1539.96/1545.52	c #Conflicts:     411000 | #Constraints:      86365
1539.96/1545.52	c #Conflicts:     412000 | #Constraints:      87365
1539.96/1545.52	c #Conflicts:     413000 | #Constraints:      88365
1539.96/1545.52	c #Conflicts:     414000 | #Constraints:      89365
1539.96/1545.52	c #Conflicts:     415000 | #Constraints:      90365
1539.96/1545.52	c #Conflicts:     416000 | #Constraints:      91365
1539.96/1545.52	c #Conflicts:     417000 | #Constraints:      92365
1539.96/1545.52	c #Conflicts:     418000 | #Constraints:      93365
1539.96/1545.52	c #Conflicts:     419000 | #Constraints:      94365
1539.96/1545.52	c bounds 296 >= 206 @ 1499.49
1539.96/1545.52	c #Conflicts:     420000 | #Constraints:      95392
1539.96/1545.52	c #Conflicts:     421000 | #Constraints:      96392
1539.96/1545.52	c #Conflicts:     422000 | #Constraints:      97392
1539.96/1545.52	c #Conflicts:     423000 | #Constraints:      98392
1539.96/1545.52	c #Conflicts:     424000 | #Constraints:      99392
1539.96/1545.52	c #Conflicts:     425000 | #Constraints:     100392
1539.96/1545.52	c #Conflicts:     426000 | #Constraints:     101392
1539.96/1545.52	c #Conflicts:     427000 | #Constraints:     102392
1539.96/1545.52	c #Conflicts:     428000 | #Constraints:     103392
1539.96/1545.52	c #Conflicts:     429000 | #Constraints:     104392
1539.96/1545.52	c #Conflicts:     430000 | #Constraints:     105392
1539.96/1545.52	c #Conflicts:     431000 | #Constraints:     106392
1539.96/1545.52	c #Conflicts:     432000 | #Constraints:     107392
1539.96/1545.52	c #Conflicts:     433000 | #Constraints:     108392
1539.96/1545.52	c #Conflicts:     434000 | #Constraints:     109392
1539.96/1545.52	c #Conflicts:     435000 | #Constraints:     110392
1539.96/1545.52	c #Conflicts:     436000 | #Constraints:     111392
1539.96/1545.52	c #Conflicts:     437000 | #Constraints:     112392
1539.96/1545.52	c #Conflicts:     438000 | #Constraints:     113392
1539.96/1545.52	c INPROCESSING
1563.40/1569.04	c GARBAGE COLLECT
1563.40/1569.04	c rational objective 206
1634.12/1639.93	c #Conflicts:     439000 | #Constraints:      79939
1634.12/1639.93	c #Conflicts:     440000 | #Constraints:      80939
1634.12/1639.93	c #Conflicts:     441000 | #Constraints:      81939
1634.12/1639.93	c #Conflicts:     442000 | #Constraints:      82939
1634.12/1639.93	c #Conflicts:     443000 | #Constraints:      83939
1634.12/1639.93	c #Conflicts:     444000 | #Constraints:      84939
1634.12/1639.93	c #Conflicts:     445000 | #Constraints:      85939
1634.12/1639.93	c #Conflicts:     446000 | #Constraints:      86939
1634.12/1639.93	c #Conflicts:     447000 | #Constraints:      87939
1634.12/1639.93	c #Conflicts:     448000 | #Constraints:      88939
1634.12/1639.93	c bounds 296 >= 207 @ 1566.18
1634.12/1639.93	c #Conflicts:     449000 | #Constraints:      89957
1634.12/1639.93	c #Conflicts:     450000 | #Constraints:      90957
1634.12/1639.93	c #Conflicts:     451000 | #Constraints:      91957
1634.12/1639.93	c #Conflicts:     452000 | #Constraints:      92957
1634.12/1639.93	c #Conflicts:     453000 | #Constraints:      93957
1634.12/1639.93	c #Conflicts:     454000 | #Constraints:      94957
1634.12/1639.93	c #Conflicts:     455000 | #Constraints:      95957
1634.12/1639.93	c INPROCESSING
1634.12/1639.93	c GARBAGE COLLECT
1634.12/1639.93	c rational objective 207
1706.48/1712.51	c #Conflicts:     456000 | #Constraints:      71364
1706.48/1712.51	c #Conflicts:     457000 | #Constraints:      72364
1706.48/1712.51	c #Conflicts:     458000 | #Constraints:      73364
1706.48/1712.51	c #Conflicts:     459000 | #Constraints:      74364
1706.48/1712.51	c #Conflicts:     460000 | #Constraints:      75364
1706.48/1712.51	c #Conflicts:     461000 | #Constraints:      76364
1706.48/1712.51	c #Conflicts:     462000 | #Constraints:      77364
1706.48/1712.51	c #Conflicts:     463000 | #Constraints:      78364
1706.48/1712.51	c #Conflicts:     464000 | #Constraints:      79364
1706.48/1712.51	c #Conflicts:     465000 | #Constraints:      80364
1706.48/1712.51	c bounds 296 >= 208 @ 1626.21
1706.48/1712.51	c #Conflicts:     466000 | #Constraints:      81385
1706.48/1712.51	c #Conflicts:     467000 | #Constraints:      82385
1706.48/1712.51	c #Conflicts:     468000 | #Constraints:      83385
1706.48/1712.51	c #Conflicts:     469000 | #Constraints:      84385
1706.48/1712.51	c #Conflicts:     470000 | #Constraints:      85385
1706.48/1712.51	c #Conflicts:     471000 | #Constraints:      86385
1706.48/1712.51	c #Conflicts:     472000 | #Constraints:      87385
1706.48/1712.51	c #Conflicts:     473000 | #Constraints:      88385
1706.48/1712.51	c bounds 296 >= 209 @ 1630.62
1706.48/1712.51	c #Conflicts:     474000 | #Constraints:      89412
1706.48/1712.51	c #Conflicts:     475000 | #Constraints:      90412
1706.48/1712.51	c #Conflicts:     476000 | #Constraints:      91412
1706.48/1712.51	c #Conflicts:     477000 | #Constraints:      92412
1706.48/1712.51	c #Conflicts:     478000 | #Constraints:      93412
1706.48/1712.51	c #Conflicts:     479000 | #Constraints:      94412
1706.48/1712.51	c #Conflicts:     480000 | #Constraints:      95412
1706.48/1712.51	c #Conflicts:     481000 | #Constraints:      96412
1706.48/1712.51	c #Conflicts:     482000 | #Constraints:      97412
1706.48/1712.51	c #Conflicts:     483000 | #Constraints:      98412
1706.48/1712.51	c #Conflicts:     484000 | #Constraints:      99412
1706.48/1712.51	c #Conflicts:     485000 | #Constraints:     100412
1706.48/1712.51	c #Conflicts:     486000 | #Constraints:     101412
1706.48/1712.51	c #Conflicts:     487000 | #Constraints:     102412
1706.48/1712.51	c #Conflicts:     488000 | #Constraints:     103412
1706.48/1712.51	c #Conflicts:     489000 | #Constraints:     104412
1706.48/1712.51	c #Conflicts:     490000 | #Constraints:     105412
1706.48/1712.51	c #Conflicts:     491000 | #Constraints:     106412
1706.48/1712.51	c #Conflicts:     492000 | #Constraints:     107412
1706.48/1712.51	c #Conflicts:     493000 | #Constraints:     108412
1706.48/1712.51	c #Conflicts:     494000 | #Constraints:     109412
1706.48/1712.51	c #Conflicts:     495000 | #Constraints:     110412
1706.48/1712.51	c #Conflicts:     496000 | #Constraints:     111412
1706.48/1712.51	c #Conflicts:     497000 | #Constraints:     112412
1706.48/1712.51	c #Conflicts:     498000 | #Constraints:     113412
1706.48/1712.51	c #Conflicts:     499000 | #Constraints:     114412
1706.48/1712.51	c #Conflicts:     500000 | #Constraints:     115412
1706.48/1712.51	c #Conflicts:     501000 | #Constraints:     116412
1706.48/1712.51	c #Conflicts:     502000 | #Constraints:     117412
1706.48/1712.51	c #Conflicts:     503000 | #Constraints:     118412
1706.48/1712.51	c #Conflicts:     504000 | #Constraints:     119412
1706.48/1712.51	c INPROCESSING
1706.48/1712.51	c GARBAGE COLLECT
1706.48/1712.51	c rational objective 209
1726.13/1732.28	c #Conflicts:     505000 | #Constraints:      83429
1726.13/1732.28	c #Conflicts:     506000 | #Constraints:      84429
1726.13/1732.28	c #Conflicts:     507000 | #Constraints:      85429
1726.13/1732.28	c #Conflicts:     508000 | #Constraints:      86429
1726.13/1732.28	c #Conflicts:     509000 | #Constraints:      87429
1726.13/1732.28	c #Conflicts:     510000 | #Constraints:      88429
1726.13/1732.28	c #Conflicts:     511000 | #Constraints:      89429
1726.13/1732.28	c #Conflicts:     512000 | #Constraints:      90429
1726.13/1732.28	c #Conflicts:     513000 | #Constraints:      91429
1726.13/1732.28	c #Conflicts:     514000 | #Constraints:      92429
1726.13/1732.28	c #Conflicts:     515000 | #Constraints:      93429
1726.13/1732.28	c #Conflicts:     516000 | #Constraints:      94429
1726.13/1732.28	c #Conflicts:     517000 | #Constraints:      95429
1726.13/1732.28	c #Conflicts:     518000 | #Constraints:      96429
1726.13/1732.28	c #Conflicts:     519000 | #Constraints:      97429
1726.13/1732.28	c #Conflicts:     520000 | #Constraints:      98429
1726.13/1732.28	c #Conflicts:     521000 | #Constraints:      99429
1726.13/1732.28	c #Conflicts:     522000 | #Constraints:     100429
1726.13/1732.28	c INPROCESSING
1726.13/1732.28	c GARBAGE COLLECT
1726.13/1732.28	c rational objective 209
1801.45/1807.73	c #Conflicts:     523000 | #Constraints:      73928
1801.45/1807.73	c #Conflicts:     524000 | #Constraints:      74928
1801.45/1807.73	c #Conflicts:     525000 | #Constraints:      75928
1801.45/1807.73	c #Conflicts:     526000 | #Constraints:      76928
1801.45/1807.73	c #Conflicts:     527000 | #Constraints:      77928
1801.45/1807.73	c #Conflicts:     528000 | #Constraints:      78928
1801.45/1807.73	c #Conflicts:     529000 | #Constraints:      79928
1801.45/1807.73	c #Conflicts:     530000 | #Constraints:      80928
1801.45/1807.73	c #Conflicts:     531000 | #Constraints:      81928
1801.45/1807.73	c #Conflicts:     532000 | #Constraints:      82928
1801.45/1807.73	c bounds 296 >= 210 @ 1719.58
1801.45/1807.73	c #Conflicts:     533000 | #Constraints:      83955
1801.45/1807.73	c #Conflicts:     534000 | #Constraints:      84955
1801.45/1807.73	c #Conflicts:     535000 | #Constraints:      85955
1801.45/1807.73	c #Conflicts:     536000 | #Constraints:      86955
1801.45/1807.73	c #Conflicts:     537000 | #Constraints:      87955
1801.45/1807.73	c #Conflicts:     538000 | #Constraints:      88955
1801.45/1807.73	c #Conflicts:     539000 | #Constraints:      89955
1801.45/1807.73	c #Conflicts:     540000 | #Constraints:      90955
1801.45/1807.73	c #Conflicts:     541000 | #Constraints:      91955
1801.45/1807.73	c #Conflicts:     542000 | #Constraints:      92955
1801.45/1807.73	c #Conflicts:     543000 | #Constraints:      93955
1801.45/1807.73	c #Conflicts:     544000 | #Constraints:      94955
1801.45/1807.73	c #Conflicts:     545000 | #Constraints:      95955
1801.45/1807.73	c #Conflicts:     546000 | #Constraints:      96955
1801.45/1807.73	c #Conflicts:     547000 | #Constraints:      97955
1801.45/1807.73	c #Conflicts:     548000 | #Constraints:      98955
1801.45/1807.73	c #Conflicts:     549000 | #Constraints:      99955
1801.45/1807.73	c #Conflicts:     550000 | #Constraints:     100955
1801.45/1807.73	c #Conflicts:     551000 | #Constraints:     101955
1801.45/1807.73	c #Conflicts:     552000 | #Constraints:     102955
1801.45/1807.73	c bounds 296 >= 211 @ 1738.46
1801.45/1807.73	c #Conflicts:     553000 | #Constraints:     103982
1801.45/1807.73	c #Conflicts:     554000 | #Constraints:     104982
1801.45/1807.73	c #Conflicts:     555000 | #Constraints:     105982
1801.45/1807.73	c #Conflicts:     556000 | #Constraints:     106982
1801.45/1807.73	c #Conflicts:     557000 | #Constraints:     107982
1801.45/1807.73	c #Conflicts:     558000 | #Constraints:     108982
1801.45/1807.73	c #Conflicts:     559000 | #Constraints:     109982
1801.45/1807.73	c #Conflicts:     560000 | #Constraints:     110982
1801.45/1807.73	c #Conflicts:     561000 | #Constraints:     111982
1801.45/1807.73	c #Conflicts:     562000 | #Constraints:     112982
1801.45/1807.73	c #Conflicts:     563000 | #Constraints:     113982
1801.45/1807.73	c #Conflicts:     564000 | #Constraints:     114982
1801.45/1807.73	c bounds 296 >= 212 @ 1741.45
1801.45/1807.73	c #Conflicts:     565000 | #Constraints:     116006
1801.45/1807.73	c #Conflicts:     566000 | #Constraints:     117006
1801.45/1807.73	c #Conflicts:     567000 | #Constraints:     118006
1801.45/1807.73	c #Conflicts:     568000 | #Constraints:     119006
1801.45/1807.73	c #Conflicts:     569000 | #Constraints:     120006
1801.45/1807.73	c #Conflicts:     570000 | #Constraints:     121006
1801.45/1807.73	c #Conflicts:     571000 | #Constraints:     122006
1801.45/1807.73	c #Conflicts:     572000 | #Constraints:     123006
1801.45/1807.73	c #Conflicts:     573000 | #Constraints:     124006
1801.45/1807.73	c INPROCESSING
1801.45/1807.73	c GARBAGE COLLECT
1801.45/1807.73	c rational objective 212
1851.03/1857.41	c #Conflicts:     574000 | #Constraints:      85500
1851.03/1857.41	c #Conflicts:     575000 | #Constraints:      86500
1851.03/1857.41	c #Conflicts:     576000 | #Constraints:      87500
1851.03/1857.41	c #Conflicts:     577000 | #Constraints:      88500
1851.03/1857.41	c bounds 296 >= 213 @ 1791.58
1851.03/1857.41	c #Conflicts:     578000 | #Constraints:      89527
1851.03/1857.41	c #Conflicts:     579000 | #Constraints:      90527
1851.03/1857.41	c #Conflicts:     580000 | #Constraints:      91527
1851.03/1857.41	c #Conflicts:     581000 | #Constraints:      92527
1851.03/1857.41	c #Conflicts:     582000 | #Constraints:      93527
1851.03/1857.41	c #Conflicts:     583000 | #Constraints:      94527
1851.03/1857.41	c #Conflicts:     584000 | #Constraints:      95527
1851.03/1857.41	c #Conflicts:     585000 | #Constraints:      96527
1851.03/1857.41	c #Conflicts:     586000 | #Constraints:      97527
1851.03/1857.41	c #Conflicts:     587000 | #Constraints:      98527
1851.03/1857.41	c #Conflicts:     588000 | #Constraints:      99527
1851.03/1857.41	c #Conflicts:     589000 | #Constraints:     100527
1851.03/1857.41	c #Conflicts:     590000 | #Constraints:     101527
1851.03/1857.41	c #Conflicts:     591000 | #Constraints:     102527
1851.03/1857.41	c #Conflicts:     592000 | #Constraints:     103527
1851.03/1857.41	c INPROCESSING
1851.03/1857.41	c GARBAGE COLLECT
1851.03/1857.41	c rational objective 213
1967.64/1974.30	c #Conflicts:     593000 | #Constraints:      75414
1967.64/1974.30	c #Conflicts:     594000 | #Constraints:      76414
1967.64/1974.30	c #Conflicts:     595000 | #Constraints:      77414
1967.64/1974.30	c #Conflicts:     596000 | #Constraints:      78414
1967.64/1974.30	c #Conflicts:     597000 | #Constraints:      79414
1967.64/1974.30	c #Conflicts:     598000 | #Constraints:      80414
1967.64/1974.30	c #Conflicts:     599000 | #Constraints:      81414
1967.64/1974.30	c bounds 296 >= 214 @ 1853.54
1967.64/1974.30	c #Conflicts:     600000 | #Constraints:      82441
1967.64/1974.30	c #Conflicts:     601000 | #Constraints:      83441
1967.64/1974.30	c #Conflicts:     602000 | #Constraints:      84441
1967.64/1974.30	c #Conflicts:     603000 | #Constraints:      85441
1967.64/1974.30	c #Conflicts:     604000 | #Constraints:      86441
1967.64/1974.30	c #Conflicts:     605000 | #Constraints:      87441
1967.64/1974.30	c #Conflicts:     606000 | #Constraints:      88441
1967.64/1974.30	c #Conflicts:     607000 | #Constraints:      89441
1967.64/1974.30	c #Conflicts:     608000 | #Constraints:      90441
1967.64/1974.30	c #Conflicts:     609000 | #Constraints:      91441
1967.64/1974.30	c #Conflicts:     610000 | #Constraints:      92441
1967.64/1974.30	c #Conflicts:     611000 | #Constraints:      93441
1967.64/1974.30	c #Conflicts:     612000 | #Constraints:      94441
1967.64/1974.30	c #Conflicts:     613000 | #Constraints:      95441
1967.64/1974.30	c #Conflicts:     614000 | #Constraints:      96441
1967.64/1974.30	c #Conflicts:     615000 | #Constraints:      97441
1967.64/1974.30	c #Conflicts:     616000 | #Constraints:      98441
1967.64/1974.30	c #Conflicts:     617000 | #Constraints:      99441
1967.64/1974.30	c #Conflicts:     618000 | #Constraints:     100441
1967.64/1974.30	c #Conflicts:     619000 | #Constraints:     101441
1967.64/1974.30	c #Conflicts:     620000 | #Constraints:     102441
1967.64/1974.30	c #Conflicts:     621000 | #Constraints:     103441
1967.64/1974.30	c #Conflicts:     622000 | #Constraints:     104441
1967.64/1974.30	c #Conflicts:     623000 | #Constraints:     105441
1967.64/1974.30	c #Conflicts:     624000 | #Constraints:     106441
1967.64/1974.30	c #Conflicts:     625000 | #Constraints:     107441
1967.64/1974.30	c #Conflicts:     626000 | #Constraints:     108441
1967.64/1974.30	c bounds 296 >= 215 @ 1909.79
1967.64/1974.30	c #Conflicts:     627000 | #Constraints:     109468
1967.64/1974.30	c #Conflicts:     628000 | #Constraints:     110468
1967.64/1974.30	c #Conflicts:     629000 | #Constraints:     111468
1967.64/1974.30	c #Conflicts:     630000 | #Constraints:     112468
1967.64/1974.30	c #Conflicts:     631000 | #Constraints:     113468
1967.64/1974.30	c #Conflicts:     632000 | #Constraints:     114468
1967.64/1974.30	c #Conflicts:     633000 | #Constraints:     115468
1967.64/1974.30	c #Conflicts:     634000 | #Constraints:     116469
1967.64/1974.30	c #Conflicts:     635000 | #Constraints:     117469
1967.64/1974.30	c #Conflicts:     636000 | #Constraints:     118470
1967.64/1974.30	c #Conflicts:     637000 | #Constraints:     119470
1967.64/1974.30	c #Conflicts:     638000 | #Constraints:     120470
1967.64/1974.30	c #Conflicts:     639000 | #Constraints:     121470
1967.64/1974.30	c #Conflicts:     640000 | #Constraints:     122470
1967.64/1974.30	c #Conflicts:     641000 | #Constraints:     123471
1967.64/1974.30	c #Conflicts:     642000 | #Constraints:     124471
1967.64/1974.30	c #Conflicts:     643000 | #Constraints:     125471
1967.64/1974.30	c #Conflicts:     644000 | #Constraints:     126471
1967.64/1974.30	c #Conflicts:     645000 | #Constraints:     127471
1967.64/1974.30	c #Conflicts:     646000 | #Constraints:     128471
1967.64/1974.30	c #Conflicts:     647000 | #Constraints:     129471
1967.64/1974.30	c INPROCESSING
1967.64/1974.30	c GARBAGE COLLECT
1967.64/1974.30	c rational objective 215
2005.95/2012.74	c #Conflicts:     648000 | #Constraints:      88388
2005.95/2012.74	c #Conflicts:     649000 | #Constraints:      89388
2005.95/2012.74	c #Conflicts:     650000 | #Constraints:      90388
2005.95/2012.74	c #Conflicts:     651000 | #Constraints:      91388
2005.95/2012.74	c #Conflicts:     652000 | #Constraints:      92388
2005.95/2012.74	c #Conflicts:     653000 | #Constraints:      93388
2005.95/2012.74	c #Conflicts:     654000 | #Constraints:      94388
2005.95/2012.74	c #Conflicts:     655000 | #Constraints:      95388
2005.95/2012.74	c #Conflicts:     656000 | #Constraints:      96388
2005.95/2012.74	c #Conflicts:     657000 | #Constraints:      97388
2005.95/2012.74	c #Conflicts:     658000 | #Constraints:      98388
2005.95/2012.74	c #Conflicts:     659000 | #Constraints:      99388
2005.95/2012.74	c #Conflicts:     660000 | #Constraints:     100388
2005.95/2012.74	c #Conflicts:     661000 | #Constraints:     101388
2005.95/2012.74	c #Conflicts:     662000 | #Constraints:     102388
2005.95/2012.74	c #Conflicts:     663000 | #Constraints:     103388
2005.95/2012.74	c #Conflicts:     664000 | #Constraints:     104388
2005.95/2012.74	c #Conflicts:     665000 | #Constraints:     105388
2005.95/2012.74	c #Conflicts:     666000 | #Constraints:     106388
2005.95/2012.74	c #Conflicts:     667000 | #Constraints:     107388
2005.95/2012.74	c #Conflicts:     668000 | #Constraints:     108388
2005.95/2012.74	c INPROCESSING
2005.95/2012.74	c GARBAGE COLLECT
2005.95/2012.74	c rational objective 215
2366.88/2374.57	c #Conflicts:     669000 | #Constraints:      78469
2366.88/2374.57	c #Conflicts:     670000 | #Constraints:      79469
2366.88/2374.57	c #Conflicts:     671000 | #Constraints:      80469
2366.88/2374.57	c #Conflicts:     672000 | #Constraints:      81469
2366.88/2374.57	c #Conflicts:     673000 | #Constraints:      82469
2366.88/2374.57	c #Conflicts:     674000 | #Constraints:      83469
2366.88/2374.57	c #Conflicts:     675000 | #Constraints:      84469
2366.88/2374.57	c #Conflicts:     676000 | #Constraints:      85469
2366.88/2374.57	c #Conflicts:     677000 | #Constraints:      86469
2366.88/2374.57	c #Conflicts:     678000 | #Constraints:      87469
2366.88/2374.57	c #Conflicts:     679000 | #Constraints:      88469
2366.88/2374.57	c #Conflicts:     680000 | #Constraints:      89469
2366.88/2374.57	c #Conflicts:     681000 | #Constraints:      90469
2366.88/2374.57	c #Conflicts:     682000 | #Constraints:      91469
2366.88/2374.57	c bounds 296 >= 216 @ 2231.18
2366.88/2374.57	c #Conflicts:     683000 | #Constraints:      92502
2366.88/2374.57	c #Conflicts:     684000 | #Constraints:      93502
2366.88/2374.57	c #Conflicts:     685000 | #Constraints:      94502
2366.88/2374.57	c #Conflicts:     686000 | #Constraints:      95502
2366.88/2374.57	c #Conflicts:     687000 | #Constraints:      96502
2366.88/2374.57	c #Conflicts:     688000 | #Constraints:      97502
2366.88/2374.57	c #Conflicts:     689000 | #Constraints:      98502
2366.88/2374.57	c #Conflicts:     690000 | #Constraints:      99502
2366.88/2374.57	c #Conflicts:     691000 | #Constraints:     100502
2366.88/2374.57	c #Conflicts:     692000 | #Constraints:     101502
2366.88/2374.57	c #Conflicts:     693000 | #Constraints:     102502
2366.88/2374.57	c #Conflicts:     694000 | #Constraints:     103502
2366.88/2374.57	c #Conflicts:     695000 | #Constraints:     104502
2366.88/2374.57	c #Conflicts:     696000 | #Constraints:     105502
2366.88/2374.57	c #Conflicts:     697000 | #Constraints:     106502
2366.88/2374.57	c #Conflicts:     698000 | #Constraints:     107502
2366.88/2374.57	c #Conflicts:     699000 | #Constraints:     108502
2366.88/2374.57	c #Conflicts:     700000 | #Constraints:     109502
2366.88/2374.57	c #Conflicts:     701000 | #Constraints:     110502
2366.88/2374.57	c #Conflicts:     702000 | #Constraints:     111502
2366.88/2374.57	c #Conflicts:     703000 | #Constraints:     112502
2366.88/2374.57	c #Conflicts:     704000 | #Constraints:     113502
2366.88/2374.57	c #Conflicts:     705000 | #Constraints:     114502
2366.88/2374.57	c #Conflicts:     706000 | #Constraints:     115502
2366.88/2374.57	c #Conflicts:     707000 | #Constraints:     116502
2366.88/2374.57	c bounds 296 >= 217 @ 2269.82
2366.88/2374.57	c #Conflicts:     708000 | #Constraints:     117520
2366.88/2374.57	c #Conflicts:     709000 | #Constraints:     118520
2366.88/2374.57	c #Conflicts:     710000 | #Constraints:     119520
2366.88/2374.57	c #Conflicts:     711000 | #Constraints:     120520
2366.88/2374.57	c #Conflicts:     712000 | #Constraints:     121520
2366.88/2374.57	c #Conflicts:     713000 | #Constraints:     122520
2366.88/2374.57	c #Conflicts:     714000 | #Constraints:     123520
2366.88/2374.57	c #Conflicts:     715000 | #Constraints:     124520
2366.88/2374.57	c #Conflicts:     716000 | #Constraints:     125520
2366.88/2374.57	c #Conflicts:     717000 | #Constraints:     126520
2366.88/2374.57	c #Conflicts:     718000 | #Constraints:     127520
2366.88/2374.57	c #Conflicts:     719000 | #Constraints:     128520
2366.88/2374.57	c #Conflicts:     720000 | #Constraints:     129520
2366.88/2374.57	c #Conflicts:     721000 | #Constraints:     130520
2366.88/2374.57	c #Conflicts:     722000 | #Constraints:     131520
2366.88/2374.57	c #Conflicts:     723000 | #Constraints:     132520
2366.88/2374.57	c #Conflicts:     724000 | #Constraints:     133520
2366.88/2374.57	c #Conflicts:     725000 | #Constraints:     134520
2366.88/2374.57	c INPROCESSING
2366.88/2374.57	c GARBAGE COLLECT
2366.88/2374.57	WSVECS04 Frhs2[104]: 6 -4.00004 0 shouldn't be
2508.16/2516.17	c rational objective 217
2603.12/2611.34	c #Conflicts:     726000 | #Constraints:      90791
2603.12/2611.34	c #Conflicts:     727000 | #Constraints:      91791
2603.12/2611.34	c #Conflicts:     728000 | #Constraints:      92791
2603.12/2611.34	c #Conflicts:     729000 | #Constraints:      93791
2603.12/2611.34	c #Conflicts:     730000 | #Constraints:      94791
2603.12/2611.34	c #Conflicts:     731000 | #Constraints:      95791
2603.12/2611.34	c #Conflicts:     732000 | #Constraints:      96791
2603.12/2611.34	c #Conflicts:     733000 | #Constraints:      97791
2603.12/2611.34	c #Conflicts:     734000 | #Constraints:      98791
2603.12/2611.34	c #Conflicts:     735000 | #Constraints:      99791
2603.12/2611.34	c #Conflicts:     736000 | #Constraints:     100791
2603.12/2611.34	c #Conflicts:     737000 | #Constraints:     101791
2603.12/2611.34	c #Conflicts:     738000 | #Constraints:     102791
2603.12/2611.34	c #Conflicts:     739000 | #Constraints:     103791
2603.12/2611.34	c #Conflicts:     740000 | #Constraints:     104791
2603.12/2611.34	c #Conflicts:     741000 | #Constraints:     105791
2603.12/2611.34	c #Conflicts:     742000 | #Constraints:     106791
2603.12/2611.34	c #Conflicts:     743000 | #Constraints:     107791
2603.12/2611.34	c #Conflicts:     744000 | #Constraints:     108791
2603.12/2611.34	c #Conflicts:     745000 | #Constraints:     109791
2603.12/2611.34	c #Conflicts:     746000 | #Constraints:     110791
2603.12/2611.34	c #Conflicts:     747000 | #Constraints:     111791
2603.12/2611.34	c INPROCESSING
2603.12/2611.34	c GARBAGE COLLECT
2603.12/2611.34	c rational objective 217
2829.93/2838.73	c #Conflicts:     748000 | #Constraints:      79673
2829.93/2838.73	c #Conflicts:     749000 | #Constraints:      80673
2829.93/2838.73	c #Conflicts:     750000 | #Constraints:      81673
2829.93/2838.73	c #Conflicts:     751000 | #Constraints:      82673
2829.93/2838.73	c #Conflicts:     752000 | #Constraints:      83673
2829.93/2838.73	c #Conflicts:     753000 | #Constraints:      84673
2829.93/2838.73	c #Conflicts:     754000 | #Constraints:      85673
2829.93/2838.73	c #Conflicts:     755000 | #Constraints:      86673
2829.93/2838.73	c #Conflicts:     756000 | #Constraints:      87673
2829.93/2838.73	c #Conflicts:     757000 | #Constraints:      88673
2829.93/2838.73	c #Conflicts:     758000 | #Constraints:      89673
2829.93/2838.73	c #Conflicts:     759000 | #Constraints:      90673
2829.93/2838.73	c #Conflicts:     760000 | #Constraints:      91673
2829.93/2838.73	c #Conflicts:     761000 | #Constraints:      92673
2829.93/2838.73	c #Conflicts:     762000 | #Constraints:      93673
2829.93/2838.73	c #Conflicts:     763000 | #Constraints:      94673
2829.93/2838.73	c #Conflicts:     764000 | #Constraints:      95673
2829.93/2838.73	c #Conflicts:     765000 | #Constraints:      96673
2829.93/2838.73	c #Conflicts:     766000 | #Constraints:      97673
2829.93/2838.73	c #Conflicts:     767000 | #Constraints:      98673
2829.93/2838.73	c #Conflicts:     768000 | #Constraints:      99673
2829.93/2838.73	c #Conflicts:     769000 | #Constraints:     100673
2829.93/2838.73	c #Conflicts:     770000 | #Constraints:     101673
2829.93/2838.73	c #Conflicts:     771000 | #Constraints:     102673
2829.93/2838.73	c #Conflicts:     772000 | #Constraints:     103673
2829.93/2838.73	c #Conflicts:     773000 | #Constraints:     104673
2829.93/2838.73	c #Conflicts:     774000 | #Constraints:     105673
2829.93/2838.73	c #Conflicts:     775000 | #Constraints:     106673
2829.93/2838.73	c #Conflicts:     776000 | #Constraints:     107673
2829.93/2838.73	c #Conflicts:     777000 | #Constraints:     108673
2829.93/2838.73	c #Conflicts:     778000 | #Constraints:     109673
2829.93/2838.73	c #Conflicts:     779000 | #Constraints:     110673
2829.93/2838.73	c #Conflicts:     780000 | #Constraints:     111673
2829.93/2838.73	c #Conflicts:     781000 | #Constraints:     112673
2829.93/2838.73	c #Conflicts:     782000 | #Constraints:     113673
2829.93/2838.73	c #Conflicts:     783000 | #Constraints:     114673
2829.93/2838.73	c #Conflicts:     784000 | #Constraints:     115673
2829.93/2838.73	c #Conflicts:     785000 | #Constraints:     116673
2829.93/2838.73	c #Conflicts:     786000 | #Constraints:     117673
2829.93/2838.73	c #Conflicts:     787000 | #Constraints:     118673
2829.93/2838.73	c #Conflicts:     788000 | #Constraints:     119673
2829.93/2838.73	c #Conflicts:     789000 | #Constraints:     120673
2829.93/2838.73	c #Conflicts:     790000 | #Constraints:     121673
2829.93/2838.73	c #Conflicts:     791000 | #Constraints:     122673
2829.93/2838.73	c #Conflicts:     792000 | #Constraints:     123673
2829.93/2838.73	c #Conflicts:     793000 | #Constraints:     124673
2829.93/2838.73	c #Conflicts:     794000 | #Constraints:     125673
2829.93/2838.73	c #Conflicts:     795000 | #Constraints:     126673
2829.93/2838.73	c #Conflicts:     796000 | #Constraints:     127673
2829.93/2838.73	c #Conflicts:     797000 | #Constraints:     128673
2829.93/2838.73	c #Conflicts:     798000 | #Constraints:     129673
2829.93/2838.73	c #Conflicts:     799000 | #Constraints:     130673
2829.93/2838.73	c #Conflicts:     800000 | #Constraints:     131673
2829.93/2838.73	c #Conflicts:     801000 | #Constraints:     132673
2829.93/2838.73	c #Conflicts:     802000 | #Constraints:     133673
2829.93/2838.73	c #Conflicts:     803000 | #Constraints:     134673
2829.93/2838.73	c #Conflicts:     804000 | #Constraints:     135673
2829.93/2838.73	c #Conflicts:     805000 | #Constraints:     136673
2829.93/2838.73	c #Conflicts:     806000 | #Constraints:     137673
2829.93/2838.73	c #Conflicts:     807000 | #Constraints:     138673
2829.93/2838.73	c #Conflicts:     808000 | #Constraints:     139673
2829.93/2838.73	c INPROCESSING
2829.93/2838.73	c GARBAGE COLLECT
2829.93/2838.73	c rational objective 217
2946.55/2955.69	c #Conflicts:     809000 | #Constraints:      93586
2946.55/2955.69	c #Conflicts:     810000 | #Constraints:      94586
2946.55/2955.69	c #Conflicts:     811000 | #Constraints:      95586
2946.55/2955.69	c #Conflicts:     812000 | #Constraints:      96586
2946.55/2955.69	c #Conflicts:     813000 | #Constraints:      97586
2946.55/2955.69	c #Conflicts:     814000 | #Constraints:      98586
2946.55/2955.69	c #Conflicts:     815000 | #Constraints:      99586
2946.55/2955.69	c #Conflicts:     816000 | #Constraints:     100586
2946.55/2955.69	c #Conflicts:     817000 | #Constraints:     101586
2946.55/2955.69	c #Conflicts:     818000 | #Constraints:     102586
2946.55/2955.69	c #Conflicts:     819000 | #Constraints:     103586
2946.55/2955.69	c #Conflicts:     820000 | #Constraints:     104586
2946.55/2955.69	c #Conflicts:     821000 | #Constraints:     105586
2946.55/2955.69	c #Conflicts:     822000 | #Constraints:     106586
2946.55/2955.69	c #Conflicts:     823000 | #Constraints:     107586
2946.55/2955.69	c #Conflicts:     824000 | #Constraints:     108586
2946.55/2955.69	c #Conflicts:     825000 | #Constraints:     109586
2946.55/2955.69	c #Conflicts:     826000 | #Constraints:     110586
2946.55/2955.69	c #Conflicts:     827000 | #Constraints:     111586
2946.55/2955.69	c #Conflicts:     828000 | #Constraints:     112586
2946.55/2955.69	c #Conflicts:     829000 | #Constraints:     113586
2946.55/2955.69	c #Conflicts:     830000 | #Constraints:     114586
2946.55/2955.69	c #Conflicts:     831000 | #Constraints:     115586
2946.55/2955.69	c INPROCESSING
2946.55/2955.69	c GARBAGE COLLECT
2946.55/2955.69	c rational objective 217
2987.85/2997.07	c #Conflicts:     832000 | #Constraints:      81361
2987.85/2997.07	c #Conflicts:     833000 | #Constraints:      82361
2987.85/2997.07	c #Conflicts:     834000 | #Constraints:      83361
2987.85/2997.07	c #Conflicts:     835000 | #Constraints:      84361
2987.85/2997.07	c #Conflicts:     836000 | #Constraints:      85361
2987.85/2997.07	c #Conflicts:     837000 | #Constraints:      86361
2987.85/2997.07	c #Conflicts:     838000 | #Constraints:      87361
2987.85/2997.07	c #Conflicts:     839000 | #Constraints:      88361
2987.85/2997.07	c #Conflicts:     840000 | #Constraints:      89361
2987.85/2997.07	c #Conflicts:     841000 | #Constraints:      90361
2987.85/2997.07	c #Conflicts:     842000 | #Constraints:      91361
2987.85/2997.07	c #Conflicts:     843000 | #Constraints:      92361
2987.85/2997.07	c #Conflicts:     844000 | #Constraints:      93361
2987.85/2997.07	c #Conflicts:     845000 | #Constraints:      94361
2987.85/2997.07	c #Conflicts:     846000 | #Constraints:      95361
2987.85/2997.07	c #Conflicts:     847000 | #Constraints:      96361
2987.85/2997.07	c #Conflicts:     848000 | #Constraints:      97361
2987.85/2997.07	c #Conflicts:     849000 | #Constraints:      98361
2987.85/2997.07	c #Conflicts:     850000 | #Constraints:      99361
2987.85/2997.07	c #Conflicts:     851000 | #Constraints:     100361
2987.85/2997.07	c #Conflicts:     852000 | #Constraints:     101361
2987.85/2997.07	c #Conflicts:     853000 | #Constraints:     102361
2987.85/2997.07	c #Conflicts:     854000 | #Constraints:     103361
2987.85/2997.07	c #Conflicts:     855000 | #Constraints:     104361
2987.85/2997.07	c INPROCESSING
2987.85/2997.07	c GARBAGE COLLECT
2987.85/2997.07	c rational objective 217
3114.43/3123.94	c #Conflicts:     856000 | #Constraints:      81592
3114.43/3123.94	c #Conflicts:     857000 | #Constraints:      82592
3114.43/3123.94	c #Conflicts:     858000 | #Constraints:      83592
3114.43/3123.94	c #Conflicts:     859000 | #Constraints:      84592
3114.43/3123.94	c #Conflicts:     860000 | #Constraints:      85592
3114.43/3123.94	c #Conflicts:     861000 | #Constraints:      86592
3114.43/3123.94	c #Conflicts:     862000 | #Constraints:      87592
3114.43/3123.94	c #Conflicts:     863000 | #Constraints:      88592
3114.43/3123.94	c #Conflicts:     864000 | #Constraints:      89592
3114.43/3123.94	c #Conflicts:     865000 | #Constraints:      90592
3114.43/3123.94	c #Conflicts:     866000 | #Constraints:      91592
3114.43/3123.94	c #Conflicts:     867000 | #Constraints:      92592
3114.43/3123.94	c #Conflicts:     868000 | #Constraints:      93592
3114.43/3123.94	c #Conflicts:     869000 | #Constraints:      94592
3114.43/3123.94	c #Conflicts:     870000 | #Constraints:      95592
3114.43/3123.94	c #Conflicts:     871000 | #Constraints:      96592
3114.43/3123.94	c bounds 296 >= 218 @ 2983.08
3114.43/3123.94	c #Conflicts:     872000 | #Constraints:      97625
3114.43/3123.94	c #Conflicts:     873000 | #Constraints:      98625
3114.43/3123.94	c #Conflicts:     874000 | #Constraints:      99625
3114.43/3123.94	c #Conflicts:     875000 | #Constraints:     100625
3114.43/3123.94	c #Conflicts:     876000 | #Constraints:     101625
3114.43/3123.94	c #Conflicts:     877000 | #Constraints:     102625
3114.43/3123.94	c #Conflicts:     878000 | #Constraints:     103625
3114.43/3123.94	c #Conflicts:     879000 | #Constraints:     104625
3114.43/3123.94	c #Conflicts:     880000 | #Constraints:     105625
3114.43/3123.94	c #Conflicts:     881000 | #Constraints:     106625
3114.43/3123.94	c #Conflicts:     882000 | #Constraints:     107625
3114.43/3123.94	c #Conflicts:     883000 | #Constraints:     108625
3114.43/3123.94	c #Conflicts:     884000 | #Constraints:     109625
3114.43/3123.94	c #Conflicts:     885000 | #Constraints:     110625
3114.43/3123.94	c #Conflicts:     886000 | #Constraints:     111625
3114.43/3123.94	c #Conflicts:     887000 | #Constraints:     112625
3114.43/3123.94	c #Conflicts:     888000 | #Constraints:     113625
3114.43/3123.94	c #Conflicts:     889000 | #Constraints:     114625
3114.43/3123.94	c #Conflicts:     890000 | #Constraints:     115625
3114.43/3123.94	c #Conflicts:     891000 | #Constraints:     116625
3114.43/3123.94	c #Conflicts:     892000 | #Constraints:     117625
3114.43/3123.94	c #Conflicts:     893000 | #Constraints:     118625
3114.43/3123.94	c #Conflicts:     894000 | #Constraints:     119625
3114.43/3123.94	c #Conflicts:     895000 | #Constraints:     120625
3114.43/3123.94	c #Conflicts:     896000 | #Constraints:     121625
3114.43/3123.94	c #Conflicts:     897000 | #Constraints:     122625
3114.43/3123.94	c #Conflicts:     898000 | #Constraints:     123625
3114.43/3123.94	c #Conflicts:     899000 | #Constraints:     124625
3114.43/3123.94	c #Conflicts:     900000 | #Constraints:     125625
3114.43/3123.94	c #Conflicts:     901000 | #Constraints:     126625
3114.43/3123.94	c #Conflicts:     902000 | #Constraints:     127625
3114.43/3123.94	c #Conflicts:     903000 | #Constraints:     128625
3114.43/3123.94	c #Conflicts:     904000 | #Constraints:     129625
3114.43/3123.94	c #Conflicts:     905000 | #Constraints:     130625
3114.43/3123.94	c #Conflicts:     906000 | #Constraints:     131625
3114.43/3123.94	c #Conflicts:     907000 | #Constraints:     132625
3114.43/3123.94	c #Conflicts:     908000 | #Constraints:     133625
3114.43/3123.94	c #Conflicts:     909000 | #Constraints:     134625
3114.43/3123.94	c #Conflicts:     910000 | #Constraints:     135625
3114.43/3123.94	c #Conflicts:     911000 | #Constraints:     136625
3114.43/3123.94	c #Conflicts:     912000 | #Constraints:     137625
3114.43/3123.94	c #Conflicts:     913000 | #Constraints:     138625
3114.43/3123.94	c #Conflicts:     914000 | #Constraints:     139625
3114.43/3123.94	c #Conflicts:     915000 | #Constraints:     140625
3114.43/3123.94	c #Conflicts:     916000 | #Constraints:     141625
3114.43/3123.94	c #Conflicts:     917000 | #Constraints:     142625
3114.43/3123.94	c #Conflicts:     918000 | #Constraints:     143625
3114.43/3123.94	c #Conflicts:     919000 | #Constraints:     144625
3114.43/3123.94	c #Conflicts:     920000 | #Constraints:     145625
3114.43/3123.94	c INPROCESSING
3114.43/3123.94	c GARBAGE COLLECT
3114.43/3123.94	c rational objective 218
3167.60/3177.21	c #Conflicts:     921000 | #Constraints:      96685
3167.60/3177.21	c #Conflicts:     922000 | #Constraints:      97685
3167.60/3177.21	c #Conflicts:     923000 | #Constraints:      98685
3167.60/3177.21	c #Conflicts:     924000 | #Constraints:      99685
3167.60/3177.21	c #Conflicts:     925000 | #Constraints:     100685
3167.60/3177.21	c #Conflicts:     926000 | #Constraints:     101685
3167.60/3177.21	c #Conflicts:     927000 | #Constraints:     102685
3167.60/3177.21	c #Conflicts:     928000 | #Constraints:     103685
3167.60/3177.21	c #Conflicts:     929000 | #Constraints:     104685
3167.60/3177.21	c #Conflicts:     930000 | #Constraints:     105685
3167.60/3177.21	c #Conflicts:     931000 | #Constraints:     106685
3167.60/3177.21	c #Conflicts:     932000 | #Constraints:     107685
3167.60/3177.21	c #Conflicts:     933000 | #Constraints:     108685
3167.60/3177.21	c #Conflicts:     934000 | #Constraints:     109685
3167.60/3177.21	c #Conflicts:     935000 | #Constraints:     110685
3167.60/3177.21	c #Conflicts:     936000 | #Constraints:     111685
3167.60/3177.21	c #Conflicts:     937000 | #Constraints:     112685
3167.60/3177.21	c #Conflicts:     938000 | #Constraints:     113685
3167.60/3177.21	c #Conflicts:     939000 | #Constraints:     114685
3167.60/3177.21	c #Conflicts:     940000 | #Constraints:     115685
3167.60/3177.21	c #Conflicts:     941000 | #Constraints:     116685
3167.60/3177.21	c #Conflicts:     942000 | #Constraints:     117685
3167.60/3177.21	c #Conflicts:     943000 | #Constraints:     118685
3167.60/3177.21	c #Conflicts:     944000 | #Constraints:     119685
3167.60/3177.21	c INPROCESSING
3167.60/3177.21	c GARBAGE COLLECT
3167.60/3177.21	c rational objective 218
3569.82/3580.43	c #Conflicts:     945000 | #Constraints:      84279
3569.82/3580.43	c #Conflicts:     946000 | #Constraints:      85279
3569.82/3580.43	c #Conflicts:     947000 | #Constraints:      86279
3569.82/3580.43	c #Conflicts:     948000 | #Constraints:      87279
3569.82/3580.43	c #Conflicts:     949000 | #Constraints:      88279
3569.82/3580.43	c #Conflicts:     950000 | #Constraints:      89279
3569.82/3580.43	c #Conflicts:     951000 | #Constraints:      90279
3569.82/3580.43	c #Conflicts:     952000 | #Constraints:      91279
3569.82/3580.43	c #Conflicts:     953000 | #Constraints:      92279
3569.82/3580.43	c #Conflicts:     954000 | #Constraints:      93279
3569.82/3580.43	c #Conflicts:     955000 | #Constraints:      94279
3569.82/3580.43	c #Conflicts:     956000 | #Constraints:      95279
3569.82/3580.43	c #Conflicts:     957000 | #Constraints:      96279
3569.82/3580.43	c #Conflicts:     958000 | #Constraints:      97279
3569.82/3580.43	c #Conflicts:     959000 | #Constraints:      98279
3569.82/3580.43	c #Conflicts:     960000 | #Constraints:      99279
3569.82/3580.43	c #Conflicts:     961000 | #Constraints:     100279
3569.82/3580.43	c #Conflicts:     962000 | #Constraints:     101279
3569.82/3580.43	c #Conflicts:     963000 | #Constraints:     102279
3569.82/3580.43	c #Conflicts:     964000 | #Constraints:     103279
3569.82/3580.43	c #Conflicts:     965000 | #Constraints:     104279
3569.82/3580.43	c #Conflicts:     966000 | #Constraints:     105279
3569.82/3580.43	c #Conflicts:     967000 | #Constraints:     106279
3569.82/3580.43	c #Conflicts:     968000 | #Constraints:     107279
3569.82/3580.43	c #Conflicts:     969000 | #Constraints:     108279
3569.82/3580.43	c #Conflicts:     970000 | #Constraints:     109279
3569.82/3580.43	c #Conflicts:     971000 | #Constraints:     110279
3569.82/3580.43	c #Conflicts:     972000 | #Constraints:     111279
3569.82/3580.43	c #Conflicts:     973000 | #Constraints:     112279
3569.82/3580.43	c #Conflicts:     974000 | #Constraints:     113279
3569.82/3580.43	c #Conflicts:     975000 | #Constraints:     114279
3569.82/3580.43	c #Conflicts:     976000 | #Constraints:     115279
3569.82/3580.43	c #Conflicts:     977000 | #Constraints:     116279
3569.82/3580.43	c #Conflicts:     978000 | #Constraints:     117279
3569.82/3580.43	c #Conflicts:     979000 | #Constraints:     118279
3569.82/3580.43	c #Conflicts:     980000 | #Constraints:     119279
3569.82/3580.43	c #Conflicts:     981000 | #Constraints:     120279
3569.82/3580.43	c #Conflicts:     982000 | #Constraints:     121279
3569.82/3580.43	c #Conflicts:     983000 | #Constraints:     122279
3569.82/3580.43	c #Conflicts:     984000 | #Constraints:     123279
3569.82/3580.43	c #Conflicts:     985000 | #Constraints:     124279
3569.82/3580.43	c #Conflicts:     986000 | #Constraints:     125279
3569.82/3580.43	c #Conflicts:     987000 | #Constraints:     126279
3569.82/3580.43	c #Conflicts:     988000 | #Constraints:     127279
3569.82/3580.43	c #Conflicts:     989000 | #Constraints:     128279
3569.82/3580.43	c #Conflicts:     990000 | #Constraints:     129279
3569.82/3580.43	c #Conflicts:     991000 | #Constraints:     130279
3569.82/3580.43	c #Conflicts:     992000 | #Constraints:     131279
3569.82/3580.43	c #Conflicts:     993000 | #Constraints:     132279
3569.82/3580.43	c #Conflicts:     994000 | #Constraints:     133279
3569.82/3580.43	c #Conflicts:     995000 | #Constraints:     134279
3569.82/3580.43	c #Conflicts:     996000 | #Constraints:     135279
3569.82/3580.43	c #Conflicts:     997000 | #Constraints:     136279
3569.82/3580.43	c #Conflicts:     998000 | #Constraints:     137279
3569.82/3580.43	c #Conflicts:     999000 | #Constraints:     138279
3569.82/3580.43	c #Conflicts:    1000000 | #Constraints:     139279
3569.82/3580.43	c #Conflicts:    1001000 | #Constraints:     140279
3569.82/3580.43	c #Conflicts:    1002000 | #Constraints:     141279
3569.82/3580.43	c #Conflicts:    1003000 | #Constraints:     142279
3569.82/3580.43	c #Conflicts:    1004000 | #Constraints:     143279
3569.82/3580.43	c #Conflicts:    1005000 | #Constraints:     144279
3569.82/3580.43	c #Conflicts:    1006000 | #Constraints:     145279
3569.82/3580.43	c #Conflicts:    1007000 | #Constraints:     146279
3569.82/3580.43	c #Conflicts:    1008000 | #Constraints:     147279
3569.82/3580.43	c #Conflicts:    1009000 | #Constraints:     148279
3569.82/3580.43	c #Conflicts:    1010000 | #Constraints:     149279
3569.82/3580.43	c #Conflicts:    1011000 | #Constraints:     150279
3569.82/3580.43	c #Conflicts:    1012000 | #Constraints:     151279
3569.82/3580.43	c INPROCESSING
3569.82/3580.43	c GARBAGE COLLECT
3569.82/3580.43	c rational objective 218
3601.15/3611.84	c #Conflicts:    1013000 | #Constraints:      99125
3601.15/3611.84	c #Conflicts:    1014000 | #Constraints:     100125
3601.15/3611.84	c #Conflicts:    1015000 | #Constraints:     101125
3601.15/3611.84	c #Conflicts:    1016000 | #Constraints:     102125
3601.15/3611.84	c #Conflicts:    1017000 | #Constraints:     103125
3601.15/3611.84	c #Conflicts:    1018000 | #Constraints:     104125
3601.15/3611.84	c #Conflicts:    1019000 | #Constraints:     105125
3601.15/3611.84	c #Conflicts:    1020000 | #Constraints:     106125
3601.15/3611.84	c #Conflicts:    1021000 | #Constraints:     107125
3601.15/3611.84	c #Conflicts:    1022000 | #Constraints:     108125
3601.15/3611.84	c #Conflicts:    1023000 | #Constraints:     109125
3601.15/3611.84	c #Conflicts:    1024000 | #Constraints:     110125
3601.15/3611.84	c #Conflicts:    1025000 | #Constraints:     111125
3601.15/3611.84	c #Conflicts:    1026000 | #Constraints:     112125
3601.15/3611.84	c #Conflicts:    1027000 | #Constraints:     113125
3601.15/3611.84	c #Conflicts:    1028000 | #Constraints:     114125
3601.15/3611.84	c #Conflicts:    1029000 | #Constraints:     115125
3601.15/3611.84	c #Conflicts:    1030000 | #Constraints:     116125
3601.15/3611.84	c #Conflicts:    1031000 | #Constraints:     117125
3601.15/3611.84	c #Conflicts:    1032000 | #Constraints:     118125
3601.15/3611.84	c #Conflicts:    1033000 | #Constraints:     119125
3601.15/3611.84	c #Conflicts:    1034000 | #Constraints:     120125
3601.15/3611.84	c #Conflicts:    1035000 | #Constraints:     121125
3601.15/3611.84	c #Conflicts:    1036000 | #Constraints:     122125
3601.15/3611.84	c #Conflicts:    1037000 | #Constraints:     123125
3601.15/3611.84	c #Conflicts:    1038000 | #Constraints:     124125
3601.15/3611.84	c INPROCESSING
3601.15/3611.84	c GARBAGE COLLECT
3601.15/3611.84	c rational objective 218
3601.15/3611.88	c Program interrupted by user.
3601.15/3611.88	c cpu time 3579.37 s
3601.15/3611.88	c deterministic time 127753919312 1.28e+11
3601.15/3611.88	c optimization time 31.0327 s
3601.15/3611.88	c total solve time 3548.17 s
3601.15/3611.88	c core-guided solve time 2629.19 s
3601.15/3611.88	c propagation time 2270.34 s
3601.15/3611.88	c conflict analysis time 190.742 s
3601.15/3611.88	c propagations 110702721
3601.15/3611.88	c resolve steps 15857086
3601.15/3611.88	c decisions 5292622
3601.15/3611.88	c conflicts 1038800
3601.15/3611.88	c restarts 2046
3601.15/3611.88	c inprocessing phases 49
3601.15/3611.88	c input clauses 21317
3601.15/3611.88	c input cardinalities 985
3601.15/3611.88	c input general constraints 23237
3601.15/3611.88	c input average constraint length 11.77
3601.15/3611.88	c input average constraint degree 7.33
3601.15/3611.88	c learned clauses 700404
3601.15/3611.88	c learned cardinalities 12873
3601.15/3611.88	c learned general constraints 325561
3601.15/3611.88	c learned average constraint length 239.06
3601.15/3611.88	c learned average constraint degree 2206985.61
3601.15/3611.88	c watched constraints 269603
3601.15/3611.88	c counting constraints 79195
3601.15/3611.88	c gcd simplifications 50082
3601.15/3611.88	c detected cardinalities 54
3601.15/3611.88	c weakened non-implied lits 40737017
3601.15/3611.88	c weakened non-implying lits 234350
3601.15/3611.88	c original variables 2700
3601.15/3611.88	c clausal propagations 26752102
3601.15/3611.88	c cardinality propagations 34317540
3601.15/3611.88	c watched propagations 15303599
3601.15/3611.88	c counting propagations 33460162
3601.15/3611.88	c watch lookups 17258696554
3601.15/3611.88	c watch backjump lookups 13682718376
3601.15/3611.88	c watch checks 89809652910
3601.15/3611.88	c propagation checks 6026730224
3601.15/3611.88	c constraint additions 741024258
3601.15/3611.88	c trail pops 117034118
3601.15/3611.88	c formula constraints 43070
3601.15/3611.88	c learned constraints 1038790
3601.15/3611.88	c bound constraints 218
3601.15/3611.88	c core-guided constraints 2251
3601.15/3611.88	c encountered formula constraints 7578312
3601.15/3611.88	c encountered learned constraints 7698191
3601.15/3611.88	c encountered bound constraints 20477
3601.15/3611.88	c encountered core-guided constraints 1598461
3601.15/3611.88	c LP total time 2561.58 s
3601.15/3611.88	c LP solve time 2573.71 s
3601.15/3611.88	c LP constraints added 44189
3601.15/3611.88	c LP constraints removed 1069
3601.15/3611.88	c LP pivots internal 1224159
3601.15/3611.88	c LP pivots root 843369
3601.15/3611.88	c LP calls 120
3601.15/3611.88	c LP optimalities 86
3601.15/3611.88	c LP no pivot count 6
3601.15/3611.88	c LP infeasibilities 24
3601.15/3611.88	c LP valid Farkas constraints 24
3601.15/3611.88	c LP learned Farkas constraints 24
3601.15/3611.88	c LP basis resets 1
3601.15/3611.88	c LP cycling count 0
3601.15/3611.88	c LP singular count 1
3601.15/3611.88	c LP no primal count 0
3601.15/3611.88	c LP no farkas count 0
3601.15/3611.88	c LP other issue count 0
3601.15/3611.88	c LP Gomory cuts 0
3601.15/3611.88	c LP learned cuts 1119
3601.15/3611.88	c LP deleted cuts 1069
3601.15/3611.88	c LP encountered Gomory constraints 0
3601.15/3611.88	c LP encountered Farkas constraints 379
3601.15/3611.88	c LP encountered learned Farkas constraints 42
3601.15/3611.88	c CG auxiliary variables introduced 812
3601.15/3611.88	c CG solutions found 33
3601.15/3611.88	c CG cores constructed 185
3601.15/3611.88	c CG core cardinality constraints returned 0
3601.15/3611.88	c CG unit cores 0
3601.15/3611.88	c CG single cores 182
3601.15/3611.88	c CG blocks removed during cardinality reduction 0
3601.15/3611.88	c CG first core best 0
3601.15/3611.88	c CG decision core best 0
3601.15/3611.88	c CG core reduction tie 3
3601.15/3611.88	c CG core degree average 1.00
3601.15/3611.88	c CG core slack average 12.32
3601.15/3611.88	s SATISFIABLE
3601.15/3611.88	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 -x95 -x96 -x97 -x98 -x99 x100 x101 -x102 x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 x202 x203 -x204 -x205 -x206 x207 -x208 -x209 x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 x299 x300 x301 x302 -x303 x304 -x305 x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 x397 x398 -x399 x400 -x401 x402 x403 -x404 x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 x491 -x492 -x493 -x494 -x495 x496 -x497 -x498 x499 x500 x501 x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 x591 -x592 -x593 -x594 -x595 -x596 x597 x598 -x599 x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 -x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 x691 -x692 -x693 x694 -x695 -x696 -x697 x698 -x699 x700 x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 x755 -x756 -x757 -x758 -x759 -x760 x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 x791 -x792 x793 -x794 -x795 -x796 x797 -x798 x799 x800 x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 x819 -x820 -x821 x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 x837 -x838 -x839 x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 -x877 -x878 x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 x891 x892 x893 -x894 -x895 x896 -x897 -x898 x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 -x951 -x952 -x953 -x954 -x955 -x956 x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 x1782 -x1783 x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 x1994 -x1995 -x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 x2068 -x2069 -x2070 -x2071 -x2072 x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 x2166 -x2167 -x2168 -x21

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (53239 MiB free)
  memory of node 1: 64510 MiB (58029 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460361-1722068483/watcher-4460361-1722068483 -o /tmp/evaluation-result-4460361-1722068483/solver-4460361-1722068483 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722064836-317570 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460361-1722068483 --lp-cut-gomory=0 HOME/instance-4460361-1722068483.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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=319738, runsolver pid=319735
Current StackSize limit: 8192 KiB


[startup+0.100079 s]*
/proc/loadavg: 4.10 4.12 4.05 2/262 319739
/proc/meminfo: memFree=113938400/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=37376 memory=2580 CPUtime=0 cores=4,6
/proc/319738/stat : 319738 (roundingsat) D 319735 319738 317555 0 -1 1078198272 222 0 0 0 0 0 0 0 20 0 1 0 43371205 38273024 645 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 9344 645 588 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB

[startup+0.205297 s]*
/proc/loadavg: 4.10 4.12 4.05 2/262 319739
/proc/meminfo: memFree=113937904/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=37376 memory=2580 CPUtime=0 cores=4,6
/proc/319738/stat : 319738 (roundingsat) D 319735 319738 317555 0 -1 1078198272 222 0 0 0 0 0 0 0 20 0 1 0 43371205 38273024 645 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 9344 645 588 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB

[startup+0.304534 s]*
/proc/loadavg: 4.10 4.12 4.05 2/262 319739
/proc/meminfo: memFree=113937428/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=37376 memory=2580 CPUtime=0 cores=4,6
/proc/319738/stat : 319738 (roundingsat) D 319735 319738 317555 0 -1 1078198272 222 0 0 0 0 0 0 0 20 0 1 0 43371205 38273024 645 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 9344 645 588 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB

[startup+0.700161 s]
/proc/loadavg: 4.10 4.12 4.05 2/262 319739
/proc/meminfo: memFree=113936824/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=37376 memory=2580 CPUtime=0 cores=4,6
/proc/319738/stat : 319738 (roundingsat) D 319735 319738 317555 0 -1 4194304 222 0 0 0 0 0 0 0 20 0 1 0 43371205 38273024 645 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 8404994 1 0 0 17 6 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 9344 645 588 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB

[startup+1.50027 s]
/proc/loadavg: 4.10 4.12 4.05 2/262 319739
/proc/meminfo: memFree=113931392/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=37376 memory=2580 CPUtime=0 cores=4,6
/proc/319738/stat : 319738 (roundingsat) D 319735 319738 317555 0 -1 1077936128 222 0 0 0 0 0 0 0 20 0 1 0 43371205 38273024 645 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 9344 645 588 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2580 KiB

[startup+3.10629 s]
/proc/loadavg: 4.10 4.12 4.05 4/262 319739
/proc/meminfo: memFree=113612304/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=69680 memory=43204 CPUtime=1.53 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 13564 0 0 0 148 5 0 0 20 0 1 0 43371205 71352320 10801 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 17420 10801 1715 992 0 9278 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 69680 KiB
Current children cumulated memory: 43204 KiB
heavy processes:

[startup+6.30014 s]
/proc/loadavg: 4.17 4.13 4.06 4/262 319739
/proc/meminfo: memFree=113561464/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=74376 memory=46244 CPUtime=4.71 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 15178 0 0 0 462 9 0 0 20 0 1 0 43371205 76161024 11561 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 18594 11561 1810 992 0 10452 0
Current children cumulated CPU time: 4.71 s
Current children cumulated vsize: 74376 KiB
Current children cumulated memory: 46244 KiB
heavy processes:

[startup+12.7001 s]
/proc/loadavg: 4.16 4.13 4.06 4/262 319740
/proc/meminfo: memFree=113446660/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=78620 memory=48580 CPUtime=11.1 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 15832 0 0 0 1098 12 0 0 20 0 1 0 43371205 80506880 12145 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 19655 12145 1810 992 0 11513 0
Current children cumulated CPU time: 11.1 s
Current children cumulated vsize: 78620 KiB
Current children cumulated memory: 48580 KiB

[startup+25.5002 s]
/proc/loadavg: 4.19 4.14 4.06 5/263 319788
/proc/meminfo: memFree=126210752/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=84444 memory=55240 CPUtime=23.87 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 17953 0 0 0 2357 30 0 0 20 0 1 0 43371205 86470656 13810 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 21111 13810 1875 992 0 12969 0
Current children cumulated CPU time: 23.87 s
Current children cumulated vsize: 84444 KiB
Current children cumulated memory: 55240 KiB

[startup+51.1059 s]
/proc/loadavg: 4.21 4.14 4.07 5/263 319794
/proc/meminfo: memFree=125919176/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=95592 memory=63592 CPUtime=49.4 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 19535 0 0 0 4889 51 0 0 20 0 1 0 43371205 97886208 15898 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 23898 15898 1875 992 0 15756 0
Current children cumulated CPU time: 49.4 s
Current children cumulated vsize: 95592 KiB
Current children cumulated memory: 63592 KiB

[startup+102.3 s]
/proc/loadavg: 4.46 4.22 4.10 5/262 319803
/proc/meminfo: memFree=123894792/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=120228 memory=85484 CPUtime=100.47 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 21958 0 0 0 9949 98 0 0 20 0 1 0 43371205 123113472 21371 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 30057 21371 1891 992 0 21915 0
Current children cumulated CPU time: 100.47 s
Current children cumulated vsize: 120228 KiB
Current children cumulated memory: 85484 KiB

[startup+162.3 s]
/proc/loadavg: 4.23 4.19 4.09 5/261 319816
/proc/meminfo: memFree=121511544/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=124256 memory=89396 CPUtime=160.31 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 22933 0 0 0 15895 136 0 0 20 0 1 0 43371205 127238144 22349 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 31064 22349 1891 992 0 22922 0
Current children cumulated CPU time: 160.31 s
Current children cumulated vsize: 124256 KiB
Current children cumulated memory: 89396 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.18 4.09 5/261 319826
/proc/meminfo: memFree=120796372/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=126580 memory=96188 CPUtime=220.16 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 23713 0 0 0 21836 180 0 0 20 0 1 0 43371205 129617920 24047 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 31645 24047 1891 992 0 23503 0
Current children cumulated CPU time: 220.16 s
Current children cumulated vsize: 126580 KiB
Current children cumulated memory: 96188 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.16 4.09 5/261 320221
/proc/meminfo: memFree=117836004/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=152688 memory=123636 CPUtime=279.99 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 25685 0 0 0 27764 235 0 0 20 0 1 0 43371205 156352512 30909 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 38172 30909 1891 992 0 30030 0
Current children cumulated CPU time: 279.99 s
Current children cumulated vsize: 152688 KiB
Current children cumulated memory: 123636 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.17 4.10 5/261 320233
/proc/meminfo: memFree=116065968/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=157396 memory=128948 CPUtime=339.83 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 26592 0 0 0 33700 283 0 0 20 0 1 0 43371205 161173504 32237 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 39349 32237 1891 992 0 31207 0
Current children cumulated CPU time: 339.83 s
Current children cumulated vsize: 157396 KiB
Current children cumulated memory: 128948 KiB

[startup+402.3 s]
/proc/loadavg: 4.17 4.17 4.10 5/261 320244
/proc/meminfo: memFree=115818044/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=190508 memory=149824 CPUtime=399.67 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 28267 0 0 0 39656 311 0 0 20 0 1 0 43371205 195080192 37456 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 47627 37456 1891 992 0 39485 0
Current children cumulated CPU time: 399.67 s
Current children cumulated vsize: 190508 KiB
Current children cumulated memory: 149824 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.14 4.09 5/264 320426
/proc/meminfo: memFree=114042056/131524600 swapFree=131061428/131071996
[pid=319738] ppid=319735 vsize=191304 memory=152628 CPUtime=459.5 cores=4,6

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


[startup+3222.3 s]
/proc/loadavg: 4.13 4.13 4.12 5/260 321591
/proc/meminfo: memFree=54753632/131524600 swapFree=131060148/131071996
[pid=319738] ppid=319735 vsize=576732 memory=505060 CPUtime=3212.59 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 58286 0 0 0 319277 1982 0 0 20 0 1 0 43371205 590573568 126265 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 144183 126265 1987 992 0 136041 0
Current children cumulated CPU time: 3212.59 s
Current children cumulated vsize: 576732 KiB
Current children cumulated memory: 505060 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.13 4.12 5/260 321601
/proc/meminfo: memFree=53487028/131524600 swapFree=131060148/131071996
[pid=319738] ppid=319735 vsize=576732 memory=505960 CPUtime=3272.45 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 58952 0 0 0 325245 2000 0 0 20 0 1 0 43371205 590573568 126490 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 144183 126490 1987 992 0 136041 0
Current children cumulated CPU time: 3272.45 s
Current children cumulated vsize: 576732 KiB
Current children cumulated memory: 505960 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.13 4.12 5/260 321613
/proc/meminfo: memFree=52689360/131524600 swapFree=131060148/131071996
[pid=319738] ppid=319735 vsize=576732 memory=505960 CPUtime=3332.3 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 59049 0 0 0 331209 2021 0 0 20 0 1 0 43371205 590573568 126490 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 144183 126490 1987 992 0 136041 0
Current children cumulated CPU time: 3332.3 s
Current children cumulated vsize: 576732 KiB
Current children cumulated memory: 505960 KiB

[startup+3402.3 s]
/proc/loadavg: 4.39 4.20 4.14 5/261 321627
/proc/meminfo: memFree=51507744/131524600 swapFree=131060148/131071996
[pid=319738] ppid=319735 vsize=576732 memory=505960 CPUtime=3392.16 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 59114 0 0 0 337172 2044 0 0 20 0 1 0 43371205 590573568 126490 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 144183 126490 1987 992 0 136041 0
Current children cumulated CPU time: 3392.16 s
Current children cumulated vsize: 576732 KiB
Current children cumulated memory: 505960 KiB

[startup+3462.3 s]
/proc/loadavg: 4.25 4.19 4.14 5/261 321637
/proc/meminfo: memFree=50329820/131524600 swapFree=131060148/131071996
[pid=319738] ppid=319735 vsize=576732 memory=505960 CPUtime=3452.01 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 59178 0 0 0 343136 2065 0 0 20 0 1 0 43371205 590573568 126490 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 144183 126490 1987 992 0 136041 0
Current children cumulated CPU time: 3452.01 s
Current children cumulated vsize: 576732 KiB
Current children cumulated memory: 505960 KiB

[startup+3522.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/264 321650
/proc/meminfo: memFree=49538096/131524600 swapFree=131060148/131071996
[pid=319738] ppid=319735 vsize=576732 memory=505960 CPUtime=3511.87 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 59244 0 0 0 349088 2099 0 0 20 0 1 0 43371205 590573568 126490 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 144183 126490 1987 992 0 136041 0
Current children cumulated CPU time: 3511.87 s
Current children cumulated vsize: 576732 KiB
Current children cumulated memory: 505960 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.13 5/264 321663
/proc/meminfo: memFree=49017048/131524600 swapFree=131060148/131071996
[pid=319738] ppid=319735 vsize=577260 memory=507344 CPUtime=3571.73 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 60023 0 0 0 355022 2151 0 0 20 0 1 0 43371205 591114240 126836 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 144315 126836 1987 992 0 136173 0
Current children cumulated CPU time: 3571.73 s
Current children cumulated vsize: 577260 KiB
Current children cumulated memory: 507344 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.7 s]
/proc/loadavg: 4.10 4.14 4.12 4/264 321668
/proc/meminfo: memFree=48277768/131524600 swapFree=131060148/131071996
[pid=319738] ppid=319735 vsize=577260 memory=507344 CPUtime=3600.05 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 60425 0 0 0 357822 2183 0 0 20 0 1 0 43371205 591114240 126836 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 144315 126836 1987 992 0 136173 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 577260 KiB
Current children cumulated memory: 507344 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 4.09 4.14 4.12 3/263 321668
/proc/meminfo: memFree=48222440/131524600 swapFree=131060148/131071996
[pid=319738] ppid=319735 vsize=577260 memory=507344 CPUtime=3601.2 cores=4,6
/proc/319738/stat : 319738 (roundingsat) D 319735 319738 317555 0 -1 4194304 60427 0 1 0 357936 2184 0 0 20 0 1 0 43371205 591114240 126836 134679101440 4194304 8254357 140722136879728 0 0 256 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 144315 126836 1987 992 0 136173 0
??? kill 319738 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3579.37 s, system=21.852 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3611.2 s]
/proc/loadavg: 4.09 4.14 4.12 4/264 321668
/proc/meminfo: memFree=48262336/131524600 swapFree=131060148/131071996
[pid=319738] ppid=319735 vsize=577260 memory=507344 CPUtime=3600.55 cores=4,6
/proc/319738/stat : 319738 (roundingsat) R 319735 319738 317555 0 -1 4194304 60425 0 0 0 357872 2183 0 0 20 0 1 0 43371205 591114240 126836 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 144315 126836 1987 992 0 136173 0
Current children cumulated CPU time: 3600.55 s
Current children cumulated vsize: 577260 KiB
Current children cumulated memory: 507344 KiB

[startup+3612 s]*
/proc/loadavg: 4.09 4.14 4.12 3/263 321668
/proc/meminfo: memFree=48234848/131524600 swapFree=131060148/131071996
[pid=319738] ppid=319735 vsize=577260 memory=507344 CPUtime=3601.2 cores=4,6
/proc/319738/stat : 319738 (roundingsat) D 319735 319738 317555 0 -1 4194304 60427 0 1 0 357936 2184 0 0 20 0 1 0 43371205 591114240 126836 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 144315 126836 1987 992 0 136173 0
Current children cumulated CPU time: 3601.2 s
Current children cumulated vsize: 577260 KiB
Current children cumulated memory: 507344 KiB

[startup+3612.4 s]
/proc/loadavg: 4.09 4.14 4.12 3/263 321668
/proc/meminfo: memFree=48234848/131524600 swapFree=131060148/131071996
[pid=319738] ppid=319735 vsize=577260 memory=507344 CPUtime=3601.2 cores=4,6
/proc/319738/stat : 319738 (roundingsat) D 319735 319738 317555 0 -1 4194304 60427 0 1 0 357936 2184 0 0 20 0 1 0 43371205 591114240 126836 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 144315 126836 1987 992 0 136173 0
Current children cumulated CPU time: 3601.2 s
Current children cumulated vsize: 577260 KiB
Current children cumulated memory: 507344 KiB

[startup+3612.6 s]
/proc/loadavg: 4.09 4.14 4.12 3/263 321668
/proc/meminfo: memFree=48234848/131524600 swapFree=131060148/131071996
[pid=319738] ppid=319735 vsize=577260 memory=507344 CPUtime=3601.2 cores=4,6
/proc/319738/stat : 319738 (roundingsat) D 319735 319738 317555 0 -1 4194304 60427 0 1 0 357936 2184 0 0 20 0 1 0 43371205 591114240 126836 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 144315 126836 1987 992 0 136173 0
Current children cumulated CPU time: 3601.2 s
Current children cumulated vsize: 577260 KiB
Current children cumulated memory: 507344 KiB

[startup+3612.7 s]
/proc/loadavg: 4.09 4.14 4.12 3/263 321668
/proc/meminfo: memFree=48234848/131524600 swapFree=131060148/131071996
[pid=319738] ppid=319735 vsize=577260 memory=507344 CPUtime=3601.2 cores=4,6
/proc/319738/stat : 319738 (roundingsat) D 319735 319738 317555 0 -1 4194304 60427 0 1 0 357936 2184 0 0 20 0 1 0 43371205 591114240 126836 134679101440 4194304 8254357 140722136879728 0 0 0 0 0 25182210 0 0 0 17 4 0 0 4 0 0 9037040 9046032 18333696 140722136884059 140722136884321 140722136884321 140722136891337 0
/proc/319738/statm: 144315 126836 1987 992 0 136173 0
Current children cumulated CPU time: 3601.2 s
Current children cumulated vsize: 577260 KiB
Current children cumulated memory: 507344 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3623.35
CPU time (s): 3601.22
CPU user time (s): 3579.37
CPU system time (s): 21.852
CPU usage (%): 99.3892
Max. virtual memory (cumulated for all children) (KiB): 577260
Max. memory (cumulated for all children) (KiB): 507344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.37
system time used= 21.852
maximum resident set size= 507528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60427
page faults= 1
swaps= 0
block input operations= 3392
block output operations= 3571936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1886
involuntary context switches= 2832


# summary of solver processes directly reported to runsolver:
#   pid: 319738
#   total CPU time (s): 3601.22
#   total CPU user time (s): 3579.37
#   total CPU system time (s): 21.852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.96448 second user time and 15.3126 second system time

The end

Launcher Data 

Begin job on nodeC022 at 2024-07-27 10:21:23
IDJOB=4460361
IDBENCH=155380
IDSOLVER=3086
FILE ID=nodeC022/4460361-1722068483
RUNJOBID= nodeC022-1722064836-317570
SLURM_JOB_ID= 8248091
Free space on /tmp= 890052 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-circ10-3.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460361-1722068483/watcher-4460361-1722068483 -o /tmp/evaluation-result-4460361-1722068483/solver-4460361-1722068483 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC022-1722064836-317570 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460361-1722068483 --lp-cut-gomory=0 HOME/instance-4460361-1722068483.opb

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

MD5SUM BENCH= e9a18706671e83c85382be3233ac0f60
RANDOM SEED=1859590444

nodeC022.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2917.898
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3687.504
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 2562.959
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3693.668
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3529.697
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3699.113
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3597.406
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.87
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3691.078
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7006.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        113939512 kB
MemAvailable:   126521276 kB
Buffers:          378456 kB
Cached:         12987576 kB
SwapCached:         1424 kB
Active:          2704412 kB
Inactive:       14162888 kB
Active(anon):       1932 kB
Inactive(anon):  3553116 kB
Active(file):    2702480 kB
Inactive(file): 10609772 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061428 kB
Dirty:             43348 kB
Writeback:        314232 kB
AnonPages:       3498252 kB
Mapped:           124584 kB
Shmem:             53732 kB
KReclaimable:     222412 kB
Slab:             354824 kB
SReclaimable:     222412 kB
SUnreclaim:       132412 kB
KernelStack:        4224 kB
PageTables:        16912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4359144 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            17376 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1744896 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      334548 kB
DirectMap2M:    36139008 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890032 MiB
End job on nodeC022 at 2024-07-27 11:21:46