Trace number 4460952

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)OPT cert.-180 795.245 797.144

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/
normalized-maxcut_opt_complete_5-partite_inlv_nvert_27.opb
MD5SUM3b9231489038b4cdb94f511f52877e11
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-180
Best CPU time to get the best result obtained on this benchmark1.99794
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables351
Total number of constraints11700
Number of constraints which are clauses11700
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 291
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 291
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 291
Number of bits of the biggest sum of numbers9
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.00/0.04	c #variables 351 #constraints 11700
2.38/2.41	c bounds - >= -291 @ 0.035102
2.38/2.41	c bounds 0 >= -291 @ 0.24712
2.38/2.41	c bounds 0 >= -290 @ 0.247304
2.38/2.41	c bounds 0 >= -289 @ 0.247447
2.38/2.41	c bounds 0 >= -288 @ 0.247574
2.38/2.41	c bounds 0 >= -287 @ 0.247693
2.38/2.41	c bounds 0 >= -286 @ 0.247815
2.38/2.41	c bounds 0 >= -285 @ 0.247938
2.38/2.41	c bounds 0 >= -284 @ 0.248059
2.38/2.41	c bounds 0 >= -283 @ 0.248179
2.38/2.41	c bounds 0 >= -282 @ 0.248299
2.38/2.41	c bounds 0 >= -281 @ 0.248414
2.38/2.41	c bounds 0 >= -280 @ 0.248538
2.38/2.41	c bounds 0 >= -279 @ 0.248653
2.38/2.41	c bounds 0 >= -278 @ 0.248779
2.38/2.41	c bounds 0 >= -277 @ 0.248902
2.38/2.41	c bounds 0 >= -276 @ 0.249021
2.38/2.41	c bounds 0 >= -275 @ 0.249144
2.38/2.41	c bounds 0 >= -274 @ 0.249268
2.38/2.41	c bounds 0 >= -273 @ 0.24938
2.38/2.41	c bounds 0 >= -272 @ 0.249504
2.38/2.41	c bounds 0 >= -271 @ 0.249623
2.38/2.41	c bounds 0 >= -270 @ 0.249743
2.38/2.41	c bounds 0 >= -269 @ 0.249887
2.38/2.41	c bounds 0 >= -268 @ 0.250005
2.38/2.41	c bounds 0 >= -267 @ 0.25013
2.38/2.41	c bounds 0 >= -266 @ 0.25027
2.38/2.41	c bounds 0 >= -265 @ 0.250386
2.38/2.41	c bounds 0 >= -264 @ 0.250507
2.38/2.41	c bounds 0 >= -263 @ 0.250644
2.38/2.41	c bounds 0 >= -262 @ 0.250771
2.38/2.41	c bounds 0 >= -261 @ 0.250896
2.38/2.41	c bounds 0 >= -260 @ 0.251017
2.38/2.41	c bounds 0 >= -259 @ 0.251156
2.38/2.41	c bounds 0 >= -258 @ 0.251271
2.38/2.41	c bounds 0 >= -257 @ 0.251392
2.38/2.41	c bounds 0 >= -256 @ 0.251512
2.38/2.41	c bounds 0 >= -255 @ 0.251626
2.38/2.41	c bounds 0 >= -254 @ 0.251749
2.38/2.41	c bounds 0 >= -253 @ 0.251882
2.38/2.41	c bounds 0 >= -252 @ 0.252009
2.38/2.41	c bounds 0 >= -251 @ 0.252147
2.38/2.41	c bounds 0 >= -250 @ 0.252265
2.38/2.41	c bounds 0 >= -249 @ 0.252381
2.38/2.41	c bounds 0 >= -248 @ 0.252499
2.38/2.41	c bounds 0 >= -247 @ 0.252618
2.38/2.41	c bounds 0 >= -246 @ 0.252749
2.38/2.41	c bounds 0 >= -245 @ 0.252884
2.38/2.41	c bounds 0 >= -244 @ 0.253015
2.38/2.41	c bounds 0 >= -243 @ 0.253148
2.38/2.41	c bounds 0 >= -242 @ 0.253274
2.38/2.41	c bounds 0 >= -241 @ 0.253396
2.38/2.41	c bounds 0 >= -240 @ 0.253516
2.38/2.41	c bounds 0 >= -239 @ 0.253637
2.38/2.41	c bounds 0 >= -238 @ 0.253761
2.38/2.41	c bounds 0 >= -237 @ 0.253906
2.38/2.41	c bounds 0 >= -236 @ 0.254038
2.38/2.41	c bounds 0 >= -235 @ 0.254179
2.38/2.41	c bounds 0 >= -234 @ 0.254304
2.38/2.41	c bounds 0 >= -233 @ 0.254423
2.38/2.41	c bounds 0 >= -232 @ 0.254559
2.38/2.41	c bounds 0 >= -231 @ 0.254678
2.38/2.41	c bounds 0 >= -230 @ 0.254802
2.38/2.41	c bounds 0 >= -229 @ 0.25495
2.38/2.41	c bounds 0 >= -228 @ 0.255077
2.38/2.41	c bounds 0 >= -227 @ 0.255221
2.38/2.41	c bounds 0 >= -226 @ 0.255372
2.38/2.41	c bounds 0 >= -225 @ 0.255511
2.38/2.41	c bounds 0 >= -224 @ 0.25563
2.38/2.41	c bounds 0 >= -223 @ 0.255749
2.38/2.41	c bounds 0 >= -222 @ 0.255885
2.38/2.41	c bounds 0 >= -221 @ 0.256005
2.38/2.41	c bounds 0 >= -220 @ 0.256155
2.38/2.41	c bounds 0 >= -219 @ 0.256278
2.38/2.41	c bounds 0 >= -218 @ 0.256401
2.38/2.41	c bounds 0 >= -217 @ 0.256516
2.38/2.41	c bounds 0 >= -216 @ 0.256662
2.38/2.41	c bounds 0 >= -215 @ 0.256793
2.38/2.41	c bounds 0 >= -214 @ 0.256929
2.38/2.41	c bounds 0 >= -213 @ 0.257083
2.38/2.41	c bounds -21 >= -213 @ 0.257455
2.38/2.41	c bounds -21 >= -212 @ 0.257588
2.38/2.41	c bounds -21 >= -211 @ 0.257733
2.38/2.41	c bounds -21 >= -210 @ 0.257889
2.38/2.41	c bounds -21 >= -209 @ 0.258035
2.38/2.41	c bounds -21 >= -208 @ 0.258196
2.38/2.41	c bounds -21 >= -207 @ 0.258348
2.38/2.41	c bounds -21 >= -206 @ 0.258529
2.38/2.41	c bounds -21 >= -205 @ 0.258702
2.38/2.41	c bounds -21 >= -204 @ 0.25887
2.38/2.41	c bounds -42 >= -204 @ 0.259222
2.38/2.41	c bounds -42 >= -203 @ 0.259476
2.38/2.41	c bounds -42 >= -202 @ 0.259661
2.38/2.41	c bounds -42 >= -201 @ 0.260003
2.38/2.41	c bounds -63 >= -201 @ 0.26038
2.38/2.41	c bounds -63 >= -200 @ 0.260793
2.38/2.41	c bounds -63 >= -199 @ 0.260829
2.38/2.41	c bounds -79 >= -199 @ 0.261444
2.38/2.41	c bounds -95 >= -199 @ 0.2618
2.38/2.41	c bounds -95 >= -198 @ 0.261841
2.38/2.41	c bounds -112 >= -198 @ 0.262438
2.38/2.41	c bounds -112 >= -197 @ 0.264931
2.38/2.41	c bounds -121 >= -197 @ 0.266053
2.38/2.41	c bounds -130 >= -197 @ 0.266706
2.38/2.41	c bounds -139 >= -197 @ 0.26764
2.38/2.41	c bounds -148 >= -197 @ 0.268035
2.38/2.41	c bounds -148 >= -196 @ 0.269269
2.38/2.41	c bounds -150 >= -196 @ 0.26984
2.38/2.41	c bounds -150 >= -195 @ 0.271796
2.38/2.41	c bounds -152 >= -195 @ 0.272347
2.38/2.41	c bounds -157 >= -195 @ 0.272733
2.38/2.41	c bounds -162 >= -195 @ 0.27321
2.38/2.41	c bounds -162 >= -194 @ 0.278566
2.38/2.41	c bounds -164 >= -194 @ 0.27944
2.38/2.41	c bounds -167 >= -194 @ 0.284954
2.38/2.41	c bounds -169 >= -194 @ 0.285605
2.38/2.41	c bounds -171 >= -194 @ 0.28649
2.38/2.41	c bounds -178 >= -194 @ 0.286974
2.38/2.41	c bounds -180 >= -194 @ 0.288773
2.38/2.41	c #Conflicts:       1000 | #Constraints:      13343
2.38/2.41	c #Conflicts:       2000 | #Constraints:      14349
2.38/2.41	c INPROCESSING
2.38/2.41	c GARBAGE COLLECT
2.38/2.41	c bounds -180 >= -193 @ 1.78845
2.38/2.41	c #Conflicts:       3000 | #Constraints:      14253
2.38/2.41	c bounds -180 >= -192 @ 1.8763
2.38/2.41	WSVECS04 Frhs2[24]: 6 0 1.00007 shouldn't be
2.38/2.41	WSVECS04 Frhs2[229]: 6 0 1.00006 shouldn't be
2.38/2.41	WSVECS04 Frhs2[261]: 6 0 1.00001 shouldn't be
2.38/2.41	WSVECS04 Frhs2[264]: 6 0 1.00004 shouldn't be
2.38/2.41	WSVECS04 Frhs2[276]: 6 0 1.00003 shouldn't be
2.38/2.41	WSVECS04 Frhs2[282]: 6 0 1.00008 shouldn't be
2.38/2.41	WSVECS04 Frhs2[312]: 6 0 1.00008 shouldn't be
2.38/2.41	WSVECS04 Frhs2[349]: 6 0 1.00005 shouldn't be
2.98/3.07	c #Conflicts:       4000 | #Constraints:      15283
2.98/3.07	c INPROCESSING
2.98/3.07	c GARBAGE COLLECT
2.98/3.07	c rational objective -192
3.47/3.53	c #Conflicts:       5000 | #Constraints:      14697
3.47/3.53	c #Conflicts:       6000 | #Constraints:      15697
3.47/3.53	c INPROCESSING
3.47/3.53	c GARBAGE COLLECT
3.47/3.53	c rational objective -192
4.98/5.01	c bounds -180 >= -191 @ 3.48403
4.98/5.01	c #Conflicts:       7000 | #Constraints:      14730
4.98/5.01	c #Conflicts:       8000 | #Constraints:      15730
4.98/5.01	c bounds -180 >= -190 @ 4.14025
4.98/5.01	c #Conflicts:       9000 | #Constraints:      16748
4.98/5.01	c INPROCESSING
4.98/5.01	c GARBAGE COLLECT
4.98/5.01	c rational objective -190
6.27/6.36	c #Conflicts:      10000 | #Constraints:      15445
6.27/6.36	c #Conflicts:      11000 | #Constraints:      16445
6.27/6.36	c #Conflicts:      12000 | #Constraints:      17447
6.27/6.36	c INPROCESSING
6.27/6.36	c GARBAGE COLLECT
6.27/6.36	c rational objective -190
7.07/7.12	c #Conflicts:      13000 | #Constraints:      15902
7.07/7.12	WSVECS04 Frhs2[27]: 6 -9.50673 0 shouldn't be
7.07/7.12	WSVECS04 Frhs2[59]: 6 -9.62377 0 shouldn't be
7.76/7.89	c bounds -180 >= -189 @ 7.1147
7.76/7.89	c #Conflicts:      14000 | #Constraints:      16926
7.76/7.89	c #Conflicts:      15000 | #Constraints:      17926
7.76/7.89	c INPROCESSING
7.76/7.89	c GARBAGE COLLECT
7.76/7.89	c rational objective -189
9.56/9.68	c #Conflicts:      16000 | #Constraints:      16158
9.56/9.68	c #Conflicts:      17000 | #Constraints:      17161
9.56/9.68	c #Conflicts:      18000 | #Constraints:      18167
9.56/9.68	c INPROCESSING
9.56/9.68	c GARBAGE COLLECT
9.56/9.68	c rational objective -189
10.26/10.39	c #Conflicts:      19000 | #Constraints:      16183
10.26/10.39	WSVECS04 Frhs2[8]: 6 -0.214501 0 shouldn't be
10.26/10.39	WSVECS04 Frhs2[10]: 6 0 0.502107 shouldn't be
10.26/10.39	WSVECS04 Frhs2[16]: 6 -1.6285 0 shouldn't be
10.26/10.39	WSVECS04 Frhs2[19]: 6 -2.37489 0 shouldn't be
10.26/10.39	WSVECS04 Frhs2[20]: 6 0 0.358271 shouldn't be
10.26/10.39	WSVECS04 Frhs2[80]: 6 0 1.57591 shouldn't be
10.26/10.39	WSVECS04 Frhs2[82]: 6 -0.341891 0 shouldn't be
10.26/10.39	WSVECS04 Frhs2[83]: 6 -1.76895 0 shouldn't be
10.26/10.39	WSVECS04 Frhs2[88]: 6 0 1.03234 shouldn't be
10.26/10.39	WSVECS04 Frhs2[91]: 6 0 2.63223 shouldn't be
10.26/10.39	WSVECS04 Frhs2[94]: 6 0 2.00009 shouldn't be
10.26/10.39	WSVECS04 Frhs2[183]: 6 -1.06003 0 shouldn't be
10.26/10.39	WSVECS04 Frhs2[188]: 6 0 3.56082 shouldn't be
10.26/10.39	WSVECS04 Frhs2[194]: 6 0 1.43932 shouldn't be
10.26/10.39	WSVECS04 Frhs2[196]: 6 -4.12552 0 shouldn't be
10.26/10.39	WSVECS04 Frhs2[216]: 6 0 1.8001 shouldn't be
10.26/10.39	WSVECS04 Frhs2[221]: 6 -0.932495 0 shouldn't be
10.26/10.39	WSVECS04 Frhs2[227]: 6 -0.317667 0 shouldn't be
10.26/10.39	WSVECS04 Frhs2[229]: 6 0 1.00006 shouldn't be
10.26/10.39	WSVECS04 Frhs2[230]: 6 0 0.250078 shouldn't be
10.26/10.39	WSVECS04 Frhs2[236]: 6 -0.148943 0 shouldn't be
10.26/10.39	WSVECS04 Frhs2[244]: 6 0 3.06456 shouldn't be
10.26/10.39	WSVECS04 Frhs2[245]: 6 0 1.54107 shouldn't be
10.26/10.39	WSVECS04 Frhs2[299]: 6 0 2.85119 shouldn't be
10.26/10.39	WSVECS04 Frhs2[326]: 6 0 1.00005 shouldn't be
10.26/10.39	WSVECS04 Frhs2[328]: 6 -0.321937 0 shouldn't be
10.26/10.39	WSVECS04 Frhs2[332]: 6 -3.63423 0 shouldn't be
10.26/10.39	WSVECS04 Frhs2[334]: 6 0 1.00007 shouldn't be
10.26/10.39	WSVECS04 Frhs2[335]: 6 0 1.18355 shouldn't be
10.26/10.39	WSVECS04 Frhs2[349]: 6 0 2.65266 shouldn't be
11.75/11.86	c #Conflicts:      20000 | #Constraints:      17184
11.75/11.86	c #Conflicts:      21000 | #Constraints:      18185
11.75/11.86	c INPROCESSING
11.75/11.86	c GARBAGE COLLECT
11.75/11.86	c rational objective -189
17.95/18.00	c #Conflicts:      22000 | #Constraints:      15939
17.95/18.00	c #Conflicts:      23000 | #Constraints:      16942
17.95/18.00	c #Conflicts:      24000 | #Constraints:      17945
17.95/18.00	c #Conflicts:      25000 | #Constraints:      18948
17.95/18.00	c #Conflicts:      26000 | #Constraints:      19951
17.95/18.00	c #Conflicts:      27000 | #Constraints:      20956
17.95/18.00	c #Conflicts:      28000 | #Constraints:      21959
17.95/18.00	c #Conflicts:      29000 | #Constraints:      22962
17.95/18.00	c #Conflicts:      30000 | #Constraints:      23964
17.95/18.00	c #Conflicts:      31000 | #Constraints:      24967
17.95/18.00	c #Conflicts:      32000 | #Constraints:      25970
17.95/18.00	c #Conflicts:      33000 | #Constraints:      26973
17.95/18.00	c INPROCESSING
17.95/18.00	c GARBAGE COLLECT
17.95/18.00	c rational objective -189
18.74/18.84	c #Conflicts:      34000 | #Constraints:      20539
18.74/18.84	WSVECS04 Frhs2[1]: 6 0 2.77854 shouldn't be
18.74/18.84	WSVECS04 Frhs2[4]: 6 -8.06339 0 shouldn't be
18.74/18.84	WSVECS04 Frhs2[9]: 6 0 1.00004 shouldn't be
18.74/18.84	WSVECS04 Frhs2[10]: 6 -1.6125 0 shouldn't be
18.74/18.84	WSVECS04 Frhs2[16]: 6 0 2.53459 shouldn't be
18.74/18.84	WSVECS04 Frhs2[18]: 6 0 1.14209 shouldn't be
18.74/18.84	WSVECS04 Frhs2[29]: 6 -0.0382457 0 shouldn't be
18.74/18.84	WSVECS04 Frhs2[41]: 6 0 0.44312 shouldn't be
18.74/18.84	WSVECS04 Frhs2[43]: 6 0 1.35074 shouldn't be
18.74/18.84	WSVECS04 Frhs2[103]: 6 -2.91685 0 shouldn't be
18.74/18.84	WSVECS04 Frhs2[104]: 6 0 3.00001 shouldn't be
18.74/18.84	WSVECS04 Frhs2[110]: 6 -1.43446 0 shouldn't be
18.74/18.84	WSVECS04 Frhs2[112]: 6 -0.547401 0 shouldn't be
18.74/18.84	WSVECS04 Frhs2[205]: 6 0 1.76596 shouldn't be
18.74/18.84	WSVECS04 Frhs2[207]: 6 0 3.19977 shouldn't be
18.74/18.84	WSVECS04 Frhs2[223]: 6 -4.66855 0 shouldn't be
18.74/18.84	WSVECS04 Frhs2[298]: 6 0 2.92511 shouldn't be
19.34/19.48	c #Conflicts:      35000 | #Constraints:      21539
19.34/19.48	c bounds -180 >= -188 @ 18.7655
19.34/19.48	c #Conflicts:      36000 | #Constraints:      22572
19.34/19.48	WSVECS04 Frhs2[34]: 6 0 1.00008 shouldn't be
19.34/19.48	WSVECS04 Frhs2[35]: 6 0 1.00006 shouldn't be
20.24/20.39	c #Conflicts:      37000 | #Constraints:      23573
20.24/20.39	c #Conflicts:      38000 | #Constraints:      24573
20.24/20.39	c INPROCESSING
20.24/20.39	c GARBAGE COLLECT
20.24/20.39	c rational objective -188
22.53/22.61	c #Conflicts:      39000 | #Constraints:      19503
22.53/22.61	c #Conflicts:      40000 | #Constraints:      20503
22.53/22.61	c #Conflicts:      41000 | #Constraints:      21503
22.53/22.61	c bounds -180 >= -187 @ 21.5623
22.53/22.61	WSVECS04 Frhs2[346]: 6 0 1.00009 shouldn't be
22.93/23.03	c #Conflicts:      42000 | #Constraints:      22536
22.93/23.03	c INPROCESSING
22.93/23.03	c GARBAGE COLLECT
22.93/23.03	c rational objective -187
32.11/32.20	c #Conflicts:      43000 | #Constraints:      18064
32.11/32.20	c #Conflicts:      44000 | #Constraints:      19065
32.11/32.20	c #Conflicts:      45000 | #Constraints:      20069
32.11/32.20	c #Conflicts:      46000 | #Constraints:      21074
32.11/32.20	c #Conflicts:      47000 | #Constraints:      22078
32.11/32.20	c #Conflicts:      48000 | #Constraints:      23082
32.11/32.20	c #Conflicts:      49000 | #Constraints:      24086
32.11/32.20	c #Conflicts:      50000 | #Constraints:      25090
32.11/32.20	c #Conflicts:      51000 | #Constraints:      26094
32.11/32.20	c #Conflicts:      52000 | #Constraints:      27097
32.11/32.20	c #Conflicts:      53000 | #Constraints:      28100
32.11/32.20	c #Conflicts:      54000 | #Constraints:      29105
32.11/32.20	c #Conflicts:      55000 | #Constraints:      30110
32.11/32.20	c #Conflicts:      56000 | #Constraints:      31114
32.11/32.20	c #Conflicts:      57000 | #Constraints:      32117
32.11/32.20	c #Conflicts:      58000 | #Constraints:      33120
32.11/32.20	c INPROCESSING
32.11/32.20	c GARBAGE COLLECT
32.11/32.20	c rational objective -187
32.70/32.86	c #Conflicts:      59000 | #Constraints:      23409
32.70/32.86	WSVECS04 Frhs2[4]: 6 0 0.486366 shouldn't be
32.70/32.86	WSVECS04 Frhs2[8]: 6 0 1.25117 shouldn't be
32.70/32.86	WSVECS04 Frhs2[9]: 6 -2.32354 0 shouldn't be
32.70/32.86	WSVECS04 Frhs2[12]: 6 -1.59373 0 shouldn't be
32.70/32.86	WSVECS04 Frhs2[82]: 6 0 1.00005 shouldn't be
32.70/32.86	WSVECS04 Frhs2[94]: 6 0 1.21973 shouldn't be
32.70/32.86	WSVECS04 Frhs2[95]: 6 -1.71245 0 shouldn't be
32.70/32.86	WSVECS04 Frhs2[103]: 6 -1.87352 0 shouldn't be
32.70/32.86	WSVECS04 Frhs2[104]: 6 0 2.4204 shouldn't be
32.70/32.86	WSVECS04 Frhs2[108]: 6 -1.0578 0 shouldn't be
32.70/32.86	WSVECS04 Frhs2[112]: 6 0 2.00003 shouldn't be
32.70/32.86	WSVECS04 Frhs2[115]: 6 -0.462812 0 shouldn't be
32.70/32.86	WSVECS04 Frhs2[116]: 6 0 1.39741 shouldn't be
32.70/32.86	WSVECS04 Frhs2[117]: 6 -0.26466 0 shouldn't be
32.70/32.86	WSVECS04 Frhs2[118]: 6 -0.624449 0 shouldn't be
32.70/32.86	WSVECS04 Frhs2[119]: 6 -3.96192 0 shouldn't be
32.70/32.86	WSVECS04 Frhs2[212]: 6 0 0.329555 shouldn't be
32.70/32.86	WSVECS04 Frhs2[248]: 6 0 2.71819 shouldn't be
32.70/32.86	WSVECS04 Frhs2[258]: 6 0 1.00009 shouldn't be
32.70/32.86	WSVECS04 Frhs2[282]: 6 0 1.00003 shouldn't be
32.70/32.86	WSVECS04 Frhs2[283]: 6 0 0.409077 shouldn't be
32.70/32.86	WSVECS04 Frhs2[338]: 6 0 2.99637 shouldn't be
32.70/32.86	WSVECS04 Frhs2[346]: 6 0 1.0001 shouldn't be
32.70/32.86	WSVECS04 Frhs2[347]: 6 0 2.24219 shouldn't be
32.70/32.86	WSVECS04 Frhs2[349]: 6 0 1.21924 shouldn't be
36.20/36.37	c #Conflicts:      60000 | #Constraints:      24410
36.20/36.37	c #Conflicts:      61000 | #Constraints:      25410
36.20/36.37	c #Conflicts:      62000 | #Constraints:      26411
36.20/36.37	c #Conflicts:      63000 | #Constraints:      27411
36.20/36.37	c #Conflicts:      64000 | #Constraints:      28411
36.20/36.37	c #Conflicts:      65000 | #Constraints:      29411
36.20/36.37	c INPROCESSING
36.20/36.37	c GARBAGE COLLECT
36.20/36.37	c rational objective -187
37.00/37.12	c #Conflicts:      66000 | #Constraints:      21968
37.00/37.12	WSVECS04 Frhs2[33]: 6 0 1.00003 shouldn't be
37.00/37.12	WSVECS04 Frhs2[42]: 6 0 1.00001 shouldn't be
37.00/37.12	WSVECS04 Frhs2[48]: 6 -2.0343 0 shouldn't be
37.00/37.12	WSVECS04 Frhs2[126]: 6 0 1.00008 shouldn't be
37.00/37.12	WSVECS04 Frhs2[129]: 6 -2.64593 0 shouldn't be
37.00/37.12	WSVECS04 Frhs2[133]: 6 0 2.15897 shouldn't be
37.00/37.12	WSVECS04 Frhs2[138]: 6 0 1.00003 shouldn't be
37.00/37.12	WSVECS04 Frhs2[183]: 6 -1.18931 0 shouldn't be
37.00/37.12	WSVECS04 Frhs2[184]: 6 0 1.00002 shouldn't be
37.00/37.12	WSVECS04 Frhs2[189]: 6 0 1.00002 shouldn't be
37.00/37.12	WSVECS04 Frhs2[198]: 6 0 1.00002 shouldn't be
37.00/37.12	WSVECS04 Frhs2[212]: 6 0 0.65704 shouldn't be
37.00/37.12	WSVECS04 Frhs2[236]: 6 -1.10774 0 shouldn't be
37.00/37.12	WSVECS04 Frhs2[238]: 6 0 1.00003 shouldn't be
37.00/37.12	WSVECS04 Frhs2[239]: 6 0 1.00009 shouldn't be
37.00/37.12	WSVECS04 Frhs2[243]: 6 0 2.37281 shouldn't be
37.00/37.12	WSVECS04 Frhs2[244]: 6 0 1.00003 shouldn't be
37.00/37.12	WSVECS04 Frhs2[250]: 6 0 1.39072 shouldn't be
37.00/37.12	WSVECS04 Frhs2[252]: 6 -2.00009 0 shouldn't be
37.00/37.12	WSVECS04 Frhs2[254]: 6 -2.02208 0 shouldn't be
37.00/37.12	WSVECS04 Frhs2[260]: 6 0 1.00006 shouldn't be
37.00/37.12	WSVECS04 Frhs2[275]: 6 0 1.00008 shouldn't be
37.00/37.12	WSVECS04 Frhs2[276]: 6 0 1.00008 shouldn't be
37.00/37.12	WSVECS04 Frhs2[278]: 6 -1.54644 0 shouldn't be
37.00/37.12	WSVECS04 Frhs2[297]: 6 0 1.00007 shouldn't be
37.00/37.12	WSVECS04 Frhs2[309]: 6 -1.00003 0 shouldn't be
37.00/37.12	WSVECS04 Frhs2[315]: 6 0 0.407688 shouldn't be
37.00/37.12	WSVECS04 Frhs2[316]: 6 0 1.00006 shouldn't be
37.00/37.12	WSVECS04 Frhs2[321]: 6 0 1.84113 shouldn't be
37.00/37.12	WSVECS04 Frhs2[324]: 6 0 1.35504 shouldn't be
37.00/37.12	WSVECS04 Frhs2[327]: 6 0 0.296488 shouldn't be
37.00/37.12	WSVECS04 Frhs2[330]: 6 -1.02945 0 shouldn't be
37.00/37.12	WSVECS04 Frhs2[333]: 6 0 2.00003 shouldn't be
37.00/37.12	WSVECS04 Frhs2[334]: 6 0 0.977835 shouldn't be
37.00/37.12	WSVECS04 Frhs2[346]: 6 0 0.590561 shouldn't be
37.00/37.12	WSVECS04 Frhs2[348]: 6 -0.559504 0 shouldn't be
38.59/38.70	c #Conflicts:      67000 | #Constraints:      22968
38.59/38.70	c bounds -180 >= -186 @ 37.1789
38.59/38.70	c #Conflicts:      68000 | #Constraints:      23995
38.59/38.70	WSVECS04 Frhs2[181]: 6 0 1.00005 shouldn't be
38.59/38.70	WSVECS04 Frhs2[188]: 6 0 1.00008 shouldn't be
38.59/38.70	WSVECS04 Frhs2[205]: 6 0 1.00007 shouldn't be
38.59/38.70	WSVECS04 Frhs2[207]: 6 0 1.00001 shouldn't be
38.59/38.70	WSVECS04 Frhs2[298]: 6 0 1.00005 shouldn't be
40.79/40.91	c #Conflicts:      69000 | #Constraints:      24996
40.79/40.91	c #Conflicts:      70000 | #Constraints:      25996
40.79/40.91	c #Conflicts:      71000 | #Constraints:      26996
40.79/40.91	c INPROCESSING
40.79/40.91	c GARBAGE COLLECT
40.79/40.91	c rational objective -186
53.66/53.85	c #Conflicts:      72000 | #Constraints:      20561
53.66/53.85	c #Conflicts:      73000 | #Constraints:      21563
53.66/53.85	c #Conflicts:      74000 | #Constraints:      22566
53.66/53.85	c #Conflicts:      75000 | #Constraints:      23570
53.66/53.85	c #Conflicts:      76000 | #Constraints:      24575
53.66/53.85	c #Conflicts:      77000 | #Constraints:      25579
53.66/53.85	c #Conflicts:      78000 | #Constraints:      26583
53.66/53.85	c #Conflicts:      79000 | #Constraints:      27589
53.66/53.85	c #Conflicts:      80000 | #Constraints:      28594
53.66/53.85	c #Conflicts:      81000 | #Constraints:      29597
53.66/53.85	c #Conflicts:      82000 | #Constraints:      30602
53.66/53.85	c #Conflicts:      83000 | #Constraints:      31608
53.66/53.85	c #Conflicts:      84000 | #Constraints:      32616
53.66/53.85	c #Conflicts:      85000 | #Constraints:      33620
53.66/53.85	c #Conflicts:      86000 | #Constraints:      34623
53.66/53.85	c #Conflicts:      87000 | #Constraints:      35628
53.66/53.85	c #Conflicts:      88000 | #Constraints:      36633
53.66/53.85	c #Conflicts:      89000 | #Constraints:      37636
53.66/53.85	c #Conflicts:      90000 | #Constraints:      38641
53.66/53.85	c #Conflicts:      91000 | #Constraints:      39643
53.66/53.85	c INPROCESSING
53.66/53.85	c GARBAGE COLLECT
53.66/53.85	c rational objective -186
54.45/54.66	c #Conflicts:      92000 | #Constraints:      26840
54.45/54.66	WSVECS04 Frhs2[30]: 6 0 1.00006 shouldn't be
54.45/54.66	WSVECS04 Frhs2[33]: 6 -0.367196 0 shouldn't be
54.45/54.66	WSVECS04 Frhs2[34]: 6 0 3.55454 shouldn't be
54.45/54.66	WSVECS04 Frhs2[36]: 6 0 2.14706 shouldn't be
54.45/54.66	WSVECS04 Frhs2[37]: 6 -1.90606 0 shouldn't be
54.45/54.66	WSVECS04 Frhs2[41]: 6 0 3.45714 shouldn't be
54.45/54.66	WSVECS04 Frhs2[124]: 6 0 1.36473 shouldn't be
54.45/54.66	WSVECS04 Frhs2[126]: 6 0 1.17938 shouldn't be
54.45/54.66	WSVECS04 Frhs2[127]: 6 -4.6054 0 shouldn't be
54.45/54.66	WSVECS04 Frhs2[131]: 6 0 1.76047 shouldn't be
54.45/54.66	WSVECS04 Frhs2[141]: 6 0 1.00003 shouldn't be
54.45/54.66	WSVECS04 Frhs2[181]: 6 -1.00003 0 shouldn't be
54.45/54.66	WSVECS04 Frhs2[184]: 6 0 2.00007 shouldn't be
54.45/54.66	WSVECS04 Frhs2[194]: 6 0 1.89368 shouldn't be
54.45/54.66	WSVECS04 Frhs2[199]: 6 0 1.35877 shouldn't be
54.45/54.66	WSVECS04 Frhs2[200]: 6 0 1.0001 shouldn't be
54.45/54.66	WSVECS04 Frhs2[201]: 6 -0.419289 0 shouldn't be
54.45/54.66	WSVECS04 Frhs2[205]: 6 0 1.415 shouldn't be
54.45/54.66	WSVECS04 Frhs2[211]: 6 -3.19234 0 shouldn't be
54.45/54.66	WSVECS04 Frhs2[215]: 6 0 1.00005 shouldn't be
54.45/54.66	WSVECS04 Frhs2[217]: 6 -1.0001 0 shouldn't be
54.45/54.66	WSVECS04 Frhs2[221]: 6 0 1.05292 shouldn't be
54.45/54.66	WSVECS04 Frhs2[231]: 6 0 1.7654 shouldn't be
54.45/54.66	WSVECS04 Frhs2[250]: 6 -1.25165 0 shouldn't be
54.45/54.66	WSVECS04 Frhs2[260]: 6 -2.85174 0 shouldn't be
54.45/54.66	WSVECS04 Frhs2[302]: 6 -0.140709 0 shouldn't be
54.45/54.66	WSVECS04 Frhs2[306]: 6 0 2.05292 shouldn't be
54.45/54.66	WSVECS04 Frhs2[345]: 6 -0.757266 0 shouldn't be
57.04/57.21	c #Conflicts:      93000 | #Constraints:      27840
57.04/57.21	c #Conflicts:      94000 | #Constraints:      28840
57.04/57.21	c #Conflicts:      95000 | #Constraints:      29841
57.04/57.21	c #Conflicts:      96000 | #Constraints:      30841
57.04/57.21	WSVECS04 Frhs2[200]: 6 -4.66723 0 shouldn't be
57.04/57.21	WSVECS04 Frhs2[204]: 6 -3.02635 0 shouldn't be
57.04/57.21	WSVECS04 Frhs2[205]: 6 0 3.41055 shouldn't be
57.04/57.21	WSVECS04 Frhs2[210]: 6 -2.45302 0 shouldn't be
57.04/57.21	WSVECS04 Frhs2[236]: 6 -4.88377 0 shouldn't be
57.04/57.21	WSVECS04 Frhs2[241]: 6 0 1.4824 shouldn't be
57.04/57.21	WSVECS04 Frhs2[245]: 6 -2.16538 0 shouldn't be
57.04/57.21	WSVECS04 Frhs2[286]: 6 -5.74517 0 shouldn't be
57.04/57.21	WSVECS04 Frhs2[291]: 6 0 1.85286 shouldn't be
57.04/57.21	WSVECS04 Frhs2[295]: 6 -3.39685 0 shouldn't be
57.04/57.21	WSVECS04 Frhs2[301]: 6 -2.65451 0 shouldn't be
57.04/57.21	WSVECS04 Frhs2[340]: 6 -5.0001 0 shouldn't be
57.24/57.48	WSVECS04 Frhs2[214]: 6 0 2.28841 shouldn't be
57.24/57.48	WSVECS04 Frhs2[305]: 6 0 1.52432 shouldn't be
59.45/59.67	c #Conflicts:      97000 | #Constraints:      31842
59.45/59.67	c #Conflicts:      98000 | #Constraints:      32842
59.45/59.67	c #Conflicts:      99000 | #Constraints:      33842
59.45/59.67	c INPROCESSING
59.45/59.67	c GARBAGE COLLECT
59.45/59.67	c rational objective -186
60.85/61.07	c #Conflicts:     100000 | #Constraints:      24085
60.85/61.07	c #Conflicts:     101000 | #Constraints:      25085
60.85/61.07	WSVECS04 Frhs2[1]: 6 -4.62442 0 shouldn't be
60.85/61.07	WSVECS04 Frhs2[2]: 6 0 2.12042 shouldn't be
60.85/61.07	WSVECS04 Frhs2[8]: 6 0 2.51396 shouldn't be
60.85/61.07	WSVECS04 Frhs2[9]: 6 -1.97184 0 shouldn't be
60.85/61.07	WSVECS04 Frhs2[10]: 6 0 0.0970305 shouldn't be
60.85/61.07	WSVECS04 Frhs2[18]: 6 0 2.00004 shouldn't be
60.85/61.07	WSVECS04 Frhs2[27]: 6 -0.0257118 0 shouldn't be
60.85/61.07	WSVECS04 Frhs2[33]: 6 -0.159845 0 shouldn't be
60.85/61.07	WSVECS04 Frhs2[43]: 6 -1.17371 0 shouldn't be
60.85/61.07	WSVECS04 Frhs2[57]: 6 0 2.952 shouldn't be
60.85/61.07	WSVECS04 Frhs2[58]: 6 -0.351734 0 shouldn't be
60.85/61.07	WSVECS04 Frhs2[59]: 6 0 1.77365 shouldn't be
60.85/61.07	WSVECS04 Frhs2[67]: 6 0 1.00002 shouldn't be
60.85/61.07	WSVECS04 Frhs2[68]: 6 -2.48112 0 shouldn't be
60.85/61.07	WSVECS04 Frhs2[181]: 6 -1.40915 0 shouldn't be
60.85/61.07	WSVECS04 Frhs2[182]: 6 0 1.0001 shouldn't be
60.85/61.07	WSVECS04 Frhs2[190]: 6 0 1.04156 shouldn't be
60.85/61.07	WSVECS04 Frhs2[191]: 6 -0.276185 0 shouldn't be
60.85/61.07	WSVECS04 Frhs2[207]: 6 -0.522043 0 shouldn't be
60.85/61.07	WSVECS04 Frhs2[223]: 6 0 3.12839 shouldn't be
60.85/61.07	WSVECS04 Frhs2[316]: 6 -5.87534 0 shouldn't be
62.33/62.58	c bounds -180 >= -185 @ 60.4387
62.33/62.58	c #Conflicts:     102000 | #Constraints:      26119
62.33/62.58	WSVECS04 Frhs2[35]: 6 0 1.00004 shouldn't be
62.33/62.58	WSVECS04 Frhs2[44]: 6 0 1.00002 shouldn't be
62.33/62.58	WSVECS04 Frhs2[205]: 6 0 1.00004 shouldn't be
62.33/62.58	WSVECS04 Frhs2[224]: 6 0 1.00008 shouldn't be
62.33/62.58	WSVECS04 Frhs2[275]: 6 0 1.00004 shouldn't be
62.33/62.58	WSVECS04 Frhs2[282]: 6 0 1.00002 shouldn't be
62.33/62.58	WSVECS04 Frhs2[303]: 6 0 1.00009 shouldn't be
65.03/65.28	c #Conflicts:     103000 | #Constraints:      27119
65.03/65.28	c #Conflicts:     104000 | #Constraints:      28119
65.03/65.28	c #Conflicts:     105000 | #Constraints:      29119
65.03/65.28	c #Conflicts:     106000 | #Constraints:      30119
65.03/65.28	WSVECS04 Frhs2[216]: 6 -9.54896 0 shouldn't be
65.03/65.28	WSVECS04 Frhs2[221]: 6 0 3.92841 shouldn't be
65.03/65.28	WSVECS04 Frhs2[227]: 6 -2.27372 0 shouldn't be
65.03/65.28	WSVECS04 Frhs2[242]: 6 0 5.0165 shouldn't be
65.03/65.28	WSVECS04 Frhs2[302]: 6 -4.35393 0 shouldn't be
65.83/66.03	c #Conflicts:     107000 | #Constraints:      31120
65.83/66.03	c INPROCESSING
65.83/66.03	c GARBAGE COLLECT
65.83/66.03	c rational objective -185
82.39/82.68	c #Conflicts:     108000 | #Constraints:      22753
82.39/82.68	c #Conflicts:     109000 | #Constraints:      23755
82.39/82.68	c #Conflicts:     110000 | #Constraints:      24761
82.39/82.68	c #Conflicts:     111000 | #Constraints:      25765
82.39/82.68	c #Conflicts:     112000 | #Constraints:      26769
82.39/82.68	c #Conflicts:     113000 | #Constraints:      27772
82.39/82.68	c #Conflicts:     114000 | #Constraints:      28775
82.39/82.68	c #Conflicts:     115000 | #Constraints:      29778
82.39/82.68	c #Conflicts:     116000 | #Constraints:      30782
82.39/82.68	c #Conflicts:     117000 | #Constraints:      31786
82.39/82.68	c #Conflicts:     118000 | #Constraints:      32790
82.39/82.68	c #Conflicts:     119000 | #Constraints:      33795
82.39/82.68	c #Conflicts:     120000 | #Constraints:      34798
82.39/82.68	c #Conflicts:     121000 | #Constraints:      35803
82.39/82.68	c #Conflicts:     122000 | #Constraints:      36805
82.39/82.68	c #Conflicts:     123000 | #Constraints:      37808
82.39/82.68	c #Conflicts:     124000 | #Constraints:      38811
82.39/82.68	c #Conflicts:     125000 | #Constraints:      39814
82.39/82.68	c #Conflicts:     126000 | #Constraints:      40817
82.39/82.68	c #Conflicts:     127000 | #Constraints:      41819
82.39/82.68	c #Conflicts:     128000 | #Constraints:      42821
82.39/82.68	c #Conflicts:     129000 | #Constraints:      43827
82.39/82.68	c #Conflicts:     130000 | #Constraints:      44834
82.39/82.68	c #Conflicts:     131000 | #Constraints:      45837
82.39/82.68	c INPROCESSING
82.39/82.68	c GARBAGE COLLECT
82.39/82.68	c rational objective -185
87.88/88.19	c #Conflicts:     132000 | #Constraints:      30016
87.88/88.19	c #Conflicts:     133000 | #Constraints:      31017
87.88/88.19	c #Conflicts:     134000 | #Constraints:      32018
87.88/88.19	c #Conflicts:     135000 | #Constraints:      33019
87.88/88.19	c #Conflicts:     136000 | #Constraints:      34019
87.88/88.19	c #Conflicts:     137000 | #Constraints:      35020
87.88/88.19	WSVECS04 Frhs2[39]: 6 -1.01746 0 shouldn't be
87.88/88.19	WSVECS04 Frhs2[45]: 6 -0.165977 0 shouldn't be
87.88/88.19	WSVECS04 Frhs2[47]: 6 0 2.16597 shouldn't be
87.88/88.19	WSVECS04 Frhs2[48]: 6 -1.8245 0 shouldn't be
87.88/88.19	WSVECS04 Frhs2[50]: 6 0 1.00002 shouldn't be
87.88/88.19	WSVECS04 Frhs2[248]: 6 0 1.74327 shouldn't be
87.88/88.19	WSVECS04 Frhs2[254]: 6 0 2.61151 shouldn't be
87.88/88.19	WSVECS04 Frhs2[256]: 6 -1.3357 0 shouldn't be
87.88/88.19	WSVECS04 Frhs2[259]: 6 -5.5039 0 shouldn't be
87.88/88.19	WSVECS04 Frhs2[260]: 6 -1.39676 0 shouldn't be
87.88/88.19	WSVECS04 Frhs2[274]: 6 0 2.00001 shouldn't be
87.88/88.19	WSVECS04 Frhs2[279]: 6 0 2.00004 shouldn't be
87.88/88.19	WSVECS04 Frhs2[282]: 6 0 2.00101 shouldn't be
87.88/88.19	WSVECS04 Frhs2[284]: 6 -1.52018 0 shouldn't be
87.88/88.19	WSVECS04 Frhs2[285]: 6 -1.20652 0 shouldn't be
87.88/88.19	WSVECS04 Frhs2[292]: 6 -1.84284 0 shouldn't be
87.88/88.19	WSVECS04 Frhs2[295]: 6 -2.96792 0 shouldn't be
87.88/88.19	WSVECS04 Frhs2[296]: 6 -3.04277 0 shouldn't be
87.88/88.19	WSVECS04 Frhs2[332]: 6 -4.64996 0 shouldn't be
87.88/88.19	WSVECS04 Frhs2[333]: 6 0 1.83511 shouldn't be
87.88/88.19	WSVECS04 Frhs2[335]: 6 -0.846312 0 shouldn't be
87.88/88.19	WSVECS04 Frhs2[336]: 6 -2.2279 0 shouldn't be
87.88/88.19	WSVECS04 Frhs2[342]: 6 -0.606097 0 shouldn't be
87.88/88.19	WSVECS04 Frhs2[345]: 6 0 2.37732 shouldn't be
87.88/88.19	WSVECS04 Frhs2[351]: 6 0 1.00005 shouldn't be
89.87/90.12	c #Conflicts:     138000 | #Constraints:      36020
89.87/90.12	c #Conflicts:     139000 | #Constraints:      37020
89.87/90.12	WSVECS04 Frhs2[145]: 6 -2.58059 0 shouldn't be
89.87/90.12	WSVECS04 Frhs2[146]: 6 0 3.32795 shouldn't be
89.87/90.12	WSVECS04 Frhs2[147]: 6 -8.70917 0 shouldn't be
89.87/90.12	WSVECS04 Frhs2[150]: 6 -0.379571 0 shouldn't be
89.87/90.12	WSVECS04 Frhs2[158]: 6 0 2.46565 shouldn't be
89.87/90.12	WSVECS04 Frhs2[216]: 6 -2.99918 0 shouldn't be
89.87/90.12	WSVECS04 Frhs2[217]: 6 0 2.99917 shouldn't be
89.87/90.12	WSVECS04 Frhs2[220]: 6 0 2.83245 shouldn't be
89.87/90.12	WSVECS04 Frhs2[228]: 6 -2.99919 0 shouldn't be
89.87/90.12	WSVECS04 Frhs2[232]: 6 -0.251008 0 shouldn't be
89.87/90.12	WSVECS04 Frhs2[235]: 6 -4.91895 0 shouldn't be
89.87/90.12	WSVECS04 Frhs2[249]: 6 0 1.00006 shouldn't be
89.87/90.12	WSVECS04 Frhs2[257]: 6 -4.96106 0 shouldn't be
89.87/90.12	WSVECS04 Frhs2[293]: 6 -4.04214 0 shouldn't be
90.17/90.40	WSVECS04 Frhs2[243]: 6 0 2.82829 shouldn't be
91.26/91.52	c #Conflicts:     140000 | #Constraints:      38021
91.26/91.52	c INPROCESSING
91.26/91.52	c GARBAGE COLLECT
91.26/91.52	c rational objective -185
94.56/94.82	c #Conflicts:     141000 | #Constraints:      26003
94.56/94.82	c #Conflicts:     142000 | #Constraints:      27003
94.56/94.82	c #Conflicts:     143000 | #Constraints:      28003
94.56/94.82	c #Conflicts:     144000 | #Constraints:      29004
94.56/94.82	c #Conflicts:     145000 | #Constraints:      30004
94.56/94.82	WSVECS04 Frhs2[1]: 6 -4.00007 0 shouldn't be
94.56/94.82	WSVECS04 Frhs2[2]: 6 0 3.64215 shouldn't be
94.56/94.82	WSVECS04 Frhs2[8]: 6 -4.8205 0 shouldn't be
94.56/94.82	WSVECS04 Frhs2[18]: 6 -3.00008 0 shouldn't be
94.56/94.82	WSVECS04 Frhs2[27]: 6 -3.1568 0 shouldn't be
94.56/94.82	WSVECS04 Frhs2[33]: 6 0 1.00004 shouldn't be
94.56/94.82	WSVECS04 Frhs2[35]: 6 -1.1834 0 shouldn't be
94.56/94.82	WSVECS04 Frhs2[43]: 6 0 1.3882 shouldn't be
94.56/94.82	WSVECS04 Frhs2[57]: 6 -6.258 0 shouldn't be
94.56/94.82	WSVECS04 Frhs2[59]: 6 0 1.04865 shouldn't be
94.56/94.82	WSVECS04 Frhs2[67]: 6 -1.55671 0 shouldn't be
94.56/94.82	WSVECS04 Frhs2[182]: 6 -3.73118 0 shouldn't be
94.56/94.82	WSVECS04 Frhs2[190]: 6 0 1.4109 shouldn't be
94.56/94.82	WSVECS04 Frhs2[223]: 6 -1.67124 0 shouldn't be
94.77/95.07	WSVECS04 Frhs2[214]: 6 -11.2002 0 shouldn't be
97.95/98.26	c #Conflicts:     146000 | #Constraints:      31004
97.95/98.26	c #Conflicts:     147000 | #Constraints:      32004
97.95/98.26	c #Conflicts:     148000 | #Constraints:      33004
97.95/98.26	c bounds -180 >= -184 @ 95.5623
97.95/98.26	c #Conflicts:     149000 | #Constraints:      34034
97.95/98.26	WSVECS04 Frhs2[4]: 6 0 4.37503 shouldn't be
97.95/98.26	WSVECS04 Frhs2[6]: 6 0 2.00002 shouldn't be
97.95/98.26	WSVECS04 Frhs2[10]: 6 0 0.364621 shouldn't be
97.95/98.26	WSVECS04 Frhs2[11]: 6 0 1.00003 shouldn't be
97.95/98.26	WSVECS04 Frhs2[14]: 6 0 1.62505 shouldn't be
97.95/98.26	WSVECS04 Frhs2[16]: 6 0 2.0001 shouldn't be
97.95/98.26	WSVECS04 Frhs2[17]: 6 0 1.00006 shouldn't be
97.95/98.26	WSVECS04 Frhs2[21]: 6 0 1.00006 shouldn't be
97.95/98.26	WSVECS04 Frhs2[53]: 6 -0.625054 0 shouldn't be
97.95/98.26	WSVECS04 Frhs2[55]: 6 -1.25006 0 shouldn't be
97.95/98.26	WSVECS04 Frhs2[56]: 6 0 1.00005 shouldn't be
97.95/98.26	WSVECS04 Frhs2[67]: 6 0 1.00002 shouldn't be
97.95/98.26	WSVECS04 Frhs2[68]: 6 0 1.00005 shouldn't be
97.95/98.26	WSVECS04 Frhs2[72]: 6 0 1.00008 shouldn't be
97.95/98.26	WSVECS04 Frhs2[104]: 6 0 1.00006 shouldn't be
97.95/98.26	WSVECS04 Frhs2[105]: 6 0 1.00005 shouldn't be
97.95/98.26	WSVECS04 Frhs2[109]: 6 0 1.00005 shouldn't be
97.95/98.26	WSVECS04 Frhs2[111]: 6 0 1.00003 shouldn't be
97.95/98.26	WSVECS04 Frhs2[113]: 6 -1.00008 0 shouldn't be
97.95/98.26	WSVECS04 Frhs2[114]: 6 0 1.00003 shouldn't be
97.95/98.26	WSVECS04 Frhs2[115]: 6 0 1.00003 shouldn't be
97.95/98.26	WSVECS04 Frhs2[145]: 6 0 2.00009 shouldn't be
97.95/98.26	WSVECS04 Frhs2[150]: 6 0 1.00002 shouldn't be
97.95/98.26	WSVECS04 Frhs2[152]: 6 0 1.00007 shouldn't be
97.95/98.26	WSVECS04 Frhs2[155]: 6 0 1.00008 shouldn't be
97.95/98.26	WSVECS04 Frhs2[163]: 6 0 1.00006 shouldn't be
97.95/98.26	WSVECS04 Frhs2[173]: 6 0 1.00007 shouldn't be
97.95/98.26	WSVECS04 Frhs2[177]: 6 0 1.00005 shouldn't be
97.95/98.26	WSVECS04 Frhs2[180]: 6 0 1.00007 shouldn't be
97.95/98.26	WSVECS04 Frhs2[203]: 6 -1.00003 0 shouldn't be
97.95/98.26	WSVECS04 Frhs2[205]: 6 -1.00004 0 shouldn't be
97.95/98.26	WSVECS04 Frhs2[207]: 6 0 1.00004 shouldn't be
97.95/98.26	WSVECS04 Frhs2[208]: 6 0 0.395871 shouldn't be
97.95/98.26	WSVECS04 Frhs2[209]: 6 -1.50009 0 shouldn't be
97.95/98.26	WSVECS04 Frhs2[211]: 6 0 1.00004 shouldn't be
97.95/98.26	WSVECS04 Frhs2[212]: 6 0 1.00006 shouldn't be
97.95/98.26	WSVECS04 Frhs2[216]: 6 0 1.00009 shouldn't be
97.95/98.26	WSVECS04 Frhs2[219]: 6 0 1.00004 shouldn't be
97.95/98.26	WSVECS04 Frhs2[221]: 6 0 2.00009 shouldn't be
97.95/98.26	WSVECS04 Frhs2[223]: 6 -1.00001 0 shouldn't be
97.95/98.26	WSVECS04 Frhs2[234]: 6 0 1.00007 shouldn't be
97.95/98.26	WSVECS04 Frhs2[235]: 6 0 1.2084 shouldn't be
97.95/98.26	WSVECS04 Frhs2[237]: 6 0 1.00003 shouldn't be
97.95/98.26	WSVECS04 Frhs2[238]: 6 -0.395901 0 shouldn't be
97.95/98.26	WSVECS04 Frhs2[240]: 6 0 1.00009 shouldn't be
97.95/98.26	WSVECS04 Frhs2[276]: 6 0 1.00004 shouldn't be
97.95/98.26	WSVECS04 Frhs2[278]: 6 -0.395917 0 shouldn't be
97.95/98.26	WSVECS04 Frhs2[279]: 6 0 1.00005 shouldn't be
97.95/98.26	WSVECS04 Frhs2[280]: 6 0 1.00006 shouldn't be
97.95/98.26	WSVECS04 Frhs2[285]: 6 -0.625023 0 shouldn't be
97.95/98.26	WSVECS04 Frhs2[286]: 6 0 0.791705 shouldn't be
97.95/98.26	WSVECS04 Frhs2[287]: 6 0 1.00009 shouldn't be
97.95/98.26	WSVECS04 Frhs2[290]: 6 0 0.500018 shouldn't be
97.95/98.26	WSVECS04 Frhs2[291]: 6 0 1.7917 shouldn't be
97.95/98.26	WSVECS04 Frhs2[296]: 6 -0.739632 0 shouldn't be
97.95/98.26	WSVECS04 Frhs2[297]: 6 0 1.00001 shouldn't be
97.95/98.26	WSVECS04 Frhs2[300]: 6 0 1.00006 shouldn't be
97.95/98.26	WSVECS04 Frhs2[301]: 6 0 0.208393 shouldn't be
97.95/98.26	WSVECS04 Frhs2[306]: 6 -2.00005 0 shouldn't be
97.95/98.26	WSVECS04 Frhs2[309]: 6 0 1.00006 shouldn't be
97.95/98.26	WSVECS04 Frhs2[311]: 6 -2.00006 0 shouldn't be
97.95/98.26	WSVECS04 Frhs2[316]: 6 0 1.00007 shouldn't be
97.95/98.26	WSVECS04 Frhs2[323]: 6 0 1.00009 shouldn't be
97.95/98.26	WSVECS04 Frhs2[326]: 6 0 1.00007 shouldn't be
97.95/98.26	WSVECS04 Frhs2[327]: 6 0 1.00007 shouldn't be
97.95/98.26	WSVECS04 Frhs2[330]: 6 0 1.00009 shouldn't be
97.95/98.26	WSVECS04 Frhs2[331]: 6 0 1.00001 shouldn't be
97.95/98.26	WSVECS04 Frhs2[342]: 6 0 1.00007 shouldn't be
97.95/98.26	WSVECS04 Frhs2[345]: 6 0 1.36463 shouldn't be
97.95/98.26	WSVECS04 Frhs2[348]: 6 0 1.00004 shouldn't be
98.64/98.98	c #Conflicts:     150000 | #Constraints:      35036
98.64/98.98	c INPROCESSING
98.64/98.98	c GARBAGE COLLECT
98.64/98.98	c rational objective -184
100.94/101.22	c #Conflicts:     151000 | #Constraints:      24826
100.94/101.22	c #Conflicts:     152000 | #Constraints:      25826
100.94/101.22	WSVECS04 Frhs2[32]: 6 0 2.38581 shouldn't be
100.94/101.22	WSVECS04 Frhs2[34]: 6 0 2.82762 shouldn't be
100.94/101.22	WSVECS04 Frhs2[38]: 6 -0.0940641 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[48]: 6 -0.862186 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[50]: 6 0 1.00005 shouldn't be
100.94/101.22	WSVECS04 Frhs2[163]: 6 0 1.00002 shouldn't be
100.94/101.22	WSVECS04 Frhs2[166]: 6 -0.6299 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[168]: 6 -0.822978 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[170]: 6 -2.64857 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[172]: 6 0 1.48205 shouldn't be
100.94/101.22	WSVECS04 Frhs2[173]: 6 0 2.00005 shouldn't be
100.94/101.22	WSVECS04 Frhs2[174]: 6 -1.76238 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[178]: 6 0 1.16614 shouldn't be
100.94/101.22	WSVECS04 Frhs2[180]: 6 0 1.00862 shouldn't be
100.94/101.22	WSVECS04 Frhs2[201]: 6 -1.00009 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[202]: 6 -2.78789 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[205]: 6 -2.54005 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[212]: 6 -0.919476 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[213]: 6 0 1.40273 shouldn't be
100.94/101.22	WSVECS04 Frhs2[232]: 6 -0.276122 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[233]: 6 -1.2999 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[239]: 6 0 1.00007 shouldn't be
100.94/101.22	WSVECS04 Frhs2[244]: 6 0 1.00009 shouldn't be
100.94/101.22	WSVECS04 Frhs2[247]: 6 0 1.00007 shouldn't be
100.94/101.22	WSVECS04 Frhs2[250]: 6 0 1.23294 shouldn't be
100.94/101.22	WSVECS04 Frhs2[254]: 6 0 1.00006 shouldn't be
100.94/101.22	WSVECS04 Frhs2[257]: 6 0 2.3587 shouldn't be
100.94/101.22	WSVECS04 Frhs2[258]: 6 -0.36865 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[259]: 6 -1.71598 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[263]: 6 0 3.97651 shouldn't be
100.94/101.22	WSVECS04 Frhs2[265]: 6 -1.08531 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[267]: 6 0 1.51997 shouldn't be
100.94/101.22	WSVECS04 Frhs2[270]: 6 0 1.00003 shouldn't be
100.94/101.22	WSVECS04 Frhs2[272]: 6 -0.417338 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[275]: 6 0 1.69292 shouldn't be
100.94/101.22	WSVECS04 Frhs2[282]: 6 0 1.00003 shouldn't be
100.94/101.22	WSVECS04 Frhs2[283]: 6 -1.14492 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[284]: 6 -1.44798 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[285]: 6 -0.090502 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[303]: 6 0 1.00006 shouldn't be
100.94/101.22	WSVECS04 Frhs2[304]: 6 -2.60805 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[305]: 6 -0.0800628 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[316]: 6 0 2.80074 shouldn't be
100.94/101.22	WSVECS04 Frhs2[317]: 6 -0.344408 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[320]: 6 -0.899088 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[322]: 6 0 3.73054 shouldn't be
100.94/101.22	WSVECS04 Frhs2[323]: 6 0 1.0001 shouldn't be
100.94/101.22	WSVECS04 Frhs2[328]: 6 0 3.56678 shouldn't be
100.94/101.22	WSVECS04 Frhs2[329]: 6 0 2.00001 shouldn't be
100.94/101.22	WSVECS04 Frhs2[330]: 6 0 2.06723 shouldn't be
100.94/101.22	WSVECS04 Frhs2[333]: 6 0 2.5206 shouldn't be
100.94/101.22	WSVECS04 Frhs2[334]: 6 -0.00857776 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[336]: 6 -0.0480233 0 shouldn't be
100.94/101.22	WSVECS04 Frhs2[351]: 6 0 2.72399 shouldn't be
103.24/103.54	c #Conflicts:     153000 | #Constraints:      26827
103.24/103.54	c #Conflicts:     154000 | #Constraints:      27827
103.24/103.54	c #Conflicts:     155000 | #Constraints:      28827
103.24/103.54	WSVECS04 Frhs2[36]: 6 0 0.570829 shouldn't be
103.24/103.54	WSVECS04 Frhs2[38]: 6 0 1.00005 shouldn't be
103.24/103.54	WSVECS04 Frhs2[40]: 6 0 1.5119 shouldn't be
103.24/103.54	WSVECS04 Frhs2[42]: 6 0 2.5312 shouldn't be
103.24/103.54	WSVECS04 Frhs2[44]: 6 -0.0365375 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[51]: 6 0 0.834833 shouldn't be
103.24/103.54	WSVECS04 Frhs2[164]: 6 -0.333785 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[165]: 6 0 1.66641 shouldn't be
103.24/103.54	WSVECS04 Frhs2[166]: 6 0 0.749 shouldn't be
103.24/103.54	WSVECS04 Frhs2[167]: 6 0 1.41639 shouldn't be
103.24/103.54	WSVECS04 Frhs2[168]: 6 -0.163118 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[169]: 6 0 1.00007 shouldn't be
103.24/103.54	WSVECS04 Frhs2[171]: 6 0 2.00004 shouldn't be
103.24/103.54	WSVECS04 Frhs2[178]: 6 -2.00002 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[199]: 6 0 1.00007 shouldn't be
103.24/103.54	WSVECS04 Frhs2[201]: 6 -0.1159 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[203]: 6 0 0.834803 shouldn't be
103.24/103.54	WSVECS04 Frhs2[206]: 6 -0.228563 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[208]: 6 0 2.00003 shouldn't be
103.24/103.54	WSVECS04 Frhs2[209]: 6 0 1.87884 shouldn't be
103.24/103.54	WSVECS04 Frhs2[218]: 6 -0.416334 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[220]: 6 -2.25328 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[221]: 6 -2.23182 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[224]: 6 0 1.24895 shouldn't be
103.24/103.54	WSVECS04 Frhs2[225]: 6 0 1.00005 shouldn't be
103.24/103.54	WSVECS04 Frhs2[228]: 6 0 3.38418 shouldn't be
103.24/103.54	WSVECS04 Frhs2[232]: 6 0 1.00005 shouldn't be
103.24/103.54	WSVECS04 Frhs2[235]: 6 0 1.54942 shouldn't be
103.24/103.54	WSVECS04 Frhs2[236]: 6 0 1.7468 shouldn't be
103.24/103.54	WSVECS04 Frhs2[237]: 6 0 5.13628 shouldn't be
103.24/103.54	WSVECS04 Frhs2[243]: 6 -2.89058 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[246]: 6 0 1.05367 shouldn't be
103.24/103.54	WSVECS04 Frhs2[248]: 6 -1.00003 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[249]: 6 0 1.00001 shouldn't be
103.24/103.54	WSVECS04 Frhs2[250]: 6 0 0.23178 shouldn't be
103.24/103.54	WSVECS04 Frhs2[253]: 6 -1.0001 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[254]: 6 -0.115931 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[258]: 6 -0.749007 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[260]: 6 0 3.76832 shouldn't be
103.24/103.54	WSVECS04 Frhs2[262]: 6 0 1.00003 shouldn't be
103.24/103.54	WSVECS04 Frhs2[263]: 6 0 1.00009 shouldn't be
103.24/103.54	WSVECS04 Frhs2[264]: 6 0 1.00002 shouldn't be
103.24/103.54	WSVECS04 Frhs2[266]: 6 -2.23177 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[270]: 6 -1.00009 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[271]: 6 -2.07305 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[276]: 6 -0.221042 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[279]: 6 0 1.00002 shouldn't be
103.24/103.54	WSVECS04 Frhs2[283]: 6 0 1.23182 shouldn't be
103.24/103.54	WSVECS04 Frhs2[290]: 6 -0.016174 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[299]: 6 -1.76832 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[306]: 6 0 2.00003 shouldn't be
103.24/103.54	WSVECS04 Frhs2[309]: 6 -2.42713 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[324]: 6 0 1.82412 shouldn't be
103.24/103.54	WSVECS04 Frhs2[330]: 6 -0.285455 0 shouldn't be
103.24/103.54	WSVECS04 Frhs2[333]: 6 0 3.80259 shouldn't be
103.24/103.54	WSVECS04 Frhs2[334]: 6 0 1.00006 shouldn't be
103.24/103.54	WSVECS04 Frhs2[346]: 6 0 1.00009 shouldn't be
103.24/103.54	WSVECS04 Frhs2[350]: 6 -3.00004 0 shouldn't be
106.03/106.30	c #Conflicts:     156000 | #Constraints:      29828
106.03/106.30	c #Conflicts:     157000 | #Constraints:      30828
106.03/106.30	c #Conflicts:     158000 | #Constraints:      31828
106.03/106.30	c #Conflicts:     159000 | #Constraints:      32829
106.03/106.30	WSVECS04 Frhs2[222]: 6 0 1.12788 shouldn't be
106.03/106.30	WSVECS04 Frhs2[224]: 6 0 1.47496 shouldn't be
106.03/106.30	WSVECS04 Frhs2[286]: 6 0 2.3918 shouldn't be
106.03/106.30	WSVECS04 Frhs2[287]: 6 0 1.00002 shouldn't be
106.03/106.30	WSVECS04 Frhs2[289]: 6 0 2.22327 shouldn't be
106.03/106.30	WSVECS04 Frhs2[293]: 6 -3.70795 0 shouldn't be
106.03/106.30	WSVECS04 Frhs2[294]: 6 -4.33684 0 shouldn't be
106.03/106.30	WSVECS04 Frhs2[297]: 6 0 2.00006 shouldn't be
106.03/106.30	WSVECS04 Frhs2[299]: 6 0 1.91281 shouldn't be
106.03/106.30	WSVECS04 Frhs2[308]: 6 0 3.63556 shouldn't be
106.03/106.30	WSVECS04 Frhs2[313]: 6 -7.17613 0 shouldn't be
106.03/106.30	WSVECS04 Frhs2[327]: 6 -2.64969 0 shouldn't be
106.03/106.30	WSVECS04 Frhs2[328]: 6 -1.71145 0 shouldn't be
109.72/110.06	c #Conflicts:     160000 | #Constraints:      33830
109.72/110.06	c #Conflicts:     161000 | #Constraints:      34830
109.72/110.06	c #Conflicts:     162000 | #Constraints:      35830
109.72/110.06	c #Conflicts:     163000 | #Constraints:      36831
109.72/110.06	WSVECS04 Frhs2[2]: 6 0 2.1595 shouldn't be
109.72/110.06	WSVECS04 Frhs2[8]: 6 -1.80907 0 shouldn't be
109.72/110.06	WSVECS04 Frhs2[9]: 6 0 1.00006 shouldn't be
109.72/110.06	WSVECS04 Frhs2[10]: 6 -1.43004 0 shouldn't be
109.72/110.06	WSVECS04 Frhs2[19]: 6 -2.80334 0 shouldn't be
109.72/110.06	WSVECS04 Frhs2[27]: 6 0 1.53863 shouldn't be
109.72/110.06	WSVECS04 Frhs2[34]: 6 0 1.00005 shouldn't be
109.72/110.06	WSVECS04 Frhs2[36]: 6 0 0.557043 shouldn't be
109.72/110.06	WSVECS04 Frhs2[43]: 6 -1.55515 0 shouldn't be
109.72/110.06	WSVECS04 Frhs2[57]: 6 -1.30206 0 shouldn't be
109.72/110.06	WSVECS04 Frhs2[58]: 6 0 1.69485 shouldn't be
109.72/110.06	WSVECS04 Frhs2[60]: 6 0 2.53896 shouldn't be
109.72/110.06	WSVECS04 Frhs2[67]: 6 -2.26246 0 shouldn't be
109.72/110.06	WSVECS04 Frhs2[68]: 6 -3.85131 0 shouldn't be
109.72/110.06	WSVECS04 Frhs2[190]: 6 0 0.981792 shouldn't be
109.72/110.06	WSVECS04 Frhs2[191]: 6 0 1.00006 shouldn't be
109.72/110.06	WSVECS04 Frhs2[194]: 6 0 2.55294 shouldn't be
109.72/110.06	WSVECS04 Frhs2[199]: 6 -5.43753 0 shouldn't be
109.72/110.06	WSVECS04 Frhs2[200]: 6 0 1.00002 shouldn't be
109.72/110.06	WSVECS04 Frhs2[223]: 6 0 5.30763 shouldn't be
109.72/110.06	WSVECS04 Frhs2[224]: 6 0 3.06561 shouldn't be
109.72/110.06	WSVECS04 Frhs2[242]: 6 -1.90252 0 shouldn't be
109.72/110.06	WSVECS04 Frhs2[316]: 6 0 1.00003 shouldn't be
109.72/110.06	WSVECS04 Frhs2[319]: 6 0 2.0452 shouldn't be
109.72/110.06	WSVECS04 Frhs2[326]: 6 0 2.32414 shouldn't be
115.01/115.30	c #Conflicts:     164000 | #Constraints:      37832
115.01/115.30	c #Conflicts:     165000 | #Constraints:      38832
115.01/115.30	c #Conflicts:     166000 | #Constraints:      39832
115.01/115.30	c #Conflicts:     167000 | #Constraints:      40833
115.01/115.30	c #Conflicts:     168000 | #Constraints:      41833
115.01/115.30	WSVECS04 Frhs2[34]: 6 0 1.18948 shouldn't be
115.01/115.30	WSVECS04 Frhs2[36]: 6 0 0.290632 shouldn't be
115.01/115.30	WSVECS04 Frhs2[38]: 6 0 0.167312 shouldn't be
115.01/115.30	WSVECS04 Frhs2[47]: 6 -2.11075 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[49]: 6 0 0.933314 shouldn't be
115.01/115.30	WSVECS04 Frhs2[63]: 6 -0.0176032 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[64]: 6 0 1.00007 shouldn't be
115.01/115.30	WSVECS04 Frhs2[68]: 6 0 1.00002 shouldn't be
115.01/115.30	WSVECS04 Frhs2[69]: 6 0 2.34031 shouldn't be
115.01/115.30	WSVECS04 Frhs2[72]: 6 0 1.00006 shouldn't be
115.01/115.30	WSVECS04 Frhs2[74]: 6 0 1.00003 shouldn't be
115.01/115.30	WSVECS04 Frhs2[81]: 6 0 1.69242 shouldn't be
115.01/115.30	WSVECS04 Frhs2[85]: 6 0 0.33791 shouldn't be
115.01/115.30	WSVECS04 Frhs2[87]: 6 -1.11019 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[89]: 6 -1.17551 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[91]: 6 -0.021182 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[93]: 6 0 1.94013 shouldn't be
115.01/115.30	WSVECS04 Frhs2[94]: 6 -1.1755 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[95]: 6 -1.99039 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[96]: 6 0 1.00005 shouldn't be
115.01/115.30	WSVECS04 Frhs2[163]: 6 -1.1146 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[173]: 6 0 0.836739 shouldn't be
115.01/115.30	WSVECS04 Frhs2[177]: 6 0 1.56702 shouldn't be
115.01/115.30	WSVECS04 Frhs2[202]: 6 0 1.00006 shouldn't be
115.01/115.30	WSVECS04 Frhs2[204]: 6 -4.22755 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[205]: 6 0 0.530767 shouldn't be
115.01/115.30	WSVECS04 Frhs2[233]: 6 0 1.06062 shouldn't be
115.01/115.30	WSVECS04 Frhs2[236]: 6 0 2.76535 shouldn't be
115.01/115.30	WSVECS04 Frhs2[244]: 6 0 1.76122 shouldn't be
115.01/115.30	WSVECS04 Frhs2[261]: 6 0 0.150098 shouldn't be
115.01/115.30	WSVECS04 Frhs2[268]: 6 0 0.0422209 shouldn't be
115.01/115.30	WSVECS04 Frhs2[271]: 6 0 1.00005 shouldn't be
115.01/115.30	WSVECS04 Frhs2[273]: 6 0 1.97885 shouldn't be
115.01/115.30	WSVECS04 Frhs2[280]: 6 0 1.00004 shouldn't be
115.01/115.30	WSVECS04 Frhs2[284]: 6 -0.977328 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[289]: 6 0 1.00005 shouldn't be
115.01/115.30	WSVECS04 Frhs2[292]: 6 0 1.00009 shouldn't be
115.01/115.30	WSVECS04 Frhs2[293]: 6 0 1.00003 shouldn't be
115.01/115.30	WSVECS04 Frhs2[296]: 6 -1.205 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[304]: 6 0 1.14628 shouldn't be
115.01/115.30	WSVECS04 Frhs2[305]: 6 -0.656255 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[309]: 6 0 1.1247 shouldn't be
115.01/115.30	WSVECS04 Frhs2[312]: 6 0 2.00008 shouldn't be
115.01/115.30	WSVECS04 Frhs2[328]: 6 -1.00004 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[330]: 6 -0.445661 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[334]: 6 -1.01941 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[336]: 6 -2.57034 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[346]: 6 -0.627703 0 shouldn't be
115.01/115.30	WSVECS04 Frhs2[350]: 6 0 1.94016 shouldn't be
121.19/121.50	c #Conflicts:     169000 | #Constraints:      42835
121.19/121.50	c #Conflicts:     170000 | #Constraints:      43835
121.19/121.50	c #Conflicts:     171000 | #Constraints:      44836
121.19/121.50	c #Conflicts:     172000 | #Constraints:      45836
121.19/121.50	c #Conflicts:     173000 | #Constraints:      46836
121.19/121.50	c #Conflicts:     174000 | #Constraints:      47837
121.19/121.50	WSVECS04 Frhs2[221]: 6 0 2.33013 shouldn't be
121.19/121.50	WSVECS04 Frhs2[227]: 6 -5.54512 0 shouldn't be
121.19/121.50	WSVECS04 Frhs2[228]: 6 -2.87463 0 shouldn't be
121.19/121.50	WSVECS04 Frhs2[229]: 6 -0.952372 0 shouldn't be
121.19/121.50	WSVECS04 Frhs2[236]: 6 -1.00004 0 shouldn't be
121.19/121.50	WSVECS04 Frhs2[239]: 6 0 1.27039 shouldn't be
121.19/121.50	WSVECS04 Frhs2[242]: 6 0 1.36979 shouldn't be
121.19/121.50	WSVECS04 Frhs2[244]: 6 0 1.00008 shouldn't be
121.19/121.50	WSVECS04 Frhs2[246]: 6 0 0.80963 shouldn't be
121.19/121.50	WSVECS04 Frhs2[250]: 6 0 2.00005 shouldn't be
121.19/121.50	WSVECS04 Frhs2[253]: 6 -1.1421 0 shouldn't be
121.19/121.50	WSVECS04 Frhs2[256]: 6 -2.7453 0 shouldn't be
121.19/121.50	WSVECS04 Frhs2[257]: 6 -4.59879 0 shouldn't be
121.19/121.50	WSVECS04 Frhs2[260]: 6 -0.713133 0 shouldn't be
121.19/121.50	WSVECS04 Frhs2[302]: 6 -1.79864 0 shouldn't be
121.19/121.50	WSVECS04 Frhs2[304]: 6 -3.48502 0 shouldn't be
121.19/121.50	WSVECS04 Frhs2[306]: 6 -2.18059 0 shouldn't be
121.19/121.50	WSVECS04 Frhs2[326]: 6 0 3.2012 shouldn't be
121.19/121.50	WSVECS04 Frhs2[330]: 6 0 1.95315 shouldn't be
121.19/121.50	WSVECS04 Frhs2[342]: 6 0 3.74007 shouldn't be
121.19/121.50	WSVECS04 Frhs2[343]: 6 0 2.9843 shouldn't be
121.19/121.50	WSVECS04 Frhs2[345]: 6 0 1.02938 shouldn't be
121.19/121.50	WSVECS04 Frhs2[346]: 6 0 2.84445 shouldn't be
121.19/121.50	WSVECS04 Frhs2[350]: 6 0 2.04701 shouldn't be
126.47/126.83	c #Conflicts:     175000 | #Constraints:      48837
126.47/126.83	c #Conflicts:     176000 | #Constraints:      49837
126.47/126.83	c #Conflicts:     177000 | #Constraints:      50837
126.47/126.83	c #Conflicts:     178000 | #Constraints:      51837
126.47/126.83	c INPROCESSING
126.47/126.83	c GARBAGE COLLECT
126.47/126.83	c rational objective -184
135.95/136.36	c #Conflicts:     179000 | #Constraints:      32753
135.95/136.36	c #Conflicts:     180000 | #Constraints:      33756
135.95/136.36	c #Conflicts:     181000 | #Constraints:      34760
135.95/136.36	c #Conflicts:     182000 | #Constraints:      35764
135.95/136.36	c #Conflicts:     183000 | #Constraints:      36772
135.95/136.36	c #Conflicts:     184000 | #Constraints:      37775
135.95/136.36	c #Conflicts:     185000 | #Constraints:      38778
135.95/136.36	c #Conflicts:     186000 | #Constraints:      39785
135.95/136.36	c #Conflicts:     187000 | #Constraints:      40786
135.95/136.36	c #Conflicts:     188000 | #Constraints:      41790
135.95/136.36	c #Conflicts:     189000 | #Constraints:      42793
135.95/136.36	c INPROCESSING
135.95/136.36	c GARBAGE COLLECT
135.95/136.36	c rational objective -184
163.69/164.13	c #Conflicts:     190000 | #Constraints:      28605
163.69/164.13	c #Conflicts:     191000 | #Constraints:      29607
163.69/164.13	c #Conflicts:     192000 | #Constraints:      30611
163.69/164.13	c #Conflicts:     193000 | #Constraints:      31616
163.69/164.13	c #Conflicts:     194000 | #Constraints:      32619
163.69/164.13	c #Conflicts:     195000 | #Constraints:      33624
163.69/164.13	c #Conflicts:     196000 | #Constraints:      34630
163.69/164.13	c #Conflicts:     197000 | #Constraints:      35634
163.69/164.13	c #Conflicts:     198000 | #Constraints:      36638
163.69/164.13	c #Conflicts:     199000 | #Constraints:      37644
163.69/164.13	c #Conflicts:     200000 | #Constraints:      38648
163.69/164.13	c #Conflicts:     201000 | #Constraints:      39651
163.69/164.13	c #Conflicts:     202000 | #Constraints:      40654
163.69/164.13	c #Conflicts:     203000 | #Constraints:      41657
163.69/164.13	c #Conflicts:     204000 | #Constraints:      42660
163.69/164.13	c #Conflicts:     205000 | #Constraints:      43666
163.69/164.13	c #Conflicts:     206000 | #Constraints:      44669
163.69/164.13	c #Conflicts:     207000 | #Constraints:      45673
163.69/164.13	c #Conflicts:     208000 | #Constraints:      46678
163.69/164.13	c #Conflicts:     209000 | #Constraints:      47681
163.69/164.13	c #Conflicts:     210000 | #Constraints:      48683
163.69/164.13	c #Conflicts:     211000 | #Constraints:      49687
163.69/164.13	c #Conflicts:     212000 | #Constraints:      50688
163.69/164.13	c #Conflicts:     213000 | #Constraints:      51692
163.69/164.13	c #Conflicts:     214000 | #Constraints:      52695
163.69/164.13	c #Conflicts:     215000 | #Constraints:      53697
163.69/164.13	c #Conflicts:     216000 | #Constraints:      54700
163.69/164.13	c #Conflicts:     217000 | #Constraints:      55704
163.69/164.13	c #Conflicts:     218000 | #Constraints:      56707
163.69/164.13	c #Conflicts:     219000 | #Constraints:      57707
163.69/164.13	c #Conflicts:     220000 | #Constraints:      58710
163.69/164.13	c INPROCESSING
163.69/164.13	c GARBAGE COLLECT
163.69/164.13	c rational objective -184
169.47/169.91	c #Conflicts:     221000 | #Constraints:      36262
169.47/169.91	c #Conflicts:     222000 | #Constraints:      37263
169.47/169.91	c #Conflicts:     223000 | #Constraints:      38264
169.47/169.91	c #Conflicts:     224000 | #Constraints:      39264
169.47/169.91	c #Conflicts:     225000 | #Constraints:      40264
169.47/169.91	WSVECS04 Frhs2[73]: 6 -0.544266 0 shouldn't be
169.47/169.91	WSVECS04 Frhs2[162]: 6 -0.744631 0 shouldn't be
169.47/169.91	WSVECS04 Frhs2[164]: 6 0 1.60648 shouldn't be
169.47/169.91	WSVECS04 Frhs2[172]: 6 0 2.06777 shouldn't be
169.47/169.91	WSVECS04 Frhs2[174]: 6 0 1.6329 shouldn't be
169.47/169.91	WSVECS04 Frhs2[179]: 6 0 2.92244 shouldn't be
169.47/169.91	WSVECS04 Frhs2[181]: 6 0 2.82976 shouldn't be
169.47/169.91	WSVECS04 Frhs2[208]: 6 0 1.32933 shouldn't be
169.47/169.91	WSVECS04 Frhs2[209]: 6 -0.131888 0 shouldn't be
169.47/169.91	WSVECS04 Frhs2[210]: 6 -1.66901 0 shouldn't be
169.47/169.91	WSVECS04 Frhs2[214]: 6 -2.07701 0 shouldn't be
169.47/169.91	WSVECS04 Frhs2[321]: 6 -3.34571 0 shouldn't be
169.47/169.91	WSVECS04 Frhs2[328]: 6 0 0.375588 shouldn't be
169.47/169.91	WSVECS04 Frhs2[334]: 6 -2.24581 0 shouldn't be
174.15/174.66	c #Conflicts:     226000 | #Constraints:      41266
174.15/174.66	c #Conflicts:     227000 | #Constraints:      42266
174.15/174.66	c #Conflicts:     228000 | #Constraints:      43266
174.15/174.66	c #Conflicts:     229000 | #Constraints:      44266
174.15/174.66	c #Conflicts:     230000 | #Constraints:      45266
174.15/174.66	WSVECS04 Frhs2[200]: 6 0 1.51664 shouldn't be
174.15/174.66	WSVECS04 Frhs2[208]: 6 -5.00006 0 shouldn't be
174.15/174.66	WSVECS04 Frhs2[209]: 6 -9.61367 0 shouldn't be
174.15/174.66	WSVECS04 Frhs2[212]: 6 0 2.1302 shouldn't be
175.74/176.27	c #Conflicts:     231000 | #Constraints:      46267
175.74/176.27	c bounds -180 >= -183 @ 172.908
175.74/176.27	WSVECS04 Frhs2[167]: 6 0 1.00003 shouldn't be
175.74/176.27	WSVECS04 Frhs2[180]: 6 0 1.00005 shouldn't be
175.74/176.27	WSVECS04 Frhs2[233]: 6 0 1.00009 shouldn't be
175.74/176.27	WSVECS04 Frhs2[237]: 6 0 1.00007 shouldn't be
175.74/176.27	WSVECS04 Frhs2[247]: 6 0 1.00006 shouldn't be
175.74/176.27	WSVECS04 Frhs2[260]: 6 0 1.00003 shouldn't be
175.74/176.27	WSVECS04 Frhs2[263]: 6 0 1.00003 shouldn't be
175.74/176.27	WSVECS04 Frhs2[264]: 6 0 1.0001 shouldn't be
175.74/176.27	WSVECS04 Frhs2[273]: 6 0 1.00003 shouldn't be
175.74/176.27	WSVECS04 Frhs2[297]: 6 0 1.00009 shouldn't be
175.74/176.27	WSVECS04 Frhs2[315]: 6 0 1.00007 shouldn't be
176.85/177.38	c #Conflicts:     232000 | #Constraints:      47313
176.85/177.38	c INPROCESSING
176.85/177.38	c GARBAGE COLLECT
176.85/177.38	WSVECS04 Frhs2[7]: 6 -2.09295 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[11]: 6 0 2.89635 shouldn't be
176.85/177.38	WSVECS04 Frhs2[12]: 6 -1.04287 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[16]: 6 0 1.87924 shouldn't be
176.85/177.38	WSVECS04 Frhs2[20]: 6 0 3.62018 shouldn't be
176.85/177.38	WSVECS04 Frhs2[23]: 6 -1.64888 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[24]: 6 -0.967049 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[165]: 6 -1.00005 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[166]: 6 0 2.59412 shouldn't be
176.85/177.38	WSVECS04 Frhs2[170]: 6 -0.48799 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[173]: 6 0 1.00003 shouldn't be
176.85/177.38	WSVECS04 Frhs2[174]: 6 -1.00006 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[177]: 6 0 1.00001 shouldn't be
176.85/177.38	WSVECS04 Frhs2[178]: 6 0 4.90343 shouldn't be
176.85/177.38	WSVECS04 Frhs2[181]: 6 -11.2123 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[182]: 6 0 3.83657 shouldn't be
176.85/177.38	WSVECS04 Frhs2[199]: 6 -3.60554 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[232]: 6 -2.33564 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[236]: 6 0 3.56296 shouldn't be
176.85/177.38	WSVECS04 Frhs2[239]: 6 -3.22734 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[240]: 6 0 1.01802 shouldn't be
176.85/177.38	WSVECS04 Frhs2[243]: 6 -1.01798 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[244]: 6 -0.896386 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[253]: 6 0 1.00009 shouldn't be
176.85/177.38	WSVECS04 Frhs2[254]: 6 -1.57506 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[257]: 6 0 4.58958 shouldn't be
176.85/177.38	WSVECS04 Frhs2[258]: 6 0 1.00003 shouldn't be
176.85/177.38	WSVECS04 Frhs2[299]: 6 -0.163638 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[300]: 6 0 1.11652 shouldn't be
176.85/177.38	WSVECS04 Frhs2[303]: 6 -0.17738 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[304]: 6 -0.931567 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[324]: 6 -4.89641 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[327]: 6 0 3.00254 shouldn't be
176.85/177.38	WSVECS04 Frhs2[328]: 6 0 2.89225 shouldn't be
176.85/177.38	WSVECS04 Frhs2[333]: 6 -0.0025729 0 shouldn't be
176.85/177.38	WSVECS04 Frhs2[346]: 6 0 2.9979 shouldn't be
177.04/177.52	c rational objective -183
187.22/187.75	c #Conflicts:     233000 | #Constraints:      30587
187.22/187.75	c #Conflicts:     234000 | #Constraints:      31589
187.22/187.75	c #Conflicts:     235000 | #Constraints:      32592
187.22/187.75	c #Conflicts:     236000 | #Constraints:      33596
187.22/187.75	c #Conflicts:     237000 | #Constraints:      34599
187.22/187.75	c #Conflicts:     238000 | #Constraints:      35602
187.22/187.75	c #Conflicts:     239000 | #Constraints:      36605
187.22/187.75	c #Conflicts:     240000 | #Constraints:      37608
187.22/187.75	c #Conflicts:     241000 | #Constraints:      38611
187.22/187.75	c #Conflicts:     242000 | #Constraints:      39615
187.22/187.75	c #Conflicts:     243000 | #Constraints:      40618
187.22/187.75	c #Conflicts:     244000 | #Constraints:      41620
187.22/187.75	c #Conflicts:     245000 | #Constraints:      42621
187.22/187.75	c INPROCESSING
187.22/187.75	c GARBAGE COLLECT
187.22/187.75	c rational objective -183
188.62/189.17	c #Conflicts:     246000 | #Constraints:      28641
188.62/189.17	WSVECS04 Frhs2[1]: 6 -4.29257 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[11]: 6 0 3.2087 shouldn't be
188.62/189.17	WSVECS04 Frhs2[12]: 6 -2.28121 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[14]: 6 -1.90895 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[20]: 6 0 1.73343 shouldn't be
188.62/189.17	WSVECS04 Frhs2[22]: 6 -0.39867 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[24]: 6 -2.29694 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[37]: 6 0 1.00007 shouldn't be
188.62/189.17	WSVECS04 Frhs2[38]: 6 0 2.13218 shouldn't be
188.62/189.17	WSVECS04 Frhs2[39]: 6 0 1.31162 shouldn't be
188.62/189.17	WSVECS04 Frhs2[41]: 6 -0.943653 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[44]: 6 -3.70745 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[47]: 6 0 1.00009 shouldn't be
188.62/189.17	WSVECS04 Frhs2[48]: 6 0 1.00001 shouldn't be
188.62/189.17	WSVECS04 Frhs2[49]: 6 0 1.00007 shouldn't be
188.62/189.17	WSVECS04 Frhs2[180]: 6 0 4.48116 shouldn't be
188.62/189.17	WSVECS04 Frhs2[243]: 6 -0.629336 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[247]: 6 0 1.0001 shouldn't be
188.62/189.17	WSVECS04 Frhs2[248]: 6 0 1.00006 shouldn't be
188.62/189.17	WSVECS04 Frhs2[253]: 6 -1.17591 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[254]: 6 -0.498752 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[257]: 6 0 1.00007 shouldn't be
188.62/189.17	WSVECS04 Frhs2[258]: 6 0 1.62927 shouldn't be
188.62/189.17	WSVECS04 Frhs2[266]: 6 -2.04133 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[267]: 6 -1.07911 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[269]: 6 0 1.00008 shouldn't be
188.62/189.17	WSVECS04 Frhs2[270]: 6 0 0.303497 shouldn't be
188.62/189.17	WSVECS04 Frhs2[271]: 6 0 1.15491 shouldn't be
188.62/189.17	WSVECS04 Frhs2[274]: 6 -1.05331 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[278]: 6 -0.956392 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[279]: 6 -1.51122 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[281]: 6 0 1.28982 shouldn't be
188.62/189.17	WSVECS04 Frhs2[282]: 6 0 1.00004 shouldn't be
188.62/189.17	WSVECS04 Frhs2[286]: 6 0 2.31586 shouldn't be
188.62/189.17	WSVECS04 Frhs2[289]: 6 0 1.00138 shouldn't be
188.62/189.17	WSVECS04 Frhs2[292]: 6 -1.01107 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[333]: 6 -0.807864 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[334]: 6 -1.37082 0 shouldn't be
188.62/189.17	WSVECS04 Frhs2[342]: 6 0 2.93275 shouldn't be
188.62/189.17	WSVECS04 Frhs2[346]: 6 0 1.66942 shouldn't be
197.19/197.76	c #Conflicts:     247000 | #Constraints:      29642
197.19/197.76	c #Conflicts:     248000 | #Constraints:      30643
197.19/197.76	c #Conflicts:     249000 | #Constraints:      31644
197.19/197.76	c #Conflicts:     250000 | #Constraints:      32644
197.19/197.76	c #Conflicts:     251000 | #Constraints:      33644
197.19/197.76	c #Conflicts:     252000 | #Constraints:      34645
197.19/197.76	c #Conflicts:     253000 | #Constraints:      35645
197.19/197.76	c #Conflicts:     254000 | #Constraints:      36645
197.19/197.76	c #Conflicts:     255000 | #Constraints:      37646
197.19/197.76	WSVECS04 Frhs2[1]: 6 -2.10499 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[2]: 6 0 3.86915 shouldn't be
197.19/197.76	WSVECS04 Frhs2[8]: 6 -3.00005 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[9]: 6 0 1.0001 shouldn't be
197.19/197.76	WSVECS04 Frhs2[12]: 6 -1.92361 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[16]: 6 -0.533564 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[18]: 6 -1.80782 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[25]: 6 0 1.93765 shouldn't be
197.19/197.76	WSVECS04 Frhs2[33]: 6 0 2.01918 shouldn't be
197.19/197.76	WSVECS04 Frhs2[35]: 6 -1.00007 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[37]: 6 0 2.12288 shouldn't be
197.19/197.76	WSVECS04 Frhs2[43]: 6 0 2.78383 shouldn't be
197.19/197.76	WSVECS04 Frhs2[50]: 6 -1.5701 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[58]: 6 0 2.2399 shouldn't be
197.19/197.76	WSVECS04 Frhs2[61]: 6 -7.47367 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[65]: 6 -0.502108 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[74]: 6 0 1.73238 shouldn't be
197.19/197.76	WSVECS04 Frhs2[181]: 6 -0.860206 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[182]: 6 -0.754465 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[184]: 6 0 2.00002 shouldn't be
197.19/197.76	WSVECS04 Frhs2[188]: 6 0 1.79602 shouldn't be
197.19/197.76	WSVECS04 Frhs2[197]: 6 -3.11752 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[199]: 6 0 1.76022 shouldn't be
197.19/197.76	WSVECS04 Frhs2[201]: 6 -1.12974 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[207]: 6 -2.22146 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[214]: 6 0 1.64356 shouldn't be
197.19/197.76	WSVECS04 Frhs2[217]: 6 -0.13718 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[221]: 6 -1.00835 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[250]: 6 0 3.56616 shouldn't be
197.19/197.76	WSVECS04 Frhs2[298]: 6 0 2.0001 shouldn't be
197.19/197.76	WSVECS04 Frhs2[305]: 6 -1.75248 0 shouldn't be
197.19/197.76	WSVECS04 Frhs2[322]: 6 -1.62533 0 shouldn't be
200.48/201.10	c #Conflicts:     256000 | #Constraints:      38646
200.48/201.10	c #Conflicts:     257000 | #Constraints:      39646
200.48/201.10	c #Conflicts:     258000 | #Constraints:      40647
200.48/201.10	WSVECS04 Frhs2[1]: 6 0 1.00009 shouldn't be
200.48/201.10	WSVECS04 Frhs2[2]: 6 0 1.65455 shouldn't be
200.48/201.10	WSVECS04 Frhs2[8]: 6 -5.62677 0 shouldn't be
200.48/201.10	WSVECS04 Frhs2[10]: 6 -2.00003 0 shouldn't be
200.48/201.10	WSVECS04 Frhs2[17]: 6 0 1.66022 shouldn't be
200.48/201.10	WSVECS04 Frhs2[27]: 6 0 4.78327 shouldn't be
200.48/201.10	WSVECS04 Frhs2[33]: 6 -6.65604 0 shouldn't be
200.48/201.10	WSVECS04 Frhs2[35]: 6 -3.99057 0 shouldn't be
200.48/201.10	WSVECS04 Frhs2[42]: 6 0 2.89585 shouldn't be
200.48/201.10	WSVECS04 Frhs2[291]: 6 0 5.34191 shouldn't be
204.47/205.09	c #Conflicts:     259000 | #Constraints:      41648
204.47/205.09	c #Conflicts:     260000 | #Constraints:      42648
204.47/205.09	c #Conflicts:     261000 | #Constraints:      43648
204.47/205.09	WSVECS04 Frhs2[182]: 6 0 2.20256 shouldn't be
204.47/205.09	WSVECS04 Frhs2[183]: 6 0 3.06453 shouldn't be
204.47/205.09	WSVECS04 Frhs2[184]: 6 0 3.49012 shouldn't be
204.47/205.09	WSVECS04 Frhs2[192]: 6 0 3.98085 shouldn't be
204.47/205.09	WSVECS04 Frhs2[195]: 6 -4.48319 0 shouldn't be
204.47/205.09	WSVECS04 Frhs2[198]: 6 0 1.32346 shouldn't be
204.47/205.09	WSVECS04 Frhs2[216]: 6 0 2.00007 shouldn't be
204.47/205.09	WSVECS04 Frhs2[217]: 6 0 2.02308 shouldn't be
204.47/205.09	WSVECS04 Frhs2[225]: 6 0 1.52029 shouldn't be
204.47/205.09	WSVECS04 Frhs2[228]: 6 -0.286092 0 shouldn't be
204.47/205.09	WSVECS04 Frhs2[231]: 6 0 3.1981 shouldn't be
204.47/205.09	WSVECS04 Frhs2[232]: 6 0 2.24244 shouldn't be
204.47/205.09	WSVECS04 Frhs2[240]: 6 0 2.59054 shouldn't be
204.47/205.09	WSVECS04 Frhs2[243]: 6 -1.07937 0 shouldn't be
204.47/205.09	WSVECS04 Frhs2[254]: 6 0 2.28201 shouldn't be
204.47/205.09	WSVECS04 Frhs2[257]: 6 -1.92595 0 shouldn't be
204.47/205.09	WSVECS04 Frhs2[260]: 6 0 2.02713 shouldn't be
204.47/205.10	WSVECS04 Frhs2[333]: 6 -5.17677 0 shouldn't be
204.47/205.10	WSVECS04 Frhs2[348]: 6 -1.56773 0 shouldn't be
204.76/205.37	WSVECS04 Frhs2[336]: 6 0 1.33746 shouldn't be
220.52/221.19	c #Conflicts:     262000 | #Constraints:      44649
220.52/221.19	c #Conflicts:     263000 | #Constraints:      45649
220.52/221.19	c #Conflicts:     264000 | #Constraints:      46649
220.52/221.19	c #Conflicts:     265000 | #Constraints:      47649
220.52/221.19	c #Conflicts:     266000 | #Constraints:      48650
220.52/221.19	c #Conflicts:     267000 | #Constraints:      49650
220.52/221.19	c #Conflicts:     268000 | #Constraints:      50650
220.52/221.19	c #Conflicts:     269000 | #Constraints:      51650
220.52/221.19	c #Conflicts:     270000 | #Constraints:      52651
220.52/221.19	c #Conflicts:     271000 | #Constraints:      53653
220.52/221.19	c #Conflicts:     272000 | #Constraints:      54653
220.52/221.19	c #Conflicts:     273000 | #Constraints:      55653
220.52/221.19	c #Conflicts:     274000 | #Constraints:      56654
220.52/221.19	WSVECS04 Frhs2[78]: 6 0 4.41731 shouldn't be
220.52/221.19	WSVECS04 Frhs2[81]: 6 0 4.78192 shouldn't be
220.52/221.19	WSVECS04 Frhs2[122]: 6 0 1.59096 shouldn't be
220.52/221.19	WSVECS04 Frhs2[125]: 6 -0.63645 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[126]: 6 -0.444659 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[129]: 6 0 1.00005 shouldn't be
220.52/221.19	WSVECS04 Frhs2[134]: 6 0 1.50695 shouldn't be
220.52/221.19	WSVECS04 Frhs2[138]: 6 0 2.01916 shouldn't be
220.52/221.19	WSVECS04 Frhs2[139]: 6 0 1.43286 shouldn't be
220.52/221.19	WSVECS04 Frhs2[144]: 6 0 1.53931 shouldn't be
220.52/221.19	WSVECS04 Frhs2[164]: 6 -2.2717 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[165]: 6 -1.06612 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[168]: 6 0 1.00003 shouldn't be
220.52/221.19	WSVECS04 Frhs2[169]: 6 -0.0596078 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[173]: 6 0 2.00002 shouldn't be
220.52/221.19	WSVECS04 Frhs2[177]: 6 0 1.00007 shouldn't be
220.52/221.19	WSVECS04 Frhs2[180]: 6 -3.00799 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[224]: 6 -2.29857 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[229]: 6 -2.45786 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[234]: 6 -0.163164 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[235]: 6 0 1.50123 shouldn't be
220.52/221.19	WSVECS04 Frhs2[243]: 6 -1.83175 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[274]: 6 -1.3736 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[277]: 6 -0.180186 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[278]: 6 0 1.00005 shouldn't be
220.52/221.19	WSVECS04 Frhs2[282]: 6 0 2.87169 shouldn't be
220.52/221.19	WSVECS04 Frhs2[288]: 6 0 1.00002 shouldn't be
220.52/221.19	WSVECS04 Frhs2[293]: 6 -3.89055 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[296]: 6 0 1.94641 shouldn't be
220.52/221.19	WSVECS04 Frhs2[316]: 6 -0.419379 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[321]: 6 -3.05034 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[323]: 6 0 2.37056 shouldn't be
220.52/221.19	WSVECS04 Frhs2[330]: 6 -0.462708 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[346]: 6 0 1.22142 shouldn't be
220.52/221.19	WSVECS04 Frhs2[348]: 6 -0.0922035 0 shouldn't be
220.52/221.19	WSVECS04 Frhs2[350]: 6 -1.49644 0 shouldn't be
225.90/226.52	c #Conflicts:     275000 | #Constraints:      57655
225.90/226.52	c #Conflicts:     276000 | #Constraints:      58655
225.90/226.52	c #Conflicts:     277000 | #Constraints:      59656
225.90/226.52	c #Conflicts:     278000 | #Constraints:      60656
225.90/226.52	WSVECS04 Frhs2[183]: 6 0 4.53546 shouldn't be
225.90/226.52	WSVECS04 Frhs2[187]: 6 0 3.00002 shouldn't be
225.90/226.52	WSVECS04 Frhs2[195]: 6 -5.75532 0 shouldn't be
225.90/226.52	WSVECS04 Frhs2[196]: 6 -5.15111 0 shouldn't be
225.90/226.52	WSVECS04 Frhs2[235]: 6 0 1.12482 shouldn't be
225.90/226.52	WSVECS04 Frhs2[244]: 6 -4.42211 0 shouldn't be
225.90/226.52	WSVECS04 Frhs2[293]: 6 -6.98454 0 shouldn't be
225.90/226.52	WSVECS04 Frhs2[294]: 6 -1.2539 0 shouldn't be
226.19/226.81	WSVECS04 Frhs2[346]: 6 0 3.98293 shouldn't be
226.40/227.10	WSVECS04 Frhs2[330]: 6 0 8.59351 shouldn't be
230.69/231.34	c #Conflicts:     279000 | #Constraints:      61657
230.69/231.34	c #Conflicts:     280000 | #Constraints:      62657
230.69/231.34	c INPROCESSING
230.69/231.34	c GARBAGE COLLECT
230.69/231.34	c rational objective -183
243.66/244.37	c #Conflicts:     281000 | #Constraints:      38267
243.66/244.37	c #Conflicts:     282000 | #Constraints:      39267
243.66/244.37	c #Conflicts:     283000 | #Constraints:      40268
243.66/244.37	c #Conflicts:     284000 | #Constraints:      41272
243.66/244.37	c #Conflicts:     285000 | #Constraints:      42276
243.66/244.37	c #Conflicts:     286000 | #Constraints:      43280
243.66/244.37	c #Conflicts:     287000 | #Constraints:      44284
243.66/244.37	c #Conflicts:     288000 | #Constraints:      45288
243.66/244.37	c #Conflicts:     289000 | #Constraints:      46294
243.66/244.37	c #Conflicts:     290000 | #Constraints:      47297
243.66/244.37	c #Conflicts:     291000 | #Constraints:      48304
243.66/244.37	c #Conflicts:     292000 | #Constraints:      49310
243.66/244.37	c #Conflicts:     293000 | #Constraints:      50315
243.66/244.37	c #Conflicts:     294000 | #Constraints:      51321
243.66/244.37	c INPROCESSING
243.66/244.37	c GARBAGE COLLECT
243.66/244.37	c rational objective -183
282.37/283.12	c #Conflicts:     295000 | #Constraints:      32842
282.37/283.12	c #Conflicts:     296000 | #Constraints:      33844
282.37/283.12	c #Conflicts:     297000 | #Constraints:      34847
282.37/283.12	c #Conflicts:     298000 | #Constraints:      35851
282.37/283.12	c #Conflicts:     299000 | #Constraints:      36854
282.37/283.12	c #Conflicts:     300000 | #Constraints:      37856
282.37/283.12	c #Conflicts:     301000 | #Constraints:      38858
282.37/283.12	c #Conflicts:     302000 | #Constraints:      39864
282.37/283.12	c #Conflicts:     303000 | #Constraints:      40866
282.37/283.12	c #Conflicts:     304000 | #Constraints:      41872
282.37/283.12	c #Conflicts:     305000 | #Constraints:      42873
282.37/283.12	c #Conflicts:     306000 | #Constraints:      43875
282.37/283.12	c #Conflicts:     307000 | #Constraints:      44878
282.37/283.12	c #Conflicts:     308000 | #Constraints:      45882
282.37/283.12	c #Conflicts:     309000 | #Constraints:      46885
282.37/283.12	c #Conflicts:     310000 | #Constraints:      47888
282.37/283.12	c #Conflicts:     311000 | #Constraints:      48890
282.37/283.12	c #Conflicts:     312000 | #Constraints:      49894
282.37/283.12	c #Conflicts:     313000 | #Constraints:      50899
282.37/283.12	c #Conflicts:     314000 | #Constraints:      51902
282.37/283.12	c #Conflicts:     315000 | #Constraints:      52905
282.37/283.12	c #Conflicts:     316000 | #Constraints:      53908
282.37/283.12	c #Conflicts:     317000 | #Constraints:      54916
282.37/283.12	c #Conflicts:     318000 | #Constraints:      55920
282.37/283.12	c #Conflicts:     319000 | #Constraints:      56924
282.37/283.12	c #Conflicts:     320000 | #Constraints:      57928
282.37/283.12	c #Conflicts:     321000 | #Constraints:      58930
282.37/283.12	c #Conflicts:     322000 | #Constraints:      59933
282.37/283.12	c #Conflicts:     323000 | #Constraints:      60936
282.37/283.12	c #Conflicts:     324000 | #Constraints:      61940
282.37/283.12	c #Conflicts:     325000 | #Constraints:      62945
282.37/283.12	c #Conflicts:     326000 | #Constraints:      63950
282.37/283.12	c #Conflicts:     327000 | #Constraints:      64956
282.37/283.12	c #Conflicts:     328000 | #Constraints:      65960
282.37/283.12	c #Conflicts:     329000 | #Constraints:      66965
282.37/283.12	c #Conflicts:     330000 | #Constraints:      67969
282.37/283.12	c #Conflicts:     331000 | #Constraints:      68974
282.37/283.12	c #Conflicts:     332000 | #Constraints:      69979
282.37/283.12	c #Conflicts:     333000 | #Constraints:      70979
282.37/283.12	c INPROCESSING
282.37/283.12	c GARBAGE COLLECT
282.37/283.12	c rational objective -183
283.97/284.74	c #Conflicts:     334000 | #Constraints:      42726
283.97/284.74	WSVECS04 Frhs2[217]: 6 -2.63022 0 shouldn't be
283.97/284.74	WSVECS04 Frhs2[221]: 6 -1.38384 0 shouldn't be
283.97/284.74	WSVECS04 Frhs2[225]: 6 -0.968963 0 shouldn't be
283.97/284.74	WSVECS04 Frhs2[232]: 6 0 4.07515 shouldn't be
283.97/284.74	WSVECS04 Frhs2[236]: 6 0 0.57757 shouldn't be
283.97/284.74	WSVECS04 Frhs2[240]: 6 0 2.89495 shouldn't be
283.97/284.74	WSVECS04 Frhs2[250]: 6 0 1.48989 shouldn't be
283.97/284.74	WSVECS04 Frhs2[253]: 6 -2.91332 0 shouldn't be
283.97/284.74	WSVECS04 Frhs2[254]: 6 0 1.00002 shouldn't be
283.97/284.74	WSVECS04 Frhs2[257]: 6 0 2.67551 shouldn't be
283.97/284.74	WSVECS04 Frhs2[258]: 6 -1.16236 0 shouldn't be
283.97/284.74	WSVECS04 Frhs2[300]: 6 0 2.17332 shouldn't be
283.97/284.74	WSVECS04 Frhs2[303]: 6 0 2.81152 shouldn't be
283.97/284.74	WSVECS04 Frhs2[304]: 6 -0.618326 0 shouldn't be
283.97/284.74	WSVECS04 Frhs2[324]: 6 -2.78603 0 shouldn't be
283.97/284.74	WSVECS04 Frhs2[333]: 6 0 2.88104 shouldn't be
283.97/284.74	WSVECS04 Frhs2[334]: 6 -0.471766 0 shouldn't be
293.25/294.08	c #Conflicts:     335000 | #Constraints:      43726
293.25/294.08	c #Conflicts:     336000 | #Constraints:      44726
293.25/294.08	c #Conflicts:     337000 | #Constraints:      45727
293.25/294.08	c #Conflicts:     338000 | #Constraints:      46728
293.25/294.08	c #Conflicts:     339000 | #Constraints:      47729
293.25/294.08	c #Conflicts:     340000 | #Constraints:      48729
293.25/294.08	c #Conflicts:     341000 | #Constraints:      49729
293.25/294.08	c #Conflicts:     342000 | #Constraints:      50730
293.25/294.08	WSVECS04 Frhs2[167]: 6 0 2.40999 shouldn't be
293.25/294.08	WSVECS04 Frhs2[174]: 6 0 2.85758 shouldn't be
293.25/294.08	WSVECS04 Frhs2[203]: 6 -7.85569 0 shouldn't be
293.25/294.08	WSVECS04 Frhs2[206]: 6 -7.1049 0 shouldn't be
293.25/294.08	WSVECS04 Frhs2[218]: 6 0 2.61816 shouldn't be
293.25/294.08	WSVECS04 Frhs2[225]: 6 0 2.48513 shouldn't be
293.25/294.08	WSVECS04 Frhs2[233]: 6 0 4.51804 shouldn't be
293.25/294.08	WSVECS04 Frhs2[240]: 6 0 2.20192 shouldn't be
293.25/294.08	WSVECS04 Frhs2[248]: 6 0 1.01365 shouldn't be
293.25/294.08	WSVECS04 Frhs2[263]: 6 0 1.00005 shouldn't be
293.25/294.08	WSVECS04 Frhs2[267]: 6 0 2.00004 shouldn't be
293.25/294.08	WSVECS04 Frhs2[270]: 6 -0.878909 0 shouldn't be
293.25/294.08	WSVECS04 Frhs2[276]: 6 0 2.59921 shouldn't be
293.25/294.08	WSVECS04 Frhs2[300]: 6 0 2.3373 shouldn't be
293.25/294.08	WSVECS04 Frhs2[333]: 6 -2.78619 0 shouldn't be
300.53/301.38	c #Conflicts:     343000 | #Constraints:      51731
300.53/301.38	c #Conflicts:     344000 | #Constraints:      52732
300.53/301.38	c #Conflicts:     345000 | #Constraints:      53732
300.53/301.38	c #Conflicts:     346000 | #Constraints:      54732
300.53/301.38	c #Conflicts:     347000 | #Constraints:      55733
300.53/301.38	WSVECS04 Frhs2[199]: 6 0 3.26278 shouldn't be
300.53/301.38	WSVECS04 Frhs2[200]: 6 -1.27287 0 shouldn't be
300.53/301.38	WSVECS04 Frhs2[201]: 6 0 3.41489 shouldn't be
300.53/301.38	WSVECS04 Frhs2[204]: 6 0 2.00007 shouldn't be
300.53/301.38	WSVECS04 Frhs2[212]: 6 -4.84913 0 shouldn't be
300.53/301.38	WSVECS04 Frhs2[215]: 6 -4.46052 0 shouldn't be
300.53/301.38	WSVECS04 Frhs2[220]: 6 0 1.2548 shouldn't be
300.53/301.38	WSVECS04 Frhs2[231]: 6 -5.20829 0 shouldn't be
300.53/301.38	WSVECS04 Frhs2[235]: 6 -3.86326 0 shouldn't be
300.53/301.38	WSVECS04 Frhs2[246]: 6 0 3.24661 shouldn't be
300.53/301.38	WSVECS04 Frhs2[249]: 6 0 2.66634 shouldn't be
300.53/301.38	WSVECS04 Frhs2[260]: 6 -2.89577 0 shouldn't be
300.53/301.38	WSVECS04 Frhs2[293]: 6 -2.32605 0 shouldn't be
300.53/301.38	WSVECS04 Frhs2[296]: 6 -1.00008 0 shouldn't be
300.53/301.38	WSVECS04 Frhs2[348]: 6 0 2.47362 shouldn't be
301.33/302.14	c #Conflicts:     348000 | #Constraints:      56734
301.33/302.14	c INPROCESSING
301.33/302.14	c GARBAGE COLLECT
301.33/302.14	c rational objective -183
315.00/315.83	c #Conflicts:     349000 | #Constraints:      35715
315.00/315.83	c #Conflicts:     350000 | #Constraints:      36716
315.00/315.83	c #Conflicts:     351000 | #Constraints:      37720
315.00/315.83	c #Conflicts:     352000 | #Constraints:      38724
315.00/315.83	c #Conflicts:     353000 | #Constraints:      39729
315.00/315.83	c #Conflicts:     354000 | #Constraints:      40732
315.00/315.83	c #Conflicts:     355000 | #Constraints:      41735
315.00/315.83	c #Conflicts:     356000 | #Constraints:      42738
315.00/315.83	c #Conflicts:     357000 | #Constraints:      43743
315.00/315.83	c #Conflicts:     358000 | #Constraints:      44747
315.00/315.83	c #Conflicts:     359000 | #Constraints:      45750
315.00/315.83	c #Conflicts:     360000 | #Constraints:      46753
315.00/315.83	c #Conflicts:     361000 | #Constraints:      47756
315.00/315.83	c #Conflicts:     362000 | #Constraints:      48760
315.00/315.83	c #Conflicts:     363000 | #Constraints:      49764
315.00/315.83	c INPROCESSING
315.00/315.83	c GARBAGE COLLECT
315.00/315.83	c rational objective -183
318.89/319.76	c #Conflicts:     364000 | #Constraints:      32979
318.89/319.76	c #Conflicts:     365000 | #Constraints:      33979
318.89/319.76	c #Conflicts:     366000 | #Constraints:      34980
318.89/319.76	WSVECS04 Frhs2[1]: 6 0 2.00007 shouldn't be
318.89/319.76	WSVECS04 Frhs2[8]: 6 -2.8836 0 shouldn't be
318.89/319.76	WSVECS04 Frhs2[9]: 6 -2.99996 0 shouldn't be
318.89/319.76	WSVECS04 Frhs2[18]: 6 0 3.5766 shouldn't be
318.89/319.76	WSVECS04 Frhs2[27]: 6 -1.13864 0 shouldn't be
318.89/319.76	WSVECS04 Frhs2[33]: 6 -2.16155 0 shouldn't be
318.89/319.76	WSVECS04 Frhs2[34]: 6 -3.00007 0 shouldn't be
318.89/319.76	WSVECS04 Frhs2[35]: 6 -8.14366 0 shouldn't be
318.89/319.76	WSVECS04 Frhs2[43]: 6 0 3.1749 shouldn't be
318.89/319.76	WSVECS04 Frhs2[57]: 6 0 1.00003 shouldn't be
318.89/319.76	WSVECS04 Frhs2[58]: 6 0 3.71598 shouldn't be
318.89/319.76	WSVECS04 Frhs2[59]: 6 0 3.3561 shouldn't be
318.89/319.76	WSVECS04 Frhs2[67]: 6 -5.00633 0 shouldn't be
318.89/319.76	WSVECS04 Frhs2[181]: 6 0 3.12537 shouldn't be
318.89/319.76	WSVECS04 Frhs2[182]: 6 0 7.40264 shouldn't be
318.89/319.76	WSVECS04 Frhs2[190]: 6 -5.89003 0 shouldn't be
318.89/319.76	WSVECS04 Frhs2[199]: 6 0 3.00004 shouldn't be
318.89/319.76	WSVECS04 Frhs2[223]: 6 -3.96744 0 shouldn't be
324.68/325.54	c #Conflicts:     367000 | #Constraints:      35981
324.68/325.54	c #Conflicts:     368000 | #Constraints:      36981
324.68/325.54	c #Conflicts:     369000 | #Constraints:      37982
324.68/325.54	c #Conflicts:     370000 | #Constraints:      38983
324.68/325.54	c #Conflicts:     371000 | #Constraints:      39983
324.68/325.54	c #Conflicts:     372000 | #Constraints:      40983
324.68/325.54	WSVECS04 Frhs2[56]: 6 0 0.302096 shouldn't be
324.68/325.54	WSVECS04 Frhs2[58]: 6 0 2.17901 shouldn't be
324.68/325.54	WSVECS04 Frhs2[61]: 6 0 1.55125 shouldn't be
324.68/325.54	WSVECS04 Frhs2[64]: 6 -2.30198 0 shouldn't be
324.68/325.54	WSVECS04 Frhs2[65]: 6 0 2.585 shouldn't be
324.68/325.54	WSVECS04 Frhs2[72]: 6 -0.241417 0 shouldn't be
324.68/325.54	WSVECS04 Frhs2[163]: 6 0 2.71348 shouldn't be
324.68/325.54	WSVECS04 Frhs2[166]: 6 0 1.399 shouldn't be
324.68/325.54	WSVECS04 Frhs2[169]: 6 -2.00002 0 shouldn't be
324.68/325.54	WSVECS04 Frhs2[170]: 6 0 2.37563 shouldn't be
324.68/325.54	WSVECS04 Frhs2[177]: 6 -1.00621 0 shouldn't be
324.68/325.54	WSVECS04 Frhs2[201]: 6 0 2.00002 shouldn't be
324.68/325.54	WSVECS04 Frhs2[204]: 6 -1.13177 0 shouldn't be
324.68/325.54	WSVECS04 Frhs2[205]: 6 0 2.00009 shouldn't be
324.68/325.54	WSVECS04 Frhs2[212]: 6 -2.23334 0 shouldn't be
324.68/325.54	WSVECS04 Frhs2[249]: 6 -3.00819 0 shouldn't be
324.68/325.54	WSVECS04 Frhs2[250]: 6 0 2.02647 shouldn't be
324.68/325.54	WSVECS04 Frhs2[257]: 6 -3.70504 0 shouldn't be
324.68/325.54	WSVECS04 Frhs2[286]: 6 -4.82789 0 shouldn't be
324.68/325.54	WSVECS04 Frhs2[293]: 6 0 3.99384 shouldn't be
324.68/325.54	WSVECS04 Frhs2[303]: 6 -1.2994 0 shouldn't be
342.24/343.14	c #Conflicts:     373000 | #Constraints:      41984
342.24/343.14	c #Conflicts:     374000 | #Constraints:      42984
342.24/343.14	c #Conflicts:     375000 | #Constraints:      43985
342.24/343.14	c #Conflicts:     376000 | #Constraints:      44986
342.24/343.14	c #Conflicts:     377000 | #Constraints:      45987
342.24/343.14	c #Conflicts:     378000 | #Constraints:      46988
342.24/343.14	c #Conflicts:     379000 | #Constraints:      47989
342.24/343.14	c #Conflicts:     380000 | #Constraints:      48990
342.24/343.14	c #Conflicts:     381000 | #Constraints:      49990
342.24/343.14	c #Conflicts:     382000 | #Constraints:      50990
342.24/343.14	c #Conflicts:     383000 | #Constraints:      51990
342.24/343.14	c #Conflicts:     384000 | #Constraints:      52990
342.24/343.14	c #Conflicts:     385000 | #Constraints:      53990
342.24/343.14	c #Conflicts:     386000 | #Constraints:      54991
342.24/343.14	WSVECS04 Frhs2[100]: 6 0 1.27885 shouldn't be
342.24/343.14	WSVECS04 Frhs2[102]: 6 -1.94618 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[104]: 6 -3.42983 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[109]: 6 -0.0934272 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[117]: 6 0 1.13123 shouldn't be
342.24/343.14	WSVECS04 Frhs2[120]: 6 0 1.00002 shouldn't be
342.24/343.14	WSVECS04 Frhs2[142]: 6 -0.239776 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[143]: 6 -1.28115 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[145]: 6 -0.472482 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[150]: 6 -2.75604 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[158]: 6 0 1.00006 shouldn't be
342.24/343.14	WSVECS04 Frhs2[161]: 6 0 0.120448 shouldn't be
342.24/343.14	WSVECS04 Frhs2[162]: 6 0 2.66618 shouldn't be
342.24/343.14	WSVECS04 Frhs2[164]: 6 0 1.00009 shouldn't be
342.24/343.14	WSVECS04 Frhs2[169]: 6 0 3.00002 shouldn't be
342.24/343.14	WSVECS04 Frhs2[177]: 6 -1.15065 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[180]: 6 -3.44325 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[182]: 6 0 0.228209 shouldn't be
342.24/343.14	WSVECS04 Frhs2[187]: 6 0 3.00009 shouldn't be
342.24/343.14	WSVECS04 Frhs2[195]: 6 -0.53009 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[196]: 6 -2.91323 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[198]: 6 -2.5126 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[232]: 6 -2.48692 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[235]: 6 -1.52265 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[249]: 6 0 1.60653 shouldn't be
342.24/343.14	WSVECS04 Frhs2[257]: 6 -2.62233 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[258]: 6 -1.90963 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[260]: 6 -0.145766 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[294]: 6 -0.773594 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[296]: 6 -2.2904 0 shouldn't be
342.24/343.14	WSVECS04 Frhs2[350]: 6 0 2.00003 shouldn't be
365.58/366.58	c #Conflicts:     387000 | #Constraints:      55992
365.58/366.58	c #Conflicts:     388000 | #Constraints:      56992
365.58/366.58	c bounds -180 >= -182 @ 340.121
365.58/366.58	c #Conflicts:     389000 | #Constraints:      58037
365.58/366.58	c #Conflicts:     390000 | #Constraints:      59041
365.58/366.58	c #Conflicts:     391000 | #Constraints:      60044
365.58/366.58	c #Conflicts:     392000 | #Constraints:      61047
365.58/366.58	c #Conflicts:     393000 | #Constraints:      62054
365.58/366.58	c #Conflicts:     394000 | #Constraints:      63062
365.58/366.58	c #Conflicts:     395000 | #Constraints:      64066
365.58/366.58	c #Conflicts:     396000 | #Constraints:      65068
365.58/366.58	c #Conflicts:     397000 | #Constraints:      66072
365.58/366.58	c #Conflicts:     398000 | #Constraints:      67076
365.58/366.58	c #Conflicts:     399000 | #Constraints:      68079
365.58/366.58	c #Conflicts:     400000 | #Constraints:      69084
365.58/366.58	c #Conflicts:     401000 | #Constraints:      70087
365.58/366.58	c #Conflicts:     402000 | #Constraints:      71093
365.58/366.58	c #Conflicts:     403000 | #Constraints:      72097
365.58/366.58	c #Conflicts:     404000 | #Constraints:      73100
365.58/366.58	c #Conflicts:     405000 | #Constraints:      74102
365.58/366.58	c #Conflicts:     406000 | #Constraints:      75105
365.58/366.58	c INPROCESSING
365.58/366.58	c GARBAGE COLLECT
365.58/366.58	c rational objective -182
367.38/368.31	c #Conflicts:     407000 | #Constraints:      44859
367.38/368.31	WSVECS04 Frhs2[58]: 6 0 1.75886 shouldn't be
367.38/368.31	WSVECS04 Frhs2[60]: 6 -1.6012 0 shouldn't be
367.38/368.31	WSVECS04 Frhs2[66]: 6 -2.39078 0 shouldn't be
367.38/368.31	WSVECS04 Frhs2[67]: 6 0 3.93125 shouldn't be
367.38/368.31	WSVECS04 Frhs2[69]: 6 0 2.60126 shouldn't be
367.38/368.31	WSVECS04 Frhs2[200]: 6 -4.4171 0 shouldn't be
367.38/368.31	WSVECS04 Frhs2[208]: 6 0 1.37025 shouldn't be
367.38/368.31	WSVECS04 Frhs2[209]: 6 0 1.00005 shouldn't be
367.38/368.31	WSVECS04 Frhs2[212]: 6 0 1.95147 shouldn't be
367.38/368.31	WSVECS04 Frhs2[216]: 6 0 3.07746 shouldn't be
367.38/368.31	WSVECS04 Frhs2[223]: 6 -1.83528 0 shouldn't be
367.38/368.31	WSVECS04 Frhs2[225]: 6 -0.77805 0 shouldn't be
367.38/368.31	WSVECS04 Frhs2[237]: 6 0 3.00006 shouldn't be
367.38/368.31	WSVECS04 Frhs2[238]: 6 -1.10682 0 shouldn't be
367.38/368.31	WSVECS04 Frhs2[239]: 6 -4.85117 0 shouldn't be
367.38/368.31	WSVECS04 Frhs2[240]: 6 -1.37724 0 shouldn't be
367.38/368.31	WSVECS04 Frhs2[245]: 6 0 1.89594 shouldn't be
367.38/368.31	WSVECS04 Frhs2[308]: 6 -0.639142 0 shouldn't be
367.38/368.31	WSVECS04 Frhs2[309]: 6 -3.15378 0 shouldn't be
367.38/368.31	WSVECS04 Frhs2[312]: 6 -2.39461 0 shouldn't be
367.38/368.31	WSVECS04 Frhs2[314]: 6 0 3.17552 shouldn't be
367.38/368.31	WSVECS04 Frhs2[317]: 6 0 1.00007 shouldn't be
367.38/368.31	WSVECS04 Frhs2[320]: 6 0 0.693158 shouldn't be
367.38/368.31	WSVECS04 Frhs2[322]: 6 -1.00004 0 shouldn't be
367.38/368.31	WSVECS04 Frhs2[324]: 6 0 1.90332 shouldn't be
367.38/368.31	WSVECS04 Frhs2[333]: 6 0 2.7792 shouldn't be
367.38/368.31	WSVECS04 Frhs2[335]: 6 -1.83092 0 shouldn't be
374.57/375.53	c #Conflicts:     408000 | #Constraints:      45860
374.57/375.53	c #Conflicts:     409000 | #Constraints:      46860
374.57/375.53	c #Conflicts:     410000 | #Constraints:      47861
374.57/375.53	c #Conflicts:     411000 | #Constraints:      48861
374.57/375.53	c #Conflicts:     412000 | #Constraints:      49862
374.57/375.53	WSVECS04 Frhs2[23]: 6 0 5.15363 shouldn't be
374.57/375.53	WSVECS04 Frhs2[228]: 6 -5.4926 0 shouldn't be
374.57/375.53	WSVECS04 Frhs2[243]: 6 0 4.15868 shouldn't be
374.57/375.53	WSVECS04 Frhs2[320]: 6 -8.54131 0 shouldn't be
380.95/381.94	c #Conflicts:     413000 | #Constraints:      50863
380.95/381.94	c #Conflicts:     414000 | #Constraints:      51863
380.95/381.94	c #Conflicts:     415000 | #Constraints:      52864
380.95/381.94	c #Conflicts:     416000 | #Constraints:      53864
380.95/381.94	c #Conflicts:     417000 | #Constraints:      54865
380.95/381.94	WSVECS04 Frhs2[13]: 6 -1.51051 0 shouldn't be
380.95/381.94	WSVECS04 Frhs2[16]: 6 0 1.70323 shouldn't be
380.95/381.94	WSVECS04 Frhs2[19]: 6 0 2.04466 shouldn't be
380.95/381.94	WSVECS04 Frhs2[218]: 6 -3.44646 0 shouldn't be
380.95/381.94	WSVECS04 Frhs2[221]: 6 0 1.16435 shouldn't be
380.95/381.94	WSVECS04 Frhs2[233]: 6 0 1.00002 shouldn't be
380.95/381.94	WSVECS04 Frhs2[236]: 6 -0.547271 0 shouldn't be
380.95/381.94	WSVECS04 Frhs2[240]: 6 -1.75288 0 shouldn't be
380.95/381.94	WSVECS04 Frhs2[247]: 6 0 2.00002 shouldn't be
380.95/381.94	WSVECS04 Frhs2[250]: 6 -4.2039 0 shouldn't be
380.95/381.94	WSVECS04 Frhs2[253]: 6 -3.18758 0 shouldn't be
380.95/381.94	WSVECS04 Frhs2[263]: 6 -0.635957 0 shouldn't be
380.95/381.94	WSVECS04 Frhs2[266]: 6 -0.119204 0 shouldn't be
380.95/381.94	WSVECS04 Frhs2[270]: 6 0 0.745426 shouldn't be
380.95/381.94	WSVECS04 Frhs2[271]: 6 0 1.00009 shouldn't be
380.95/381.94	WSVECS04 Frhs2[300]: 6 0 2.43159 shouldn't be
380.95/381.94	WSVECS04 Frhs2[303]: 6 -3.58487 0 shouldn't be
380.95/381.94	WSVECS04 Frhs2[324]: 6 0 1.75687 shouldn't be
380.95/381.94	WSVECS04 Frhs2[328]: 6 -3.39465 0 shouldn't be
380.95/381.94	WSVECS04 Frhs2[333]: 6 -1.31291 0 shouldn't be
380.95/381.94	WSVECS04 Frhs2[334]: 6 -0.696914 0 shouldn't be
387.54/388.56	c #Conflicts:     418000 | #Constraints:      55866
387.54/388.56	c #Conflicts:     419000 | #Constraints:      56866
387.54/388.56	c #Conflicts:     420000 | #Constraints:      57866
387.54/388.56	c #Conflicts:     421000 | #Constraints:      58866
387.54/388.56	c #Conflicts:     422000 | #Constraints:      59867
387.54/388.56	c INPROCESSING
387.54/388.56	c GARBAGE COLLECT
387.54/388.56	WSVECS04 Frhs2[80]: 6 -3.35523 0 shouldn't be
387.54/388.56	WSVECS04 Frhs2[87]: 6 -0.646959 0 shouldn't be
387.54/388.56	WSVECS04 Frhs2[88]: 6 0 1.18184 shouldn't be
387.54/388.56	WSVECS04 Frhs2[91]: 6 -3.31997 0 shouldn't be
387.54/388.56	WSVECS04 Frhs2[93]: 6 0 1.00004 shouldn't be
387.54/388.56	WSVECS04 Frhs2[94]: 6 0 2.45624 shouldn't be
387.54/388.56	WSVECS04 Frhs2[187]: 6 0 2.17759 shouldn't be
387.54/388.56	WSVECS04 Frhs2[188]: 6 -2.22133 0 shouldn't be
387.54/388.56	WSVECS04 Frhs2[191]: 6 0 1.00008 shouldn't be
387.54/388.56	WSVECS04 Frhs2[193]: 6 -1.19472 0 shouldn't be
387.54/388.56	WSVECS04 Frhs2[197]: 6 0 1.00005 shouldn't be
387.54/388.56	WSVECS04 Frhs2[279]: 6 -9.43602 0 shouldn't be
387.54/388.56	WSVECS04 Frhs2[289]: 6 0 1.26136 shouldn't be
387.54/388.56	WSVECS04 Frhs2[291]: 6 -3.907 0 shouldn't be
387.54/388.56	WSVECS04 Frhs2[292]: 6 -1.56717 0 shouldn't be
387.54/388.56	WSVECS04 Frhs2[295]: 6 0 1.53264 shouldn't be
387.54/388.56	WSVECS04 Frhs2[299]: 6 -3.25733 0 shouldn't be
387.54/388.56	WSVECS04 Frhs2[302]: 6 0 1.26445 shouldn't be
387.54/388.56	WSVECS04 Frhs2[315]: 6 -7.52448 0 shouldn't be
387.54/388.56	WSVECS04 Frhs2[325]: 6 -0.200555 0 shouldn't be
387.54/388.56	WSVECS04 Frhs2[329]: 6 0 1.52195 shouldn't be
387.54/388.56	WSVECS04 Frhs2[337]: 6 0 1.00009 shouldn't be
387.54/388.56	WSVECS04 Frhs2[344]: 6 -2.6581 0 shouldn't be
387.64/388.64	c rational objective -182
441.52/442.62	c #Conflicts:     423000 | #Constraints:      37102
441.52/442.62	c #Conflicts:     424000 | #Constraints:      38104
441.52/442.62	c #Conflicts:     425000 | #Constraints:      39108
441.52/442.62	c #Conflicts:     426000 | #Constraints:      40112
441.52/442.62	c #Conflicts:     427000 | #Constraints:      41117
441.52/442.62	c #Conflicts:     428000 | #Constraints:      42120
441.52/442.62	c #Conflicts:     429000 | #Constraints:      43124
441.52/442.62	c #Conflicts:     430000 | #Constraints:      44126
441.52/442.62	c #Conflicts:     431000 | #Constraints:      45129
441.52/442.62	c #Conflicts:     432000 | #Constraints:      46131
441.52/442.62	c #Conflicts:     433000 | #Constraints:      47138
441.52/442.62	c #Conflicts:     434000 | #Constraints:      48143
441.52/442.62	c #Conflicts:     435000 | #Constraints:      49147
441.52/442.62	c #Conflicts:     436000 | #Constraints:      50151
441.52/442.62	c #Conflicts:     437000 | #Constraints:      51156
441.52/442.62	c #Conflicts:     438000 | #Constraints:      52161
441.52/442.62	c #Conflicts:     439000 | #Constraints:      53167
441.52/442.62	c #Conflicts:     440000 | #Constraints:      54172
441.52/442.62	c #Conflicts:     441000 | #Constraints:      55177
441.52/442.62	c #Conflicts:     442000 | #Constraints:      56182
441.52/442.62	c #Conflicts:     443000 | #Constraints:      57186
441.52/442.62	c #Conflicts:     444000 | #Constraints:      58187
441.52/442.62	c #Conflicts:     445000 | #Constraints:      59191
441.52/442.62	c #Conflicts:     446000 | #Constraints:      60198
441.52/442.62	c #Conflicts:     447000 | #Constraints:      61200
441.52/442.62	c #Conflicts:     448000 | #Constraints:      62203
441.52/442.62	c #Conflicts:     449000 | #Constraints:      63205
441.52/442.62	c #Conflicts:     450000 | #Constraints:      64209
441.52/442.62	c #Conflicts:     451000 | #Constraints:      65212
441.52/442.62	c #Conflicts:     452000 | #Constraints:      66216
441.52/442.62	c #Conflicts:     453000 | #Constraints:      67220
441.52/442.62	c #Conflicts:     454000 | #Constraints:      68223
441.52/442.62	c #Conflicts:     455000 | #Constraints:      69226
441.52/442.62	c #Conflicts:     456000 | #Constraints:      70229
441.52/442.62	c #Conflicts:     457000 | #Constraints:      71231
441.52/442.62	c #Conflicts:     458000 | #Constraints:      72235
441.52/442.62	c #Conflicts:     459000 | #Constraints:      73238
441.52/442.62	c #Conflicts:     460000 | #Constraints:      74244
441.52/442.62	c #Conflicts:     461000 | #Constraints:      75250
441.52/442.62	c #Conflicts:     462000 | #Constraints:      76253
441.52/442.62	c #Conflicts:     463000 | #Constraints:      77257
441.52/442.62	c #Conflicts:     464000 | #Constraints:      78260
441.52/442.62	c #Conflicts:     465000 | #Constraints:      79262
441.52/442.62	c #Conflicts:     466000 | #Constraints:      80266
441.52/442.62	c #Conflicts:     467000 | #Constraints:      81271
441.52/442.62	c #Conflicts:     468000 | #Constraints:      82276
441.52/442.62	c INPROCESSING
441.52/442.62	c GARBAGE COLLECT
441.52/442.62	c rational objective -182
443.71/444.84	c #Conflicts:     469000 | #Constraints:      48204
443.71/444.84	c #Conflicts:     470000 | #Constraints:      49204
443.71/444.84	WSVECS04 Frhs2[1]: 6 -13.0072 0 shouldn't be
443.71/444.84	WSVECS04 Frhs2[2]: 6 0 5.52213 shouldn't be
443.71/444.84	WSVECS04 Frhs2[8]: 6 0 4.56444 shouldn't be
443.71/444.84	WSVECS04 Frhs2[10]: 6 0 1.90672 shouldn't be
443.71/444.84	WSVECS04 Frhs2[22]: 6 -10.3423 0 shouldn't be
443.71/444.84	WSVECS04 Frhs2[27]: 6 -0.771182 0 shouldn't be
443.71/444.84	WSVECS04 Frhs2[33]: 6 -4.81032 0 shouldn't be
443.71/444.84	WSVECS04 Frhs2[35]: 6 -3.4165 0 shouldn't be
443.71/444.84	WSVECS04 Frhs2[57]: 6 0 6.77116 shouldn't be
443.71/444.84	WSVECS04 Frhs2[59]: 6 0 1.00006 shouldn't be
443.71/444.84	WSVECS04 Frhs2[71]: 6 -4.52052 0 shouldn't be
443.71/444.84	WSVECS04 Frhs2[182]: 6 0 2.47447 shouldn't be
443.71/444.84	WSVECS04 Frhs2[194]: 6 -3.41497 0 shouldn't be
443.71/444.84	WSVECS04 Frhs2[227]: 6 -2.55996 0 shouldn't be
450.00/451.15	c #Conflicts:     471000 | #Constraints:      50205
450.00/451.15	c #Conflicts:     472000 | #Constraints:      51205
450.00/451.15	c #Conflicts:     473000 | #Constraints:      52205
450.00/451.15	c #Conflicts:     474000 | #Constraints:      53206
450.00/451.15	WSVECS04 Frhs2[103]: 6 0 1.91242 shouldn't be
450.00/451.15	WSVECS04 Frhs2[104]: 6 0 2.32806 shouldn't be
450.00/451.15	WSVECS04 Frhs2[113]: 6 0 0.886152 shouldn't be
450.00/451.15	WSVECS04 Frhs2[114]: 6 0 1.306 shouldn't be
450.00/451.15	WSVECS04 Frhs2[117]: 6 0 2.00007 shouldn't be
450.00/451.15	WSVECS04 Frhs2[119]: 6 -2.62605 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[162]: 6 0 1.00007 shouldn't be
450.00/451.15	WSVECS04 Frhs2[163]: 6 -2.79599 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[164]: 6 -1.39075 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[165]: 6 0 1.00007 shouldn't be
450.00/451.15	WSVECS04 Frhs2[174]: 6 -0.20916 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[179]: 6 0 2.64149 shouldn't be
450.00/451.15	WSVECS04 Frhs2[180]: 6 0 3.35127 shouldn't be
450.00/451.15	WSVECS04 Frhs2[181]: 6 -2.99395 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[182]: 6 -1.36664 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[183]: 6 0 3.00005 shouldn't be
450.00/451.15	WSVECS04 Frhs2[191]: 6 -1.5933 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[192]: 6 -1.00005 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[195]: 6 -0.730144 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[197]: 6 0 1.2209 shouldn't be
450.00/451.15	WSVECS04 Frhs2[198]: 6 0 2.00008 shouldn't be
450.00/451.15	WSVECS04 Frhs2[199]: 6 0 1.00003 shouldn't be
450.00/451.15	WSVECS04 Frhs2[200]: 6 -1.15217 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[209]: 6 0 1.41275 shouldn't be
450.00/451.15	WSVECS04 Frhs2[212]: 6 0 2.37754 shouldn't be
450.00/451.15	WSVECS04 Frhs2[216]: 6 -0.512622 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[224]: 6 0 1.00002 shouldn't be
450.00/451.15	WSVECS04 Frhs2[225]: 6 0 0.354338 shouldn't be
450.00/451.15	WSVECS04 Frhs2[228]: 6 0 1.61961 shouldn't be
450.00/451.15	WSVECS04 Frhs2[230]: 6 -0.413625 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[240]: 6 -2.2211 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[245]: 6 0 1.00006 shouldn't be
450.00/451.15	WSVECS04 Frhs2[324]: 6 0 1.65601 shouldn't be
450.00/451.15	WSVECS04 Frhs2[327]: 6 0 1.21675 shouldn't be
450.00/451.15	WSVECS04 Frhs2[330]: 6 -1.54398 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[333]: 6 0 2.96442 shouldn't be
450.00/451.15	WSVECS04 Frhs2[335]: 6 -1.87213 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[336]: 6 -2.12659 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[347]: 6 -2.78268 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[348]: 6 -2.45204 0 shouldn't be
450.00/451.15	WSVECS04 Frhs2[351]: 6 0 1.79275 shouldn't be
457.88/459.05	c #Conflicts:     475000 | #Constraints:      54206
457.88/459.05	c #Conflicts:     476000 | #Constraints:      55206
457.88/459.05	c #Conflicts:     477000 | #Constraints:      56207
457.88/459.05	c #Conflicts:     478000 | #Constraints:      57207
457.88/459.05	c #Conflicts:     479000 | #Constraints:      58207
457.88/459.05	c #Conflicts:     480000 | #Constraints:      59208
457.88/459.05	WSVECS04 Frhs2[164]: 6 0 2.79925 shouldn't be
457.88/459.05	WSVECS04 Frhs2[165]: 6 -0.792913 0 shouldn't be
457.88/459.05	WSVECS04 Frhs2[166]: 6 0 2.2326 shouldn't be
457.88/459.05	WSVECS04 Frhs2[169]: 6 -2.70073 0 shouldn't be
457.88/459.05	WSVECS04 Frhs2[171]: 6 0 0.726119 shouldn't be
457.88/459.05	WSVECS04 Frhs2[172]: 6 0 2.0412 shouldn't be
457.88/459.05	WSVECS04 Frhs2[177]: 6 0 1.37751 shouldn't be
457.88/459.05	WSVECS04 Frhs2[216]: 6 -0.617499 0 shouldn't be
457.88/459.05	WSVECS04 Frhs2[217]: 6 0 1.00009 shouldn't be
457.88/459.05	WSVECS04 Frhs2[220]: 6 -3.09114 0 shouldn't be
457.88/459.05	WSVECS04 Frhs2[222]: 6 0 2.41132 shouldn't be
457.88/459.05	WSVECS04 Frhs2[223]: 6 0 3.00002 shouldn't be
457.88/459.05	WSVECS04 Frhs2[228]: 6 0 5.01204 shouldn't be
457.88/459.05	WSVECS04 Frhs2[232]: 6 -3.7807 0 shouldn't be
457.88/459.05	WSVECS04 Frhs2[237]: 6 -0.57642 0 shouldn't be
457.88/459.05	WSVECS04 Frhs2[243]: 6 -17.8452 0 shouldn't be
457.88/459.05	WSVECS04 Frhs2[249]: 6 -1.92895 0 shouldn't be
457.88/459.05	WSVECS04 Frhs2[251]: 6 0 0.39896 shouldn't be
457.88/459.05	WSVECS04 Frhs2[252]: 6 0 3.31636 shouldn't be
457.88/459.05	WSVECS04 Frhs2[287]: 6 -3.22736 0 shouldn't be
457.88/459.05	WSVECS04 Frhs2[288]: 6 -3.52921 0 shouldn't be
457.88/459.05	WSVECS04 Frhs2[293]: 6 -0.775784 0 shouldn't be
457.88/459.05	WSVECS04 Frhs2[307]: 6 0 1.68969 shouldn't be
460.98/462.18	c #Conflicts:     481000 | #Constraints:      60208
460.98/462.18	c #Conflicts:     482000 | #Constraints:      61208
460.98/462.18	WSVECS04 Frhs2[56]: 6 -0.922215 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[60]: 6 0 1.52048 shouldn't be
460.98/462.18	WSVECS04 Frhs2[65]: 6 -3.73437 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[74]: 6 0 1.47999 shouldn't be
460.98/462.18	WSVECS04 Frhs2[124]: 6 -0.779441 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[126]: 6 0 1.00006 shouldn't be
460.98/462.18	WSVECS04 Frhs2[128]: 6 0 1.27458 shouldn't be
460.98/462.18	WSVECS04 Frhs2[134]: 6 -1.28256 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[135]: 6 -1.45772 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[137]: 6 0 1.00003 shouldn't be
460.98/462.18	WSVECS04 Frhs2[162]: 6 -0.275403 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[163]: 6 0 1.00006 shouldn't be
460.98/462.18	WSVECS04 Frhs2[167]: 6 -1.11904 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[168]: 6 0 1.00009 shouldn't be
460.98/462.18	WSVECS04 Frhs2[170]: 6 0 1.00005 shouldn't be
460.98/462.18	WSVECS04 Frhs2[173]: 6 0 3.27749 shouldn't be
460.98/462.18	WSVECS04 Frhs2[181]: 6 -9.42635 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[185]: 6 0 0.085861 shouldn't be
460.98/462.18	WSVECS04 Frhs2[186]: 6 -0.642133 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[191]: 6 -0.0348755 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[192]: 6 -0.0891066 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[195]: 6 -15.1608 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[202]: 6 -2.81109 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[205]: 6 0 1.00009 shouldn't be
460.98/462.18	WSVECS04 Frhs2[211]: 6 -1.94848 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[212]: 6 0 5.54042 shouldn't be
460.98/462.18	WSVECS04 Frhs2[233]: 6 0 1.49292 shouldn't be
460.98/462.18	WSVECS04 Frhs2[236]: 6 -0.344748 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[242]: 6 0 1.00009 shouldn't be
460.98/462.18	WSVECS04 Frhs2[269]: 6 0 2.53871 shouldn't be
460.98/462.18	WSVECS04 Frhs2[275]: 6 0 2.01066 shouldn't be
460.98/462.18	WSVECS04 Frhs2[278]: 6 0 0.111794 shouldn't be
460.98/462.18	WSVECS04 Frhs2[279]: 6 0 1.00001 shouldn't be
460.98/462.18	WSVECS04 Frhs2[281]: 6 -0.416225 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[284]: 6 -0.381292 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[300]: 6 0 1.80546 shouldn't be
460.98/462.18	WSVECS04 Frhs2[324]: 6 0 1.76999 shouldn't be
460.98/462.18	WSVECS04 Frhs2[332]: 6 -0.500207 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[335]: 6 -1.60595 0 shouldn't be
460.98/462.18	WSVECS04 Frhs2[344]: 6 0 1.00002 shouldn't be
466.76/467.96	c #Conflicts:     483000 | #Constraints:      62209
466.76/467.96	c #Conflicts:     484000 | #Constraints:      63209
466.76/467.96	c #Conflicts:     485000 | #Constraints:      64209
466.76/467.96	c #Conflicts:     486000 | #Constraints:      65210
466.76/467.96	c INPROCESSING
466.76/467.96	c GARBAGE COLLECT
466.76/467.96	WSVECS04 Frhs2[54]: 6 0 2.85747 shouldn't be
466.76/467.96	WSVECS04 Frhs2[57]: 6 -1.40512 0 shouldn't be
466.76/467.96	WSVECS04 Frhs2[62]: 6 0 1.00006 shouldn't be
466.76/467.96	WSVECS04 Frhs2[65]: 6 -1.35994 0 shouldn't be
466.76/467.96	WSVECS04 Frhs2[71]: 6 -1.52703 0 shouldn't be
466.76/467.96	WSVECS04 Frhs2[74]: 6 -1.77303 0 shouldn't be
466.76/467.96	WSVECS04 Frhs2[123]: 6 -2.23664 0 shouldn't be
466.76/467.96	WSVECS04 Frhs2[128]: 6 0 1.27673 shouldn't be
466.76/467.96	WSVECS04 Frhs2[131]: 6 -0.378179 0 shouldn't be
466.76/467.96	WSVECS04 Frhs2[140]: 6 -4.64481 0 shouldn't be
466.76/467.96	WSVECS04 Frhs2[185]: 6 -3.9068 0 shouldn't be
466.76/467.96	WSVECS04 Frhs2[194]: 6 0 1.75609 shouldn't be
466.76/467.96	WSVECS04 Frhs2[197]: 6 0 1.00004 shouldn't be
466.76/467.96	WSVECS04 Frhs2[262]: 6 0 1.00008 shouldn't be
466.76/467.96	WSVECS04 Frhs2[263]: 6 -5.7302 0 shouldn't be
466.76/467.96	WSVECS04 Frhs2[272]: 6 -0.360298 0 shouldn't be
466.76/467.96	WSVECS04 Frhs2[292]: 6 -6.52388 0 shouldn't be
466.76/467.96	WSVECS04 Frhs2[295]: 6 -4.72794 0 shouldn't be
466.76/467.96	WSVECS04 Frhs2[302]: 6 0 2.56737 shouldn't be
466.97/468.12	c rational objective -182
468.35/469.59	c #Conflicts:     487000 | #Constraints:      39885
468.35/469.59	WSVECS04 Frhs2[203]: 6 -4.57871 0 shouldn't be
468.35/469.59	WSVECS04 Frhs2[207]: 6 0 2.21206 shouldn't be
468.35/469.59	WSVECS04 Frhs2[238]: 6 0 1.00007 shouldn't be
468.35/469.59	WSVECS04 Frhs2[248]: 6 0 4.12147 shouldn't be
468.35/469.59	WSVECS04 Frhs2[252]: 6 -1.00002 0 shouldn't be
468.35/469.59	WSVECS04 Frhs2[277]: 6 -5.76241 0 shouldn't be
468.35/469.59	WSVECS04 Frhs2[278]: 6 -1.82061 0 shouldn't be
468.35/469.59	WSVECS04 Frhs2[281]: 6 0 3.36917 shouldn't be
468.35/469.59	WSVECS04 Frhs2[282]: 6 0 1.00004 shouldn't be
468.35/469.59	WSVECS04 Frhs2[284]: 6 0 1.25194 shouldn't be
468.35/469.59	WSVECS04 Frhs2[316]: 6 0 1.68775 shouldn't be
468.35/469.59	WSVECS04 Frhs2[320]: 6 -0.566868 0 shouldn't be
468.35/469.59	WSVECS04 Frhs2[322]: 6 -1.67836 0 shouldn't be
474.14/475.33	c #Conflicts:     488000 | #Constraints:      40886
474.14/475.33	c #Conflicts:     489000 | #Constraints:      41887
474.14/475.33	c #Conflicts:     490000 | #Constraints:      42887
474.14/475.33	c #Conflicts:     491000 | #Constraints:      43887
474.14/475.33	c #Conflicts:     492000 | #Constraints:      44887
474.14/475.33	WSVECS04 Frhs2[177]: 6 -12.3191 0 shouldn't be
474.14/475.33	WSVECS04 Frhs2[182]: 6 -9.5326 0 shouldn't be
474.14/475.33	WSVECS04 Frhs2[200]: 6 -6.42165 0 shouldn't be
474.14/475.33	WSVECS04 Frhs2[208]: 6 0 0.489619 shouldn't be
474.14/475.33	WSVECS04 Frhs2[214]: 6 -5.42048 0 shouldn't be
474.14/475.33	WSVECS04 Frhs2[239]: 6 -6.06922 0 shouldn't be
474.14/475.33	WSVECS04 Frhs2[245]: 6 0 2.61526 shouldn't be
474.14/475.33	WSVECS04 Frhs2[329]: 6 -5.3473 0 shouldn't be
479.03/480.29	c #Conflicts:     493000 | #Constraints:      45887
479.03/480.29	c #Conflicts:     494000 | #Constraints:      46887
479.03/480.29	c #Conflicts:     495000 | #Constraints:      47888
479.03/480.29	c #Conflicts:     496000 | #Constraints:      48888
479.03/480.29	WSVECS04 Frhs2[32]: 6 0 0.889024 shouldn't be
479.03/480.29	WSVECS04 Frhs2[36]: 6 0 1.55742 shouldn't be
479.03/480.29	WSVECS04 Frhs2[38]: 6 0 2.72728 shouldn't be
479.03/480.29	WSVECS04 Frhs2[40]: 6 -5.26281 0 shouldn't be
479.03/480.29	WSVECS04 Frhs2[44]: 6 -1.46209 0 shouldn't be
479.03/480.29	WSVECS04 Frhs2[45]: 6 -1.24899 0 shouldn't be
479.03/480.29	WSVECS04 Frhs2[48]: 6 -1.60181 0 shouldn't be
479.03/480.29	WSVECS04 Frhs2[165]: 6 0 3.00006 shouldn't be
479.03/480.29	WSVECS04 Frhs2[167]: 6 0 2.65167 shouldn't be
479.03/480.29	WSVECS04 Frhs2[169]: 6 -1.79772 0 shouldn't be
479.03/480.29	WSVECS04 Frhs2[173]: 6 -1.16259 0 shouldn't be
479.03/480.29	WSVECS04 Frhs2[174]: 6 -3.45885 0 shouldn't be
479.03/480.29	WSVECS04 Frhs2[177]: 6 -5.26465 0 shouldn't be
479.03/480.29	WSVECS04 Frhs2[240]: 6 -6.5574 0 shouldn't be
479.03/480.29	WSVECS04 Frhs2[267]: 6 -6.15121 0 shouldn't be
479.03/480.29	WSVECS04 Frhs2[290]: 6 0 0.622835 shouldn't be
479.03/480.29	WSVECS04 Frhs2[324]: 6 0 3.75118 shouldn't be
479.03/480.29	WSVECS04 Frhs2[333]: 6 0 4.16765 shouldn't be
490.70/491.95	c #Conflicts:     497000 | #Constraints:      49889
490.70/491.95	c #Conflicts:     498000 | #Constraints:      50890
490.70/491.95	c #Conflicts:     499000 | #Constraints:      51890
490.70/491.95	c #Conflicts:     500000 | #Constraints:      52891
490.70/491.95	c #Conflicts:     501000 | #Constraints:      53892
490.70/491.95	c #Conflicts:     502000 | #Constraints:      54893
490.70/491.95	c #Conflicts:     503000 | #Constraints:      55893
490.70/491.95	c #Conflicts:     504000 | #Constraints:      56894
490.70/491.95	c INPROCESSING
490.70/491.95	c GARBAGE COLLECT
490.70/491.95	c rational objective -182
555.26/556.65	c #Conflicts:     505000 | #Constraints:      39513
555.26/556.65	c #Conflicts:     506000 | #Constraints:      40515
555.26/556.65	c #Conflicts:     507000 | #Constraints:      41517
555.26/556.65	c #Conflicts:     508000 | #Constraints:      42520
555.26/556.65	c #Conflicts:     509000 | #Constraints:      43524
555.26/556.65	c #Conflicts:     510000 | #Constraints:      44530
555.26/556.65	c #Conflicts:     511000 | #Constraints:      45538
555.26/556.65	c #Conflicts:     512000 | #Constraints:      46543
555.26/556.65	c #Conflicts:     513000 | #Constraints:      47545
555.26/556.65	c #Conflicts:     514000 | #Constraints:      48546
555.26/556.65	c #Conflicts:     515000 | #Constraints:      49548
555.26/556.65	c #Conflicts:     516000 | #Constraints:      50553
555.26/556.65	c #Conflicts:     517000 | #Constraints:      51556
555.26/556.65	c #Conflicts:     518000 | #Constraints:      52560
555.26/556.65	c #Conflicts:     519000 | #Constraints:      53564
555.26/556.65	c #Conflicts:     520000 | #Constraints:      54569
555.26/556.65	c #Conflicts:     521000 | #Constraints:      55571
555.26/556.65	c #Conflicts:     522000 | #Constraints:      56574
555.26/556.65	c #Conflicts:     523000 | #Constraints:      57577
555.26/556.65	c #Conflicts:     524000 | #Constraints:      58579
555.26/556.65	c #Conflicts:     525000 | #Constraints:      59582
555.26/556.65	c #Conflicts:     526000 | #Constraints:      60585
555.26/556.65	c #Conflicts:     527000 | #Constraints:      61587
555.26/556.65	c #Conflicts:     528000 | #Constraints:      62590
555.26/556.65	c #Conflicts:     529000 | #Constraints:      63591
555.26/556.65	c #Conflicts:     530000 | #Constraints:      64592
555.26/556.65	c #Conflicts:     531000 | #Constraints:      65595
555.26/556.65	c #Conflicts:     532000 | #Constraints:      66598
555.26/556.65	c #Conflicts:     533000 | #Constraints:      67599
555.26/556.65	c #Conflicts:     534000 | #Constraints:      68600
555.26/556.65	c #Conflicts:     535000 | #Constraints:      69603
555.26/556.65	c #Conflicts:     536000 | #Constraints:      70608
555.26/556.65	c #Conflicts:     537000 | #Constraints:      71611
555.26/556.65	c #Conflicts:     538000 | #Constraints:      72614
555.26/556.65	c #Conflicts:     539000 | #Constraints:      73617
555.26/556.65	c #Conflicts:     540000 | #Constraints:      74619
555.26/556.65	c #Conflicts:     541000 | #Constraints:      75621
555.26/556.65	c #Conflicts:     542000 | #Constraints:      76623
555.26/556.65	c #Conflicts:     543000 | #Constraints:      77627
555.26/556.65	c #Conflicts:     544000 | #Constraints:      78629
555.26/556.65	c #Conflicts:     545000 | #Constraints:      79632
555.26/556.65	c #Conflicts:     546000 | #Constraints:      80635
555.26/556.65	c #Conflicts:     547000 | #Constraints:      81637
555.26/556.65	c #Conflicts:     548000 | #Constraints:      82642
555.26/556.65	c #Conflicts:     549000 | #Constraints:      83645
555.26/556.65	c #Conflicts:     550000 | #Constraints:      84647
555.26/556.65	c #Conflicts:     551000 | #Constraints:      85649
555.26/556.65	c #Conflicts:     552000 | #Constraints:      86655
555.26/556.65	c #Conflicts:     553000 | #Constraints:      87658
555.26/556.65	c #Conflicts:     554000 | #Constraints:      88662
555.26/556.65	c INPROCESSING
555.26/556.65	c GARBAGE COLLECT
555.26/556.65	c rational objective -182
557.26/558.68	c #Conflicts:     555000 | #Constraints:      51491
557.26/558.68	WSVECS04 Frhs2[7]: 6 0 1.72397 shouldn't be
557.26/558.68	WSVECS04 Frhs2[9]: 6 -0.903966 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[12]: 6 -3.34196 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[16]: 6 0 1.00004 shouldn't be
557.26/558.68	WSVECS04 Frhs2[22]: 6 0 2.0678 shouldn't be
557.26/558.68	WSVECS04 Frhs2[124]: 6 0 1.00005 shouldn't be
557.26/558.68	WSVECS04 Frhs2[127]: 6 0 1.00003 shouldn't be
557.26/558.68	WSVECS04 Frhs2[128]: 6 -0.684871 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[131]: 6 -1.00009 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[134]: 6 -1.08625 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[137]: 6 -1.09955 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[138]: 6 0 1.00003 shouldn't be
557.26/558.68	WSVECS04 Frhs2[140]: 6 -1.53159 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[163]: 6 -0.0530353 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[165]: 6 -3.55248 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[167]: 6 0 1.00003 shouldn't be
557.26/558.68	WSVECS04 Frhs2[170]: 6 0 2.27475 shouldn't be
557.26/558.68	WSVECS04 Frhs2[173]: 6 0 1.00002 shouldn't be
557.26/558.68	WSVECS04 Frhs2[176]: 6 0 1.00004 shouldn't be
557.26/558.68	WSVECS04 Frhs2[177]: 6 -0.332258 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[179]: 6 0 3.01339 shouldn't be
557.26/558.68	WSVECS04 Frhs2[200]: 6 0 1.00001 shouldn't be
557.26/558.68	WSVECS04 Frhs2[201]: 6 0 2.06069 shouldn't be
557.26/558.68	WSVECS04 Frhs2[208]: 6 -1.91712 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[214]: 6 -0.0739504 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[232]: 6 0 2.85573 shouldn't be
557.26/558.68	WSVECS04 Frhs2[236]: 6 -0.309159 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[243]: 6 0 0.88821 shouldn't be
557.26/558.68	WSVECS04 Frhs2[247]: 6 -3.05366 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[256]: 6 -1.85289 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[263]: 6 0 1.00004 shouldn't be
557.26/558.68	WSVECS04 Frhs2[266]: 6 0 1.86729 shouldn't be
557.26/558.68	WSVECS04 Frhs2[270]: 6 -0.422829 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[272]: 6 0 1.07888 shouldn't be
557.26/558.68	WSVECS04 Frhs2[299]: 6 0 1.00009 shouldn't be
557.26/558.68	WSVECS04 Frhs2[302]: 6 0 2.23608 shouldn't be
557.26/558.68	WSVECS04 Frhs2[303]: 6 -1.61511 0 shouldn't be
557.26/558.68	WSVECS04 Frhs2[305]: 6 0 2.70674 shouldn't be
557.26/558.68	WSVECS04 Frhs2[326]: 6 0 1.00004 shouldn't be
557.26/558.68	WSVECS04 Frhs2[329]: 6 0 4.08106 shouldn't be
557.26/558.68	WSVECS04 Frhs2[342]: 6 -1.51963 0 shouldn't be
562.84/564.27	c #Conflicts:     556000 | #Constraints:      52491
562.84/564.27	c #Conflicts:     557000 | #Constraints:      53491
562.84/564.27	c #Conflicts:     558000 | #Constraints:      54491
562.84/564.27	c #Conflicts:     559000 | #Constraints:      55492
562.84/564.27	WSVECS04 Frhs2[122]: 6 -2.34671 0 shouldn't be
562.84/564.27	WSVECS04 Frhs2[125]: 6 0 1.97389 shouldn't be
562.84/564.27	WSVECS04 Frhs2[127]: 6 -2.17168 0 shouldn't be
562.84/564.27	WSVECS04 Frhs2[131]: 6 0 2.54373 shouldn't be
562.84/564.27	WSVECS04 Frhs2[137]: 6 -1.65667 0 shouldn't be
562.84/564.27	WSVECS04 Frhs2[138]: 6 0 1.45485 shouldn't be
562.84/564.27	WSVECS04 Frhs2[163]: 6 0 2.25677 shouldn't be
562.84/564.27	WSVECS04 Frhs2[170]: 6 -2.53364 0 shouldn't be
562.84/564.27	WSVECS04 Frhs2[199]: 6 -0.849423 0 shouldn't be
562.84/564.27	WSVECS04 Frhs2[200]: 6 0 1.00009 shouldn't be
562.84/564.27	WSVECS04 Frhs2[201]: 6 0 1.84942 shouldn't be
562.84/564.27	WSVECS04 Frhs2[205]: 6 -0.0445954 0 shouldn't be
562.84/564.27	WSVECS04 Frhs2[208]: 6 -0.878589 0 shouldn't be
562.84/564.27	WSVECS04 Frhs2[211]: 6 0 2.43388 shouldn't be
562.84/564.27	WSVECS04 Frhs2[221]: 6 0 1.00009 shouldn't be
562.84/564.27	WSVECS04 Frhs2[236]: 6 -0.955448 0 shouldn't be
562.84/564.27	WSVECS04 Frhs2[242]: 6 0 2.53011 shouldn't be
562.84/564.27	WSVECS04 Frhs2[299]: 6 0 1.00007 shouldn't be
562.84/564.27	WSVECS04 Frhs2[302]: 6 -0.19665 0 shouldn't be
562.84/564.27	WSVECS04 Frhs2[303]: 6 0 1.00002 shouldn't be
562.84/564.27	WSVECS04 Frhs2[326]: 6 -1.50408 0 shouldn't be
576.41/577.85	c #Conflicts:     560000 | #Constraints:      56493
576.41/577.85	c #Conflicts:     561000 | #Constraints:      57494
576.41/577.85	c #Conflicts:     562000 | #Constraints:      58495
576.41/577.85	c #Conflicts:     563000 | #Constraints:      59496
576.41/577.85	c #Conflicts:     564000 | #Constraints:      60497
576.41/577.85	c #Conflicts:     565000 | #Constraints:      61497
576.41/577.85	c #Conflicts:     566000 | #Constraints:      62497
576.41/577.85	c #Conflicts:     567000 | #Constraints:      63498
576.41/577.85	WSVECS04 Frhs2[67]: 6 0 4.95479 shouldn't be
576.41/577.85	WSVECS04 Frhs2[69]: 6 0 3.4043 shouldn't be
576.41/577.85	WSVECS04 Frhs2[199]: 6 -2.41237 0 shouldn't be
576.41/577.85	WSVECS04 Frhs2[200]: 6 0 3.34778 shouldn't be
576.41/577.85	WSVECS04 Frhs2[201]: 6 -7.91804 0 shouldn't be
576.41/577.85	WSVECS04 Frhs2[211]: 6 -3.0829 0 shouldn't be
576.41/577.85	WSVECS04 Frhs2[213]: 6 -7.27627 0 shouldn't be
576.41/577.85	WSVECS04 Frhs2[216]: 6 -1.87844 0 shouldn't be
576.41/577.85	WSVECS04 Frhs2[228]: 6 -5.8855 0 shouldn't be
576.41/577.85	WSVECS04 Frhs2[229]: 6 0 1.80587 shouldn't be
576.41/577.85	WSVECS04 Frhs2[242]: 6 -2.12059 0 shouldn't be
576.41/577.85	WSVECS04 Frhs2[243]: 6 0 2.84446 shouldn't be
576.41/577.85	WSVECS04 Frhs2[244]: 6 -3.008 0 shouldn't be
576.41/577.85	WSVECS04 Frhs2[256]: 6 0 1.00233 shouldn't be
576.41/577.85	WSVECS04 Frhs2[257]: 6 -4.88175 0 shouldn't be
576.41/577.85	WSVECS04 Frhs2[258]: 6 0 2.17065 shouldn't be
576.41/577.85	WSVECS04 Frhs2[317]: 6 0 6.41227 shouldn't be
576.41/577.85	WSVECS04 Frhs2[342]: 6 -6.7589 0 shouldn't be
576.41/577.85	WSVECS04 Frhs2[346]: 6 -1.06993 0 shouldn't be
587.99/589.40	c #Conflicts:     568000 | #Constraints:      64499
587.99/589.40	c #Conflicts:     569000 | #Constraints:      65499
587.99/589.40	c #Conflicts:     570000 | #Constraints:      66500
587.99/589.40	c #Conflicts:     571000 | #Constraints:      67500
587.99/589.40	c #Conflicts:     572000 | #Constraints:      68502
587.99/589.40	c #Conflicts:     573000 | #Constraints:      69502
587.99/589.40	c INPROCESSING
587.99/589.40	c GARBAGE COLLECT
587.99/589.40	c rational objective -182
591.08/592.54	c #Conflicts:     574000 | #Constraints:      41867
591.08/592.54	c #Conflicts:     575000 | #Constraints:      42868
591.08/592.54	c #Conflicts:     576000 | #Constraints:      43868
591.08/592.54	WSVECS04 Frhs2[33]: 6 0 4.50144 shouldn't be
591.08/592.54	WSVECS04 Frhs2[37]: 6 0 2.29154 shouldn't be
591.08/592.54	WSVECS04 Frhs2[52]: 6 -1.76995 0 shouldn't be
591.08/592.54	WSVECS04 Frhs2[53]: 6 -6.63849 0 shouldn't be
591.08/592.54	WSVECS04 Frhs2[54]: 6 0 8.51178 shouldn't be
591.08/592.54	WSVECS04 Frhs2[71]: 6 -1.08954 0 shouldn't be
591.08/592.54	WSVECS04 Frhs2[72]: 6 -3.00027 0 shouldn't be
591.08/592.54	WSVECS04 Frhs2[76]: 6 0 3.51396 shouldn't be
591.08/592.54	WSVECS04 Frhs2[77]: 6 -3.63928 0 shouldn't be
591.08/592.54	WSVECS04 Frhs2[94]: 6 0 1.00004 shouldn't be
591.08/592.54	WSVECS04 Frhs2[95]: 6 0 0.909987 shouldn't be
591.08/592.54	WSVECS04 Frhs2[99]: 6 -1.75293 0 shouldn't be
591.08/592.54	WSVECS04 Frhs2[116]: 6 0 2.99332 shouldn't be
591.08/592.54	WSVECS04 Frhs2[117]: 6 0 2.93236 shouldn't be
591.08/592.54	WSVECS04 Frhs2[137]: 6 -9.25333 0 shouldn't be
591.08/592.54	WSVECS04 Frhs2[138]: 6 -2.56613 0 shouldn't be
591.08/592.54	WSVECS04 Frhs2[184]: 6 0 3.14471 shouldn't be
591.08/592.54	WSVECS04 Frhs2[342]: 6 0 2.3786 shouldn't be
606.55/608.08	c #Conflicts:     577000 | #Constraints:      44869
606.55/608.08	c #Conflicts:     578000 | #Constraints:      45870
606.55/608.08	c #Conflicts:     579000 | #Constraints:      46871
606.55/608.08	c #Conflicts:     580000 | #Constraints:      47872
606.55/608.08	c #Conflicts:     581000 | #Constraints:      48873
606.55/608.08	c #Conflicts:     582000 | #Constraints:      49874
606.55/608.08	c #Conflicts:     583000 | #Constraints:      50875
606.55/608.08	c #Conflicts:     584000 | #Constraints:      51875
606.55/608.08	c #Conflicts:     585000 | #Constraints:      52875
606.55/608.08	c #Conflicts:     586000 | #Constraints:      53876
606.55/608.08	WSVECS04 Frhs2[219]: 6 -7.01949 0 shouldn't be
606.55/608.08	WSVECS04 Frhs2[228]: 6 0 5.53758 shouldn't be
606.55/608.08	WSVECS04 Frhs2[233]: 6 -0.89104 0 shouldn't be
606.55/608.08	WSVECS04 Frhs2[234]: 6 -0.891084 0 shouldn't be
606.55/608.08	WSVECS04 Frhs2[243]: 6 0 3.27144 shouldn't be
606.55/608.08	WSVECS04 Frhs2[244]: 6 -1.00003 0 shouldn't be
606.55/608.08	WSVECS04 Frhs2[266]: 6 0 2.00003 shouldn't be
606.55/608.08	WSVECS04 Frhs2[270]: 6 -4.29705 0 shouldn't be
606.55/608.08	WSVECS04 Frhs2[278]: 6 0 3.9123 shouldn't be
606.55/608.08	WSVECS04 Frhs2[327]: 6 -1.00002 0 shouldn't be
606.55/608.08	WSVECS04 Frhs2[346]: 6 -2.01859 0 shouldn't be
610.74/612.24	c #Conflicts:     587000 | #Constraints:      54876
610.74/612.24	c #Conflicts:     588000 | #Constraints:      55876
610.74/612.24	c #Conflicts:     589000 | #Constraints:      56877
610.74/612.24	WSVECS04 Frhs2[166]: 6 -3.82216 0 shouldn't be
610.74/612.24	WSVECS04 Frhs2[181]: 6 0 2.00401 shouldn't be
610.74/612.24	WSVECS04 Frhs2[192]: 6 0 4.68331 shouldn't be
610.74/612.24	WSVECS04 Frhs2[209]: 6 0 2.37594 shouldn't be
610.74/612.24	WSVECS04 Frhs2[217]: 6 -1.07732 0 shouldn't be
610.74/612.24	WSVECS04 Frhs2[224]: 6 -5.98245 0 shouldn't be
610.74/612.24	WSVECS04 Frhs2[248]: 6 0 6.15772 shouldn't be
610.74/612.24	WSVECS04 Frhs2[257]: 6 0 1.00005 shouldn't be
610.74/612.24	WSVECS04 Frhs2[278]: 6 0 1.68773 shouldn't be
611.04/612.53	WSVECS04 Frhs2[239]: 6 -5.83145 0 shouldn't be
615.63/617.14	c #Conflicts:     590000 | #Constraints:      57878
615.63/617.14	c #Conflicts:     591000 | #Constraints:      58878
615.63/617.14	c bounds -180 >= -181 @ 607.697
615.63/617.14	c #Conflicts:     592000 | #Constraints:      59920
615.63/617.14	c INPROCESSING
615.63/617.14	c GARBAGE COLLECT
615.63/617.14	c rational objective -181
690.25/691.93	c #Conflicts:     593000 | #Constraints:      40939
690.25/691.93	c #Conflicts:     594000 | #Constraints:      41941
690.25/691.93	c #Conflicts:     595000 | #Constraints:      42944
690.25/691.93	c #Conflicts:     596000 | #Constraints:      43948
690.25/691.93	c #Conflicts:     597000 | #Constraints:      44951
690.25/691.93	c #Conflicts:     598000 | #Constraints:      45952
690.25/691.93	c #Conflicts:     599000 | #Constraints:      46954
690.25/691.93	c #Conflicts:     600000 | #Constraints:      47958
690.25/691.93	c #Conflicts:     601000 | #Constraints:      48961
690.25/691.93	c #Conflicts:     602000 | #Constraints:      49964
690.25/691.93	c #Conflicts:     603000 | #Constraints:      50965
690.25/691.93	c #Conflicts:     604000 | #Constraints:      51968
690.25/691.93	c #Conflicts:     605000 | #Constraints:      52971
690.25/691.93	c #Conflicts:     606000 | #Constraints:      53973
690.25/691.93	c #Conflicts:     607000 | #Constraints:      54977
690.25/691.93	c #Conflicts:     608000 | #Constraints:      55980
690.25/691.93	c #Conflicts:     609000 | #Constraints:      56985
690.25/691.93	c #Conflicts:     610000 | #Constraints:      57988
690.25/691.93	c #Conflicts:     611000 | #Constraints:      58992
690.25/691.93	c #Conflicts:     612000 | #Constraints:      59994
690.25/691.93	c #Conflicts:     613000 | #Constraints:      60995
690.25/691.93	c #Conflicts:     614000 | #Constraints:      61997
690.25/691.93	c #Conflicts:     615000 | #Constraints:      63000
690.25/691.93	c #Conflicts:     616000 | #Constraints:      64004
690.25/691.93	c #Conflicts:     617000 | #Constraints:      65006
690.25/691.93	c #Conflicts:     618000 | #Constraints:      66010
690.25/691.93	c #Conflicts:     619000 | #Constraints:      67012
690.25/691.93	c #Conflicts:     620000 | #Constraints:      68014
690.25/691.93	c #Conflicts:     621000 | #Constraints:      69016
690.25/691.93	c #Conflicts:     622000 | #Constraints:      70020
690.25/691.93	c #Conflicts:     623000 | #Constraints:      71023
690.25/691.93	c #Conflicts:     624000 | #Constraints:      72025
690.25/691.93	c #Conflicts:     625000 | #Constraints:      73030
690.25/691.93	c #Conflicts:     626000 | #Constraints:      74032
690.25/691.93	c #Conflicts:     627000 | #Constraints:      75034
690.25/691.93	c #Conflicts:     628000 | #Constraints:      76036
690.25/691.93	c #Conflicts:     629000 | #Constraints:      77039
690.25/691.93	c #Conflicts:     630000 | #Constraints:      78042
690.25/691.93	c #Conflicts:     631000 | #Constraints:      79045
690.25/691.93	c #Conflicts:     632000 | #Constraints:      80049
690.25/691.93	c #Conflicts:     633000 | #Constraints:      81053
690.25/691.93	c #Conflicts:     634000 | #Constraints:      82055
690.25/691.93	c #Conflicts:     635000 | #Constraints:      83057
690.25/691.93	c #Conflicts:     636000 | #Constraints:      84060
690.25/691.93	c #Conflicts:     637000 | #Constraints:      85061
690.25/691.93	c #Conflicts:     638000 | #Constraints:      86064
690.25/691.93	c #Conflicts:     639000 | #Constraints:      87067
690.25/691.93	c #Conflicts:     640000 | #Constraints:      88070
690.25/691.93	c #Conflicts:     641000 | #Constraints:      89074
690.25/691.93	c #Conflicts:     642000 | #Constraints:      90079
690.25/691.93	c #Conflicts:     643000 | #Constraints:      91081
690.25/691.93	c #Conflicts:     644000 | #Constraints:      92084
690.25/691.93	c #Conflicts:     645000 | #Constraints:      93085
690.25/691.93	c #Conflicts:     646000 | #Constraints:      94086
690.25/691.93	c #Conflicts:     647000 | #Constraints:      95088
690.25/691.93	c INPROCESSING
690.25/691.93	c GARBAGE COLLECT
690.25/691.93	c rational objective -181
692.94/694.64	c #Conflicts:     648000 | #Constraints:      54727
692.94/694.64	c #Conflicts:     649000 | #Constraints:      55728
692.94/694.64	WSVECS04 Frhs2[9]: 6 -1.00002 0 shouldn't be
692.94/694.64	WSVECS04 Frhs2[13]: 6 0 1.4973 shouldn't be
692.94/694.64	WSVECS04 Frhs2[16]: 6 -0.501815 0 shouldn't be
692.94/694.64	WSVECS04 Frhs2[20]: 6 0 1.32054 shouldn't be
692.94/694.64	WSVECS04 Frhs2[34]: 6 -2.93988 0 shouldn't be
692.94/694.64	WSVECS04 Frhs2[38]: 6 0 1.02159 shouldn't be
692.94/694.64	WSVECS04 Frhs2[41]: 6 -1.71834 0 shouldn't be
692.94/694.64	WSVECS04 Frhs2[45]: 6 0 1.30106 shouldn't be
692.94/694.64	WSVECS04 Frhs2[58]: 6 -0.944683 0 shouldn't be
692.94/694.64	WSVECS04 Frhs2[62]: 6 0 1.00003 shouldn't be
692.94/694.64	WSVECS04 Frhs2[63]: 6 -0.612335 0 shouldn't be
692.94/694.64	WSVECS04 Frhs2[69]: 6 0 1.93172 shouldn't be
692.94/694.64	WSVECS04 Frhs2[185]: 6 -5.40855 0 shouldn't be
692.94/694.64	WSVECS04 Frhs2[186]: 6 0 1.02267 shouldn't be
692.94/694.64	WSVECS04 Frhs2[188]: 6 0 1.00571 shouldn't be
692.94/694.64	WSVECS04 Frhs2[191]: 6 0 1.00004 shouldn't be
692.94/694.64	WSVECS04 Frhs2[199]: 6 -1.39764 0 shouldn't be
692.94/694.64	WSVECS04 Frhs2[200]: 6 0 1.43922 shouldn't be
692.94/694.64	WSVECS04 Frhs2[205]: 6 0 1.67148 shouldn't be
692.94/694.64	WSVECS04 Frhs2[218]: 6 0 1.15577 shouldn't be
692.94/694.64	WSVECS04 Frhs2[221]: 6 -1.00005 0 shouldn't be
692.94/694.64	WSVECS04 Frhs2[224]: 6 -3.80263 0 shouldn't be
692.94/694.64	WSVECS04 Frhs2[233]: 6 -0.0245816 0 shouldn't be
692.94/694.64	WSVECS04 Frhs2[239]: 6 0 2.00007 shouldn't be
692.94/694.64	WSVECS04 Frhs2[263]: 6 -1.00003 0 shouldn't be
692.94/694.64	WSVECS04 Frhs2[267]: 6 0 1.05038 shouldn't be
692.94/694.64	WSVECS04 Frhs2[300]: 6 -1.17367 0 shouldn't be
692.94/694.64	WSVECS04 Frhs2[324]: 6 -0.039867 0 shouldn't be
692.94/694.64	WSVECS04 Frhs2[344]: 6 -3.18421 0 shouldn't be
698.34/700.07	c #Conflicts:     650000 | #Constraints:      56729
698.34/700.07	c #Conflicts:     651000 | #Constraints:      57729
698.34/700.07	c #Conflicts:     652000 | #Constraints:      58730
698.34/700.07	WSVECS04 Frhs2[165]: 6 -4.89949 0 shouldn't be
698.34/700.07	WSVECS04 Frhs2[170]: 6 0 1.00007 shouldn't be
698.34/700.07	WSVECS04 Frhs2[172]: 6 0 1.36939 shouldn't be
698.34/700.07	WSVECS04 Frhs2[173]: 6 0 3.59478 shouldn't be
698.34/700.07	WSVECS04 Frhs2[177]: 6 -0.0564049 0 shouldn't be
698.34/700.07	WSVECS04 Frhs2[178]: 6 0 3.11902 shouldn't be
698.34/700.07	WSVECS04 Frhs2[179]: 6 -1.00001 0 shouldn't be
698.34/700.07	WSVECS04 Frhs2[236]: 6 -1.00006 0 shouldn't be
698.34/700.07	WSVECS04 Frhs2[238]: 6 -1.69572 0 shouldn't be
698.34/700.07	WSVECS04 Frhs2[239]: 6 -1.27118 0 shouldn't be
698.34/700.07	WSVECS04 Frhs2[298]: 6 0 2.99629 shouldn't be
698.34/700.07	WSVECS04 Frhs2[299]: 6 0 1.00002 shouldn't be
698.34/700.07	WSVECS04 Frhs2[303]: 6 -3.76707 0 shouldn't be
698.34/700.07	WSVECS04 Frhs2[304]: 6 0 2.90203 shouldn't be
698.34/700.07	WSVECS04 Frhs2[305]: 6 -3.99636 0 shouldn't be
698.34/700.07	WSVECS04 Frhs2[320]: 6 -2.05867 0 shouldn't be
698.34/700.07	WSVECS04 Frhs2[321]: 6 0 1.57293 shouldn't be
698.34/700.07	WSVECS04 Frhs2[327]: 6 -2.13142 0 shouldn't be
698.34/700.07	WSVECS04 Frhs2[328]: 6 0 1.33424 shouldn't be
698.34/700.07	WSVECS04 Frhs2[346]: 6 -2.2287 0 shouldn't be
698.34/700.07	WSVECS04 Frhs2[349]: 6 -5.00007 0 shouldn't be
698.64/700.35	WSVECS04 Frhs2[316]: 6 0 1.2712 shouldn't be
706.42/708.17	c #Conflicts:     653000 | #Constraints:      59731
706.42/708.17	c #Conflicts:     654000 | #Constraints:      60731
706.42/708.17	c #Conflicts:     655000 | #Constraints:      61731
706.42/708.17	c #Conflicts:     656000 | #Constraints:      62731
706.42/708.17	c #Conflicts:     657000 | #Constraints:      63732
706.42/708.17	WSVECS04 Frhs2[3]: 6 -2.14303 0 shouldn't be
706.42/708.17	WSVECS04 Frhs2[8]: 6 0 1.78192 shouldn't be
706.42/708.17	WSVECS04 Frhs2[14]: 6 -2.48309 0 shouldn't be
706.42/708.17	WSVECS04 Frhs2[15]: 6 0 1.69622 shouldn't be
706.42/708.17	WSVECS04 Frhs2[17]: 6 0 1.00004 shouldn't be
706.42/708.17	WSVECS04 Frhs2[20]: 6 0 1.04456 shouldn't be
706.42/708.17	WSVECS04 Frhs2[25]: 6 -1.01215 0 shouldn't be
706.42/708.17	WSVECS04 Frhs2[80]: 6 -2.67958 0 shouldn't be
706.42/708.17	WSVECS04 Frhs2[87]: 6 -1.00009 0 shouldn't be
706.42/708.17	WSVECS04 Frhs2[88]: 6 -0.211822 0 shouldn't be
706.42/708.17	WSVECS04 Frhs2[89]: 6 -4.45943 0 shouldn't be
706.42/708.17	WSVECS04 Frhs2[92]: 6 -2.1581 0 shouldn't be
706.42/708.17	WSVECS04 Frhs2[93]: 6 0 1.00006 shouldn't be
706.42/708.17	WSVECS04 Frhs2[94]: 6 0 2.0378 shouldn't be
706.42/708.17	WSVECS04 Frhs2[97]: 6 0 1.84199 shouldn't be
706.42/708.17	WSVECS04 Frhs2[187]: 6 0 1.17513 shouldn't be
706.42/708.17	WSVECS04 Frhs2[188]: 6 0 1.54325 shouldn't be
706.42/708.17	WSVECS04 Frhs2[193]: 6 -3.50852 0 shouldn't be
706.42/708.17	WSVECS04 Frhs2[279]: 6 -1.75679 0 shouldn't be
706.42/708.17	WSVECS04 Frhs2[280]: 6 0 1.00003 shouldn't be
706.42/708.17	WSVECS04 Frhs2[281]: 6 0 1.30389 shouldn't be
706.42/708.17	WSVECS04 Frhs2[286]: 6 0 1.59822 shouldn't be
706.42/708.17	WSVECS04 Frhs2[287]: 6 0 2.09162 shouldn't be
706.42/708.17	WSVECS04 Frhs2[290]: 6 0 0.989269 shouldn't be
706.42/708.17	WSVECS04 Frhs2[292]: 6 -3.32736 0 shouldn't be
706.42/708.17	WSVECS04 Frhs2[295]: 6 -1.96463 0 shouldn't be
706.42/708.17	WSVECS04 Frhs2[297]: 6 0 3.55118 shouldn't be
706.42/708.17	WSVECS04 Frhs2[300]: 6 0 2.95554 shouldn't be
706.42/708.17	WSVECS04 Frhs2[302]: 6 -2.4123 0 shouldn't be
706.42/708.17	WSVECS04 Frhs2[305]: 6 -1.95631 0 shouldn't be
706.42/708.17	WSVECS04 Frhs2[331]: 6 -5.32473 0 shouldn't be
706.42/708.17	WSVECS04 Frhs2[337]: 6 0 1.69622 shouldn't be
706.42/708.17	WSVECS04 Frhs2[340]: 6 0 1.35705 shouldn't be
706.71/708.46	WSVECS04 Frhs2[16]: 6 0 2.82493 shouldn't be
706.71/708.46	WSVECS04 Frhs2[21]: 6 -2.05317 0 shouldn't be
726.67/728.42	c #Conflicts:     658000 | #Constraints:      64733
726.67/728.42	c #Conflicts:     659000 | #Constraints:      65733
726.67/728.42	c #Conflicts:     660000 | #Constraints:      66733
726.67/728.42	c #Conflicts:     661000 | #Constraints:      67733
726.67/728.42	c #Conflicts:     662000 | #Constraints:      68734
726.67/728.42	c #Conflicts:     663000 | #Constraints:      69736
726.67/728.42	c #Conflicts:     664000 | #Constraints:      70736
726.67/728.42	c #Conflicts:     665000 | #Constraints:      71737
726.67/728.42	c #Conflicts:     666000 | #Constraints:      72738
726.67/728.42	c #Conflicts:     667000 | #Constraints:      73739
726.67/728.42	c #Conflicts:     668000 | #Constraints:      74739
726.67/728.42	c INPROCESSING
726.67/728.42	c GARBAGE COLLECT
726.67/728.42	c rational objective -181
729.76/731.51	c #Conflicts:     669000 | #Constraints:      44745
729.76/731.51	c #Conflicts:     670000 | #Constraints:      45746
729.76/731.51	WSVECS04 Frhs2[54]: 6 -1.05532 0 shouldn't be
729.76/731.51	WSVECS04 Frhs2[56]: 6 0 1.4904 shouldn't be
729.76/731.51	WSVECS04 Frhs2[59]: 6 -1.18313 0 shouldn't be
729.76/731.51	WSVECS04 Frhs2[61]: 6 0 0.136824 shouldn't be
729.76/731.51	WSVECS04 Frhs2[66]: 6 -2.25744 0 shouldn't be
729.76/731.51	WSVECS04 Frhs2[72]: 6 -4.63932 0 shouldn't be
729.76/731.51	WSVECS04 Frhs2[74]: 6 0 1.00002 shouldn't be
729.76/731.51	WSVECS04 Frhs2[125]: 6 0 1.62983 shouldn't be
729.76/731.51	WSVECS04 Frhs2[132]: 6 0 1.57201 shouldn't be
729.76/731.51	WSVECS04 Frhs2[140]: 6 -1.19805 0 shouldn't be
729.76/731.51	WSVECS04 Frhs2[165]: 6 0 1.04007 shouldn't be
729.76/731.51	WSVECS04 Frhs2[166]: 6 0 0.5335 shouldn't be
729.76/731.51	WSVECS04 Frhs2[171]: 6 -1.0398 0 shouldn't be
729.76/731.51	WSVECS04 Frhs2[175]: 6 0 2.19078 shouldn't be
729.76/731.51	WSVECS04 Frhs2[179]: 6 0 2.00001 shouldn't be
729.76/731.51	WSVECS04 Frhs2[180]: 6 0 2.00005 shouldn't be
729.76/731.51	WSVECS04 Frhs2[217]: 6 -1.16192 0 shouldn't be
729.76/731.51	WSVECS04 Frhs2[232]: 6 0 3.27763 shouldn't be
729.76/731.51	WSVECS04 Frhs2[245]: 6 0 1.00001 shouldn't be
729.76/731.51	WSVECS04 Frhs2[246]: 6 0 1.43523 shouldn't be
729.76/731.51	WSVECS04 Frhs2[251]: 6 -2.71929 0 shouldn't be
729.76/731.51	WSVECS04 Frhs2[257]: 6 -0.153351 0 shouldn't be
729.76/731.51	WSVECS04 Frhs2[259]: 6 0 3.8368 shouldn't be
729.76/731.51	WSVECS04 Frhs2[260]: 6 0 1.55843 shouldn't be
730.06/731.81	WSVECS04 Frhs2[126]: 6 -3.06386 0 shouldn't be
730.06/731.81	WSVECS04 Frhs2[216]: 6 -3.57941 0 shouldn't be
730.36/732.12	WSVECS04 Frhs2[127]: 6 -5.47933 0 shouldn't be
744.93/746.76	c #Conflicts:     671000 | #Constraints:      46747
744.93/746.76	c #Conflicts:     672000 | #Constraints:      47747
744.93/746.76	c #Conflicts:     673000 | #Constraints:      48747
744.93/746.76	c #Conflicts:     674000 | #Constraints:      49747
744.93/746.76	c #Conflicts:     675000 | #Constraints:      50748
744.93/746.76	c #Conflicts:     676000 | #Constraints:      51748
744.93/746.76	c #Conflicts:     677000 | #Constraints:      52749
744.93/746.76	c #Conflicts:     678000 | #Constraints:      53750
744.93/746.76	c #Conflicts:     679000 | #Constraints:      54750
744.93/746.76	c #Conflicts:     680000 | #Constraints:      55751
744.93/746.76	WSVECS04 Frhs2[216]: 6 -2.60864 0 shouldn't be
744.93/746.76	WSVECS04 Frhs2[223]: 6 0 1.00008 shouldn't be
744.93/746.76	WSVECS04 Frhs2[224]: 6 0 1.00006 shouldn't be
744.93/746.76	WSVECS04 Frhs2[227]: 6 0 1.69403 shouldn't be
744.93/746.76	WSVECS04 Frhs2[228]: 6 0 1.00002 shouldn't be
744.93/746.76	WSVECS04 Frhs2[229]: 6 -0.916715 0 shouldn't be
744.93/746.76	WSVECS04 Frhs2[231]: 6 0 2.77563 shouldn't be
744.93/746.76	WSVECS04 Frhs2[238]: 6 -0.745619 0 shouldn't be
744.93/746.76	WSVECS04 Frhs2[239]: 6 -0.113381 0 shouldn't be
744.93/746.76	WSVECS04 Frhs2[316]: 6 0 1.00005 shouldn't be
744.93/746.76	WSVECS04 Frhs2[319]: 6 0 3.586 shouldn't be
744.93/746.76	WSVECS04 Frhs2[321]: 6 -5.68897 0 shouldn't be
744.93/746.76	WSVECS04 Frhs2[323]: 6 0 2.82062 shouldn't be
744.93/746.76	WSVECS04 Frhs2[326]: 6 0 2.24605 shouldn't be
744.93/746.76	WSVECS04 Frhs2[327]: 6 0 2.50475 shouldn't be
744.93/746.76	WSVECS04 Frhs2[328]: 6 -1.19696 0 shouldn't be
744.93/746.76	WSVECS04 Frhs2[330]: 6 0 4.43603 shouldn't be
750.81/752.64	c #Conflicts:     681000 | #Constraints:      56752
750.81/752.64	c #Conflicts:     682000 | #Constraints:      57752
750.81/752.64	c #Conflicts:     683000 | #Constraints:      58752
750.81/752.64	WSVECS04 Frhs2[32]: 6 0 1.30629 shouldn't be
750.81/752.64	WSVECS04 Frhs2[35]: 6 0 3.00004 shouldn't be
750.81/752.64	WSVECS04 Frhs2[37]: 6 0 1.52098 shouldn't be
750.81/752.64	WSVECS04 Frhs2[40]: 6 0 1.00005 shouldn't be
750.81/752.64	WSVECS04 Frhs2[44]: 6 -2.71368 0 shouldn't be
750.81/752.64	WSVECS04 Frhs2[49]: 6 -0.667436 0 shouldn't be
750.81/752.64	WSVECS04 Frhs2[164]: 6 0 1.00009 shouldn't be
750.81/752.64	WSVECS04 Frhs2[165]: 6 0 2.00006 shouldn't be
750.81/752.64	WSVECS04 Frhs2[169]: 6 0 1.90292 shouldn't be
750.81/752.64	WSVECS04 Frhs2[170]: 6 0 1.52355 shouldn't be
750.81/752.64	WSVECS04 Frhs2[173]: 6 -2.12515 0 shouldn't be
750.81/752.64	WSVECS04 Frhs2[176]: 6 -2.39602 0 shouldn't be
750.81/752.64	WSVECS04 Frhs2[178]: 6 -2.76435 0 shouldn't be
750.81/752.64	WSVECS04 Frhs2[217]: 6 0 2.03892 shouldn't be
750.81/752.64	WSVECS04 Frhs2[227]: 6 -1.24351 0 shouldn't be
750.81/752.64	WSVECS04 Frhs2[232]: 6 0 0.373868 shouldn't be
750.81/752.64	WSVECS04 Frhs2[242]: 6 -1.34436 0 shouldn't be
750.81/752.64	WSVECS04 Frhs2[249]: 6 0 2.00007 shouldn't be
750.81/752.64	WSVECS04 Frhs2[250]: 6 0 2.35357 shouldn't be
750.81/752.64	WSVECS04 Frhs2[256]: 6 -0.634901 0 shouldn't be
750.81/752.64	WSVECS04 Frhs2[258]: 6 -0.0915603 0 shouldn't be
750.81/752.64	WSVECS04 Frhs2[292]: 6 -3.43893 0 shouldn't be
750.81/752.64	WSVECS04 Frhs2[302]: 6 -3.19156 0 shouldn't be
750.81/752.64	WSVECS04 Frhs2[326]: 6 0 1.00002 shouldn't be
758.49/760.31	c #Conflicts:     684000 | #Constraints:      59754
758.49/760.31	c #Conflicts:     685000 | #Constraints:      60754
758.49/760.31	c #Conflicts:     686000 | #Constraints:      61754
758.49/760.31	c #Conflicts:     687000 | #Constraints:      62754
758.49/760.31	c #Conflicts:     688000 | #Constraints:      63755
758.49/760.31	WSVECS04 Frhs2[56]: 6 0 0.830325 shouldn't be
758.49/760.31	WSVECS04 Frhs2[163]: 6 -5.04157 0 shouldn't be
758.49/760.31	WSVECS04 Frhs2[167]: 6 0 2.25051 shouldn't be
758.49/760.31	WSVECS04 Frhs2[168]: 6 -0.970904 0 shouldn't be
758.49/760.31	WSVECS04 Frhs2[170]: 6 0 2.27143 shouldn't be
758.49/760.31	WSVECS04 Frhs2[173]: 6 -1.7203 0 shouldn't be
758.49/760.31	WSVECS04 Frhs2[179]: 6 0 2.29066 shouldn't be
758.49/760.31	WSVECS04 Frhs2[203]: 6 0 1.47732 shouldn't be
758.49/760.31	WSVECS04 Frhs2[243]: 6 0 4.75559 shouldn't be
758.49/760.31	WSVECS04 Frhs2[263]: 6 0 1.16777 shouldn't be
758.49/760.31	WSVECS04 Frhs2[266]: 6 -2.34117 0 shouldn't be
758.80/760.60	WSVECS04 Frhs2[261]: 6 -8.9048 0 shouldn't be
758.80/760.60	WSVECS04 Frhs2[272]: 6 0 7.37566 shouldn't be
758.80/760.60	WSVECS04 Frhs2[278]: 6 0 3.86727 shouldn't be
771.97/773.85	c #Conflicts:     689000 | #Constraints:      64756
771.97/773.85	c #Conflicts:     690000 | #Constraints:      65756
771.97/773.85	c #Conflicts:     691000 | #Constraints:      66756
771.97/773.85	c #Conflicts:     692000 | #Constraints:      67756
771.97/773.85	c #Conflicts:     693000 | #Constraints:      68756
771.97/773.85	c #Conflicts:     694000 | #Constraints:      69757
771.97/773.85	c #Conflicts:     695000 | #Constraints:      70757
771.97/773.85	WSVECS04 Frhs2[201]: 6 -11.9078 0 shouldn't be
771.97/773.85	WSVECS04 Frhs2[232]: 6 0 6.64049 shouldn't be
771.97/773.85	WSVECS04 Frhs2[305]: 6 0 9.51397 shouldn't be
785.24/787.14	c #Conflicts:     696000 | #Constraints:      71758
785.24/787.14	c #Conflicts:     697000 | #Constraints:      72758
785.24/787.14	c #Conflicts:     698000 | #Constraints:      73758
785.24/787.14	c #Conflicts:     699000 | #Constraints:      74758
785.24/787.14	c #Conflicts:     700000 | #Constraints:      75758
785.24/787.14	c #Conflicts:     701000 | #Constraints:      76759
785.24/787.14	WSVECS04 Frhs2[169]: 6 -3.67637 0 shouldn't be
785.24/787.14	WSVECS04 Frhs2[217]: 6 -1.12337 0 shouldn't be
785.24/787.14	WSVECS04 Frhs2[220]: 6 -4.71628 0 shouldn't be
785.24/787.14	WSVECS04 Frhs2[235]: 6 0 1.00005 shouldn't be
785.24/787.14	WSVECS04 Frhs2[258]: 6 -2.32223 0 shouldn't be
785.24/787.14	WSVECS04 Frhs2[294]: 6 -3.91424 0 shouldn't be
785.44/787.34	WSVECS04 Frhs2[166]: 6 -4.90605 0 shouldn't be
785.44/787.34	WSVECS04 Frhs2[232]: 6 0 10.6138 shouldn't be
785.44/787.34	WSVECS04 Frhs2[249]: 6 0 3.61034 shouldn't be
785.44/787.34	WSVECS04 Frhs2[293]: 6 -2.63346 0 shouldn't be
795.22/797.12	c #Conflicts:     702000 | #Constraints:      77760
795.22/797.12	c #Conflicts:     703000 | #Constraints:      78760
795.22/797.12	c #Conflicts:     704000 | #Constraints:      79760
795.22/797.12	c #Conflicts:     705000 | #Constraints:      80760
795.22/797.12	c #Conflicts:     706000 | #Constraints:      81761
795.22/797.12	c bounds -180 >= -180 @ 787.723
795.22/797.12	c cpu time 787.723 s
795.22/797.12	c deterministic time 62331645368 6.23e+10
795.22/797.12	c optimization time 0.016754 s
795.22/797.12	c total solve time 787.672 s
795.22/797.12	c core-guided solve time 407.728 s
795.22/797.12	c propagation time 645.511 s
795.22/797.12	c conflict analysis time 120.961 s
795.22/797.12	c propagations 86646049
795.22/797.12	c resolve steps 14785518
795.22/797.12	c decisions 1420241
795.22/797.12	c conflicts 706417
795.22/797.12	c restarts 1532
795.22/797.12	c inprocessing phases 40
795.22/797.12	c input clauses 12056
795.22/797.12	c input cardinalities 241
795.22/797.12	c input general constraints 499
795.22/797.12	c input average constraint length 6.34
795.22/797.12	c input average constraint degree 1.90
795.22/797.12	c learned clauses 571272
795.22/797.12	c learned cardinalities 3620
795.22/797.12	c learned general constraints 132968
795.22/797.12	c learned average constraint length 65.67
795.22/797.12	c learned average constraint degree 10853423.05
795.22/797.12	c watched constraints 93755
795.22/797.12	c counting constraints 39712
795.22/797.12	c gcd simplifications 93086
795.22/797.12	c detected cardinalities 3
795.22/797.12	c weakened non-implied lits 37263538
795.22/797.12	c weakened non-implying lits 369793
795.22/797.12	c original variables 351
795.22/797.12	c clausal propagations 54402871
795.22/797.12	c cardinality propagations 1124222
795.22/797.12	c watched propagations 3337817
795.22/797.12	c counting propagations 26982395
795.22/797.12	c watch lookups 18046414623
795.22/797.12	c watch backjump lookups 14411401301
795.22/797.12	c watch checks 27018729041
795.22/797.12	c propagation checks 2469144734
795.22/797.12	c constraint additions 208360570
795.22/797.12	c trail pops 88771241
795.22/797.12	c formula constraints 11700
795.22/797.12	c learned constraints 704990
795.22/797.12	c bound constraints 157
795.22/797.12	c core-guided constraints 939
795.22/797.12	c encountered formula constraints 9982923
795.22/797.12	c encountered learned constraints 4073200
795.22/797.12	c encountered bound constraints 2060
795.22/797.12	c encountered core-guided constraints 1414853
795.22/797.12	c LP total time 197.096 s
795.22/797.12	c LP solve time 195.58 s
795.22/797.12	c LP constraints added 11705
795.22/797.12	c LP constraints removed 5
795.22/797.12	c LP pivots internal 706651
795.22/797.12	c LP pivots root 50916
795.22/797.12	c LP calls 1583
795.22/797.12	c LP optimalities 145
795.22/797.12	c LP no pivot count 16
795.22/797.12	c LP infeasibilities 1435
795.22/797.12	c LP valid Farkas constraints 1435
795.22/797.12	c LP learned Farkas constraints 1435
795.22/797.12	c LP basis resets 0
795.22/797.12	c LP cycling count 0
795.22/797.12	c LP singular count 0
795.22/797.12	c LP no primal count 0
795.22/797.12	c LP no farkas count 0
795.22/797.12	c LP other issue count 0
795.22/797.12	c LP Gomory cuts 0
795.22/797.12	c LP learned cuts 5
795.22/797.12	c LP deleted cuts 5
795.22/797.12	c LP encountered Gomory constraints 0
795.22/797.12	c LP encountered Farkas constraints 10148
795.22/797.12	c LP encountered learned Farkas constraints 7316
795.22/797.12	c CG auxiliary variables introduced 350
795.22/797.12	c CG solutions found 21
795.22/797.12	c CG cores constructed 111
795.22/797.12	c CG core cardinality constraints returned 0
795.22/797.12	c CG unit cores 0
795.22/797.12	c CG single cores 111
795.22/797.12	c CG blocks removed during cardinality reduction 0
795.22/797.12	c CG first core best 0
795.22/797.12	c CG decision core best 0
795.22/797.12	c CG core reduction tie 0
795.22/797.12	c CG core degree average 1.00
795.22/797.12	c CG core slack average 4.55
795.22/797.12	o -180
795.22/797.12	s OPTIMUM FOUND
795.22/797.14	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

