Trace number 4503794

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+pbsuma-opt 63f22adOPT3367493 664.271 666.022

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/zahidi/
Base/normalized-minisat50_4_16_2.opb
MD5SUM768a18ffa3b1a9fc42159a5899fb070e
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 benchmark3367493
Best CPU time to get the best result obtained on this benchmark88.7011
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 147197952
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 48050028218
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 147197952
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 48050028218
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4503794-1751484790.opb'
0.00/0.01	c 	read 0.40MB  (6.00ms)
0.00/0.01	c	 [cnf: #variables 5100 #clauses 7607 #duplicates 0 #arr 37600]
0.00/0.01	c 
0.00/0.01	c make graph and approximate orbits
0.00/0.02	c	 [group: #orbits ~= 0] (9.37ms)
0.00/0.02	c 
0.00/0.02	c detect special group actions
0.00/0.02	c 	probe for Johnson action (limit=64)
0.00/0.02	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.02	c 	 (1.12ms)
0.00/0.02	c 
0.00/0.02	c detect symmetries on remainder
0.00/0.02	c 	[graph: #vertices 35607 #edges 121000]
0.00/0.02	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.03	c 	 [group: #symmetries 1.00*10^0 #generators 0] (2.07ms)
0.00/0.03	c 
0.00/0.03	c finalize break order and special generators
0.00/0.03	c 
0.00/0.03	c generation finished
0.00/0.03	c 	[sbp: #constraints 0 #add_vars 0]
0.00/0.03	c 
0.00/0.03	c write result to 'HOME/instance-4503794-1751484790.opb.pre'
0.00/0.03	c 	wrote 0.41MB (1.10ms)
0.00/0.03	c ------------------------------------------------------------------
0.00/0.03	c                   9.37ms 46.04% approx_orbits
0.00/0.03	c                   5.99ms 29.44% parse
0.00/0.03	c                   2.07ms 10.15% detect_generic
0.00/0.03	c                   1.12ms  5.49% detect_special
0.00/0.03	c                   1.10ms  5.43% output
0.00/0.03	c                   0.53ms  2.61% other
0.00/0.03	c                   0.17ms  0.84% finalize_order
0.00/0.03	c         ───────────────────────────────────────────────
0.00/0.03	c                  20.36ms   100% total
0.00/0.03	c ------------------------------------------------------------------
0.00/0.04	c RoundingSat 2
0.00/0.04	c branch pb25
0.00/0.04	c commit 63f22ad
0.00/0.09	c #variables 5100 #constraints 12510
0.00/0.09	c objective is ce32 
0.00/0.09	c initial watched  CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
0.00/0.09	c initial counting CF 32, 64, 128, Arb: 1326 , 0 , 0 , 0
0.00/0.09	c bounds - >= -50 @ 0.032476
0.85/0.94	c bounds 210281065 >= -50 @ 0.855016
0.85/0.94	c bounds 138879385 >= -50 @ 0.859437
0.85/0.96	c bounds 97916941 >= -50 @ 0.878254
0.85/0.97	c bounds 75357461 >= -50 @ 0.885979
0.85/0.98	c bounds 74018945 >= -50 @ 0.895985
0.85/0.99	c bounds 73963617 >= -50 @ 0.900721
0.85/0.99	c bounds 73682401 >= -50 @ 0.903778
1.45/1.59	c bounds 73263923 >= -50 @ 1.48813
1.55/1.63	c bounds 73200905 >= -50 @ 1.52408
1.55/1.64	c bounds 73102607 >= -50 @ 1.53092
1.64/1.70	c bounds 73102217 >= -50 @ 1.59091
1.64/1.79	c bounds 73029865 >= -50 @ 1.67806
1.75/1.82	c bounds 72996387 >= -50 @ 1.70339
1.75/1.83	c bounds 72992725 >= -50 @ 1.71721
1.75/1.85	c bounds 72971621 >= -50 @ 1.73409
1.85/1.92	c bounds 71590709 >= -50 @ 1.8026
1.85/2.00	c bounds 71553189 >= -50 @ 1.88409
2.34/2.40	c bounds 71531101 >= -50 @ 2.27761
3.05/3.11	c #Conflicts:       1000 | #Constraints:      13527
3.05/3.11	c bounds 71518589 >= -50 @ 2.96451
3.05/3.12	c bounds 71494365 >= -50 @ 2.97734
3.14/3.26	c bounds 71485997 >= -50 @ 3.11206
3.24/3.38	c bounds 71461773 >= -50 @ 3.23511
3.44/3.55	c bounds 57301127 >= -50 @ 3.39628
3.44/3.57	c bounds 57290935 >= -50 @ 3.41632
3.54/3.68	c bounds 57287123 >= -50 @ 3.52886
3.74/3.84	c bounds 52328529 >= -50 @ 3.68613
3.74/3.86	c bounds 52211161 >= -50 @ 3.70639
3.95/4.01	c bounds 52156335 >= -50 @ 3.84846
3.95/4.04	c bounds 52145517 >= -50 @ 3.8785
3.95/4.06	c bounds 52107629 >= -50 @ 3.90231
3.95/4.08	c bounds 52101805 >= -50 @ 3.92308
3.95/4.09	c bounds 51967677 >= -50 @ 3.93542
4.05/4.11	c bounds 51884447 >= -50 @ 3.94823
4.05/4.12	c bounds 51878747 >= -50 @ 3.96345
4.05/4.18	c bounds 51874099 >= -50 @ 4.01683
4.05/4.19	c bounds 51869747 >= -50 @ 4.03202
4.14/4.21	c bounds 51727663 >= -50 @ 4.05025
4.14/4.24	c bounds 51706455 >= -50 @ 4.07592
4.14/4.26	c bounds 51693681 >= -50 @ 4.09923
4.14/4.27	c bounds 51691599 >= -50 @ 4.11181
4.14/4.29	c bounds 51690205 >= -50 @ 4.12289
4.24/4.30	c bounds 51687247 >= -50 @ 4.13578
4.54/4.66	c bounds 51568723 >= -50 @ 4.47708
4.54/4.68	c bounds 51567269 >= -50 @ 4.49853
4.64/4.70	c bounds 51565235 >= -50 @ 4.51629
4.64/4.72	c bounds 51563841 >= -50 @ 4.53079
4.64/4.75	c bounds 51563607 >= -50 @ 4.56156
4.64/4.76	c bounds 51562213 >= -50 @ 4.57493
4.64/4.78	c bounds 51559255 >= -50 @ 4.59704
4.83/4.90	c bounds 42173501 >= -50 @ 4.71216
5.24/5.37	c bounds 12993651 >= -50 @ 5.17085
5.34/5.44	c bounds 12989503 >= -50 @ 5.23998
5.34/5.45	c bounds 12989039 >= -50 @ 5.25121
5.43/5.50	c bounds 12967277 >= -50 @ 5.3036
5.43/5.52	c bounds 12958119 >= -50 @ 5.32273
5.43/5.54	c bounds 12956973 >= -50 @ 5.33953
5.43/5.56	c bounds 12932167 >= -50 @ 5.35382
6.94/7.00	c #Conflicts:       2000 | #Constraints:      14566
6.94/7.00	c INPROCESSING
6.94/7.00	c GARBAGE COLLECT
6.94/7.00	c bounds 12922241 >= -50 @ 6.77385
6.94/7.02	c bounds 12918591 >= -50 @ 6.78516
7.94/8.06	c bounds 12363591 >= -50 @ 7.80672
8.03/8.11	c bounds 12292449 >= -50 @ 7.86292
8.13/8.21	c #Conflicts:       3000 | #Constraints:      11670
8.13/8.21	c bounds 12275321 >= -50 @ 7.95837
8.13/8.23	c bounds 12202867 >= -50 @ 7.97633
8.22/8.30	c bounds 12133699 >= -50 @ 8.04442
8.22/8.32	c bounds 12117595 >= -50 @ 8.06356
8.32/8.41	c bounds 12109675 >= -50 @ 8.15712
8.32/8.43	c bounds 12107857 >= -50 @ 8.16906
8.43/8.55	c bounds 12104043 >= -50 @ 8.2913
8.43/8.58	c bounds 12093931 >= -50 @ 8.3165
8.43/8.59	c bounds 12087793 >= -50 @ 8.33093
8.53/8.64	c bounds 12043031 >= -50 @ 8.3815
8.53/8.66	c bounds 12030817 >= -50 @ 8.3996
8.53/8.68	c bounds 12024579 >= -50 @ 8.4173
8.63/8.70	c bounds 12013363 >= -50 @ 8.43731
8.73/8.83	c bounds 12010001 >= -50 @ 8.55954
8.82/8.93	c bounds 11999483 >= -50 @ 8.65841
8.93/9.01	c bounds 11989715 >= -50 @ 8.73541
9.12/9.25	c bounds 11985097 >= -50 @ 8.96655
9.22/9.33	c bounds 11949705 >= -50 @ 9.05333
9.42/9.51	c bounds 11938775 >= -50 @ 9.22957
9.42/9.55	c bounds 11936583 >= -50 @ 9.26648
9.93/10.08	c bounds 11913103 >= -50 @ 9.79696
10.02/10.13	c bounds 11899095 >= -50 @ 9.83819
11.92/12.03	c #Conflicts:       4000 | #Constraints:      12709
11.92/12.03	WSVECS04 Frhs2[70]: 6 -77841 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[501]: 6 -152881 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[507]: 6 -63504 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[511]: 6 -123904 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[514]: 6 -108241 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[517]: 6 -38416 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[523]: 6 -42849 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[527]: 6 -77284 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[531]: 6 -73984 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[537]: 6 -96100 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[538]: 6 -11025 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[540]: 6 -180625 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[569]: 6 -152881 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[610]: 6 -77841 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[618]: 6 -32761 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[628]: 6 -90000 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[643]: 6 -74529 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[699]: 6 -37249 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[969]: 6 -77284 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[1149]: 6 -29241 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[1519]: 6 -96100 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[1569]: 6 -11025 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[1719]: 6 -180625 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2197]: 6 -32400 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2320]: 6 -26896 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2419]: 6 -63504 0 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2552]: 6 0 1.00004 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2555]: 6 0 1.00003 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2560]: 6 0 1.00007 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2563]: 6 0 1.00001 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2567]: 6 0 1.00009 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2573]: 6 0 1.00003 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2575]: 6 0 1.00005 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2578]: 6 0 1.00003 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2579]: 6 0 1.00006 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2580]: 6 0 1.00007 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2582]: 6 0 1.00009 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2583]: 6 0 1.00009 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2584]: 6 0 1.00007 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2585]: 6 0 1.00006 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2593]: 6 0 1.00004 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2594]: 6 0 1.00002 shouldn't be
11.92/12.03	WSVECS04 Frhs2[2597]: 6 0 1.00007 shouldn't be
12.81/12.90	c INPROCESSING
12.81/12.90	c GARBAGE COLLECT
12.81/12.90	c bounds 6952931 >= -50 @ 12.5597
12.81/12.91	c bounds 6939203 >= -50 @ 12.5672
12.81/12.91	c bounds 6920363 >= -50 @ 12.574
12.81/12.92	c bounds 6898603 >= -50 @ 12.581
12.81/12.93	c bounds 6868875 >= -50 @ 12.5891
12.81/12.94	c bounds 6851739 >= -50 @ 12.5951
12.81/12.95	c bounds 6844195 >= -50 @ 12.6107
12.81/12.96	c bounds 6817941 >= -50 @ 12.6177
12.81/12.97	c bounds 6813781 >= -50 @ 12.6272
12.81/12.98	c bounds 6808743 >= -50 @ 12.6382
12.81/12.99	c bounds 6774503 >= -50 @ 12.649
12.92/13.01	c bounds 6771487 >= -50 @ 12.6647
12.92/13.03	c bounds 6763295 >= -50 @ 12.6853
12.92/13.04	c bounds 6750815 >= -50 @ 12.6931
12.92/13.07	c bounds 4809911 >= -50 @ 12.7208
12.92/13.07	c bounds 4800791 >= -50 @ 12.7278
12.92/13.08	c bounds 4796631 >= -50 @ 12.7348
12.92/13.09	c bounds 4779329 >= -50 @ 12.7418
12.92/13.10	c bounds 4742145 >= -50 @ 12.7509
13.02/13.11	c bounds 4730603 >= -50 @ 12.7614
13.02/13.11	c bounds 4724075 >= -50 @ 12.769
13.02/13.14	c bounds 4718341 >= -50 @ 12.7988
13.02/13.15	c bounds 4706149 >= -50 @ 12.8069
13.02/13.16	c bounds 4701701 >= -50 @ 12.8129
13.11/13.20	c bounds 4692101 >= -50 @ 12.8516
13.11/13.22	c bounds 4666855 >= -50 @ 12.8647
13.11/13.22	c bounds 4665543 >= -50 @ 12.8722
13.11/13.23	c bounds 4652729 >= -50 @ 12.8818
13.11/13.25	c bounds 4651791 >= -50 @ 12.8979
13.11/13.26	c bounds 4638045 >= -50 @ 12.9055
13.11/13.27	c bounds 4620909 >= -50 @ 12.9181
13.11/13.28	c bounds 4611189 >= -50 @ 12.9255
13.22/13.30	c bounds 4602919 >= -50 @ 12.9428
13.22/13.31	c bounds 4601607 >= -50 @ 12.9492
13.22/13.31	c bounds 4576087 >= -50 @ 12.957
13.22/13.33	c bounds 4551223 >= -50 @ 12.9759
13.22/13.34	c bounds 4512537 >= -50 @ 12.9863
13.22/13.35	c bounds 4487169 >= -50 @ 12.9949
13.22/13.36	c bounds 4465409 >= -50 @ 13.0057
13.22/13.37	c bounds 4456407 >= -50 @ 13.0168
13.22/13.38	c bounds 4446257 >= -50 @ 13.023
13.22/13.39	c bounds 4412881 >= -50 @ 13.0317
13.31/13.40	c bounds 4401015 >= -50 @ 13.0397
13.31/13.42	c bounds 4394199 >= -50 @ 13.0544
13.42/13.53	c bounds 4389117 >= -50 @ 13.1641
13.42/13.54	c bounds 4377575 >= -50 @ 13.1725
13.42/13.58	c bounds 4372821 >= -50 @ 13.2196
13.52/13.60	c bounds 4357461 >= -50 @ 13.2393
13.52/13.61	c bounds 4356149 >= -50 @ 13.248
13.52/13.62	c bounds 4316693 >= -50 @ 13.2571
14.01/14.19	c #Conflicts:       5000 | #Constraints:      12027
14.01/14.19	c bounds 4313753 >= -50 @ 13.8196
14.12/14.22	c bounds 4310835 >= -50 @ 13.8465
14.12/14.23	c bounds 4304307 >= -50 @ 13.8574
14.12/14.24	c bounds 4299769 >= -50 @ 13.8676
14.41/14.58	c bounds 4297427 >= -50 @ 14.1987
14.71/14.81	c bounds 4284755 >= -50 @ 14.4224
14.71/14.82	c bounds 4283443 >= -50 @ 14.4334
17.50/17.61	c #Conflicts:       6000 | #Constraints:      13034
17.50/17.61	c INPROCESSING
17.50/17.61	c GARBAGE COLLECT
17.50/17.61	WSVECS04 Frhs2[532]: 6 -80089 0 shouldn't be
17.50/17.61	WSVECS04 Frhs2[634]: 6 -75625 0 shouldn't be
17.50/17.61	WSVECS04 Frhs2[749]: 6 -24025 0 shouldn't be
17.50/17.61	WSVECS04 Frhs2[1269]: 6 -80089 0 shouldn't be
17.50/17.61	WSVECS04 Frhs2[1370]: 6 -75625 0 shouldn't be
17.50/17.61	WSVECS04 Frhs2[2049]: 6 -171396 0 shouldn't be
17.50/17.61	WSVECS04 Frhs2[2149]: 6 -89401 0 shouldn't be
17.50/17.61	WSVECS04 Frhs2[2172]: 6 -24025 0 shouldn't be
17.50/17.61	WSVECS04 Frhs2[2196]: 6 -171396 0 shouldn't be
17.50/17.61	WSVECS04 Frhs2[2198]: 6 -89401 0 shouldn't be
17.50/17.61	WSVECS04 Frhs2[2554]: 6 0 1.00001 shouldn't be
17.50/17.61	WSVECS04 Frhs2[2564]: 6 0 1.00007 shouldn't be
17.50/17.61	WSVECS04 Frhs2[2577]: 6 0 1.0001 shouldn't be
19.00/19.15	c rational objective 1.71035e+06
19.70/19.86	c bounds 4275763 >= -50 @ 19.3911
19.70/19.87	c bounds 4264563 >= -50 @ 19.4
19.70/19.88	c bounds 4253265 >= -50 @ 19.407
19.80/19.90	c bounds 4241499 >= -50 @ 19.4251
19.80/19.91	c bounds 4234491 >= -50 @ 19.4383
21.60/21.73	c #Conflicts:       7000 | #Constraints:      10640
21.60/21.73	c bounds 4233401 >= -50 @ 21.2467
23.79/23.93	c #Conflicts:       8000 | #Constraints:      11641
23.79/23.93	c #Conflicts:       9000 | #Constraints:      12641
23.79/23.93	c INPROCESSING
23.79/23.93	c GARBAGE COLLECT
23.79/23.93	c bounds 4223801 >= -50 @ 23.4224
23.79/23.93	c bounds 4211129 >= -50 @ 23.4295
23.89/24.06	c bounds 4206889 >= -50 @ 23.5509
23.89/24.09	c bounds 4168657 >= -50 @ 23.5809
24.38/24.50	c bounds 4165513 >= -50 @ 23.9946
25.78/25.93	c #Conflicts:      10000 | #Constraints:      11329
25.78/25.93	c bounds 4154625 >= -50 @ 25.4039
29.68/29.81	c #Conflicts:      11000 | #Constraints:      12330
29.68/29.81	c #Conflicts:      12000 | #Constraints:      13330
29.68/29.81	c INPROCESSING
29.68/29.81	c GARBAGE COLLECT
29.68/29.81	c bounds 4151593 >= -50 @ 29.2553
29.68/29.89	c bounds 4146083 >= -50 @ 29.336
29.98/30.15	c bounds 4144269 >= -50 @ 29.5892
30.77/30.96	c bounds 4144219 >= -50 @ 30.3989
30.77/30.99	c bounds 4137979 >= -50 @ 30.4228
30.97/31.16	c #Conflicts:      13000 | #Constraints:      11757
30.97/31.16	c bounds 4137733 >= -50 @ 30.5914
44.03/44.24	c #Conflicts:      14000 | #Constraints:      12773
44.03/44.24	c #Conflicts:      15000 | #Constraints:      13779
44.03/44.24	c INPROCESSING
44.03/44.24	c GARBAGE COLLECT
44.03/44.24	c #Conflicts:      16000 | #Constraints:      11980
44.03/44.24	c #Conflicts:      17000 | #Constraints:      12980
44.03/44.24	c #Conflicts:      18000 | #Constraints:      13980
44.03/44.24	c INPROCESSING
44.03/44.24	c GARBAGE COLLECT
44.03/44.24	c rational objective 1.72222e+06
54.61/54.82	c #Conflicts:      19000 | #Constraints:      11962
54.61/54.82	c #Conflicts:      20000 | #Constraints:      12962
54.61/54.82	c #Conflicts:      21000 | #Constraints:      13962
54.61/54.82	c INPROCESSING
54.61/54.82	c GARBAGE COLLECT
54.61/54.82	c rational objective 1.75294e+06
108.87/109.27	c #Conflicts:      22000 | #Constraints:      11744
108.87/109.27	c #Conflicts:      23000 | #Constraints:      12744
108.87/109.27	c #Conflicts:      24000 | #Constraints:      13744
108.87/109.27	c #Conflicts:      25000 | #Constraints:      14744
108.87/109.27	c INPROCESSING
108.87/109.27	c GARBAGE COLLECT
108.87/109.27	c #Conflicts:      26000 | #Constraints:      12323
108.87/109.27	c #Conflicts:      27000 | #Constraints:      13328
108.87/109.27	c #Conflicts:      28000 | #Constraints:      14333
108.87/109.27	c #Conflicts:      29000 | #Constraints:      15333
108.87/109.27	c INPROCESSING
108.87/109.27	c GARBAGE COLLECT
108.87/109.27	c #Conflicts:      30000 | #Constraints:      12484
108.87/109.27	c #Conflicts:      31000 | #Constraints:      13484
108.87/109.27	c #Conflicts:      32000 | #Constraints:      14484
108.87/109.27	c #Conflicts:      33000 | #Constraints:      15516
108.87/109.27	c INPROCESSING
108.87/109.27	c GARBAGE COLLECT
108.87/109.27	c #Conflicts:      34000 | #Constraints:      12759
108.87/109.27	c #Conflicts:      35000 | #Constraints:      13905
108.87/109.27	c #Conflicts:      36000 | #Constraints:      14948
108.87/109.27	c #Conflicts:      37000 | #Constraints:      15969
108.87/109.27	c INPROCESSING
108.87/109.27	c GARBAGE COLLECT
108.87/109.27	c #Conflicts:      38000 | #Constraints:      12878
108.87/109.27	c #Conflicts:      39000 | #Constraints:      13974
108.87/109.27	c #Conflicts:      40000 | #Constraints:      15190
108.87/109.27	c #Conflicts:      41000 | #Constraints:      16319
108.87/109.27	c INPROCESSING
108.87/109.27	c GARBAGE COLLECT
108.87/109.27	c rational objective 1.72431e+06
122.63/123.10	c #Conflicts:      42000 | #Constraints:      12862
122.63/123.10	c #Conflicts:      43000 | #Constraints:      13862
122.63/123.10	c #Conflicts:      44000 | #Constraints:      14864
122.63/123.10	c #Conflicts:      45000 | #Constraints:      15866
122.63/123.10	c #Conflicts:      46000 | #Constraints:      16866
122.63/123.10	c INPROCESSING
122.63/123.10	c GARBAGE COLLECT
122.63/123.10	c rational objective 1.72799e+06
136.09/136.58	c #Conflicts:      47000 | #Constraints:      13240
136.09/136.58	c #Conflicts:      48000 | #Constraints:      14243
136.09/136.58	c #Conflicts:      49000 | #Constraints:      15248
136.09/136.58	c #Conflicts:      50000 | #Constraints:      16249
136.09/136.58	c #Conflicts:      51000 | #Constraints:      17252
136.09/136.58	c INPROCESSING
136.09/136.58	c GARBAGE COLLECT
136.09/136.58	c rational objective 1.73042e+06
161.43/161.93	c #Conflicts:      52000 | #Constraints:      13497
161.43/161.93	c #Conflicts:      53000 | #Constraints:      14497
161.43/161.93	c #Conflicts:      54000 | #Constraints:      15497
161.43/161.93	c #Conflicts:      55000 | #Constraints:      16497
161.43/161.93	c #Conflicts:      56000 | #Constraints:      17499
161.43/161.93	c INPROCESSING
161.43/161.93	c GARBAGE COLLECT
161.43/161.93	c #Conflicts:      57000 | #Constraints:      13653
161.43/161.93	c #Conflicts:      58000 | #Constraints:      14655
161.43/161.93	c #Conflicts:      59000 | #Constraints:      15655
161.43/161.93	c #Conflicts:      60000 | #Constraints:      16655
161.43/161.93	c bounds 3986725 >= -50 @ 160.213
161.43/161.95	c bounds 3968827 >= -50 @ 160.236
161.43/161.99	c bounds 3963577 >= -50 @ 160.28
161.53/162.02	c bounds 3956881 >= -50 @ 160.303
161.53/162.04	c bounds 3955961 >= -50 @ 160.325
161.53/162.06	c bounds 3954433 >= -50 @ 160.347
161.53/162.10	c bounds 3945937 >= -50 @ 160.385
161.63/162.12	c bounds 3945017 >= -50 @ 160.406
161.63/162.19	c bounds 3940473 >= -50 @ 160.469
161.82/162.31	c bounds 3934297 >= -50 @ 160.587
161.82/162.34	c bounds 3929737 >= -50 @ 160.626
161.92/162.40	c bounds 3928981 >= -50 @ 160.685
162.02/162.50	c bounds 3928611 >= -50 @ 160.783
162.12/162.63	c bounds 3927997 >= -50 @ 160.913
162.12/162.67	c bounds 3917547 >= -50 @ 160.954
162.32/162.82	c bounds 3895665 >= -50 @ 161.098
162.32/162.84	c bounds 3892515 >= -50 @ 161.124
162.32/162.87	c bounds 3887041 >= -50 @ 161.147
162.42/162.90	c bounds 3881035 >= -50 @ 161.18
162.53/163.09	c bounds 3873049 >= -50 @ 161.369
162.63/163.12	c bounds 3871011 >= -50 @ 161.398
162.63/163.14	c bounds 3844961 >= -50 @ 161.422
162.73/163.20	c bounds 3840161 >= -50 @ 161.473
162.73/163.22	c bounds 3804027 >= -50 @ 161.498
162.73/163.29	c bounds 3803537 >= -50 @ 161.567
162.83/163.35	c #Conflicts:      61000 | #Constraints:      17681
162.83/163.35	c bounds 3801071 >= -50 @ 161.63
162.83/163.38	c bounds 3777097 >= -50 @ 161.659
162.93/163.41	c bounds 3766915 >= -50 @ 161.688
162.93/163.44	c bounds 3751907 >= -50 @ 161.712
162.93/163.48	c bounds 3750027 >= -50 @ 161.757
163.03/163.51	c bounds 3726277 >= -50 @ 161.784
163.03/163.54	c bounds 3718037 >= -50 @ 161.81
163.13/163.60	c bounds 3715831 >= -50 @ 161.872
163.13/163.62	c bounds 3711421 >= -50 @ 161.895
163.13/163.67	c bounds 3703837 >= -50 @ 161.944
163.13/163.69	c bounds 3692701 >= -50 @ 161.967
163.22/163.74	c bounds 3690783 >= -50 @ 162.014
163.22/163.78	c bounds 3667231 >= -50 @ 162.051
163.32/163.87	c bounds 3664501 >= -50 @ 162.145
164.72/165.28	c INPROCESSING
164.72/165.28	c GARBAGE COLLECT
164.72/165.28	c rational objective 1.73143e+06
180.78/181.37	c #Conflicts:      62000 | #Constraints:      13653
180.78/181.37	c #Conflicts:      63000 | #Constraints:      14682
180.78/181.37	c #Conflicts:      64000 | #Constraints:      15739
180.78/181.37	c #Conflicts:      65000 | #Constraints:      16795
180.78/181.37	c #Conflicts:      66000 | #Constraints:      17795
180.78/181.37	c INPROCESSING
180.78/181.37	c GARBAGE COLLECT
180.78/181.37	c rational objective 1.73165e+06
193.45/194.00	c #Conflicts:      67000 | #Constraints:      13521
193.45/194.00	c #Conflicts:      68000 | #Constraints:      14526
193.45/194.00	c #Conflicts:      69000 | #Constraints:      15540
193.45/194.00	c #Conflicts:      70000 | #Constraints:      16550
193.45/194.00	c #Conflicts:      71000 | #Constraints:      17563
193.45/194.00	c #Conflicts:      72000 | #Constraints:      18563
193.45/194.00	c INPROCESSING
193.45/194.00	c GARBAGE COLLECT
193.45/194.00	c bounds 3662453 >= -50 @ 192.035
193.45/194.05	c bounds 3649637 >= -50 @ 192.082
193.45/194.10	c bounds 3644621 >= -50 @ 192.129
193.55/194.11	c bounds 3642221 >= -50 @ 192.142
193.64/194.28	c bounds 3631899 >= -50 @ 192.306
193.64/194.29	c bounds 3631285 >= -50 @ 192.32
193.74/194.31	c bounds 3630973 >= -50 @ 192.345
193.74/194.33	c bounds 3624253 >= -50 @ 192.356
193.94/194.50	c bounds 3610267 >= -50 @ 192.53
194.74/195.34	c #Conflicts:      73000 | #Constraints:      14051
194.74/195.34	c bounds 3600691 >= -50 @ 193.369
195.54/196.11	c bounds 3595497 >= -50 @ 194.126
195.64/196.24	c bounds 3595235 >= -50 @ 194.256
195.64/196.26	c bounds 3589761 >= -50 @ 194.274
195.83/196.48	c #Conflicts:      74000 | #Constraints:      15055
195.83/196.48	c bounds 3587361 >= -50 @ 194.495
206.41/207.01	c #Conflicts:      75000 | #Constraints:      16100
206.41/207.01	c #Conflicts:      76000 | #Constraints:      17119
206.41/207.01	c #Conflicts:      77000 | #Constraints:      18144
206.41/207.01	c #Conflicts:      78000 | #Constraints:      19168
206.41/207.01	c INPROCESSING
206.41/207.01	c GARBAGE COLLECT
206.41/207.01	c bounds 3581071 >= -50 @ 204.934
206.41/207.06	c bounds 3569345 >= -50 @ 204.989
206.41/207.07	c bounds 3565497 >= -50 @ 205.002
206.51/207.19	c bounds 3565195 >= -50 @ 205.115
206.61/207.20	c bounds 3564209 >= -50 @ 205.131
207.10/207.74	c bounds 3563481 >= -50 @ 205.659
207.30/207.93	c bounds 3559929 >= -50 @ 205.851
209.20/209.84	c #Conflicts:      79000 | #Constraints:      14440
209.20/209.84	c #Conflicts:      80000 | #Constraints:      15451
209.20/209.84	c bounds 3559415 >= -50 @ 207.737
221.57/222.20	c #Conflicts:      81000 | #Constraints:      16458
221.57/222.20	c #Conflicts:      82000 | #Constraints:      17459
221.57/222.20	c #Conflicts:      83000 | #Constraints:      18459
221.57/222.20	c #Conflicts:      84000 | #Constraints:      19459
221.57/222.20	c INPROCESSING
221.57/222.20	c GARBAGE COLLECT
221.57/222.20	c rational objective 1.73181e+06
232.74/233.43	c #Conflicts:      85000 | #Constraints:      14614
232.74/233.43	c #Conflicts:      86000 | #Constraints:      15614
232.74/233.43	c #Conflicts:      87000 | #Constraints:      16614
232.74/233.43	c #Conflicts:      88000 | #Constraints:      17614
232.74/233.43	c #Conflicts:      89000 | #Constraints:      18614
232.74/233.43	c #Conflicts:      90000 | #Constraints:      19614
232.74/233.43	c INPROCESSING
232.74/233.43	c GARBAGE COLLECT
232.74/233.43	c rational objective 1.7453e+06
262.76/263.56	c #Conflicts:      91000 | #Constraints:      14522
262.76/263.56	c #Conflicts:      92000 | #Constraints:      15527
262.76/263.56	c #Conflicts:      93000 | #Constraints:      16573
262.76/263.56	c #Conflicts:      94000 | #Constraints:      17662
262.76/263.56	c #Conflicts:      95000 | #Constraints:      18716
262.76/263.56	c #Conflicts:      96000 | #Constraints:      19757
262.76/263.56	c INPROCESSING
262.76/263.56	c GARBAGE COLLECT
262.76/263.56	c #Conflicts:      97000 | #Constraints:      14427
262.76/263.56	c #Conflicts:      98000 | #Constraints:      15427
262.76/263.56	c #Conflicts:      99000 | #Constraints:      16428
262.76/263.56	c #Conflicts:     100000 | #Constraints:      17430
262.76/263.56	c #Conflicts:     101000 | #Constraints:      18432
262.76/263.56	c #Conflicts:     102000 | #Constraints:      19432
262.76/263.56	c #Conflicts:     103000 | #Constraints:      20432
262.76/263.56	c INPROCESSING
262.76/263.56	c GARBAGE COLLECT
262.76/263.56	c rational objective 1.74481e+06
269.94/270.79	c #Conflicts:     104000 | #Constraints:      14956
269.94/270.79	c #Conflicts:     105000 | #Constraints:      15956
269.94/270.79	c #Conflicts:     106000 | #Constraints:      16956
269.94/270.79	c bounds 3534051 >= -50 @ 268.205
270.04/270.85	c bounds 3530417 >= -50 @ 268.271
270.84/271.63	c bounds 3515483 >= -50 @ 269.038
270.84/271.67	c bounds 3514901 >= -50 @ 269.078
270.94/271.71	c bounds 3511723 >= -50 @ 269.119
283.31/284.19	c #Conflicts:     107000 | #Constraints:      17961
283.31/284.19	c #Conflicts:     108000 | #Constraints:      18963
283.31/284.19	c #Conflicts:     109000 | #Constraints:      19971
283.31/284.19	c #Conflicts:     110000 | #Constraints:      20972
283.31/284.19	c INPROCESSING
283.31/284.19	c GARBAGE COLLECT
283.31/284.19	c rational objective 1.74502e+06
284.10/284.99	c bounds 3510893 >= -50 @ 282.311
284.21/285.01	c bounds 3507453 >= -50 @ 282.323
284.41/285.25	c bounds 3503485 >= -50 @ 282.559
284.41/285.28	c bounds 3491389 >= -50 @ 282.592
284.90/285.76	c bounds 3485467 >= -50 @ 283.068
285.10/285.90	c bounds 3484057 >= -50 @ 283.204
285.70/286.59	c bounds 3483039 >= -50 @ 283.883
285.80/286.61	c bounds 3478689 >= -50 @ 283.903
285.80/286.63	c bounds 3468241 >= -50 @ 283.928
285.80/286.65	c bounds 3464481 >= -50 @ 283.948
285.90/286.78	c #Conflicts:     111000 | #Constraints:      15351
285.90/286.78	c bounds 3456319 >= -50 @ 284.077
286.00/286.81	c bounds 3453277 >= -50 @ 284.101
286.21/287.08	c bounds 3452491 >= -50 @ 284.371
286.40/287.22	c bounds 3451817 >= -50 @ 284.512
286.60/287.40	c bounds 3451235 >= -50 @ 284.687
286.70/287.50	c bounds 3448247 >= -50 @ 284.789
286.70/287.57	c bounds 3445881 >= -50 @ 284.86
286.80/287.62	c bounds 3438933 >= -50 @ 284.905
287.09/287.90	c bounds 3434175 >= -50 @ 285.182
287.40/288.20	c bounds 3432813 >= -50 @ 285.473
287.40/288.23	c bounds 3422287 >= -50 @ 285.507
287.50/288.36	c bounds 3407629 >= -50 @ 285.634
290.19/291.02	c #Conflicts:     112000 | #Constraints:      16375
290.19/291.02	c bounds 3406431 >= -50 @ 288.27
290.19/291.10	c bounds 3406319 >= -50 @ 288.347
290.29/291.14	c bounds 3404275 >= -50 @ 288.388
290.49/291.30	c bounds 3403953 >= -50 @ 288.54
290.98/291.89	c #Conflicts:     113000 | #Constraints:      17390
290.98/291.89	c bounds 3390265 >= -50 @ 289.134
291.08/291.93	c bounds 3386505 >= -50 @ 289.174
291.08/291.97	c bounds 3385719 >= -50 @ 289.212
291.29/292.15	c bounds 3383675 >= -50 @ 289.386
292.88/293.77	c bounds 3380351 >= -50 @ 290.998
292.98/293.85	c bounds 3379565 >= -50 @ 291.078
293.08/293.92	c #Conflicts:     114000 | #Constraints:      18404
293.08/293.92	c bounds 3379545 >= -50 @ 291.143
293.08/293.97	c bounds 3370233 >= -50 @ 291.202
294.08/294.97	c bounds 3368279 >= -50 @ 292.188
294.18/295.02	c bounds 3367493 >= -50 @ 292.238
308.34/309.25	c #Conflicts:     115000 | #Constraints:      19419
308.34/309.25	c #Conflicts:     116000 | #Constraints:      20424
308.34/309.25	c #Conflicts:     117000 | #Constraints:      21424
308.34/309.25	c INPROCESSING
308.34/309.25	c GARBAGE COLLECT
308.34/309.25	c rational objective 1.74503e+06
335.27/336.27	c #Conflicts:     118000 | #Constraints:      15512
335.27/336.27	c #Conflicts:     119000 | #Constraints:      16560
335.27/336.27	c #Conflicts:     120000 | #Constraints:      17671
335.27/336.27	c #Conflicts:     121000 | #Constraints:      18802
335.27/336.27	c #Conflicts:     122000 | #Constraints:      19889
335.27/336.27	c #Conflicts:     123000 | #Constraints:      20964
335.27/336.27	c #Conflicts:     124000 | #Constraints:      22033
335.27/336.27	c INPROCESSING
335.27/336.27	c GARBAGE COLLECT
335.27/336.27	WSVECS04 Frhs2[6]: 6 0 353962 shouldn't be
335.27/336.27	WSVECS04 Frhs2[14]: 6 0 135066 shouldn't be
335.27/336.27	WSVECS04 Frhs2[15]: 6 0 460621 shouldn't be
335.27/336.27	WSVECS04 Frhs2[17]: 6 0 85004.7 shouldn't be
335.27/336.27	WSVECS04 Frhs2[31]: 6 0 391209 shouldn't be
335.27/336.27	WSVECS04 Frhs2[38]: 6 0 657302 shouldn't be
335.27/336.27	WSVECS04 Frhs2[46]: 6 0 260208 shouldn't be
335.27/336.27	WSVECS04 Frhs2[53]: 6 0 55743.8 shouldn't be
335.27/336.27	WSVECS04 Frhs2[58]: 6 0 336091 shouldn't be
335.27/336.27	WSVECS04 Frhs2[61]: 6 0 680765 shouldn't be
335.27/336.27	WSVECS04 Frhs2[68]: 6 0 191825 shouldn't be
335.27/336.27	WSVECS04 Frhs2[73]: 6 0 279837 shouldn't be
335.27/336.27	WSVECS04 Frhs2[74]: 6 0 539798 shouldn't be
335.27/336.27	WSVECS04 Frhs2[78]: 6 0 49536.7 shouldn't be
335.27/336.27	WSVECS04 Frhs2[82]: 6 0 82553.5 shouldn't be
335.27/336.27	WSVECS04 Frhs2[90]: 6 0 679743 shouldn't be
335.27/336.27	WSVECS04 Frhs2[93]: 6 0 17027.2 shouldn't be
335.27/336.27	WSVECS04 Frhs2[96]: 6 0 128943 shouldn't be
335.27/336.27	WSVECS04 Frhs2[101]: 6 0 330753 shouldn't be
335.27/336.27	WSVECS04 Frhs2[106]: 6 0 264485 shouldn't be
335.27/336.27	WSVECS04 Frhs2[123]: 6 0 222283 shouldn't be
335.27/336.27	WSVECS04 Frhs2[124]: 6 0 203467 shouldn't be
335.27/336.27	WSVECS04 Frhs2[128]: 6 0 89454.1 shouldn't be
335.27/336.27	WSVECS04 Frhs2[131]: 6 0 502007 shouldn't be
335.27/336.27	WSVECS04 Frhs2[135]: 6 0 442565 shouldn't be
335.27/336.27	WSVECS04 Frhs2[144]: 6 0 74829.7 shouldn't be
335.27/336.27	WSVECS04 Frhs2[146]: 6 0 156625 shouldn't be
335.27/336.27	WSVECS04 Frhs2[158]: 6 0 312587 shouldn't be
335.27/336.27	WSVECS04 Frhs2[168]: 6 0 108694 shouldn't be
335.27/336.27	WSVECS04 Frhs2[173]: 6 0 205871 shouldn't be
335.27/336.27	WSVECS04 Frhs2[176]: 6 0 521394 shouldn't be
335.27/336.27	WSVECS04 Frhs2[178]: 6 0 514213 shouldn't be
335.27/336.27	WSVECS04 Frhs2[179]: 6 0 301923 shouldn't be
335.27/336.27	WSVECS04 Frhs2[183]: 6 0 321410 shouldn't be
335.27/336.27	WSVECS04 Frhs2[186]: 6 0 875789 shouldn't be
335.27/336.27	WSVECS04 Frhs2[187]: 6 0 326539 shouldn't be
335.27/336.27	WSVECS04 Frhs2[190]: 6 0 623207 shouldn't be
335.27/336.27	WSVECS04 Frhs2[196]: 6 0 514059 shouldn't be
335.27/336.27	WSVECS04 Frhs2[208]: 6 0 328148 shouldn't be
335.27/336.27	WSVECS04 Frhs2[210]: 6 0 455916 shouldn't be
335.27/336.27	WSVECS04 Frhs2[211]: 6 0 754966 shouldn't be
335.27/336.27	WSVECS04 Frhs2[218]: 6 0 106871 shouldn't be
335.27/336.27	WSVECS04 Frhs2[223]: 6 0 170430 shouldn't be
335.27/336.27	WSVECS04 Frhs2[224]: 6 0 569770 shouldn't be
335.27/336.27	WSVECS04 Frhs2[228]: 6 0 510254 shouldn't be
335.27/336.27	WSVECS04 Frhs2[229]: 6 0 288575 shouldn't be
335.27/336.27	WSVECS04 Frhs2[233]: 6 0 85598.6 shouldn't be
335.27/336.27	WSVECS04 Frhs2[235]: 6 0 825735 shouldn't be
335.27/336.27	WSVECS04 Frhs2[236]: 6 0 420465 shouldn't be
335.27/336.27	WSVECS04 Frhs2[237]: 6 0 320241 shouldn't be
335.27/336.27	WSVECS04 Frhs2[243]: 6 0 408622 shouldn't be
335.27/336.27	WSVECS04 Frhs2[246]: 6 0 565184 shouldn't be
335.27/336.27	WSVECS04 Frhs2[251]: 6 0 308197 shouldn't be
335.27/336.27	WSVECS04 Frhs2[256]: 6 0 254865 shouldn't be
335.27/336.27	WSVECS04 Frhs2[261]: 6 0 499943 shouldn't be
335.27/336.27	WSVECS04 Frhs2[318]: 6 0 394071 shouldn't be
335.27/336.27	WSVECS04 Frhs2[319]: 6 0 165763 shouldn't be
335.27/336.27	WSVECS04 Frhs2[322]: 6 0 204157 shouldn't be
335.27/336.27	WSVECS04 Frhs2[324]: 6 0 526129 shouldn't be
335.27/336.27	WSVECS04 Frhs2[333]: 6 0 308198 shouldn't be
335.27/336.27	WSVECS04 Frhs2[341]: 6 0 78747.1 shouldn't be
335.27/336.27	WSVECS04 Frhs2[358]: 6 0 324928 shouldn't be
335.27/336.27	WSVECS04 Frhs2[372]: 6 0 298406 shouldn't be
335.27/336.27	WSVECS04 Frhs2[374]: 6 0 555592 shouldn't be
335.27/336.27	WSVECS04 Frhs2[378]: 6 0 478680 shouldn't be
335.27/336.27	WSVECS04 Frhs2[386]: 6 0 421884 shouldn't be
335.27/336.27	WSVECS04 Frhs2[387]: 6 0 290145 shouldn't be
335.27/336.27	WSVECS04 Frhs2[390]: 6 0 646668 shouldn't be
335.27/336.27	WSVECS04 Frhs2[396]: 6 0 731281 shouldn't be
335.27/336.27	WSVECS04 Frhs2[397]: 6 0 55400.5 shouldn't be
335.27/336.27	WSVECS04 Frhs2[407]: 6 0 133753 shouldn't be
335.27/336.27	WSVECS04 Frhs2[410]: 6 0 277976 shouldn't be
335.27/336.27	WSVECS04 Frhs2[414]: 6 0 682949 shouldn't be
335.27/336.27	WSVECS04 Frhs2[421]: 6 0 38553.5 shouldn't be
335.27/336.27	WSVECS04 Frhs2[422]: 6 0 230056 shouldn't be
335.27/336.27	WSVECS04 Frhs2[425]: 6 0 71046.6 shouldn't be
335.27/336.27	WSVECS04 Frhs2[433]: 6 0 78967.9 shouldn't be
335.27/336.27	WSVECS04 Frhs2[435]: 6 0 803927 shouldn't be
335.27/336.27	WSVECS04 Frhs2[444]: 6 0 233184 shouldn't be
335.27/336.27	WSVECS04 Frhs2[447]: 6 0 64745.1 shouldn't be
335.27/336.27	WSVECS04 Frhs2[453]: 6 0 244942 shouldn't be
335.27/336.27	WSVECS04 Frhs2[458]: 6 0 338212 shouldn't be
335.27/336.27	WSVECS04 Frhs2[460]: 6 0 463539 shouldn't be
335.27/336.27	WSVECS04 Frhs2[470]: 6 0 359483 shouldn't be
335.27/336.27	WSVECS04 Frhs2[479]: 6 0 177143 shouldn't be
335.27/336.27	WSVECS04 Frhs2[483]: 6 0 319515 shouldn't be
335.27/336.27	WSVECS04 Frhs2[486]: 6 0 411546 shouldn't be
335.27/336.27	WSVECS04 Frhs2[490]: 6 0 714962 shouldn't be
335.27/336.27	WSVECS04 Frhs2[493]: 6 0 186719 shouldn't be
335.27/336.27	WSVECS04 Frhs2[500]: 6 0 434871 shouldn't be
335.27/336.27	WSVECS04 Frhs2[505]: 6 0 522450 shouldn't be
335.27/336.27	WSVECS04 Frhs2[522]: 6 0 211301 shouldn't be
335.27/336.27	WSVECS04 Frhs2[523]: 6 0 254191 shouldn't be
335.27/336.27	WSVECS04 Frhs2[530]: 6 0 62044.6 shouldn't be
335.27/336.27	WSVECS04 Frhs2[541]: 6 0 68780.1 shouldn't be
335.27/336.27	WSVECS04 Frhs2[547]: 6 0 27054.1 shouldn't be
335.27/336.27	WSVECS04 Frhs2[556]: 6 0 397655 shouldn't be
335.27/336.27	WSVECS04 Frhs2[564]: 6 0 620440 shouldn't be
335.27/336.27	WSVECS04 Frhs2[574]: 6 0 37047 shouldn't be
335.27/336.27	WSVECS04 Frhs2[577]: 6 0 28960.8 shouldn't be
335.27/336.27	WSVECS04 Frhs2[583]: 6 0 213184 shouldn't be
335.27/336.27	WSVECS04 Frhs2[585]: 6 0 479153 shouldn't be
335.27/336.27	WSVECS04 Frhs2[590]: 6 0 614020 shouldn't be
335.27/336.27	WSVECS04 Frhs2[596]: 6 0 611168 shouldn't be
335.27/336.27	WSVECS04 Frhs2[623]: 6 0 259377 shouldn't be
335.27/336.27	WSVECS04 Frhs2[625]: 6 0 308347 shouldn't be
335.27/336.27	WSVECS04 Frhs2[629]: 6 0 339514 shouldn't be
335.27/336.27	WSVECS04 Frhs2[634]: 6 0 240070 shouldn't be
335.27/336.27	WSVECS04 Frhs2[636]: 6 0 365929 shouldn't be
335.27/336.27	WSVECS04 Frhs2[643]: 6 0 488325 shouldn't be
335.27/336.27	WSVECS04 Frhs2[657]: 6 0 47230.5 shouldn't be
335.27/336.27	WSVECS04 Frhs2[672]: 6 0 308400 shouldn't be
335.27/336.27	WSVECS04 Frhs2[681]: 6 0 703024 shouldn't be
335.27/336.27	WSVECS04 Frhs2[683]: 6 0 271220 shouldn't be
335.27/336.27	WSVECS04 Frhs2[685]: 6 0 811377 shouldn't be
335.27/336.27	WSVECS04 Frhs2[690]: 6 0 660384 shouldn't be
335.27/336.27	WSVECS04 Frhs2[694]: 6 0 340432 shouldn't be
335.27/336.27	WSVECS04 Frhs2[695]: 6 0 111226 shouldn't be
335.27/336.27	WSVECS04 Frhs2[698]: 6 0 51721.4 shouldn't be
335.27/336.27	WSVECS04 Frhs2[717]: 6 0 3091 shouldn't be
335.27/336.27	WSVECS04 Frhs2[719]: 6 0 237806 shouldn't be
335.27/336.27	WSVECS04 Frhs2[726]: 6 0 575496 shouldn't be
335.27/336.27	WSVECS04 Frhs2[740]: 6 0 343903 shouldn't be
335.27/336.27	WSVECS04 Frhs2[745]: 6 0 171714 shouldn't be
335.27/336.27	WSVECS04 Frhs2[747]: 6 0 79686.1 shouldn't be
335.27/336.27	WSVECS04 Frhs2[753]: 6 0 237382 shouldn't be
335.27/336.27	WSVECS04 Frhs2[760]: 6 0 455384 shouldn't be
335.27/336.27	WSVECS04 Frhs2[768]: 6 0 457867 shouldn't be
335.27/336.27	WSVECS04 Frhs2[774]: 6 0 582002 shouldn't be
335.27/336.27	WSVECS04 Frhs2[778]: 6 0 511550 shouldn't be
335.27/336.27	WSVECS04 Frhs2[779]: 6 0 314631 shouldn't be
335.27/336.27	WSVECS04 Frhs2[786]: 6 0 419658 shouldn't be
335.27/336.27	WSVECS04 Frhs2[787]: 6 0 319336 shouldn't be
335.27/336.27	WSVECS04 Frhs2[793]: 6 0 405665 shouldn't be
335.27/336.27	WSVECS04 Frhs2[796]: 6 0 566304 shouldn't be
335.27/336.27	WSVECS04 Frhs2[797]: 6 0 310862 shouldn't be
335.27/336.27	WSVECS04 Frhs2[801]: 6 0 290866 shouldn't be
335.27/336.27	WSVECS04 Frhs2[806]: 6 0 292044 shouldn't be
335.27/336.27	WSVECS04 Frhs2[811]: 6 0 305803 shouldn't be
335.27/336.27	WSVECS04 Frhs2[814]: 6 0 685373 shouldn't be
335.27/336.27	WSVECS04 Frhs2[826]: 6 0 24091.1 shouldn't be
335.27/336.27	WSVECS04 Frhs2[835]: 6 0 283387 shouldn't be
335.27/336.27	WSVECS04 Frhs2[836]: 6 0 496760 shouldn't be
335.27/336.27	WSVECS04 Frhs2[840]: 6 0 246412 shouldn't be
335.27/336.27	WSVECS04 Frhs2[847]: 6 0 43490.8 shouldn't be
335.27/336.27	WSVECS04 Frhs2[848]: 6 0 50694.2 shouldn't be
335.27/336.27	WSVECS04 Frhs2[855]: 6 0 527602 shouldn't be
335.27/336.27	WSVECS04 Frhs2[856]: 6 0 287669 shouldn't be
335.27/336.27	WSVECS04 Frhs2[865]: 6 0 303066 shouldn't be
335.27/336.27	WSVECS04 Frhs2[877]: 6 0 10061.8 shouldn't be
335.27/336.27	WSVECS04 Frhs2[884]: 6 0 221340 shouldn't be
335.27/336.27	WSVECS04 Frhs2[906]: 6 0 292220 shouldn't be
335.27/336.27	WSVECS04 Frhs2[911]: 6 0 484486 shouldn't be
335.27/336.27	WSVECS04 Frhs2[925]: 6 0 19404 shouldn't be
335.27/336.27	WSVECS04 Frhs2[930]: 6 0 53246 shouldn't be
335.27/336.27	WSVECS04 Frhs2[936]: 6 0 480640 shouldn't be
335.27/336.27	WSVECS04 Frhs2[937]: 6 0 359935 shouldn't be
335.27/336.27	WSVECS04 Frhs2[938]: 6 -117495 0 shouldn't be
335.27/336.27	WSVECS04 Frhs2[944]: 6 0 90442.6 shouldn't be
335.27/336.27	WSVECS04 Frhs2[946]: 6 0 544544 shouldn't be
335.27/336.27	WSVECS04 Frhs2[947]: 6 0 139049 shouldn't be
335.27/336.27	WSVECS04 Frhs2[948]: 6 0 8245.72 shouldn't be
335.27/336.27	WSVECS04 Frhs2[950]: 6 0 449945 shouldn't be
335.27/336.27	WSVECS04 Frhs2[951]: 6 0 304466 shouldn't be
335.27/336.27	WSVECS04 Frhs2[961]: 6 0 299018 shouldn't be
335.27/336.27	WSVECS04 Frhs2[985]: 6 0 468006 shouldn't be
335.27/336.27	WSVECS04 Frhs2[987]: 6 0 280674 shouldn't be
335.27/336.27	WSVECS04 Frhs2[990]: 6 0 368977 shouldn't be
335.27/336.27	WSVECS04 Frhs2[997]: 6 0 25101.7 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1003]: 6 0 235062 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1006]: 6 0 276645 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1010]: 6 0 450840 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1011]: 6 0 307658 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1024]: 6 0 605774 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1034]: 6 0 163238 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1035]: 6 0 327534 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1040]: 6 0 252985 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1053]: 6 0 238494 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1058]: 6 0 332068 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1060]: 6 0 457211 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1068]: 6 0 463627 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1082]: 6 0 620249 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1083]: 6 0 258594 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1086]: 6 0 575500 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1087]: 6 0 398012 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1093]: 6 0 676408 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1094]: 6 0 346734 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1097]: 6 0 56141.3 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1105]: 6 0 216892 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1111]: 6 0 662630 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1115]: 6 0 338096 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1117]: 6 0 76358.8 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1118]: 6 0 148852 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1119]: 6 0 287190 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1121]: 6 0 3590.83 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1123]: 6 0 256177 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1124]: 6 0 557267 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1125]: 6 0 101218 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1129]: 6 0 426670 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1130]: 6 0 80886.6 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1140]: 6 0 656639 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1145]: 6 0 146922 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1148]: 6 0 28254.3 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1164]: 6 0 681293 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1167]: 6 0 14592 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1183]: 6 0 300602 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1185]: 6 0 814480 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1190]: 6 0 702863 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1194]: 6 0 230049 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1197]: 6 0 71126.8 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1206]: 6 0 251633 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1207]: 6 0 129722 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1210]: 6 0 277976 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1214]: 6 0 712874 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1240]: 6 0 303471 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1247]: 6 0 221537 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1260]: 6 0 459884 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1261]: 6 0 296743 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1274]: 6 0 602638 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1275]: 6 -14960 0 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1278]: 6 0 540149 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1283]: 6 0 76700.2 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1290]: 6 0 237001 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1301]: 6 0 212386 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1306]: 6 0 263444 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1311]: 6 0 317738 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1314]: 6 0 717053 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1324]: 6 0 589538 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1326]: 6 0 790678 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1331]: 6 0 523092 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1335]: 6 0 895535 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1340]: 6 0 788364 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1344]: 6 0 355032 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1345]: 6 0 124398 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1346]: 6 0 434858 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1351]: 6 0 295637 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1356]: 6 0 292133 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1361]: 6 0 305255 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1364]: 6 0 700325 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1374]: 6 0 611570 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1376]: 6 0 830371 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1378]: 6 0 523489 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1385]: 6 0 289372 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1386]: 6 0 703118 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1387]: 6 0 257329 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1390]: 6 0 530724 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1394]: 6 0 344632 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1396]: 6 0 579621 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1398]: 6 0 28698.4 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1401]: 6 0 211906 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1406]: 6 0 263093 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1411]: 6 0 316730 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1424]: 6 0 588593 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1427]: 6 0 289731 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1433]: 6 0 166256 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1434]: 6 0 237642 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1440]: 6 0 537442 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1453]: 6 0 54123.8 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1458]: 6 0 364796 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1460]: 6 0 472379 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1473]: 6 0 300561 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1482]: 6 0 546649 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1490]: 6 0 679230 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1501]: 6 0 288941 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1503]: 6 0 235359 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1506]: 6 0 271868 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1511]: 6 0 308423 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1523]: 6 0 304416 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1524]: 6 0 602638 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1528]: 6 0 541121 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1532]: 6 0 563482 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1534]: 6 0 233427 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1536]: 6 0 774216 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1540]: 6 0 257122 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1544]: 6 0 294446 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1546]: 6 0 287266 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1555]: 6 0 527850 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1575]: 6 0 19968 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1580]: 6 -4096 0 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1594]: 6 0 206170 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1597]: 6 0 13390 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1608]: 6 0 158173 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1644]: 6 0 299824 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1648]: 6 0 6668.38 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1656]: 6 0 321222 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1658]: 6 0 263628 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1660]: 6 0 233236 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1661]: 6 0 682418 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1668]: 6 0 189305 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1673]: 6 0 254312 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1674]: 6 0 545955 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1676]: 6 0 556911 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1678]: 6 0 26325.5 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1679]: 6 0 174023 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1682]: 6 0 59043.3 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1683]: 6 0 334653 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1686]: 6 0 160328 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1693]: 6 0 206293 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1696]: 6 0 106753 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1701]: 6 0 213725 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1706]: 6 0 232565 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1711]: 6 0 317899 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1714]: 6 0 692213 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1724]: 6 0 568078 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1728]: 6 0 499829 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1737]: 6 0 332443 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1746]: 6 0 163584 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1772]: 6 0 237190 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1783]: 6 0 84776.3 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1792]: 6 0 3746.06 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1797]: 6 0 12160.6 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1825]: 6 0 17679 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1848]: 6 0 3920.38 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1853]: 6 0 55046.8 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1858]: 6 0 337108 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1860]: 6 0 472899 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1868]: 6 0 459007 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1873]: 6 0 298893 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1882]: 6 0 547462 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1887]: 6 0 342352 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1896]: 6 0 124023 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1906]: 6 0 282188 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1907]: 6 0 117178 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1911]: 6 0 558988 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1914]: 6 0 706478 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1931]: 6 0 625129 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1933]: 6 0 138403 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1938]: 6 0 366603 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1940]: 6 0 627064 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1943]: 6 0 318212 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1946]: 6 0 99183.7 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1957]: 6 0 135754 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1960]: 6 0 260819 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1964]: 6 0 684170 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1981]: 6 0 626104 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1993]: 6 0 225252 shouldn't be
335.27/336.27	WSVECS04 Frhs2[1997]: 6 0 67789.8 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2003]: 6 0 245814 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2011]: 6 0 498583 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2024]: 6 0 589538 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2028]: 6 0 536956 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2032]: 6 0 561937 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2033]: 6 0 195386 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2036]: 6 0 784677 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2040]: 6 0 643064 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2043]: 6 0 429404 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2052]: 6 -361 0 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2055]: 6 0 528015 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2059]: 6 0 708420 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2063]: 6 0 262035 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2065]: 6 0 306711 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2067]: 6 0 291 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2069]: 6 0 238390 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2071]: 6 -1600 0 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2072]: 6 0 255131 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2075]: 6 0 18423 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2080]: 6 -4489 0 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2088]: 6 0 374070 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2093]: 6 0 342117 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2107]: 6 0 133642 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2114]: 6 0 690749 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2117]: 6 0 20875 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2131]: 6 0 627733 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2143]: 6 0 252612 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2144]: 6 0 294411 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2147]: 6 -20736 0 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2151]: 6 0 78060 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2183]: 6 0 52248.3 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2191]: 6 0 63783.3 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2193]: 6 0 311669 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2197]: 6 -32400 0 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2208]: 6 0 544287 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2210]: 6 0 445633 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2211]: 6 0 697469 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2218]: 6 0 111614 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2223]: 6 0 175824 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2224]: 6 0 572162 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2226]: 6 0 591663 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2228]: 6 0 508175 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2229]: 6 0 317419 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2233]: 6 0 69503.6 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2235]: 6 0 807955 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2236]: 6 0 429690 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2237]: 6 0 318946 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2240]: 6 0 694439 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2243]: 6 0 418421 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2246]: 6 0 568448 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2268]: 6 0 458062 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2294]: 6 0 253588 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2311]: 6 0 682418 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2312]: 6 0 1853.82 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2317]: 6 0 59669.3 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2318]: 6 0 150097 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2320]: 6 0 212190 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2323]: 6 0 271872 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2324]: 6 0 570707 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2329]: 6 0 441950 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2330]: 6 0 78353.6 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2333]: 6 0 86123.6 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2335]: 6 0 827450 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2337]: 6 0 276834 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2338]: 6 -51565.4 0 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2340]: 6 0 679052 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2344]: 6 0 338528 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2346]: 6 0 505259 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2347]: 6 -322356 0 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2348]: 6 0 38121.4 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2349]: 6 0 364649 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2361]: 6 0 684170 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2367]: 6 0 43301.3 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2368]: 6 0 158777 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2372]: 6 0 306584 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2373]: 6 0 285249 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2374]: 6 0 546960 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2375]: 6 0 34024.8 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2376]: 6 0 578447 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2378]: 6 0 461525 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2379]: 6 0 450166 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2380]: 6 0 66473.6 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2381]: 6 0 677889 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2383]: 6 0 220909 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2384]: 6 0 283054 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2385]: 6 0 297339 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2386]: 6 0 377638 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2387]: 6 0 270449 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2390]: 6 0 497132 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2394]: 6 0 325588 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2396]: 6 0 546932 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2397]: 6 0 70394.1 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2398]: 6 0 26017.4 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2411]: 6 0 647270 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2422]: 6 0 208941 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2430]: 6 0 15020.9 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2433]: 6 0 33912 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2435]: 6 0 826402 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2440]: 6 0 662607 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2447]: 6 0 46169.1 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2453]: 6 0 50558.8 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2461]: 6 0 666893 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2462]: 6 0 84867.4 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2463]: 6 0 197435 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2468]: 6 0 495836 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2470]: 6 0 316323 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2473]: 6 0 515611 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2474]: 6 0 548511 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2476]: 6 0 569751 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2478]: 6 0 333941 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2479]: 6 0 303541 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2482]: 6 0 369002 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2483]: 6 0 323549 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2486]: 6 0 267436 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2487]: 6 0 131346 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2490]: 6 0 658143 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2493]: 6 0 202453 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2496]: 6 0 111801 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2500]: 6 0 261349 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2511]: 6 0 633590 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2522]: 6 0 317675 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2524]: 6 0 540170 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2526]: 6 0 582783 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2529]: 6 0 415966 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2530]: 6 0 75441.6 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2533]: 6 0 340674 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2540]: 6 0 621527 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2542]: 6 0 156188 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2544]: 6 0 324416 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2547]: 6 0 20321.7 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2548]: 6 0 37798.4 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2551]: 6 0 3.49147e+06 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2552]: 6 0 1.84854e+06 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2554]: 6 0 1.80543e+06 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2563]: 6 0 3.28715e+06 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2569]: 6 0 876024 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2571]: 6 0 3.77826e+06 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2580]: 6 0 182712 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2598]: 6 0 3.25213e+06 shouldn't be
335.27/336.27	WSVECS04 Frhs2[2869]: 6 0 289184 shouldn't be
335.27/336.27	WSVECS04 Frhs2[3004]: 6 0 488732 shouldn't be
335.27/336.27	WSVECS04 Frhs2[3438]: 6 -595060 0 shouldn't be
335.27/336.27	WSVECS04 Frhs2[3587]: 6 0 170767 shouldn't be
335.27/336.27	WSVECS04 Frhs2[3951]: 6 0 681293 shouldn't be
335.27/336.27	WSVECS04 Frhs2[4349]: 6 0 185515 shouldn't be
335.27/336.27	WSVECS04 Frhs2[4410]: 6 0 16047.1 shouldn't be
335.27/336.27	WSVECS04 Frhs2[4638]: 6 -50653 0 shouldn't be
335.27/336.27	WSVECS04 Frhs2[4804]: 6 0 180958 shouldn't be
335.27/336.27	WSVECS04 Frhs2[4875]: 6 -1.7329e+06 0 shouldn't be
335.27/336.27	WSVECS04 Frhs2[4888]: 6 -1.7327e+06 0 shouldn't be
335.27/336.27	WSVECS04 Frhs2[5018]: 6 0 171512 shouldn't be
358.30/359.34	c #Conflicts:     125000 | #Constraints:      15760
358.30/359.34	c #Conflicts:     126000 | #Constraints:      16764
358.30/359.34	c #Conflicts:     127000 | #Constraints:      17767
358.30/359.34	c #Conflicts:     128000 | #Constraints:      18770
358.30/359.34	c #Conflicts:     129000 | #Constraints:      19771
358.30/359.34	c #Conflicts:     130000 | #Constraints:      20771
358.30/359.34	c #Conflicts:     131000 | #Constraints:      21772
358.30/359.34	c INPROCESSING
358.30/359.34	c GARBAGE COLLECT
358.30/359.34	c rational objective 1.74507e+06
380.55/381.61	c #Conflicts:     132000 | #Constraints:      15411
380.55/381.61	c #Conflicts:     133000 | #Constraints:      16415
380.55/381.61	c #Conflicts:     134000 | #Constraints:      17416
380.55/381.61	c #Conflicts:     135000 | #Constraints:      18417
380.55/381.61	c #Conflicts:     136000 | #Constraints:      19417
380.55/381.61	c #Conflicts:     137000 | #Constraints:      20417
380.55/381.61	c #Conflicts:     138000 | #Constraints:      21418
380.55/381.61	c #Conflicts:     139000 | #Constraints:      22419
380.55/381.61	c INPROCESSING
380.55/381.61	c GARBAGE COLLECT
380.55/381.61	c rational objective 1.74735e+06
408.88/410.02	c #Conflicts:     140000 | #Constraints:      15878
408.88/410.02	c #Conflicts:     141000 | #Constraints:      16878
408.88/410.02	c #Conflicts:     142000 | #Constraints:      17878
408.88/410.02	c #Conflicts:     143000 | #Constraints:      18878
408.88/410.02	c #Conflicts:     144000 | #Constraints:      19891
408.88/410.02	c #Conflicts:     145000 | #Constraints:      20921
408.88/410.02	c #Conflicts:     146000 | #Constraints:      21936
408.88/410.02	c #Conflicts:     147000 | #Constraints:      22943
408.88/410.02	c INPROCESSING
408.88/410.02	c GARBAGE COLLECT
408.88/410.02	c rational objective 1.74765e+06
433.41/434.64	c #Conflicts:     148000 | #Constraints:      16259
433.41/434.64	c #Conflicts:     149000 | #Constraints:      17260
433.41/434.64	c #Conflicts:     150000 | #Constraints:      18260
433.41/434.64	c #Conflicts:     151000 | #Constraints:      19260
433.41/434.64	c #Conflicts:     152000 | #Constraints:      20260
433.41/434.64	c #Conflicts:     153000 | #Constraints:      21260
433.41/434.64	c #Conflicts:     154000 | #Constraints:      22260
433.41/434.64	c #Conflicts:     155000 | #Constraints:      23260
433.41/434.64	c INPROCESSING
433.41/434.64	c GARBAGE COLLECT
433.41/434.64	c rational objective 1.74796e+06
464.73/466.05	c #Conflicts:     156000 | #Constraints:      16372
464.73/466.05	c #Conflicts:     157000 | #Constraints:      17374
464.73/466.05	c #Conflicts:     158000 | #Constraints:      18374
464.73/466.05	c #Conflicts:     159000 | #Constraints:      19375
464.73/466.05	c #Conflicts:     160000 | #Constraints:      20377
464.73/466.05	c #Conflicts:     161000 | #Constraints:      21378
464.73/466.05	c #Conflicts:     162000 | #Constraints:      22378
464.73/466.05	c #Conflicts:     163000 | #Constraints:      23378
464.73/466.05	c INPROCESSING
464.73/466.05	c GARBAGE COLLECT
464.73/466.05	c rational objective 1.75065e+06
495.15/496.57	c #Conflicts:     164000 | #Constraints:      16135
495.15/496.57	c #Conflicts:     165000 | #Constraints:      17136
495.15/496.57	c #Conflicts:     166000 | #Constraints:      18136
495.15/496.57	c #Conflicts:     167000 | #Constraints:      19137
495.15/496.57	c #Conflicts:     168000 | #Constraints:      20137
495.15/496.57	c #Conflicts:     169000 | #Constraints:      21137
495.15/496.57	c #Conflicts:     170000 | #Constraints:      22137
495.15/496.57	c #Conflicts:     171000 | #Constraints:      23137
495.15/496.57	c INPROCESSING
495.15/496.57	c GARBAGE COLLECT
495.15/496.57	c rational objective 1.75195e+06
530.75/532.27	c #Conflicts:     172000 | #Constraints:      16062
530.75/532.27	c #Conflicts:     173000 | #Constraints:      17062
530.75/532.27	c #Conflicts:     174000 | #Constraints:      18062
530.75/532.27	c #Conflicts:     175000 | #Constraints:      19063
530.75/532.27	c #Conflicts:     176000 | #Constraints:      20082
530.75/532.27	c #Conflicts:     177000 | #Constraints:      21124
530.75/532.27	c #Conflicts:     178000 | #Constraints:      22180
530.75/532.27	c #Conflicts:     179000 | #Constraints:      23218
530.75/532.27	c #Conflicts:     180000 | #Constraints:      24237
530.75/532.27	c INPROCESSING
530.75/532.27	c GARBAGE COLLECT
530.75/532.27	c rational objective 1.75199e+06
559.49/561.05	c #Conflicts:     181000 | #Constraints:      16819
559.49/561.05	c #Conflicts:     182000 | #Constraints:      17819
559.49/561.05	c #Conflicts:     183000 | #Constraints:      18819
559.49/561.05	c #Conflicts:     184000 | #Constraints:      19820
559.49/561.05	c #Conflicts:     185000 | #Constraints:      20825
559.49/561.05	c #Conflicts:     186000 | #Constraints:      21825
559.49/561.05	c #Conflicts:     187000 | #Constraints:      22826
559.49/561.05	c #Conflicts:     188000 | #Constraints:      23826
559.49/561.05	c #Conflicts:     189000 | #Constraints:      24828
559.49/561.05	c INPROCESSING
559.49/561.05	c GARBAGE COLLECT
559.49/561.05	c rational objective 1.7522e+06
588.71/590.35	c #Conflicts:     190000 | #Constraints:      17224
588.71/590.35	c #Conflicts:     191000 | #Constraints:      18226
588.71/590.35	c #Conflicts:     192000 | #Constraints:      19227
588.71/590.35	c #Conflicts:     193000 | #Constraints:      20227
588.71/590.35	c #Conflicts:     194000 | #Constraints:      21229
588.71/590.35	c #Conflicts:     195000 | #Constraints:      22234
588.71/590.35	c #Conflicts:     196000 | #Constraints:      23234
588.71/590.35	c #Conflicts:     197000 | #Constraints:      24234
588.71/590.35	c #Conflicts:     198000 | #Constraints:      25234
588.71/590.35	c INPROCESSING
588.71/590.35	c GARBAGE COLLECT
588.71/590.35	c rational objective 1.75276e+06
610.56/612.29	c #Conflicts:     199000 | #Constraints:      17433
610.56/612.29	c #Conflicts:     200000 | #Constraints:      18433
610.56/612.29	c #Conflicts:     201000 | #Constraints:      19435
610.56/612.29	c #Conflicts:     202000 | #Constraints:      20484
610.56/612.29	c #Conflicts:     203000 | #Constraints:      21528
610.56/612.29	c #Conflicts:     204000 | #Constraints:      22538
610.56/612.29	c #Conflicts:     205000 | #Constraints:      23539
610.56/612.29	c #Conflicts:     206000 | #Constraints:      24558
610.56/612.29	c #Conflicts:     207000 | #Constraints:      25567
610.56/612.29	c INPROCESSING
610.56/612.29	c GARBAGE COLLECT
610.56/612.29	WSVECS04 Frhs2[18]: 6 0 2.41922e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[19]: 6 0 7.85207e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[46]: 6 0 2.74825e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[54]: 6 0 13291.1 shouldn't be
610.56/612.29	WSVECS04 Frhs2[68]: 6 0 1.29955e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[82]: 6 0 2.31754e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[96]: 6 0 821847 shouldn't be
610.56/612.29	WSVECS04 Frhs2[110]: 6 0 91713.9 shouldn't be
610.56/612.29	WSVECS04 Frhs2[132]: 6 0 1.74018e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[137]: 6 0 6.80945e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[146]: 6 0 860129 shouldn't be
610.56/612.29	WSVECS04 Frhs2[153]: 6 0 1.3238e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[155]: 6 0 346089 shouldn't be
610.56/612.29	WSVECS04 Frhs2[158]: 6 0 1.35283e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[168]: 6 0 1.1565e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[171]: 6 0 1.28978e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[175]: 6 -516524 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[185]: 6 0 2.87731e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[196]: 6 0 763327 shouldn't be
610.56/612.29	WSVECS04 Frhs2[218]: 6 0 1.29968e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[232]: 6 0 2.32342e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[244]: 6 0 137166 shouldn't be
610.56/612.29	WSVECS04 Frhs2[246]: 6 0 814452 shouldn't be
610.56/612.29	WSVECS04 Frhs2[251]: 6 0 64175 shouldn't be
610.56/612.29	WSVECS04 Frhs2[257]: 6 0 79934.9 shouldn't be
610.56/612.29	WSVECS04 Frhs2[258]: 6 0 1.33875e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[271]: 6 0 1.39056e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[275]: 6 0 5.86135e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[288]: 6 -7.02102e+06 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[312]: 6 0 41614 shouldn't be
610.56/612.29	WSVECS04 Frhs2[318]: 6 0 1.29519e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[325]: 6 0 264704 shouldn't be
610.56/612.29	WSVECS04 Frhs2[344]: 6 0 131670 shouldn't be
610.56/612.29	WSVECS04 Frhs2[347]: 6 -234022 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[354]: 6 0 12911.1 shouldn't be
610.56/612.29	WSVECS04 Frhs2[358]: 6 0 1.35407e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[368]: 6 0 1.29984e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[371]: 6 0 1.45399e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[382]: 6 0 2.30072e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[392]: 6 0 1337 shouldn't be
610.56/612.29	WSVECS04 Frhs2[396]: 6 0 784440 shouldn't be
610.56/612.29	WSVECS04 Frhs2[397]: 6 -83507.4 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[408]: 6 0 1.33825e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[421]: 6 0 566473 shouldn't be
610.56/612.29	WSVECS04 Frhs2[425]: 6 0 5.81756e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[438]: 6 -638117 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[440]: 6 0 5.48704e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[447]: 6 -73203.4 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[453]: 6 0 129157 shouldn't be
610.56/612.29	WSVECS04 Frhs2[454]: 6 0 18406.1 shouldn't be
610.56/612.29	WSVECS04 Frhs2[462]: 6 0 37653 shouldn't be
610.56/612.29	WSVECS04 Frhs2[463]: 6 0 8177 shouldn't be
610.56/612.29	WSVECS04 Frhs2[466]: 6 0 24440 shouldn't be
610.56/612.29	WSVECS04 Frhs2[508]: 6 0 1.3476e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[521]: 6 0 1.32049e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[542]: 6 0 4176 shouldn't be
610.56/612.29	WSVECS04 Frhs2[544]: 6 0 149206 shouldn't be
610.56/612.29	WSVECS04 Frhs2[547]: 6 -229712 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[560]: 6 0 3.23827e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[561]: 6 0 6.32883e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[594]: 6 0 136279 shouldn't be
610.56/612.29	WSVECS04 Frhs2[596]: 6 0 817060 shouldn't be
610.56/612.29	WSVECS04 Frhs2[610]: 6 0 90601.9 shouldn't be
610.56/612.29	WSVECS04 Frhs2[647]: 6 0 280778 shouldn't be
610.56/612.29	WSVECS04 Frhs2[652]: 6 0 17904.5 shouldn't be
610.56/612.29	WSVECS04 Frhs2[655]: 6 0 8.14947e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[658]: 6 0 1.34512e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[667]: 6 0 9144 shouldn't be
610.56/612.29	WSVECS04 Frhs2[669]: 6 0 2925 shouldn't be
610.56/612.29	WSVECS04 Frhs2[697]: 6 -114712 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[708]: 6 0 1.34352e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[725]: 6 0 5.83544e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[744]: 6 0 157654 shouldn't be
610.56/612.29	WSVECS04 Frhs2[745]: 6 0 6.07297e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[747]: 6 -58262.4 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[751]: 6 0 3420 shouldn't be
610.56/612.29	WSVECS04 Frhs2[753]: 6 0 121597 shouldn't be
610.56/612.29	WSVECS04 Frhs2[754]: 6 0 20102.1 shouldn't be
610.56/612.29	WSVECS04 Frhs2[758]: 6 0 1.3543e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[762]: 6 0 35589 shouldn't be
610.56/612.29	WSVECS04 Frhs2[782]: 6 0 2.3241e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[794]: 6 0 138934 shouldn't be
610.56/612.29	WSVECS04 Frhs2[796]: 6 0 815572 shouldn't be
610.56/612.29	WSVECS04 Frhs2[801]: 6 0 46844 shouldn't be
610.56/612.29	WSVECS04 Frhs2[813]: 6 0 4760 shouldn't be
610.56/612.29	WSVECS04 Frhs2[832]: 6 0 2.31976e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[844]: 6 0 167295 shouldn't be
610.56/612.29	WSVECS04 Frhs2[846]: 6 0 810280 shouldn't be
610.56/612.29	WSVECS04 Frhs2[852]: 6 0 12875.5 shouldn't be
610.56/612.29	WSVECS04 Frhs2[855]: 6 0 8.1526e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[859]: 6 0 2595 shouldn't be
610.56/612.29	WSVECS04 Frhs2[876]: 6 0 138099 shouldn't be
610.56/612.29	WSVECS04 Frhs2[888]: 6 0 8.09139e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[891]: 6 0 475859 shouldn't be
610.56/612.29	WSVECS04 Frhs2[892]: 6 0 8.08299e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[893]: 6 -3.41881e+07 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[901]: 6 0 16380 shouldn't be
610.56/612.29	WSVECS04 Frhs2[923]: 6 0 19968 shouldn't be
610.56/612.29	WSVECS04 Frhs2[924]: 6 0 12749 shouldn't be
610.56/612.29	WSVECS04 Frhs2[942]: 6 0 585 shouldn't be
610.56/612.29	WSVECS04 Frhs2[951]: 6 0 60444 shouldn't be
610.56/612.29	WSVECS04 Frhs2[958]: 6 0 1.34216e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[975]: 6 0 1.42437e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[988]: 6 0 17336 shouldn't be
610.56/612.29	WSVECS04 Frhs2[994]: 6 0 246059 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1001]: 6 0 43740 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1004]: 6 0 7727.06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1013]: 6 0 4320 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1023]: 6 0 16864 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1032]: 6 0 2.3297e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1044]: 6 0 134911 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1046]: 6 0 830127 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1053]: 6 0 122709 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1054]: 6 0 20758.1 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1062]: 6 0 42462 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1078]: 6 0 42051 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1082]: 6 0 2.31777e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1094]: 6 0 169508 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1096]: 6 0 807720 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1108]: 6 0 1.25943e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1110]: 6 0 2.96796e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1121]: 6 0 646423 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1125]: 6 0 5.84773e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1142]: 6 0 197 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1144]: 6 0 169294 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1145]: 6 0 6.15746e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1147]: 6 -887853 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1158]: 6 0 1.3444e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1171]: 6 0 9.1369e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1197]: 6 0 73234.7 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1201]: 6 0 24380 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1208]: 6 0 1.33707e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1217]: 6 0 10209 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1221]: 6 0 9.10517e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1230]: 6 0 604515 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1247]: 6 0 509214 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1248]: 6 0 6.1845e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1251]: 6 0 28188 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1253]: 6 0 128022 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1254]: 6 0 14383.1 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1262]: 6 0 7053 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1263]: 6 0 9072 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1266]: 6 0 1053 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1273]: 6 0 21000 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1274]: 6 0 6989 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1278]: 6 0 61204 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1279]: 6 0 43419 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1281]: 6 0 83457.8 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1294]: 6 0 126379 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1296]: 6 0 831135 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1328]: 6 0 26400 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1344]: 6 0 203123 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1346]: 6 0 778975 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1348]: 6 0 6.05255e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1351]: 6 0 51615 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1356]: 6 0 5985 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1378]: 6 0 44544 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1394]: 6 0 191451 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1408]: 6 0 1.34267e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1428]: 6 0 24475 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1444]: 6 0 157148 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1454]: 6 0 13663.1 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1462]: 6 0 12069 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1468]: 6 0 2.08261e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1473]: 6 0 9393 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1474]: 6 0 183758 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1478]: 6 0 32916 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1479]: 6 0 42244 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1482]: 6 0 1.01223e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1496]: 6 0 814452 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1501]: 6 0 44919 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1528]: 6 0 62176 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1531]: 6 0 90706.8 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1536]: 6 0 2.18108e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1544]: 6 0 127846 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1546]: 6 0 831591 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1557]: 6 -574966 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1563]: 6 -11920 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1567]: 6 -291 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1571]: 6 0 9.13482e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1578]: 6 0 14539 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1579]: 6 0 23155 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1586]: 6 0 2.12171e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1594]: 6 0 49683.9 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1596]: 6 0 796260 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1598]: 6 -691381 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1602]: 6 0 8400.52 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1608]: 6 0 1.34576e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1612]: 6 0 30174 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1631]: 6 0 103874 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1636]: 6 0 2.08921e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1647]: 6 -237440 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1668]: 6 0 1.28039e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1682]: 6 0 2.1285e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1696]: 6 0 634129 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1728]: 6 0 20884 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1731]: 6 0 113314 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1732]: 6 0 1.00835e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1744]: 6 0 8.00464e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1746]: 6 0 8.6688e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1760]: 6 0 32117 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1781]: 6 0 66801.8 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1786]: 6 0 2.16582e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1794]: 6 0 155387 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1810]: 6 0 69232 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1812]: 6 0 48237 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1815]: 6 0 10080 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1823]: 6 0 630264 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1831]: 6 0 113887 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1836]: 6 0 2.15266e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1838]: 6 0 7.80412e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1844]: 6 0 150414 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1845]: 6 0 6.17886e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1846]: 6 0 761175 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1847]: 6 -60099.4 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1854]: 6 0 12326.1 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1878]: 6 0 33939 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1886]: 6 0 2.21148e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1901]: 6 0 32768 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1908]: 6 0 1.3446e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1921]: 6 0 9.12544e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1928]: 6 0 54633 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1930]: 6 0 618750 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1936]: 6 0 2.08639e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1937]: 6 0 6035.08 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1958]: 6 0 1.33646e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1980]: 6 0 613654 shouldn't be
610.56/612.29	WSVECS04 Frhs2[1986]: 6 0 1.99548e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2001]: 6 0 25344 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2004]: 6 0 5227.06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2008]: 6 0 6.71416e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2028]: 6 0 58011 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2029]: 6 0 29748 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2031]: 6 0 52798.8 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2036]: 6 0 2.19154e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2055]: 6 0 8.15302e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2057]: 6 0 208185 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2058]: 6 0 1.34571e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2059]: 6 0 11643 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2069]: 6 0 5984 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2071]: 6 0 9.13706e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2080]: 6 0 620190 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2081]: 6 0 153247 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2086]: 6 0 2.11248e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2088]: 6 0 7.81255e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2108]: 6 0 1.33899e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2121]: 6 0 9.12634e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2136]: 6 0 2.02335e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2162]: 6 0 29869 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2181]: 6 0 54306.8 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2186]: 6 0 2.08639e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2189]: 6 0 7440 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2205]: 6 0 286802 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2218]: 6 0 1.30016e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2232]: 6 0 2.32325e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2244]: 6 0 161316 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2246]: 6 0 817716 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2254]: 6 0 16198.1 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2258]: 6 0 1.35392e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2260]: 6 0 139882 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2262]: 6 0 47194 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2263]: 6 0 13937 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2266]: 6 0 29120 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2278]: 6 0 36900 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2281]: 6 0 93921.8 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2286]: 6 0 2.18546e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2302]: 6 0 16868.5 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2306]: 6 0 154893 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2308]: 6 0 1.26165e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2318]: 6 0 1.29538e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2321]: 6 0 1.32436e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2325]: 6 0 280256 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2332]: 6 0 2.28037e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2338]: 6 -125372 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2342]: 6 0 4617 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2344]: 6 0 171766 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2347]: 6 -225347 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2351]: 6 0 35420 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2358]: 6 0 1.66411e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2368]: 6 0 1.29625e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2371]: 6 0 1.30609e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2375]: 6 0 274945 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2382]: 6 0 2.31083e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2388]: 6 -179091 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2396]: 6 0 796200 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2397]: 6 -67554.4 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2421]: 6 0 1.30169e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2431]: 6 0 6.82788e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2448]: 6 0 6.10944e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2453]: 6 0 136149 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2454]: 6 0 17503.1 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2468]: 6 0 5.36373e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2508]: 6 0 1.34354e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2525]: 6 0 5.84089e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2544]: 6 0 157654 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2547]: 6 -981874 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2552]: 6 0 1.09557e+08 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2561]: 6 0 1.3073e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2564]: 6 0 5.21767e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2569]: 6 0 1.33753e+08 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2576]: 6 0 5.28013e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2595]: 6 0 9.03348e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2596]: 6 0 1.32517e+08 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2651]: 6 0 1.3493e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[2995]: 6 0 2.36049e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[3004]: 6 0 9.11966e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[3313]: 6 0 4.30692e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[3405]: 6 -35937 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[3846]: 6 0 144973 shouldn't be
610.56/612.29	WSVECS04 Frhs2[3861]: 6 0 5.24104e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[3961]: 6 0 5.11397e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[4105]: 6 -1.07673e+06 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[4147]: 6 -1.12143e+07 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[4261]: 6 0 5.26048e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[4605]: 6 -1.06992e+06 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[4625]: 6 0 405288 shouldn't be
610.56/612.29	WSVECS04 Frhs2[4642]: 6 0 1.06095e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[4763]: 6 0 2.55512e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[4842]: 6 0 1.07004e+07 shouldn't be
610.56/612.29	WSVECS04 Frhs2[4856]: 6 0 5.80154e+06 shouldn't be
610.56/612.29	WSVECS04 Frhs2[4875]: 6 -1.84203e+07 0 shouldn't be
610.56/612.29	WSVECS04 Frhs2[4888]: 6 -1.19463e+07 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[90]: 6 0 142268 shouldn't be
611.76/613.46	WSVECS04 Frhs2[92]: 6 0 772952 shouldn't be
611.76/613.46	WSVECS04 Frhs2[132]: 6 0 1.74018e+06 shouldn't be
611.76/613.46	WSVECS04 Frhs2[171]: 6 0 1.28978e+06 shouldn't be
611.76/613.46	WSVECS04 Frhs2[175]: 6 -516524 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[190]: 6 0 85731.6 shouldn't be
611.76/613.46	WSVECS04 Frhs2[212]: 6 0 36894 shouldn't be
611.76/613.46	WSVECS04 Frhs2[221]: 6 0 1.45046e+06 shouldn't be
611.76/613.46	WSVECS04 Frhs2[251]: 6 0 64175 shouldn't be
611.76/613.46	WSVECS04 Frhs2[271]: 6 0 1.39056e+06 shouldn't be
611.76/613.46	WSVECS04 Frhs2[321]: 6 0 1.31036e+06 shouldn't be
611.76/613.46	WSVECS04 Frhs2[342]: 6 0 3240 shouldn't be
611.76/613.46	WSVECS04 Frhs2[347]: 6 -234022 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[349]: 6 0 40185 shouldn't be
611.76/613.46	WSVECS04 Frhs2[371]: 6 0 1.45399e+06 shouldn't be
611.76/613.46	WSVECS04 Frhs2[392]: 6 0 1337 shouldn't be
611.76/613.46	WSVECS04 Frhs2[397]: 6 -83507.4 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[421]: 6 0 566473 shouldn't be
611.76/613.46	WSVECS04 Frhs2[438]: 6 -638117 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[440]: 6 0 5.48704e+06 shouldn't be
611.76/613.46	WSVECS04 Frhs2[447]: 6 -73203.4 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[521]: 6 0 1.32049e+06 shouldn't be
611.76/613.46	WSVECS04 Frhs2[540]: 6 0 80667.6 shouldn't be
611.76/613.46	WSVECS04 Frhs2[542]: 6 0 4176 shouldn't be
611.76/613.46	WSVECS04 Frhs2[547]: 6 -229712 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[652]: 6 0 17904.5 shouldn't be
611.76/613.46	WSVECS04 Frhs2[659]: 6 0 12115 shouldn't be
611.76/613.46	WSVECS04 Frhs2[662]: 6 0 14469 shouldn't be
611.76/613.46	WSVECS04 Frhs2[667]: 6 0 9144 shouldn't be
611.76/613.46	WSVECS04 Frhs2[669]: 6 0 2925 shouldn't be
611.76/613.46	WSVECS04 Frhs2[674]: 6 0 1.44326e+06 shouldn't be
611.76/613.46	WSVECS04 Frhs2[692]: 6 0 776715 shouldn't be
611.76/613.46	WSVECS04 Frhs2[697]: 6 -114712 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[699]: 6 0 10296.6 shouldn't be
611.76/613.46	WSVECS04 Frhs2[715]: 6 0 3872 shouldn't be
611.76/613.46	WSVECS04 Frhs2[738]: 6 0 35417 shouldn't be
611.76/613.46	WSVECS04 Frhs2[751]: 6 0 3420 shouldn't be
611.76/613.46	WSVECS04 Frhs2[801]: 6 0 46844 shouldn't be
611.76/613.46	WSVECS04 Frhs2[813]: 6 0 4760 shouldn't be
611.76/613.46	WSVECS04 Frhs2[842]: 6 0 807845 shouldn't be
611.76/613.46	WSVECS04 Frhs2[876]: 6 0 138099 shouldn't be
611.76/613.46	WSVECS04 Frhs2[890]: 6 0 985197 shouldn't be
611.76/613.46	WSVECS04 Frhs2[893]: 6 -3.41881e+07 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[900]: 6 -7.60135e+06 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[901]: 6 0 16380 shouldn't be
611.76/613.46	WSVECS04 Frhs2[938]: 6 -127722 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[942]: 6 0 585 shouldn't be
611.76/613.46	WSVECS04 Frhs2[951]: 6 0 60444 shouldn't be
611.76/613.46	WSVECS04 Frhs2[975]: 6 0 1.42437e+07 shouldn't be
611.76/613.46	WSVECS04 Frhs2[988]: 6 0 17336 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1001]: 6 0 43740 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1013]: 6 0 4320 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1053]: 6 0 122709 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1054]: 6 0 20758.1 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1121]: 6 0 646423 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1142]: 6 0 197 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1197]: 6 0 73234.7 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1201]: 6 0 24380 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1251]: 6 0 28188 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1292]: 6 0 791592 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1342]: 6 0 708192 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1351]: 6 0 51615 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1392]: 6 0 761863 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1442]: 6 0 703486 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1473]: 6 0 9393 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1479]: 6 0 42244 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1492]: 6 0 777912 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1501]: 6 0 44919 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1513]: 6 0 512 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1529]: 6 0 31995 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1542]: 6 0 787206 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1557]: 6 -574966 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1567]: 6 -291 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1578]: 6 0 14539 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1579]: 6 0 23155 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1597]: 6 -242856 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1598]: 6 -691381 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1647]: 6 -237440 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1690]: 6 0 145693 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1696]: 6 0 634129 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1737]: 6 0 17360 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1792]: 6 0 270551 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1802]: 6 0 9200.52 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1804]: 6 0 616214 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1809]: 6 0 3043 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1813]: 6 0 619548 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1815]: 6 0 10080 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1819]: 6 0 5400 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1822]: 6 0 823425 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1823]: 6 0 630264 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1828]: 6 0 848365 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1829]: 6 0 40768 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1847]: 6 -60099.4 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1887]: 6 0 27269 shouldn't be
611.76/613.46	WSVECS04 Frhs2[1901]: 6 0 32768 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2001]: 6 0 25344 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2003]: 6 0 130029 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2037]: 6 0 53144 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2059]: 6 0 11643 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2069]: 6 0 5984 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2205]: 6 0 286802 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2238]: 6 0 4280 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2287]: 6 0 24840 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2306]: 6 0 154893 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2321]: 6 0 1.32436e+06 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2325]: 6 0 280256 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2338]: 6 -125372 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2342]: 6 0 4617 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2347]: 6 -225347 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2351]: 6 0 35420 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2371]: 6 0 1.30609e+06 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2375]: 6 0 274945 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2388]: 6 -179091 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2397]: 6 -67554.4 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2421]: 6 0 1.30169e+06 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2453]: 6 0 136149 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2454]: 6 0 17503.1 shouldn't be
611.76/613.46	WSVECS04 Frhs2[2540]: 6 0 84051.6 shouldn't be
611.76/613.46	WSVECS04 Frhs2[3438]: 6 -4.55179e+06 0 shouldn't be
611.76/613.46	WSVECS04 Frhs2[4625]: 6 0 405288 shouldn't be
646.37/648.10	c #Conflicts:     208000 | #Constraints:      17487
646.37/648.10	c #Conflicts:     209000 | #Constraints:      18487
646.37/648.10	c #Conflicts:     210000 | #Constraints:      19492
646.37/648.10	c #Conflicts:     211000 | #Constraints:      20492
646.37/648.10	c #Conflicts:     212000 | #Constraints:      21492
646.37/648.10	c #Conflicts:     213000 | #Constraints:      22492
646.37/648.10	c #Conflicts:     214000 | #Constraints:      23492
646.37/648.10	c #Conflicts:     215000 | #Constraints:      24492
646.37/648.10	c #Conflicts:     216000 | #Constraints:      25492
646.37/648.10	c INPROCESSING
646.37/648.10	c GARBAGE COLLECT
646.37/648.10	c rational objective 1.75332e+06
664.12/665.98	c #Conflicts:     217000 | #Constraints:      17262
664.12/665.98	c #Conflicts:     218000 | #Constraints:      18263
664.12/665.98	c #Conflicts:     219000 | #Constraints:      19267
664.12/665.98	c #Conflicts:     220000 | #Constraints:      20270
664.12/665.98	c #Conflicts:     221000 | #Constraints:      21274
664.12/665.98	c #Conflicts:     222000 | #Constraints:      22274
664.12/665.98	c bounds 3367493 >= 3367493 @ 660.647
664.12/665.98	c cpu time 660.647 s
664.12/665.98	c deterministic time 79067971327 7.91e+10
664.12/665.98	c optimization time 0.250463 s
664.12/665.98	c total solve time 660.364 s
664.12/665.98	c core-guided solve time 432.455 s
664.12/665.98	c propagation time 400.823 s
664.12/665.98	c conflict analysis time 173.098 s
664.12/665.98	c propagations 41887246
664.12/665.98	c resolve steps 4834207
664.12/665.98	c decisions 656342
664.12/665.98	c conflicts 222017
664.12/665.98	c restarts 510
664.12/665.98	c inprocessing phases 38
664.12/665.98	c garbage collections 38 ,( 100.00 )
664.12/665.98	c input clauses 11126 ,( 87.13 )
664.12/665.98	c input cardinalities 9 ,( 0.07 )
664.12/665.98	c input general constraints 1635 ,( 12.80 )
664.12/665.98	c input average constraint length 75.66
664.12/665.98	c input average constraint degree 172371004.02
664.12/665.98	c learned clauses 36594 ,( 16.29 )
664.12/665.98	c learned cardinalities 389 ,( 0.17 )
664.12/665.98	c learned general constraints 187629 ,( 83.53 )
664.12/665.98	c learned average constraint length 1200.32
664.12/665.98	c learned average constraint degree 10998872402.46
664.12/665.98	c watched  CF 32, 64, 128, Arb: 8502 , 0 , 0 , 0
664.12/665.98	c counting CF 32, 64, 128, Arb: 180763 , 0 , 0 , 0
664.12/665.98	c watched   constraints 8502 ,( 4.49 ) 
664.12/665.98	c counting  constraints 180762 ,( 95.51 ) 
664.12/665.98	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 36495730 , 6743393 , 1143100585 ,( 9270583 , 1133830002 )
664.12/665.98	c gcd simplifications 6050
664.12/665.98	c detected cardinalities 40
664.12/665.98	c weakened non-implied lits 160236263
664.12/665.98	c weakened non-implying lits 1378683
664.12/665.98	c original variables 5100
664.12/665.98	c clausal propagations 27956606
664.12/665.98	c cardinality propagations 564793
664.12/665.98	c watched propagations 149713
664.12/665.98	c counting propagations 12834673
664.12/665.98	c watch lookups 18490450597
664.12/665.98	c watch backjump lookups 0
664.12/665.98	c watch checks 711501293
664.12/665.98	c propagation checks 58876783810
664.12/665.98	c constraint additions 903500534
664.12/665.98	c trail pops 42762246
664.12/665.98	c formula constraints 12510
664.12/665.98	c learned constraints 221762
664.12/665.98	c bound constraints 260
664.12/665.98	c core-guided constraints 0
664.12/665.98	c encountered formula constraints 4183545
664.12/665.98	c encountered learned constraints 783894
664.12/665.98	c encountered bound constraints 13507
664.12/665.98	c encountered core-guided constraints 0
664.12/665.98	c LP total time 138.141 s
664.12/665.98	c LP solve time 117.82 s
664.12/665.98	c LP constraints added 12576
664.12/665.98	c LP constraints removed 41
664.12/665.98	c LP pivots internal 223833
664.12/665.98	c LP pivots root 205425
664.12/665.98	c LP calls 2648
664.12/665.98	c LP optimalities 47
664.12/665.98	c LP no pivot count 1
664.12/665.98	c LP infeasibilities 2585
664.12/665.98	c LP valid Farkas constraints 2575
664.12/665.98	c LP learned Farkas constraints 254
664.12/665.98	c LP basis resets 22
664.12/665.98	c LP cycling count 1
664.12/665.98	c LP singular count 10
664.12/665.98	c LP no primal count 0
664.12/665.98	c LP no farkas count 10
664.12/665.98	c LP other issue count 1
664.12/665.98	c LP Gomory cuts 21
664.12/665.98	c LP learned cuts 45
664.12/665.98	c LP deleted cuts 41
664.12/665.98	c LP encountered Gomory constraints 0
664.12/665.98	c LP encountered Farkas constraints 74514
664.12/665.98	c LP encountered learned Farkas constraints 510
664.12/665.98	c CG auxiliary variables introduced 0
664.12/665.98	c CG solutions found 260
664.12/665.98	c CG cores constructed 0
664.12/665.98	c CG core cardinality constraints returned 0
664.12/665.98	c CG unit cores 0
664.12/665.98	c CG single cores 0
664.12/665.98	c CG blocks removed during cardinality reduction 0
664.12/665.98	c CG first core best 0
664.12/665.98	c CG decision core best 0
664.12/665.98	c CG core reduction tie 0
664.12/665.98	c CG core degree average 0.00
664.12/665.98	c CG core slack average 0.00
664.12/665.98	c CG core upper bound improvements 0
664.12/665.98	c STR number of successful calls 0
664.12/665.98	c STR number of unsuccessful calls 0
664.12/665.98	c STR number of inconclusive calls 0
664.12/665.98	c STR number of successful attempts 0
664.12/665.98	c STR number of unsuccessful attempts 0
664.12/665.98	c STR number of inconclusive attempts 0
664.12/665.98	c STR average degree increase per successful call inf
664.12/665.98	c STR average degree increase per successful attempt inf
664.12/665.98	c STR total number of conflicts for successful attempts 0
664.12/665.98	c STR total number of conflicts for unsuccessful attempts 0
664.12/665.98	c STR total number of conflicts for inconclusive attempts 0
664.12/665.98	c STR average number of conflicts per successful attempt inf
664.12/665.98	c STR average number of conflicts per unsuccessful attempt inf
664.12/665.98	c STR average number of conflicts per inconclusive attempt inf
664.12/665.98	c AVG.sumWPerc 91.34 
664.12/665.98	c bigint constraints 0 
664.12/665.98	o 3367493
664.12/665.98	s OPTIMUM FOUND
664.12/665.98	v -x1 -x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 x854 -x855 -x856 -x857 x858 -x859 x860 -x861 -x862 x863 -x864 -x865 x866 -x867 x868 -x869 -x870 -x871 -x872 x873 -x874 -x875 -x876 -x877 x878 x879 -x880 -x881 x882 -x883 -x884 -x885 x886 x887 -x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 x896 -x897 -x898 -x899 x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 x1551 -x1552 -x1553 -x1554 -x1555 x1556 x1557 -x1558 -x1559 -x1560 x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 x1574 -x1575 x1576 x1577 -x1578 -x1579 x1580 x1581 -x1582 x1583 x1584 x1585 -x1586 -x1587 -x1588 -x1589 x1590 -x1591 -x1592 -x1593 x1594 -x1595 -x1596 -x1597 x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 x2059 -x2060 -x2061 x2062 -x2063 -x2064 x2065 -x2066 x2067 -x2068 x2069 x2070 x2071 x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 x2089 -x2090 x2091 x2092 -x2093 -x2094 x2095 -x2096 -x2097 -x2098 x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 -x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193 -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 -x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 -x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 -x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 -x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 -x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104 x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 -x4120 -x4121 -x4122 -x4123 -x4124 x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 -x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 -x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 -x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 -x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 -x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 -x4873 -x4874 x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 -x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 -x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 -x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 -x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 -x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 -x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 -x5100