Verifier Data 

OK	-180

Checking of UNSAT/OPT proofs:

VeriPB

Running VeriPB version 2.2.1
s VERIFIED BOUNDS -180 <= obj <= -180
Verification succeeded.

VeriPB + CakePB

-- veripb --
Running VeriPB version 2.2.1
s VERIFIED BOUNDS -180 <= obj <= -180
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS ~180 <= obj <= ~180
--summary--
ALL OK

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (51719 MiB free)
  memory of node 1: 64473 MiB (49822 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460952-1722073170/watcher-4460952-1722073170 -o /tmp/evaluation-result-4460952-1722073170/solver-4460952-1722073170 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722064836-323089 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460952-1722073170 --lp-cut-gomory=0 HOME/instance-4460952-1722073170.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=328588, runsolver pid=328585
Current StackSize limit: 8192 KiB


[startup+0.100495 s]*
/proc/loadavg: 4.15 4.13 4.13 5/264 328589
/proc/meminfo: memFree=103969812/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=43696 memory=13868 CPUtime=0.09 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 3065 0 0 0 8 1 0 0 20 0 1 0 43846064 44744704 3467 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 10924 3467 1713 992 0 2782 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 13868 KiB

[startup+0.206496 s]*
/proc/loadavg: 4.15 4.13 4.13 5/264 328589
/proc/meminfo: memFree=103969008/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=43696 memory=13868 CPUtime=0.2 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 3065 0 0 0 19 1 0 0 20 0 1 0 43846064 44744704 3467 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 10924 3467 1713 992 0 2782 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 13868 KiB

[startup+0.305726 s]*
/proc/loadavg: 4.15 4.13 4.13 5/264 328589
/proc/meminfo: memFree=103967160/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=44232 memory=14776 CPUtime=0.29 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 3515 0 0 0 28 1 0 0 20 0 1 0 43846064 45293568 3694 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 11058 3694 1789 992 0 2916 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 44232 KiB
Current children cumulated memory: 14776 KiB

[startup+0.700225 s]
/proc/loadavg: 4.15 4.13 4.13 5/264 328589
/proc/meminfo: memFree=103958476/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=44572 memory=17916 CPUtime=0.68 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 3722 0 0 0 66 2 0 0 20 0 1 0 43846064 45641728 4479 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 11143 4479 1872 992 0 3001 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 44572 KiB
Current children cumulated memory: 17916 KiB

[startup+1.50018 s]
/proc/loadavg: 4.15 4.13 4.13 5/264 328589
/proc/meminfo: memFree=103946688/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=45780 memory=18708 CPUtime=1.48 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 3960 0 0 0 145 3 0 0 20 0 1 0 43846064 46878720 4677 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 11445 4677 1872 992 0 3303 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 45780 KiB
Current children cumulated memory: 18708 KiB

[startup+3.10561 s]
/proc/loadavg: 4.13 4.13 4.13 5/264 328589
/proc/meminfo: memFree=103902256/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=45780 memory=18972 CPUtime=3.08 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 3997 0 0 0 302 6 0 0 20 0 1 0 43846064 46878720 4743 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 11445 4743 1872 992 0 3303 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 45780 KiB
Current children cumulated memory: 18972 KiB

[startup+6.30021 s]
/proc/loadavg: 4.13 4.13 4.13 5/264 328591
/proc/meminfo: memFree=103845976/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=47012 memory=20024 CPUtime=6.27 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 4299 0 0 0 614 13 0 0 20 0 1 0 43846064 48140288 5006 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 11753 5006 1872 992 0 3611 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 47012 KiB
Current children cumulated memory: 20024 KiB

[startup+12.7002 s]
/proc/loadavg: 4.28 4.16 4.14 5/264 328591
/proc/meminfo: memFree=103779988/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=48016 memory=21072 CPUtime=12.65 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 4514 0 0 0 1240 25 0 0 20 0 1 0 43846064 49168384 5268 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 12004 5268 1872 992 0 3862 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 48016 KiB
Current children cumulated memory: 21072 KiB

[startup+25.5002 s]
/proc/loadavg: 4.29 4.17 4.14 5/264 328594
/proc/meminfo: memFree=103641884/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=52688 memory=25948 CPUtime=25.43 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 5784 0 0 0 2496 47 0 0 20 0 1 0 43846064 53952512 6487 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 13172 6487 1872 992 0 5030 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 52688 KiB
Current children cumulated memory: 25948 KiB

[startup+51.1056 s]
/proc/loadavg: 4.19 4.16 4.14 5/264 328598
/proc/meminfo: memFree=103102892/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=59088 memory=32672 CPUtime=50.97 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 6897 0 0 0 5007 90 0 0 20 0 1 0 43846064 60506112 8168 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 14772 8168 1872 992 0 6630 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 59088 KiB
Current children cumulated memory: 32672 KiB

[startup+102.3 s]
/proc/loadavg: 4.18 4.16 4.14 5/272 328618
/proc/meminfo: memFree=102311424/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=70280 memory=38552 CPUtime=102.04 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 8376 0 0 0 10040 164 0 0 20 0 1 0 43846064 71966720 9638 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 17570 9638 1872 992 0 9428 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 70280 KiB
Current children cumulated memory: 38552 KiB

[startup+162.3 s]
/proc/loadavg: 4.17 4.16 4.14 5/271 328628
/proc/meminfo: memFree=101466320/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=74216 memory=46332 CPUtime=161.89 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 9329 0 0 0 15956 233 0 0 20 0 1 0 43846064 75997184 11583 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 18554 11583 1872 992 0 10412 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 74216 KiB
Current children cumulated memory: 46332 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.14 4.13 6/267 328638
/proc/meminfo: memFree=100528412/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=75644 memory=48248 CPUtime=221.71 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 9751 0 0 0 21866 305 0 0 20 0 1 0 43846064 77459456 12062 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 18911 12062 1872 992 0 10769 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 75644 KiB
Current children cumulated memory: 48248 KiB

[startup+282.3 s]
/proc/loadavg: 4.26 4.19 4.15 5/266 328650
/proc/meminfo: memFree=99904992/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=89104 memory=56400 CPUtime=281.57 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 10757 0 0 0 27799 358 0 0 20 0 1 0 43846064 91242496 14100 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 22276 14100 1872 992 0 14134 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 89104 KiB
Current children cumulated memory: 56400 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.17 4.14 5/266 328660
/proc/meminfo: memFree=99428448/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=89852 memory=57120 CPUtime=341.43 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 10963 0 0 0 33729 414 0 0 20 0 1 0 43846064 92008448 14280 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 22463 14280 1872 992 0 14321 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 89852 KiB
Current children cumulated memory: 57120 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.15 4.14 5/262 328671
/proc/meminfo: memFree=98872388/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=91304 memory=58620 CPUtime=401.3 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 11349 0 0 0 39665 465 0 0 20 0 1 0 43846064 93495296 14655 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 22826 14655 1872 992 0 14684 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 91304 KiB
Current children cumulated memory: 58620 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.15 4.14 5/259 328682
/proc/meminfo: memFree=98455096/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=93776 memory=62696 CPUtime=461.17 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 11929 0 0 0 45606 511 0 0 20 0 1 0 43846064 96026624 15674 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 23444 15674 1872 992 0 15302 0
Current children cumulated CPU time: 461.17 s
Current children cumulated vsize: 93776 KiB
Current children cumulated memory: 62696 KiB

[startup+522.3 s]
/proc/loadavg: 4.14 4.15 4.14 5/258 328692
/proc/meminfo: memFree=97868640/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=93776 memory=63196 CPUtime=521.04 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 12006 0 0 0 51546 558 0 0 20 0 1 0 43846064 96026624 15799 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 23444 15799 1872 992 0 15302 0
Current children cumulated CPU time: 521.04 s
Current children cumulated vsize: 93776 KiB
Current children cumulated memory: 63196 KiB

[startup+582.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/261 328706
/proc/meminfo: memFree=97051580/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=96524 memory=67688 CPUtime=580.9 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 12712 0 0 0 57490 600 0 0 20 0 1 0 43846064 98840576 16922 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 24131 16922 1872 992 0 15989 0
Current children cumulated CPU time: 580.9 s
Current children cumulated vsize: 96524 KiB
Current children cumulated memory: 67688 KiB

[startup+642.3 s]
/proc/loadavg: 4.16 4.15 4.14 5/261 328718
/proc/meminfo: memFree=96207084/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=96772 memory=67952 CPUtime=640.77 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 12788 0 0 0 63432 645 0 0 20 0 1 0 43846064 99094528 16988 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 24193 16988 1872 992 0 16051 0
Current children cumulated CPU time: 640.77 s
Current children cumulated vsize: 96772 KiB
Current children cumulated memory: 67952 KiB

[startup+702.3 s]
/proc/loadavg: 4.06 4.12 4.13 5/266 328736
/proc/meminfo: memFree=95346856/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=99188 memory=71948 CPUtime=700.63 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 13329 0 0 0 69377 686 0 0 20 0 1 0 43846064 101568512 17987 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 24797 17987 1872 992 0 16655 0
Current children cumulated CPU time: 700.63 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 71948 KiB

[startup+762.3 s]
/proc/loadavg: 4.13 4.13 4.13 5/266 328746
/proc/meminfo: memFree=94640624/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=99188 memory=72404 CPUtime=760.49 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 13433 0 0 0 75318 731 0 0 20 0 1 0 43846064 101568512 18101 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 24797 18101 1872 992 0 16655 0
Current children cumulated CPU time: 760.49 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 72404 KiB

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

# cumulated CPU time of all completed processes:  user=787.725 s, system=7.52016 s

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

[startup+768 s]*
/proc/loadavg: 4.11 4.12 4.12 5/266 328747
/proc/meminfo: memFree=94544620/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=99188 memory=72404 CPUtime=766.18 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 13433 0 0 0 75883 735 0 0 20 0 1 0 43846064 101568512 18101 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 24797 18101 1872 992 0 16655 0
Current children cumulated CPU time: 766.18 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 72404 KiB

[startup+780.8 s]
/proc/loadavg: 4.09 4.12 4.12 5/269 328752
/proc/meminfo: memFree=94412408/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=99188 memory=72404 CPUtime=778.94 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 13451 0 0 0 77153 741 0 0 20 0 1 0 43846064 101568512 18101 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 24797 18101 1872 992 0 16655 0
Current children cumulated CPU time: 778.94 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 72404 KiB

[startup+787.2 s]
/proc/loadavg: 4.08 4.12 4.12 5/269 328754
/proc/meminfo: memFree=94348400/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=99188 memory=72404 CPUtime=785.34 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 13452 0 0 0 77788 746 0 0 20 0 1 0 43846064 101568512 18101 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 24797 18101 1872 992 0 16655 0
Current children cumulated CPU time: 785.34 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 72404 KiB

[startup+793.6 s]
/proc/loadavg: 4.07 4.11 4.12 5/269 328754
/proc/meminfo: memFree=94250572/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=99188 memory=72404 CPUtime=791.71 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 13453 0 0 0 78423 748 0 0 20 0 1 0 43846064 101568512 18101 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 24797 18101 1872 992 0 16655 0
Current children cumulated CPU time: 791.71 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 72404 KiB

[startup+795.2 s]
/proc/loadavg: 4.07 4.11 4.12 5/269 328756
/proc/meminfo: memFree=94215408/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=99188 memory=72404 CPUtime=793.32 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 13453 0 0 0 78582 750 0 0 20 0 1 0 43846064 101568512 18101 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 24797 18101 1872 992 0 16655 0
Current children cumulated CPU time: 793.32 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 72404 KiB

[startup+796 s]*
/proc/loadavg: 4.07 4.11 4.12 5/269 328756
/proc/meminfo: memFree=94203652/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=99188 memory=72404 CPUtime=794.12 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 13453 0 0 0 78662 750 0 0 20 0 1 0 43846064 101568512 18101 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 24797 18101 1872 992 0 16655 0
Current children cumulated CPU time: 794.12 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 72404 KiB

[startup+796.8 s]
/proc/loadavg: 4.07 4.11 4.12 5/269 328756
/proc/meminfo: memFree=94203652/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=99188 memory=72404 CPUtime=794.91 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 13453 0 0 0 78740 751 0 0 20 0 1 0 43846064 101568512 18101 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 24797 18101 1872 992 0 16655 0
Current children cumulated CPU time: 794.91 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 72404 KiB

[startup+797 s]*
/proc/loadavg: 4.07 4.11 4.12 5/269 328756
/proc/meminfo: memFree=94185616/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=99188 memory=72404 CPUtime=795.12 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 13453 0 0 0 78761 751 0 0 20 0 1 0 43846064 101568512 18101 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 24797 18101 1872 992 0 16655 0
Current children cumulated CPU time: 795.12 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 72404 KiB

[startup+797.106 s]
/proc/loadavg: 4.07 4.11 4.12 5/269 328756
/proc/meminfo: memFree=94185616/131524600 swapFree=131056612/131071996
[pid=328588] ppid=328585 vsize=99188 memory=72404 CPUtime=795.22 cores=4,6
/proc/328588/stat : 328588 (roundingsat) R 328585 328588 323074 0 -1 4194304 13453 0 0 0 78771 751 0 0 20 0 1 0 43846064 101568512 18101 134679101440 4194304 8254357 140728782665552 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 14999552 140728782672731 140728782672993 140728782672993 140728782680009 0
/proc/328588/statm: 24797 18101 1872 992 0 16655 0
Current children cumulated CPU time: 795.22 s
Current children cumulated vsize: 99188 KiB
Current children cumulated memory: 72404 KiB

Child status: 0

Real time (s): 797.144
CPU time (s): 795.245
CPU user time (s): 787.725
CPU system time (s): 7.52016
CPU usage (%): 99.7618
Max. virtual memory (cumulated for all children) (KiB): 99188
Max. memory (cumulated for all children) (KiB): 72404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 787.725
system time used= 7.52016
maximum resident set size= 72404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13461
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1547352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 340
involuntary context switches= 1081


# summary of solver processes directly reported to runsolver:
#   pid: 328588
#   total CPU time (s): 795.245
#   total CPU user time (s): 787.725
#   total CPU system time (s): 7.52016

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.29652 second user time and 4.0246 second system time

The end

Launcher Data 

Begin job on nodeC025 at 2024-07-27 11:39:30
IDJOB=4460952
IDBENCH=178266
IDSOLVER=3086
FILE ID=nodeC025/4460952-1722073170
RUNJOBID= nodeC025-1722064836-323089
SLURM_JOB_ID= 8248094
Free space on /tmp= 890064 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/maxcut/maxcut_opt_complete_5-partite_inlv/normalized-maxcut_opt_complete_5-partite_inlv_nvert_27.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-4460952-1722073170/watcher-4460952-1722073170 -o /tmp/evaluation-result-4460952-1722073170/solver-4460952-1722073170 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722064836-323089 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460952-1722073170 --lp-cut-gomory=0 HOME/instance-4460952-1722073170.opb

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

MD5SUM BENCH= 3b9231489038b4cdb94f511f52877e11
RANDOM SEED=40065274

nodeC025.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		: 3679.847
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.51
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		: 3689.055
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	: 7005.49
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		: 3633.094
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.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        103978864 kB
MemAvailable:   127488604 kB
Buffers:          375088 kB
Cached:         23934108 kB
SwapCached:          112 kB
Active:          2369260 kB
Inactive:       24505928 kB
Active(anon):       4572 kB
Inactive(anon):  2613772 kB
Active(file):    2364688 kB
Inactive(file): 21892156 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131056612 kB
Dirty:            304360 kB
Writeback:             0 kB
AnonPages:       2565344 kB
Mapped:           111436 kB
Shmem:             52560 kB
KReclaimable:     185440 kB
Slab:             317852 kB
SReclaimable:     185440 kB
SUnreclaim:       132412 kB
KernelStack:        4256 kB
PageTables:        14472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3219772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            13280 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2037760 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:      379604 kB
DirectMap2M:    40288256 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 890056 MiB
End job on nodeC025 at 2024-07-27 11:52:47