Verifier Data 

OK	3367493

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: 63708 MiB (60553 MiB free)
  memory of node 1: 64465 MiB (61362 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503794-1751484790/watcher-4503794-1751484790 -o /tmp/evaluation-result-4503794-1751484790/solver-4503794-1751484790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751481177-82008 --watchdog 3760 run-opt-break.sh HOME/instance-4503794-1751484790.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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


[startup+0.100066 s]*
/proc/loadavg: 4.11 4.09 4.07 5/270 82506
/proc/meminfo: memFree=124821780/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=71748 memory=27072 CPUtime=0.05 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 4360 0 0 0 3 2 0 0 20 0 1 0 64156539 73469952 6768 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 17937 6768 2272 1147 0 5364 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 75940 KiB
Current children cumulated memory: 30016 KiB

[startup+0.205729 s]*
/proc/loadavg: 4.11 4.09 4.07 6/270 82506
/proc/meminfo: memFree=124820016/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=75276 memory=30912 CPUtime=0.16 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 5311 0 0 0 13 3 0 0 20 0 1 0 64156539 77082624 7728 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 18819 7728 2272 1147 0 6246 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 79468 KiB
Current children cumulated memory: 33856 KiB

[startup+0.305718 s]*
/proc/loadavg: 4.11 4.09 4.07 5/270 82506
/proc/meminfo: memFree=124820016/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=75788 memory=31296 CPUtime=0.25 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 5408 0 0 0 22 3 0 0 20 0 1 0 64156539 77606912 7824 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 18947 7824 2272 1147 0 6374 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 79980 KiB
Current children cumulated memory: 34240 KiB

[startup+0.700202 s]
/proc/loadavg: 4.11 4.09 4.07 5/270 82506
/proc/meminfo: memFree=124820268/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=76264 memory=31808 CPUtime=0.64 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 5549 0 0 0 61 3 0 0 20 0 1 0 64156539 78094336 7952 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 19066 7952 2272 1147 0 6493 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 80456 KiB
Current children cumulated memory: 34752 KiB

[startup+1.50021 s]
/proc/loadavg: 4.11 4.09 4.07 5/270 82506
/proc/meminfo: memFree=124820304/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=105360 memory=59024 CPUtime=1.44 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 11794 0 0 0 139 5 0 0 20 0 1 0 64156539 107888640 14756 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 26340 14756 2336 1147 0 13767 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 109552 KiB
Current children cumulated memory: 61968 KiB

[startup+3.10552 s]
/proc/loadavg: 4.11 4.09 4.07 5/270 82506
/proc/meminfo: memFree=124760768/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=152948 memory=98780 CPUtime=3.04 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 20190 0 0 0 296 8 0 0 20 0 1 0 64156539 156618752 24695 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 38237 24695 2336 1147 0 25664 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 157140 KiB
Current children cumulated memory: 101724 KiB

[startup+6.30019 s]
/proc/loadavg: 4.18 4.10 4.07 5/270 82506
/proc/meminfo: memFree=124708696/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=220356 memory=156024 CPUtime=6.22 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 30919 0 0 0 607 15 0 0 20 0 1 0 64156539 225644544 39006 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 55089 39006 2336 1147 0 42516 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 224548 KiB
Current children cumulated memory: 158968 KiB

[startup+12.7002 s]
/proc/loadavg: 4.24 4.12 4.08 5/270 82506
/proc/meminfo: memFree=124642668/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=274036 memory=208188 CPUtime=12.6 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 41998 0 0 0 1235 25 0 0 20 0 1 0 64156539 280612864 52047 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 68509 52047 2336 1147 0 55936 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 278228 KiB
Current children cumulated memory: 211132 KiB

[startup+25.5002 s]
/proc/loadavg: 4.41 4.16 4.09 5/270 82506
/proc/meminfo: memFree=124599512/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=314236 memory=253776 CPUtime=25.37 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 52377 0 0 0 2497 40 0 0 20 0 1 0 64156539 321777664 63444 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 78559 63444 2336 1147 0 65986 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 318428 KiB
Current children cumulated memory: 256720 KiB

[startup+51.1057 s]
/proc/loadavg: 4.34 4.16 4.10 5/270 82506
/proc/meminfo: memFree=124484928/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=480892 memory=368020 CPUtime=50.92 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 77901 0 0 0 5033 59 0 0 20 0 1 0 64156539 492433408 92005 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 120223 92005 2336 1147 0 107650 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 485084 KiB
Current children cumulated memory: 370964 KiB

[startup+102.3 s]
/proc/loadavg: 4.21 4.15 4.09 5/270 82508
/proc/meminfo: memFree=124393196/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=506976 memory=418920 CPUtime=101.98 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 86923 0 0 0 10110 88 0 0 20 0 1 0 64156539 519143424 104730 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 126744 104730 2464 1147 0 114171 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 511168 KiB
Current children cumulated memory: 421864 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.14 4.09 5/270 82510
/proc/meminfo: memFree=124298928/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=670348 memory=518144 CPUtime=161.81 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 109698 0 0 0 16057 124 0 0 20 0 1 0 64156539 686436352 129536 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 167587 129536 2464 1147 0 155014 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 674540 KiB
Current children cumulated memory: 521088 KiB

[startup+222.3 s]
/proc/loadavg: 4.11 4.13 4.09 5/269 82512
/proc/meminfo: memFree=124235884/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=744404 memory=575428 CPUtime=221.66 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 123556 0 0 0 22007 159 0 0 20 0 1 0 64156539 762269696 143857 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 186101 143857 2464 1147 0 173528 0
Current children cumulated CPU time: 221.67 s

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

/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=860464 memory=718348 CPUtime=401.18 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 151642 0 0 0 39865 253 0 0 20 0 1 0 64156539 881115136 179587 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 215116 179587 2464 1147 0 202543 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 864656 KiB
Current children cumulated memory: 721292 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/270 82573
/proc/meminfo: memFree=125857540/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=877336 memory=747668 CPUtime=461.02 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 156924 0 0 0 45824 278 0 0 20 0 1 0 64156539 898392064 186917 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 219334 186917 2464 1147 0 206761 0
Current children cumulated CPU time: 461.03 s
Current children cumulated vsize: 881528 KiB
Current children cumulated memory: 750612 KiB

[startup+522.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/270 82575
/proc/meminfo: memFree=125453300/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=877336 memory=748052 CPUtime=520.87 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 157037 0 0 0 51787 300 0 0 20 0 1 0 64156539 898392064 187013 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 219334 187013 2464 1147 0 206761 0
Current children cumulated CPU time: 520.88 s
Current children cumulated vsize: 881528 KiB
Current children cumulated memory: 750996 KiB

[startup+582.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/271 82582
/proc/meminfo: memFree=125150840/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=1102316 memory=843812 CPUtime=580.72 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 177912 0 0 0 57748 324 0 0 20 0 1 0 64156539 1128771584 210953 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 275579 210953 2464 1147 0 263006 0
Current children cumulated CPU time: 580.73 s
Current children cumulated vsize: 1106508 KiB
Current children cumulated memory: 846756 KiB

[startup+642.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/270 82585
/proc/meminfo: memFree=125021164/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=1102316 memory=844580 CPUtime=640.58 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 178102 0 0 0 63710 348 0 0 20 0 1 0 64156539 1128771584 211145 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 275579 211145 2464 1147 0 263006 0
Current children cumulated CPU time: 640.59 s
Current children cumulated vsize: 1106508 KiB
Current children cumulated memory: 847524 KiB

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

# cumulated CPU time of all completed processes:  user=660.669 s, system=3.60252 s

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

[startup+652.8 s]
/proc/loadavg: 4.10 4.09 4.09 5/270 82585
/proc/meminfo: memFree=125021228/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=1102316 memory=844580 CPUtime=651.05 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 178103 0 0 0 64754 351 0 0 20 0 1 0 64156539 1128771584 211145 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 275579 211145 2464 1147 0 263006 0
Current children cumulated CPU time: 651.06 s
Current children cumulated vsize: 1106508 KiB
Current children cumulated memory: 847524 KiB

[startup+659.2 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 82585
/proc/meminfo: memFree=125012912/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=1102316 memory=844580 CPUtime=657.43 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 178103 0 0 0 65390 353 0 0 20 0 1 0 64156539 1128771584 211145 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 275579 211145 2464 1147 0 263006 0
Current children cumulated CPU time: 657.44 s
Current children cumulated vsize: 1106508 KiB
Current children cumulated memory: 847524 KiB

[startup+662.4 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 82585
/proc/meminfo: memFree=125005288/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=1102316 memory=844580 CPUtime=660.62 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 178103 0 0 0 65708 354 0 0 20 0 1 0 64156539 1128771584 211145 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 275579 211145 2464 1147 0 263006 0
Current children cumulated CPU time: 660.63 s
Current children cumulated vsize: 1106508 KiB
Current children cumulated memory: 847524 KiB

[startup+664 s]*
/proc/loadavg: 4.08 4.09 4.09 5/270 82585
/proc/meminfo: memFree=124997160/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=1102316 memory=844580 CPUtime=662.23 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 178103 0 0 0 65868 355 0 0 20 0 1 0 64156539 1128771584 211145 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 275579 211145 2464 1147 0 263006 0
Current children cumulated CPU time: 662.24 s
Current children cumulated vsize: 1106508 KiB
Current children cumulated memory: 847524 KiB

[startup+664.8 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 82585
/proc/meminfo: memFree=124997160/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=1102316 memory=844580 CPUtime=663.02 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 178103 0 0 0 65947 355 0 0 20 0 1 0 64156539 1128771584 211145 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 275579 211145 2464 1147 0 263006 0
Current children cumulated CPU time: 663.03 s
Current children cumulated vsize: 1106508 KiB
Current children cumulated memory: 847524 KiB

[startup+665.6 s]
/proc/loadavg: 4.08 4.09 4.09 5/270 82585
/proc/meminfo: memFree=124997160/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
[pid=82506] ppid=82503 vsize=1102316 memory=844580 CPUtime=663.81 cores=4,6
/proc/82506/stat : 82506 (roundingsat) R 82503 82503 81997 0 -1 4194304 178103 0 0 0 66026 355 0 0 20 0 1 0 64156539 1128771584 211145 18446744073709551615 4227072 8923433 140732085512496 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 12369920 140732085516644 140732085516840 140732085516840 140732085522410 0
/proc/82506/statm: 275579 211145 2464 1147 0 263006 0
Current children cumulated CPU time: 663.82 s
Current children cumulated vsize: 1106508 KiB
Current children cumulated memory: 847524 KiB

[startup+666 s]*
/proc/loadavg: 4.08 4.09 4.09 5/270 82585
/proc/meminfo: memFree=125405172/131250000 swapFree=33010160/33010684
[pid=82503] ppid=82500 vsize=4192 memory=2944 CPUtime=0.01 cores=4,6
/proc/82503/stat : 82503 (run-opt-break.s) S 82500 82503 81997 0 -1 4194304 235 3463 0 0 0 0 1 0 20 0 1 0 64156536 4292608 736 18446744073709551615 94198013927424 94198014821957 140728715217424 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94198015061008 94198015108752 94198042271744 140728715225441 140728715225570 140728715225570 140728715231172 0
/proc/82503/statm: 1048 736 672 219 0 110 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 4192 KiB
Current children cumulated memory: 2944 KiB

Child status: 0

Real time (s): 666.022
CPU time (s): 664.271
CPU user time (s): 660.669
CPU system time (s): 3.60252
CPU usage (%): 99.7372
Max. virtual memory (cumulated for all children) (KiB): 1106508
Max. memory (cumulated for all children) (KiB): 847524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 660.669
system time used= 3.60252
maximum resident set size= 844580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 181826
page faults= 0
swaps= 0
block input operations= 0
block output operations= 800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 788


# summary of solver processes directly reported to runsolver:
#   pid: 82503
#   total CPU time (s): 664.271
#   total CPU user time (s): 660.669
#   total CPU system time (s): 3.60252

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.33203 second user time and 3.14596 second system time

The end

Launcher Data 

Begin job on nodeC016 at 2025-07-02 21:33:10
IDJOB=4503794
IDBENCH=155603
IDSOLVER=3359
FILE ID=nodeC016/4503794-1751484790
RUNJOBID= nodeC016-1751481177-82008
SLURM_JOB_ID= 9598526
Free space on /tmp= 432648 MiB

SOLVER NAME= roundingsat+pbsuma-opt 63f22ad
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat50_4_16_2.opb
COMMAND LINE= run-opt-break.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503794-1751484790/watcher-4503794-1751484790 -o /tmp/evaluation-result-4503794-1751484790/solver-4503794-1751484790 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC016-1751481177-82008 --watchdog 3760  run-opt-break.sh HOME/instance-4503794-1751484790.opb

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

MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e
RANDOM SEED=360343254

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        124842068 kB
MemAvailable:   125089040 kB
Buffers:            2144 kB
Cached:          1015672 kB
SwapCached:           28 kB
Active:          5340804 kB
Inactive:         396188 kB
Active(anon):    4731640 kB
Inactive(anon):     5288 kB
Active(file):     609164 kB
Inactive(file):   390900 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              7468 kB
Writeback:             0 kB
AnonPages:       4718104 kB
Mapped:           117664 kB
Shmem:             18044 kB
KReclaimable:     172296 kB
Slab:             264628 kB
SReclaimable:     172296 kB
SUnreclaim:        92332 kB
KernelStack:        4368 kB
PageTables:        12612 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    5750072 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150696 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   4104192 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432728 MiB
End job on nodeC016 at 2025-07-02 21:44:16