Trace number 4503795

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-log 63f22adOPT cert.3367493 791.297 797.241

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.02	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.02	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.02	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.02	c │      (c) 2025 Markus Anders                                    │
0.00/0.02	c └────────────────────────────────────────────────────────────────┘
0.00/0.02	c parse 'HOME/instance-4503795-1751431243.opb'
0.00/0.04	c 	read 0.40MB  (15.79ms)
0.00/0.04	c	 [cnf: #variables 5100 #clauses 7607 #duplicates 0 #arr 37600]
0.00/0.04	c output proof to 'PROOFDIR/proof-4503795-1751431243'
0.00/0.04	c 
0.00/0.04	c make graph and approximate orbits
0.00/0.06	c	 [group: #orbits ~= 0] (25.72ms)
0.00/0.06	c 
0.00/0.06	c detect special group actions
0.00/0.06	c 	probe for Johnson action (limit=64)
0.00/0.06	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.06	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07	c 	 (2.87ms)
0.00/0.07	c 
0.00/0.07	c detect symmetries on remainder
0.00/0.07	c 	[graph: #vertices 35607 #edges 121000]
0.00/0.07	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07	c 	 [group: #symmetries 1.00*10^0 #generators 0] (5.60ms)
0.00/0.07	c 
0.00/0.07	c finalize break order and special generators
0.00/0.07	c 
0.00/0.07	c generation finished
0.00/0.07	c 	[sbp: #constraints 0 #add_vars 0]
0.00/0.07	c 
0.00/0.07	c write result to 'HOME/instance-4503795-1751431243.opb.pre'
0.00/0.08	c 	wrote 0.41MB (2.91ms)
0.00/0.08	c ------------------------------------------------------------------
0.00/0.08	c                  25.72ms 46.54% approx_orbits
0.00/0.08	c                  15.78ms 28.55% parse
0.00/0.08	c                   5.60ms 10.12% detect_generic
0.00/0.08	c                   2.91ms  5.26% output
0.00/0.08	c                   2.87ms  5.19% detect_special
0.00/0.08	c                   1.91ms  3.46% other
0.00/0.08	c                   0.49ms  0.88% finalize_order
0.00/0.08	c         ───────────────────────────────────────────────
0.00/0.08	c                  55.28ms   100% total
0.00/0.08	c ------------------------------------------------------------------
0.00/0.10	c RoundingSat 2
0.00/0.10	c branch pb25
0.00/0.10	c commit 63f22ad
0.17/0.31	c #variables 5100 #constraints 12510
0.17/0.31	c objective is ce32 
0.17/0.31	c initial watched  CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
0.17/0.31	c initial counting CF 32, 64, 128, Arb: 1326 , 0 , 0 , 0
0.17/0.31	c bounds - >= -50 @ 0.162567
1.63/1.77	c bounds 210281065 >= -50 @ 1.57773
1.63/1.78	c bounds 138879385 >= -50 @ 1.58241
1.74/1.81	c bounds 97916941 >= -50 @ 1.61245
1.74/1.82	c bounds 75357461 >= -50 @ 1.62213
1.74/1.83	c bounds 74018945 >= -50 @ 1.63699
1.74/1.84	c bounds 73963617 >= -50 @ 1.64414
1.74/1.84	c bounds 73682401 >= -50 @ 1.64738
2.63/2.76	c bounds 73263923 >= -50 @ 2.52358
2.73/2.80	c bounds 73200905 >= -50 @ 2.56464
2.73/2.81	c bounds 73102607 >= -50 @ 2.57222
2.73/2.88	c bounds 73102217 >= -50 @ 2.64823
2.94/3.01	c bounds 73029865 >= -50 @ 2.7734
2.94/3.05	c bounds 72996387 >= -50 @ 2.8054
2.94/3.06	c bounds 72992725 >= -50 @ 2.81963
2.94/3.08	c bounds 72971621 >= -50 @ 2.84155
3.04/3.16	c bounds 71590709 >= -50 @ 2.91867
3.14/3.26	c bounds 71553189 >= -50 @ 3.00569
3.53/3.69	c bounds 71531101 >= -50 @ 3.43155
4.42/4.57	c #Conflicts:       1000 | #Constraints:      13527
4.42/4.57	c bounds 71518589 >= -50 @ 4.28571
4.42/4.58	c bounds 71494365 >= -50 @ 4.29885
4.63/4.74	c bounds 71485997 >= -50 @ 4.45584
4.72/4.89	c bounds 71461773 >= -50 @ 4.59927
4.94/5.07	c bounds 57301127 >= -50 @ 4.77106
4.94/5.09	c bounds 57290935 >= -50 @ 4.79422
5.13/5.23	c bounds 57287123 >= -50 @ 4.9319
5.32/5.40	c bounds 52328529 >= -50 @ 5.10353
5.32/5.43	c bounds 52211161 >= -50 @ 5.12721
5.53/5.71	c bounds 52156335 >= -50 @ 5.31003
5.53/5.74	c bounds 52145517 >= -50 @ 5.34263
5.53/5.77	c bounds 52107629 >= -50 @ 5.36866
5.53/5.79	c bounds 52101805 >= -50 @ 5.38795
5.63/5.80	c bounds 51967677 >= -50 @ 5.40045
5.63/5.82	c bounds 51884447 >= -50 @ 5.41216
5.63/5.83	c bounds 51878747 >= -50 @ 5.42675
5.73/5.90	c bounds 51874099 >= -50 @ 5.49158
5.73/5.91	c bounds 51869747 >= -50 @ 5.5068
5.73/5.93	c bounds 51727663 >= -50 @ 5.52688
5.73/5.97	c bounds 51706455 >= -50 @ 5.5583
5.73/6.00	c bounds 51693681 >= -50 @ 5.58704
5.85/6.01	c bounds 51691599 >= -50 @ 5.60001
5.85/6.02	c bounds 51690205 >= -50 @ 5.61222
5.85/6.04	c bounds 51687247 >= -50 @ 5.62611
6.32/6.51	c bounds 51568723 >= -50 @ 6.08431
6.32/6.54	c bounds 51567269 >= -50 @ 6.11138
6.32/6.56	c bounds 51565235 >= -50 @ 6.12876
6.32/6.57	c bounds 51563841 >= -50 @ 6.14321
6.43/6.61	c bounds 51563607 >= -50 @ 6.17442
6.43/6.62	c bounds 51562213 >= -50 @ 6.18706
6.43/6.64	c bounds 51559255 >= -50 @ 6.21047
6.53/6.77	c bounds 42173501 >= -50 @ 6.33444
7.12/7.34	c bounds 12993651 >= -50 @ 6.89265
7.22/7.45	c bounds 12989503 >= -50 @ 6.99388
7.22/7.46	c bounds 12989039 >= -50 @ 7.00948
7.32/7.54	c bounds 12967277 >= -50 @ 7.08322
7.32/7.56	c bounds 12958119 >= -50 @ 7.1071
7.32/7.59	c bounds 12956973 >= -50 @ 7.13068
7.43/7.60	c bounds 12932167 >= -50 @ 7.14733
9.01/9.21	c #Conflicts:       2000 | #Constraints:      14566
9.01/9.21	c INPROCESSING
9.01/9.21	c GARBAGE COLLECT
9.01/9.21	c bounds 12922241 >= -50 @ 8.72624
9.01/9.23	c bounds 12918591 >= -50 @ 8.73639
10.42/10.69	c bounds 12363591 >= -50 @ 10.1626
10.51/10.76	c bounds 12292449 >= -50 @ 10.2301
10.71/10.90	c #Conflicts:       3000 | #Constraints:      11670
10.71/10.90	c bounds 12275321 >= -50 @ 10.367
10.71/10.92	c bounds 12202867 >= -50 @ 10.3886
10.83/11.03	c bounds 12133699 >= -50 @ 10.4895
10.83/11.05	c bounds 12117595 >= -50 @ 10.5148
10.93/11.18	c bounds 12109675 >= -50 @ 10.6389
10.93/11.19	c bounds 12107857 >= -50 @ 10.6523
11.11/11.35	c bounds 12104043 >= -50 @ 10.8032
11.11/11.38	c bounds 12093931 >= -50 @ 10.8365
11.21/11.40	c bounds 12087793 >= -50 @ 10.8524
11.21/11.46	c bounds 12043031 >= -50 @ 10.9154
11.21/11.48	c bounds 12030817 >= -50 @ 10.9381
11.31/11.50	c bounds 12024579 >= -50 @ 10.9569
11.31/11.53	c bounds 12013363 >= -50 @ 10.9815
11.51/11.70	c bounds 12010001 >= -50 @ 11.1513
11.61/11.85	c bounds 11999483 >= -50 @ 11.292
11.71/11.95	c bounds 11989715 >= -50 @ 11.3864
12.01/12.27	c bounds 11985097 >= -50 @ 11.6966
12.11/12.39	c bounds 11949705 >= -50 @ 11.8057
12.41/12.61	c bounds 11938775 >= -50 @ 12.0176
12.41/12.66	c bounds 11936583 >= -50 @ 12.0674
13.20/13.41	c bounds 11913103 >= -50 @ 12.7854
13.20/13.46	c bounds 11899095 >= -50 @ 12.8375
15.20/15.47	c #Conflicts:       4000 | #Constraints:      12709
15.20/15.47	WSVECS04 Frhs2[70]: 6 -77841 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[501]: 6 -152881 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[507]: 6 -63504 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[511]: 6 -123904 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[514]: 6 -108241 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[517]: 6 -38416 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[523]: 6 -42849 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[527]: 6 -77284 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[531]: 6 -73984 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[537]: 6 -96100 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[538]: 6 -11025 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[540]: 6 -180625 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[569]: 6 -152881 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[610]: 6 -77841 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[618]: 6 -32761 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[628]: 6 -90000 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[643]: 6 -74529 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[699]: 6 -37249 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[969]: 6 -77284 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[1149]: 6 -29241 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[1519]: 6 -96100 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[1569]: 6 -11025 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[1719]: 6 -180625 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2197]: 6 -32400 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2320]: 6 -26896 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2419]: 6 -63504 0 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2552]: 6 0 1.00004 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2555]: 6 0 1.00003 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2560]: 6 0 1.00007 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2563]: 6 0 1.00001 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2567]: 6 0 1.00009 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2573]: 6 0 1.00003 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2575]: 6 0 1.00005 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2578]: 6 0 1.00003 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2579]: 6 0 1.00006 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2580]: 6 0 1.00007 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2582]: 6 0 1.00009 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2583]: 6 0 1.00009 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2584]: 6 0 1.00007 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2585]: 6 0 1.00006 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2593]: 6 0 1.00004 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2594]: 6 0 1.00002 shouldn't be
15.20/15.47	WSVECS04 Frhs2[2597]: 6 0 1.00007 shouldn't be
16.09/16.38	c INPROCESSING
16.09/16.38	c GARBAGE COLLECT
16.09/16.38	c bounds 6952931 >= -50 @ 15.7001
16.09/16.38	c bounds 6939203 >= -50 @ 15.7098
16.09/16.39	c bounds 6920363 >= -50 @ 15.7181
16.20/16.40	c bounds 6898603 >= -50 @ 15.7263
16.20/16.42	c bounds 6868875 >= -50 @ 15.7391
16.20/16.43	c bounds 6851739 >= -50 @ 15.7485
16.20/16.45	c bounds 6844195 >= -50 @ 15.7726
16.20/16.46	c bounds 6817941 >= -50 @ 15.7835
16.20/16.47	c bounds 6813781 >= -50 @ 15.7957
16.20/16.49	c bounds 6808743 >= -50 @ 15.8116
16.29/16.50	c bounds 6774503 >= -50 @ 15.8239
16.29/16.52	c bounds 6771487 >= -50 @ 15.8434
16.29/16.56	c bounds 6763295 >= -50 @ 15.8722
16.29/16.57	c bounds 6750815 >= -50 @ 15.8822
16.39/16.61	c bounds 4809911 >= -50 @ 15.9237
16.39/16.62	c bounds 4800791 >= -50 @ 15.9332
16.39/16.63	c bounds 4796631 >= -50 @ 15.9424
16.39/16.64	c bounds 4779329 >= -50 @ 15.951
16.39/16.65	c bounds 4742145 >= -50 @ 15.962
16.39/16.66	c bounds 4730603 >= -50 @ 15.9773
16.39/16.67	c bounds 4724075 >= -50 @ 15.9872
16.50/16.72	c bounds 4718341 >= -50 @ 16.0335
16.50/16.73	c bounds 4706149 >= -50 @ 16.0439
16.50/16.74	c bounds 4701701 >= -50 @ 16.0512
16.59/16.81	c bounds 4692101 >= -50 @ 16.1116
16.59/16.83	c bounds 4666855 >= -50 @ 16.1318
16.59/16.84	c bounds 4665543 >= -50 @ 16.1412
16.59/16.85	c bounds 4652729 >= -50 @ 16.1544
16.59/16.87	c bounds 4651791 >= -50 @ 16.1777
16.59/16.88	c bounds 4638045 >= -50 @ 16.1867
16.69/16.90	c bounds 4620909 >= -50 @ 16.2044
16.69/16.91	c bounds 4611189 >= -50 @ 16.2152
16.69/16.94	c bounds 4602919 >= -50 @ 16.2408
16.69/16.95	c bounds 4601607 >= -50 @ 16.2502
16.69/16.96	c bounds 4576087 >= -50 @ 16.2591
16.69/16.99	c bounds 4551223 >= -50 @ 16.2864
16.69/17.00	c bounds 4512537 >= -50 @ 16.3001
16.80/17.01	c bounds 4487169 >= -50 @ 16.3117
16.80/17.03	c bounds 4465409 >= -50 @ 16.3275
16.80/17.05	c bounds 4456407 >= -50 @ 16.3428
16.80/17.06	c bounds 4446257 >= -50 @ 16.3534
16.80/17.07	c bounds 4412881 >= -50 @ 16.3635
16.80/17.08	c bounds 4401015 >= -50 @ 16.3728
16.80/17.10	c bounds 4394199 >= -50 @ 16.3912
16.99/17.28	c bounds 4389117 >= -50 @ 16.569
16.99/17.29	c bounds 4377575 >= -50 @ 16.5796
17.09/17.37	c bounds 4372821 >= -50 @ 16.6534
17.09/17.39	c bounds 4357461 >= -50 @ 16.6783
17.19/17.41	c bounds 4356149 >= -50 @ 16.6894
17.19/17.42	c bounds 4316693 >= -50 @ 16.703
17.99/18.28	c #Conflicts:       5000 | #Constraints:      12027
17.99/18.28	c bounds 4313753 >= -50 @ 17.5309
18.09/18.32	c bounds 4310835 >= -50 @ 17.5712
18.09/18.33	c bounds 4304307 >= -50 @ 17.5872
18.09/18.35	c bounds 4299769 >= -50 @ 17.5989
18.58/18.89	c bounds 4297427 >= -50 @ 18.1271
18.98/19.20	c bounds 4284755 >= -50 @ 18.4304
18.98/19.21	c bounds 4283443 >= -50 @ 18.444
22.26/22.56	c #Conflicts:       6000 | #Constraints:      13034
22.26/22.56	c INPROCESSING
22.26/22.56	c GARBAGE COLLECT
22.26/22.56	WSVECS04 Frhs2[532]: 6 -80089 0 shouldn't be
22.26/22.56	WSVECS04 Frhs2[634]: 6 -75625 0 shouldn't be
22.26/22.56	WSVECS04 Frhs2[749]: 6 -24025 0 shouldn't be
22.26/22.56	WSVECS04 Frhs2[1269]: 6 -80089 0 shouldn't be
22.26/22.56	WSVECS04 Frhs2[1370]: 6 -75625 0 shouldn't be
22.26/22.56	WSVECS04 Frhs2[2049]: 6 -171396 0 shouldn't be
22.26/22.56	WSVECS04 Frhs2[2149]: 6 -89401 0 shouldn't be
22.26/22.56	WSVECS04 Frhs2[2172]: 6 -24025 0 shouldn't be
22.26/22.56	WSVECS04 Frhs2[2196]: 6 -171396 0 shouldn't be
22.26/22.56	WSVECS04 Frhs2[2198]: 6 -89401 0 shouldn't be
22.26/22.56	WSVECS04 Frhs2[2554]: 6 0 1.00001 shouldn't be
22.26/22.56	WSVECS04 Frhs2[2564]: 6 0 1.00007 shouldn't be
22.26/22.56	WSVECS04 Frhs2[2577]: 6 0 1.0001 shouldn't be
23.78/24.09	c rational objective 1.71035e+06
25.36/25.67	c bounds 4275763 >= -50 @ 24.7701
25.36/25.68	c bounds 4264563 >= -50 @ 24.7802
25.36/25.69	c bounds 4253265 >= -50 @ 24.7897
25.46/25.72	c bounds 4241499 >= -50 @ 24.8135
25.46/25.74	c bounds 4234491 >= -50 @ 24.83
28.04/28.36	c #Conflicts:       7000 | #Constraints:      10640
28.04/28.36	c bounds 4233401 >= -50 @ 27.3873
30.94/31.29	c #Conflicts:       8000 | #Constraints:      11641
30.94/31.29	c #Conflicts:       9000 | #Constraints:      12641
30.94/31.29	c INPROCESSING
30.94/31.29	c GARBAGE COLLECT
30.94/31.29	c bounds 4223801 >= -50 @ 30.2555
31.04/31.30	c bounds 4211129 >= -50 @ 30.2652
31.13/31.48	c bounds 4206889 >= -50 @ 30.4371
31.23/31.52	c bounds 4168657 >= -50 @ 30.4807
31.84/32.12	c bounds 4165513 >= -50 @ 31.0654
33.62/34.00	c #Conflicts:      10000 | #Constraints:      11329
33.62/34.00	c bounds 4154625 >= -50 @ 32.9061
38.61/38.95	c #Conflicts:      11000 | #Constraints:      12330
38.61/38.95	c #Conflicts:      12000 | #Constraints:      13330
38.61/38.95	c INPROCESSING
38.61/38.95	c GARBAGE COLLECT
38.61/38.95	c bounds 4151593 >= -50 @ 37.749
38.72/39.06	c bounds 4146083 >= -50 @ 37.8556
39.10/39.42	c bounds 4144269 >= -50 @ 38.2104
40.21/40.52	c bounds 4144219 >= -50 @ 39.2869
40.21/40.55	c bounds 4137979 >= -50 @ 39.3121
40.40/40.77	c #Conflicts:      13000 | #Constraints:      11757
40.40/40.77	c bounds 4137733 >= -50 @ 39.5243
56.14/56.54	c #Conflicts:      14000 | #Constraints:      12773
56.14/56.54	c #Conflicts:      15000 | #Constraints:      13779
56.14/56.54	c INPROCESSING
56.14/56.54	c GARBAGE COLLECT
56.14/56.54	c #Conflicts:      16000 | #Constraints:      11980
56.14/56.54	c #Conflicts:      17000 | #Constraints:      12980
56.14/56.54	c #Conflicts:      18000 | #Constraints:      13980
56.14/56.54	c INPROCESSING
56.14/56.54	c GARBAGE COLLECT
56.14/56.54	c rational objective 1.72222e+06
69.39/69.88	c #Conflicts:      19000 | #Constraints:      11962
69.39/69.88	c #Conflicts:      20000 | #Constraints:      12962
69.39/69.88	c #Conflicts:      21000 | #Constraints:      13962
69.39/69.88	c INPROCESSING
69.39/69.88	c GARBAGE COLLECT
69.39/69.88	c rational objective 1.75294e+06
135.64/136.32	c #Conflicts:      22000 | #Constraints:      11744
135.64/136.32	c #Conflicts:      23000 | #Constraints:      12744
135.64/136.32	c #Conflicts:      24000 | #Constraints:      13744
135.64/136.32	c #Conflicts:      25000 | #Constraints:      14744
135.64/136.32	c INPROCESSING
135.64/136.32	c GARBAGE COLLECT
135.64/136.32	c #Conflicts:      26000 | #Constraints:      12323
135.64/136.32	c #Conflicts:      27000 | #Constraints:      13328
135.64/136.32	c #Conflicts:      28000 | #Constraints:      14333
135.64/136.32	c #Conflicts:      29000 | #Constraints:      15333
135.64/136.32	c INPROCESSING
135.64/136.32	c GARBAGE COLLECT
135.64/136.32	c #Conflicts:      30000 | #Constraints:      12484
135.64/136.32	c #Conflicts:      31000 | #Constraints:      13484
135.64/136.32	c #Conflicts:      32000 | #Constraints:      14484
135.64/136.32	c #Conflicts:      33000 | #Constraints:      15516
135.64/136.32	c INPROCESSING
135.64/136.32	c GARBAGE COLLECT
135.64/136.32	c #Conflicts:      34000 | #Constraints:      12759
135.64/136.32	c #Conflicts:      35000 | #Constraints:      13905
135.64/136.32	c #Conflicts:      36000 | #Constraints:      14948
135.64/136.32	c #Conflicts:      37000 | #Constraints:      15969
135.64/136.32	c INPROCESSING
135.64/136.32	c GARBAGE COLLECT
135.64/136.32	c #Conflicts:      38000 | #Constraints:      12878
135.64/136.32	c #Conflicts:      39000 | #Constraints:      13974
135.64/136.32	c #Conflicts:      40000 | #Constraints:      15190
135.64/136.32	c #Conflicts:      41000 | #Constraints:      16319
135.64/136.32	c INPROCESSING
135.64/136.32	c GARBAGE COLLECT
135.64/136.32	c rational objective 1.72431e+06
152.67/153.46	c #Conflicts:      42000 | #Constraints:      12862
152.67/153.46	c #Conflicts:      43000 | #Constraints:      13862
152.67/153.46	c #Conflicts:      44000 | #Constraints:      14864
152.67/153.46	c #Conflicts:      45000 | #Constraints:      15866
152.67/153.46	c #Conflicts:      46000 | #Constraints:      16866
152.67/153.46	c INPROCESSING
152.67/153.46	c GARBAGE COLLECT
152.67/153.46	c rational objective 1.72799e+06
169.01/169.86	c #Conflicts:      47000 | #Constraints:      13240
169.01/169.86	c #Conflicts:      48000 | #Constraints:      14243
169.01/169.86	c #Conflicts:      49000 | #Constraints:      15248
169.01/169.86	c #Conflicts:      50000 | #Constraints:      16249
169.01/169.86	c #Conflicts:      51000 | #Constraints:      17252
169.01/169.86	c INPROCESSING
169.01/169.86	c GARBAGE COLLECT
169.01/169.86	c rational objective 1.73042e+06
199.70/200.67	c #Conflicts:      52000 | #Constraints:      13497
199.70/200.67	c #Conflicts:      53000 | #Constraints:      14497
199.70/200.67	c #Conflicts:      54000 | #Constraints:      15497
199.70/200.67	c #Conflicts:      55000 | #Constraints:      16497
199.70/200.67	c #Conflicts:      56000 | #Constraints:      17499
199.70/200.67	c INPROCESSING
199.70/200.67	c GARBAGE COLLECT
199.70/200.67	c #Conflicts:      57000 | #Constraints:      13653
199.70/200.67	c #Conflicts:      58000 | #Constraints:      14655
199.70/200.67	c #Conflicts:      59000 | #Constraints:      15655
199.70/200.67	c #Conflicts:      60000 | #Constraints:      16655
199.70/200.67	c bounds 3986725 >= -50 @ 196.644
199.70/200.69	c bounds 3968827 >= -50 @ 196.668
199.80/200.75	c bounds 3963577 >= -50 @ 196.727
199.80/200.78	c bounds 3956881 >= -50 @ 196.752
199.90/200.80	c bounds 3955961 >= -50 @ 196.776
199.90/200.83	c bounds 3954433 >= -50 @ 196.801
199.90/200.87	c bounds 3945937 >= -50 @ 196.846
199.99/200.90	c bounds 3945017 >= -50 @ 196.871
199.99/200.99	c bounds 3940473 >= -50 @ 196.958
200.21/201.12	c bounds 3934297 >= -50 @ 197.089
200.21/201.17	c bounds 3929737 >= -50 @ 197.131
200.30/201.23	c bounds 3928981 >= -50 @ 197.193
200.40/201.36	c bounds 3928611 >= -50 @ 197.32
200.59/201.56	c bounds 3927997 >= -50 @ 197.515
200.69/201.61	c bounds 3917547 >= -50 @ 197.568
200.89/201.82	c bounds 3895665 >= -50 @ 197.771
200.89/201.84	c bounds 3892515 >= -50 @ 197.797
200.89/201.87	c bounds 3887041 >= -50 @ 197.822
200.99/201.91	c bounds 3881035 >= -50 @ 197.86
201.20/202.12	c bounds 3873049 >= -50 @ 198.069
201.20/202.16	c bounds 3871011 >= -50 @ 198.101
201.20/202.18	c bounds 3844961 >= -50 @ 198.126
201.29/202.25	c bounds 3840161 >= -50 @ 198.187
201.29/202.28	c bounds 3804027 >= -50 @ 198.216
201.39/202.37	c bounds 3803537 >= -50 @ 198.308
201.49/202.45	c #Conflicts:      61000 | #Constraints:      17681
201.49/202.45	c bounds 3801071 >= -50 @ 198.389
201.49/202.49	c bounds 3777097 >= -50 @ 198.421
201.59/202.52	c bounds 3766915 >= -50 @ 198.455
201.59/202.55	c bounds 3751907 >= -50 @ 198.481
201.69/202.60	c bounds 3750027 >= -50 @ 198.536
201.69/202.64	c bounds 3726277 >= -50 @ 198.566
201.69/202.67	c bounds 3718037 >= -50 @ 198.596
201.79/202.75	c bounds 3715831 >= -50 @ 198.673
201.79/202.77	c bounds 3711421 >= -50 @ 198.698
201.89/202.84	c bounds 3703837 >= -50 @ 198.762
201.89/202.86	c bounds 3692701 >= -50 @ 198.788
201.99/202.92	c bounds 3690783 >= -50 @ 198.842
201.99/202.96	c bounds 3667231 >= -50 @ 198.883
202.10/203.09	c bounds 3664501 >= -50 @ 199.013
203.58/204.50	c INPROCESSING
203.58/204.50	c GARBAGE COLLECT
203.58/204.50	c rational objective 1.73143e+06
222.62/223.69	c #Conflicts:      62000 | #Constraints:      13653
222.62/223.69	c #Conflicts:      63000 | #Constraints:      14682
222.62/223.69	c #Conflicts:      64000 | #Constraints:      15739
222.62/223.69	c #Conflicts:      65000 | #Constraints:      16795
222.62/223.69	c #Conflicts:      66000 | #Constraints:      17795
222.62/223.69	c INPROCESSING
222.62/223.69	c GARBAGE COLLECT
222.62/223.69	c rational objective 1.73165e+06
238.36/239.48	c #Conflicts:      67000 | #Constraints:      13521
238.36/239.48	c #Conflicts:      68000 | #Constraints:      14526
238.36/239.48	c #Conflicts:      69000 | #Constraints:      15540
238.36/239.48	c #Conflicts:      70000 | #Constraints:      16550
238.36/239.48	c #Conflicts:      71000 | #Constraints:      17563
238.36/239.48	c #Conflicts:      72000 | #Constraints:      18563
238.36/239.48	c INPROCESSING
238.36/239.48	c GARBAGE COLLECT
238.36/239.48	c bounds 3662453 >= -50 @ 234.793
238.46/239.55	c bounds 3649637 >= -50 @ 234.86
238.56/239.62	c bounds 3644621 >= -50 @ 234.932
238.56/239.64	c bounds 3642221 >= -50 @ 234.949
238.86/239.92	c bounds 3631899 >= -50 @ 235.221
238.86/239.94	c bounds 3631285 >= -50 @ 235.242
238.86/239.98	c bounds 3630973 >= -50 @ 235.28
238.86/239.99	c bounds 3624253 >= -50 @ 235.295
239.15/240.26	c bounds 3610267 >= -50 @ 235.56
240.44/241.52	c #Conflicts:      73000 | #Constraints:      14051
240.44/241.52	c bounds 3600691 >= -50 @ 236.785
241.44/242.56	c bounds 3595497 >= -50 @ 237.801
241.65/242.74	c bounds 3595235 >= -50 @ 237.977
241.65/242.76	c bounds 3589761 >= -50 @ 237.998
241.96/243.06	c #Conflicts:      74000 | #Constraints:      15055
241.96/243.06	c bounds 3587361 >= -50 @ 238.291
254.31/255.48	c #Conflicts:      75000 | #Constraints:      16100
254.31/255.48	c #Conflicts:      76000 | #Constraints:      17119
254.31/255.48	c #Conflicts:      77000 | #Constraints:      18144
254.31/255.48	c #Conflicts:      78000 | #Constraints:      19168
254.31/255.48	c INPROCESSING
254.31/255.48	c GARBAGE COLLECT
254.31/255.48	c bounds 3581071 >= -50 @ 250.486
254.40/255.57	c bounds 3569345 >= -50 @ 250.567
254.40/255.59	c bounds 3565497 >= -50 @ 250.585
254.60/255.76	c bounds 3565195 >= -50 @ 250.754
254.60/255.78	c bounds 3564209 >= -50 @ 250.777
255.39/256.58	c bounds 3563481 >= -50 @ 251.546
255.69/256.84	c bounds 3559929 >= -50 @ 251.802
258.08/259.26	c #Conflicts:      79000 | #Constraints:      14440
258.08/259.26	c #Conflicts:      80000 | #Constraints:      15451
258.08/259.26	c bounds 3559415 >= -50 @ 254.166
271.94/273.13	c #Conflicts:      81000 | #Constraints:      16458
271.94/273.13	c #Conflicts:      82000 | #Constraints:      17459
271.94/273.13	c #Conflicts:      83000 | #Constraints:      18459
271.94/273.13	c #Conflicts:      84000 | #Constraints:      19459
271.94/273.13	c INPROCESSING
271.94/273.13	c GARBAGE COLLECT
271.94/273.13	c rational objective 1.73181e+06
286.27/287.51	c #Conflicts:      85000 | #Constraints:      14614
286.27/287.51	c #Conflicts:      86000 | #Constraints:      15614
286.27/287.51	c #Conflicts:      87000 | #Constraints:      16614
286.27/287.51	c #Conflicts:      88000 | #Constraints:      17614
286.27/287.51	c #Conflicts:      89000 | #Constraints:      18614
286.27/287.51	c #Conflicts:      90000 | #Constraints:      19614
286.27/287.51	c INPROCESSING
286.27/287.51	c GARBAGE COLLECT
286.27/287.51	c rational objective 1.7453e+06
322.94/324.33	c #Conflicts:      91000 | #Constraints:      14522
322.94/324.33	c #Conflicts:      92000 | #Constraints:      15527
322.94/324.33	c #Conflicts:      93000 | #Constraints:      16573
322.94/324.33	c #Conflicts:      94000 | #Constraints:      17662
322.94/324.33	c #Conflicts:      95000 | #Constraints:      18716
322.94/324.33	c #Conflicts:      96000 | #Constraints:      19757
322.94/324.33	c INPROCESSING
322.94/324.33	c GARBAGE COLLECT
322.94/324.33	c #Conflicts:      97000 | #Constraints:      14427
322.94/324.33	c #Conflicts:      98000 | #Constraints:      15427
322.94/324.33	c #Conflicts:      99000 | #Constraints:      16428
322.94/324.33	c #Conflicts:     100000 | #Constraints:      17430
322.94/324.33	c #Conflicts:     101000 | #Constraints:      18432
322.94/324.33	c #Conflicts:     102000 | #Constraints:      19432
322.94/324.33	c #Conflicts:     103000 | #Constraints:      20432
322.94/324.33	c INPROCESSING
322.94/324.33	c GARBAGE COLLECT
322.94/324.33	c rational objective 1.74481e+06
332.20/333.67	c #Conflicts:     104000 | #Constraints:      14956
332.20/333.67	c #Conflicts:     105000 | #Constraints:      15956
332.20/333.67	c #Conflicts:     106000 | #Constraints:      16956
332.20/333.67	c bounds 3534051 >= -50 @ 327.276
332.30/333.75	c bounds 3530417 >= -50 @ 327.353
333.40/334.82	c bounds 3515483 >= -50 @ 328.407
333.40/334.87	c bounds 3514901 >= -50 @ 328.45
333.50/334.91	c bounds 3511723 >= -50 @ 328.494
347.05/348.53	c #Conflicts:     107000 | #Constraints:      17961
347.05/348.53	c #Conflicts:     108000 | #Constraints:      18963
347.05/348.53	c #Conflicts:     109000 | #Constraints:      19971
347.05/348.53	c #Conflicts:     110000 | #Constraints:      20972
347.05/348.53	c INPROCESSING
347.05/348.53	c GARBAGE COLLECT
347.05/348.53	c rational objective 1.74502e+06
348.94/350.45	c bounds 3510893 >= -50 @ 343.84
348.94/350.47	c bounds 3507453 >= -50 @ 343.858
349.34/350.85	c bounds 3503485 >= -50 @ 344.225
349.34/350.89	c bounds 3491389 >= -50 @ 344.268
350.04/351.58	c bounds 3485467 >= -50 @ 344.939
350.24/351.77	c bounds 3484057 >= -50 @ 345.128
351.13/352.66	c bounds 3483039 >= -50 @ 345.996
351.13/352.69	c bounds 3478689 >= -50 @ 346.021
351.24/352.72	c bounds 3468241 >= -50 @ 346.053
351.24/352.74	c bounds 3464481 >= -50 @ 346.076
351.43/352.94	c #Conflicts:     111000 | #Constraints:      15351
351.43/352.94	c bounds 3456319 >= -50 @ 346.271
351.43/352.97	c bounds 3453277 >= -50 @ 346.299
351.83/353.37	c bounds 3452491 >= -50 @ 346.691
352.03/353.58	c bounds 3451817 >= -50 @ 346.898
352.33/353.83	c bounds 3451235 >= -50 @ 347.135
352.43/353.97	c bounds 3448247 >= -50 @ 347.279
352.54/354.07	c bounds 3445881 >= -50 @ 347.376
352.64/354.13	c bounds 3438933 >= -50 @ 347.429
353.02/354.50	c bounds 3434175 >= -50 @ 347.793
353.32/354.89	c bounds 3432813 >= -50 @ 348.175
353.42/354.93	c bounds 3422287 >= -50 @ 348.217
353.53/355.10	c bounds 3407629 >= -50 @ 348.38
356.91/358.44	c #Conflicts:     112000 | #Constraints:      16375
356.91/358.44	c bounds 3406431 >= -50 @ 351.655
357.01/358.52	c bounds 3406319 >= -50 @ 351.739
357.01/358.57	c bounds 3404275 >= -50 @ 351.788
357.21/358.75	c bounds 3403953 >= -50 @ 351.968
358.01/359.52	c #Conflicts:     113000 | #Constraints:      17390
358.01/359.52	c bounds 3390265 >= -50 @ 352.719
358.01/359.56	c bounds 3386505 >= -50 @ 352.762
358.11/359.61	c bounds 3385719 >= -50 @ 352.803
358.31/359.84	c bounds 3383675 >= -50 @ 353.029
360.30/361.82	c bounds 3380351 >= -50 @ 354.973
360.40/361.90	c bounds 3379565 >= -50 @ 355.055
360.40/361.98	c #Conflicts:     114000 | #Constraints:      18404
360.40/361.98	c bounds 3379545 >= -50 @ 355.128
360.51/362.04	c bounds 3370233 >= -50 @ 355.192
361.69/363.22	c bounds 3368279 >= -50 @ 356.357
361.69/363.27	c bounds 3367493 >= -50 @ 356.411
377.24/378.89	c #Conflicts:     115000 | #Constraints:      19419
377.24/378.89	c #Conflicts:     116000 | #Constraints:      20424
377.24/378.89	c #Conflicts:     117000 | #Constraints:      21424
377.24/378.89	c INPROCESSING
377.24/378.89	c GARBAGE COLLECT
377.24/378.89	c rational objective 1.74503e+06
409.33/411.01	c #Conflicts:     118000 | #Constraints:      15512
409.33/411.01	c #Conflicts:     119000 | #Constraints:      16560
409.33/411.01	c #Conflicts:     120000 | #Constraints:      17671
409.33/411.01	c #Conflicts:     121000 | #Constraints:      18802
409.33/411.01	c #Conflicts:     122000 | #Constraints:      19889
409.33/411.01	c #Conflicts:     123000 | #Constraints:      20964
409.33/411.01	c #Conflicts:     124000 | #Constraints:      22033
409.33/411.01	c INPROCESSING
409.33/411.01	c GARBAGE COLLECT
409.33/411.01	WSVECS04 Frhs2[6]: 6 0 353962 shouldn't be
409.33/411.01	WSVECS04 Frhs2[14]: 6 0 135066 shouldn't be
409.33/411.01	WSVECS04 Frhs2[15]: 6 0 460621 shouldn't be
409.33/411.01	WSVECS04 Frhs2[17]: 6 0 85004.7 shouldn't be
409.33/411.01	WSVECS04 Frhs2[31]: 6 0 391209 shouldn't be
409.33/411.01	WSVECS04 Frhs2[38]: 6 0 657302 shouldn't be
409.33/411.01	WSVECS04 Frhs2[46]: 6 0 260208 shouldn't be
409.33/411.01	WSVECS04 Frhs2[53]: 6 0 55743.8 shouldn't be
409.33/411.01	WSVECS04 Frhs2[58]: 6 0 336091 shouldn't be
409.33/411.01	WSVECS04 Frhs2[61]: 6 0 680765 shouldn't be
409.33/411.01	WSVECS04 Frhs2[68]: 6 0 191825 shouldn't be
409.33/411.01	WSVECS04 Frhs2[73]: 6 0 279837 shouldn't be
409.33/411.01	WSVECS04 Frhs2[74]: 6 0 539798 shouldn't be
409.33/411.01	WSVECS04 Frhs2[78]: 6 0 49536.7 shouldn't be
409.33/411.01	WSVECS04 Frhs2[82]: 6 0 82553.5 shouldn't be
409.33/411.01	WSVECS04 Frhs2[90]: 6 0 679743 shouldn't be
409.33/411.01	WSVECS04 Frhs2[93]: 6 0 17027.2 shouldn't be
409.33/411.01	WSVECS04 Frhs2[96]: 6 0 128943 shouldn't be
409.33/411.01	WSVECS04 Frhs2[101]: 6 0 330753 shouldn't be
409.33/411.01	WSVECS04 Frhs2[106]: 6 0 264485 shouldn't be
409.33/411.01	WSVECS04 Frhs2[123]: 6 0 222283 shouldn't be
409.33/411.01	WSVECS04 Frhs2[124]: 6 0 203467 shouldn't be
409.33/411.01	WSVECS04 Frhs2[128]: 6 0 89454.1 shouldn't be
409.33/411.01	WSVECS04 Frhs2[131]: 6 0 502007 shouldn't be
409.33/411.01	WSVECS04 Frhs2[135]: 6 0 442565 shouldn't be
409.33/411.01	WSVECS04 Frhs2[144]: 6 0 74829.7 shouldn't be
409.33/411.01	WSVECS04 Frhs2[146]: 6 0 156625 shouldn't be
409.33/411.01	WSVECS04 Frhs2[158]: 6 0 312587 shouldn't be
409.33/411.01	WSVECS04 Frhs2[168]: 6 0 108694 shouldn't be
409.33/411.01	WSVECS04 Frhs2[173]: 6 0 205871 shouldn't be
409.33/411.01	WSVECS04 Frhs2[176]: 6 0 521394 shouldn't be
409.33/411.01	WSVECS04 Frhs2[178]: 6 0 514213 shouldn't be
409.33/411.01	WSVECS04 Frhs2[179]: 6 0 301923 shouldn't be
409.33/411.01	WSVECS04 Frhs2[183]: 6 0 321410 shouldn't be
409.33/411.01	WSVECS04 Frhs2[186]: 6 0 875789 shouldn't be
409.33/411.01	WSVECS04 Frhs2[187]: 6 0 326539 shouldn't be
409.33/411.01	WSVECS04 Frhs2[190]: 6 0 623207 shouldn't be
409.33/411.01	WSVECS04 Frhs2[196]: 6 0 514059 shouldn't be
409.33/411.01	WSVECS04 Frhs2[208]: 6 0 328148 shouldn't be
409.33/411.01	WSVECS04 Frhs2[210]: 6 0 455916 shouldn't be
409.33/411.01	WSVECS04 Frhs2[211]: 6 0 754966 shouldn't be
409.33/411.01	WSVECS04 Frhs2[218]: 6 0 106871 shouldn't be
409.33/411.01	WSVECS04 Frhs2[223]: 6 0 170430 shouldn't be
409.33/411.01	WSVECS04 Frhs2[224]: 6 0 569770 shouldn't be
409.33/411.01	WSVECS04 Frhs2[228]: 6 0 510254 shouldn't be
409.33/411.01	WSVECS04 Frhs2[229]: 6 0 288575 shouldn't be
409.33/411.01	WSVECS04 Frhs2[233]: 6 0 85598.6 shouldn't be
409.33/411.01	WSVECS04 Frhs2[235]: 6 0 825735 shouldn't be
409.33/411.01	WSVECS04 Frhs2[236]: 6 0 420465 shouldn't be
409.33/411.01	WSVECS04 Frhs2[237]: 6 0 320241 shouldn't be
409.33/411.01	WSVECS04 Frhs2[243]: 6 0 408622 shouldn't be
409.33/411.01	WSVECS04 Frhs2[246]: 6 0 565184 shouldn't be
409.33/411.01	WSVECS04 Frhs2[251]: 6 0 308197 shouldn't be
409.33/411.01	WSVECS04 Frhs2[256]: 6 0 254865 shouldn't be
409.33/411.01	WSVECS04 Frhs2[261]: 6 0 499943 shouldn't be
409.33/411.01	WSVECS04 Frhs2[318]: 6 0 394071 shouldn't be
409.33/411.01	WSVECS04 Frhs2[319]: 6 0 165763 shouldn't be
409.33/411.01	WSVECS04 Frhs2[322]: 6 0 204157 shouldn't be
409.33/411.01	WSVECS04 Frhs2[324]: 6 0 526129 shouldn't be
409.33/411.01	WSVECS04 Frhs2[333]: 6 0 308198 shouldn't be
409.33/411.01	WSVECS04 Frhs2[341]: 6 0 78747.1 shouldn't be
409.33/411.01	WSVECS04 Frhs2[358]: 6 0 324928 shouldn't be
409.33/411.01	WSVECS04 Frhs2[372]: 6 0 298406 shouldn't be
409.33/411.02	WSVECS04 Frhs2[374]: 6 0 555592 shouldn't be
409.33/411.02	WSVECS04 Frhs2[378]: 6 0 478680 shouldn't be
409.33/411.02	WSVECS04 Frhs2[386]: 6 0 421884 shouldn't be
409.33/411.02	WSVECS04 Frhs2[387]: 6 0 290145 shouldn't be
409.33/411.02	WSVECS04 Frhs2[390]: 6 0 646668 shouldn't be
409.33/411.02	WSVECS04 Frhs2[396]: 6 0 731281 shouldn't be
409.33/411.02	WSVECS04 Frhs2[397]: 6 0 55400.5 shouldn't be
409.33/411.02	WSVECS04 Frhs2[407]: 6 0 133753 shouldn't be
409.33/411.02	WSVECS04 Frhs2[410]: 6 0 277976 shouldn't be
409.33/411.02	WSVECS04 Frhs2[414]: 6 0 682949 shouldn't be
409.33/411.02	WSVECS04 Frhs2[421]: 6 0 38553.5 shouldn't be
409.33/411.02	WSVECS04 Frhs2[422]: 6 0 230056 shouldn't be
409.33/411.02	WSVECS04 Frhs2[425]: 6 0 71046.6 shouldn't be
409.33/411.02	WSVECS04 Frhs2[433]: 6 0 78967.9 shouldn't be
409.33/411.02	WSVECS04 Frhs2[435]: 6 0 803927 shouldn't be
409.33/411.02	WSVECS04 Frhs2[444]: 6 0 233184 shouldn't be
409.33/411.02	WSVECS04 Frhs2[447]: 6 0 64745.1 shouldn't be
409.33/411.02	WSVECS04 Frhs2[453]: 6 0 244942 shouldn't be
409.33/411.02	WSVECS04 Frhs2[458]: 6 0 338212 shouldn't be
409.33/411.02	WSVECS04 Frhs2[460]: 6 0 463539 shouldn't be
409.33/411.02	WSVECS04 Frhs2[470]: 6 0 359483 shouldn't be
409.33/411.02	WSVECS04 Frhs2[479]: 6 0 177143 shouldn't be
409.33/411.02	WSVECS04 Frhs2[483]: 6 0 319515 shouldn't be
409.33/411.02	WSVECS04 Frhs2[486]: 6 0 411546 shouldn't be
409.33/411.02	WSVECS04 Frhs2[490]: 6 0 714962 shouldn't be
409.33/411.02	WSVECS04 Frhs2[493]: 6 0 186719 shouldn't be
409.33/411.02	WSVECS04 Frhs2[500]: 6 0 434871 shouldn't be
409.33/411.02	WSVECS04 Frhs2[505]: 6 0 522450 shouldn't be
409.33/411.02	WSVECS04 Frhs2[522]: 6 0 211301 shouldn't be
409.33/411.02	WSVECS04 Frhs2[523]: 6 0 254191 shouldn't be
409.33/411.02	WSVECS04 Frhs2[530]: 6 0 62044.6 shouldn't be
409.33/411.02	WSVECS04 Frhs2[541]: 6 0 68780.1 shouldn't be
409.33/411.02	WSVECS04 Frhs2[547]: 6 0 27054.1 shouldn't be
409.33/411.02	WSVECS04 Frhs2[556]: 6 0 397655 shouldn't be
409.33/411.02	WSVECS04 Frhs2[564]: 6 0 620440 shouldn't be
409.33/411.02	WSVECS04 Frhs2[574]: 6 0 37047 shouldn't be
409.33/411.02	WSVECS04 Frhs2[577]: 6 0 28960.8 shouldn't be
409.33/411.02	WSVECS04 Frhs2[583]: 6 0 213184 shouldn't be
409.33/411.02	WSVECS04 Frhs2[585]: 6 0 479153 shouldn't be
409.33/411.02	WSVECS04 Frhs2[590]: 6 0 614020 shouldn't be
409.33/411.02	WSVECS04 Frhs2[596]: 6 0 611168 shouldn't be
409.33/411.02	WSVECS04 Frhs2[623]: 6 0 259377 shouldn't be
409.33/411.02	WSVECS04 Frhs2[625]: 6 0 308347 shouldn't be
409.33/411.02	WSVECS04 Frhs2[629]: 6 0 339514 shouldn't be
409.33/411.02	WSVECS04 Frhs2[634]: 6 0 240070 shouldn't be
409.33/411.02	WSVECS04 Frhs2[636]: 6 0 365929 shouldn't be
409.33/411.02	WSVECS04 Frhs2[643]: 6 0 488325 shouldn't be
409.33/411.02	WSVECS04 Frhs2[657]: 6 0 47230.5 shouldn't be
409.33/411.02	WSVECS04 Frhs2[672]: 6 0 308400 shouldn't be
409.33/411.02	WSVECS04 Frhs2[681]: 6 0 703024 shouldn't be
409.33/411.02	WSVECS04 Frhs2[683]: 6 0 271220 shouldn't be
409.33/411.02	WSVECS04 Frhs2[685]: 6 0 811377 shouldn't be
409.33/411.02	WSVECS04 Frhs2[690]: 6 0 660384 shouldn't be
409.33/411.02	WSVECS04 Frhs2[694]: 6 0 340432 shouldn't be
409.33/411.02	WSVECS04 Frhs2[695]: 6 0 111226 shouldn't be
409.33/411.02	WSVECS04 Frhs2[698]: 6 0 51721.4 shouldn't be
409.33/411.02	WSVECS04 Frhs2[717]: 6 0 3091 shouldn't be
409.33/411.02	WSVECS04 Frhs2[719]: 6 0 237806 shouldn't be
409.33/411.02	WSVECS04 Frhs2[726]: 6 0 575496 shouldn't be
409.33/411.02	WSVECS04 Frhs2[740]: 6 0 343903 shouldn't be
409.33/411.02	WSVECS04 Frhs2[745]: 6 0 171714 shouldn't be
409.33/411.02	WSVECS04 Frhs2[747]: 6 0 79686.1 shouldn't be
409.33/411.02	WSVECS04 Frhs2[753]: 6 0 237382 shouldn't be
409.33/411.02	WSVECS04 Frhs2[760]: 6 0 455384 shouldn't be
409.33/411.02	WSVECS04 Frhs2[768]: 6 0 457867 shouldn't be
409.33/411.02	WSVECS04 Frhs2[774]: 6 0 582002 shouldn't be
409.33/411.02	WSVECS04 Frhs2[778]: 6 0 511550 shouldn't be
409.33/411.02	WSVECS04 Frhs2[779]: 6 0 314631 shouldn't be
409.33/411.02	WSVECS04 Frhs2[786]: 6 0 419658 shouldn't be
409.33/411.02	WSVECS04 Frhs2[787]: 6 0 319336 shouldn't be
409.33/411.02	WSVECS04 Frhs2[793]: 6 0 405665 shouldn't be
409.33/411.02	WSVECS04 Frhs2[796]: 6 0 566304 shouldn't be
409.33/411.02	WSVECS04 Frhs2[797]: 6 0 310862 shouldn't be
409.33/411.02	WSVECS04 Frhs2[801]: 6 0 290866 shouldn't be
409.33/411.02	WSVECS04 Frhs2[806]: 6 0 292044 shouldn't be
409.33/411.02	WSVECS04 Frhs2[811]: 6 0 305803 shouldn't be
409.33/411.02	WSVECS04 Frhs2[814]: 6 0 685373 shouldn't be
409.33/411.02	WSVECS04 Frhs2[826]: 6 0 24091.1 shouldn't be
409.33/411.02	WSVECS04 Frhs2[835]: 6 0 283387 shouldn't be
409.33/411.02	WSVECS04 Frhs2[836]: 6 0 496760 shouldn't be
409.33/411.02	WSVECS04 Frhs2[840]: 6 0 246412 shouldn't be
409.33/411.02	WSVECS04 Frhs2[847]: 6 0 43490.8 shouldn't be
409.33/411.02	WSVECS04 Frhs2[848]: 6 0 50694.2 shouldn't be
409.33/411.02	WSVECS04 Frhs2[855]: 6 0 527602 shouldn't be
409.33/411.02	WSVECS04 Frhs2[856]: 6 0 287669 shouldn't be
409.33/411.02	WSVECS04 Frhs2[865]: 6 0 303066 shouldn't be
409.33/411.02	WSVECS04 Frhs2[877]: 6 0 10061.8 shouldn't be
409.33/411.02	WSVECS04 Frhs2[884]: 6 0 221340 shouldn't be
409.33/411.02	WSVECS04 Frhs2[906]: 6 0 292220 shouldn't be
409.33/411.02	WSVECS04 Frhs2[911]: 6 0 484486 shouldn't be
409.33/411.02	WSVECS04 Frhs2[925]: 6 0 19404 shouldn't be
409.33/411.02	WSVECS04 Frhs2[930]: 6 0 53246 shouldn't be
409.33/411.02	WSVECS04 Frhs2[936]: 6 0 480640 shouldn't be
409.33/411.02	WSVECS04 Frhs2[937]: 6 0 359935 shouldn't be
409.33/411.02	WSVECS04 Frhs2[938]: 6 -117495 0 shouldn't be
409.33/411.02	WSVECS04 Frhs2[944]: 6 0 90442.6 shouldn't be
409.33/411.02	WSVECS04 Frhs2[946]: 6 0 544544 shouldn't be
409.33/411.02	WSVECS04 Frhs2[947]: 6 0 139049 shouldn't be
409.33/411.02	WSVECS04 Frhs2[948]: 6 0 8245.72 shouldn't be
409.33/411.02	WSVECS04 Frhs2[950]: 6 0 449945 shouldn't be
409.33/411.02	WSVECS04 Frhs2[951]: 6 0 304466 shouldn't be
409.33/411.02	WSVECS04 Frhs2[961]: 6 0 299018 shouldn't be
409.33/411.02	WSVECS04 Frhs2[985]: 6 0 468006 shouldn't be
409.33/411.02	WSVECS04 Frhs2[987]: 6 0 280674 shouldn't be
409.33/411.02	WSVECS04 Frhs2[990]: 6 0 368977 shouldn't be
409.33/411.02	WSVECS04 Frhs2[997]: 6 0 25101.7 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1003]: 6 0 235062 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1006]: 6 0 276645 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1010]: 6 0 450840 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1011]: 6 0 307658 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1024]: 6 0 605774 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1034]: 6 0 163238 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1035]: 6 0 327534 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1040]: 6 0 252985 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1053]: 6 0 238494 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1058]: 6 0 332068 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1060]: 6 0 457211 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1068]: 6 0 463627 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1082]: 6 0 620249 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1083]: 6 0 258594 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1086]: 6 0 575500 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1087]: 6 0 398012 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1093]: 6 0 676408 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1094]: 6 0 346734 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1097]: 6 0 56141.3 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1105]: 6 0 216892 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1111]: 6 0 662630 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1115]: 6 0 338096 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1117]: 6 0 76358.8 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1118]: 6 0 148852 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1119]: 6 0 287190 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1121]: 6 0 3590.83 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1123]: 6 0 256177 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1124]: 6 0 557267 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1125]: 6 0 101218 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1129]: 6 0 426670 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1130]: 6 0 80886.6 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1140]: 6 0 656639 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1145]: 6 0 146922 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1148]: 6 0 28254.3 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1164]: 6 0 681293 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1167]: 6 0 14592 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1183]: 6 0 300602 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1185]: 6 0 814480 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1190]: 6 0 702863 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1194]: 6 0 230049 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1197]: 6 0 71126.8 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1206]: 6 0 251633 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1207]: 6 0 129722 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1210]: 6 0 277976 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1214]: 6 0 712874 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1240]: 6 0 303471 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1247]: 6 0 221537 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1260]: 6 0 459884 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1261]: 6 0 296743 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1274]: 6 0 602638 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1275]: 6 -14960 0 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1278]: 6 0 540149 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1283]: 6 0 76700.2 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1290]: 6 0 237001 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1301]: 6 0 212386 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1306]: 6 0 263444 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1311]: 6 0 317738 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1314]: 6 0 717053 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1324]: 6 0 589538 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1326]: 6 0 790678 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1331]: 6 0 523092 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1335]: 6 0 895535 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1340]: 6 0 788364 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1344]: 6 0 355032 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1345]: 6 0 124398 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1346]: 6 0 434858 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1351]: 6 0 295637 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1356]: 6 0 292133 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1361]: 6 0 305255 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1364]: 6 0 700325 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1374]: 6 0 611570 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1376]: 6 0 830371 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1378]: 6 0 523489 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1385]: 6 0 289372 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1386]: 6 0 703118 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1387]: 6 0 257329 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1390]: 6 0 530724 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1394]: 6 0 344632 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1396]: 6 0 579621 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1398]: 6 0 28698.4 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1401]: 6 0 211906 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1406]: 6 0 263093 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1411]: 6 0 316730 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1424]: 6 0 588593 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1427]: 6 0 289731 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1433]: 6 0 166256 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1434]: 6 0 237642 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1440]: 6 0 537442 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1453]: 6 0 54123.8 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1458]: 6 0 364796 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1460]: 6 0 472379 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1473]: 6 0 300561 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1482]: 6 0 546649 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1490]: 6 0 679230 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1501]: 6 0 288941 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1503]: 6 0 235359 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1506]: 6 0 271868 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1511]: 6 0 308423 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1523]: 6 0 304416 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1524]: 6 0 602638 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1528]: 6 0 541121 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1532]: 6 0 563482 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1534]: 6 0 233427 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1536]: 6 0 774216 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1540]: 6 0 257122 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1544]: 6 0 294446 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1546]: 6 0 287266 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1555]: 6 0 527850 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1575]: 6 0 19968 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1580]: 6 -4096 0 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1594]: 6 0 206170 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1597]: 6 0 13390 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1608]: 6 0 158173 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1644]: 6 0 299824 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1648]: 6 0 6668.38 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1656]: 6 0 321222 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1658]: 6 0 263628 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1660]: 6 0 233236 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1661]: 6 0 682418 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1668]: 6 0 189305 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1673]: 6 0 254312 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1674]: 6 0 545955 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1676]: 6 0 556911 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1678]: 6 0 26325.5 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1679]: 6 0 174023 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1682]: 6 0 59043.3 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1683]: 6 0 334653 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1686]: 6 0 160328 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1693]: 6 0 206293 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1696]: 6 0 106753 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1701]: 6 0 213725 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1706]: 6 0 232565 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1711]: 6 0 317899 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1714]: 6 0 692213 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1724]: 6 0 568078 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1728]: 6 0 499829 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1737]: 6 0 332443 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1746]: 6 0 163584 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1772]: 6 0 237190 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1783]: 6 0 84776.3 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1792]: 6 0 3746.06 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1797]: 6 0 12160.6 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1825]: 6 0 17679 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1848]: 6 0 3920.38 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1853]: 6 0 55046.8 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1858]: 6 0 337108 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1860]: 6 0 472899 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1868]: 6 0 459007 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1873]: 6 0 298893 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1882]: 6 0 547462 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1887]: 6 0 342352 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1896]: 6 0 124023 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1906]: 6 0 282188 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1907]: 6 0 117178 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1911]: 6 0 558988 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1914]: 6 0 706478 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1931]: 6 0 625129 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1933]: 6 0 138403 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1938]: 6 0 366603 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1940]: 6 0 627064 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1943]: 6 0 318212 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1946]: 6 0 99183.7 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1957]: 6 0 135754 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1960]: 6 0 260819 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1964]: 6 0 684170 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1981]: 6 0 626104 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1993]: 6 0 225252 shouldn't be
409.33/411.02	WSVECS04 Frhs2[1997]: 6 0 67789.8 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2003]: 6 0 245814 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2011]: 6 0 498583 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2024]: 6 0 589538 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2028]: 6 0 536956 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2032]: 6 0 561937 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2033]: 6 0 195386 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2036]: 6 0 784677 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2040]: 6 0 643064 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2043]: 6 0 429404 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2052]: 6 -361 0 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2055]: 6 0 528015 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2059]: 6 0 708420 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2063]: 6 0 262035 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2065]: 6 0 306711 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2067]: 6 0 291 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2069]: 6 0 238390 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2071]: 6 -1600 0 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2072]: 6 0 255131 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2075]: 6 0 18423 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2080]: 6 -4489 0 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2088]: 6 0 374070 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2093]: 6 0 342117 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2107]: 6 0 133642 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2114]: 6 0 690749 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2117]: 6 0 20875 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2131]: 6 0 627733 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2143]: 6 0 252612 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2144]: 6 0 294411 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2147]: 6 -20736 0 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2151]: 6 0 78060 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2183]: 6 0 52248.3 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2191]: 6 0 63783.3 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2193]: 6 0 311669 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2197]: 6 -32400 0 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2208]: 6 0 544287 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2210]: 6 0 445633 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2211]: 6 0 697469 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2218]: 6 0 111614 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2223]: 6 0 175824 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2224]: 6 0 572162 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2226]: 6 0 591663 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2228]: 6 0 508175 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2229]: 6 0 317419 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2233]: 6 0 69503.6 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2235]: 6 0 807955 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2236]: 6 0 429690 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2237]: 6 0 318946 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2240]: 6 0 694439 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2243]: 6 0 418421 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2246]: 6 0 568448 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2268]: 6 0 458062 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2294]: 6 0 253588 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2311]: 6 0 682418 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2312]: 6 0 1853.82 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2317]: 6 0 59669.3 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2318]: 6 0 150097 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2320]: 6 0 212190 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2323]: 6 0 271872 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2324]: 6 0 570707 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2329]: 6 0 441950 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2330]: 6 0 78353.6 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2333]: 6 0 86123.6 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2335]: 6 0 827450 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2337]: 6 0 276834 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2338]: 6 -51565.4 0 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2340]: 6 0 679052 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2344]: 6 0 338528 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2346]: 6 0 505259 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2347]: 6 -322356 0 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2348]: 6 0 38121.4 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2349]: 6 0 364649 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2361]: 6 0 684170 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2367]: 6 0 43301.3 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2368]: 6 0 158777 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2372]: 6 0 306584 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2373]: 6 0 285249 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2374]: 6 0 546960 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2375]: 6 0 34024.8 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2376]: 6 0 578447 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2378]: 6 0 461525 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2379]: 6 0 450166 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2380]: 6 0 66473.6 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2381]: 6 0 677889 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2383]: 6 0 220909 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2384]: 6 0 283054 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2385]: 6 0 297339 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2386]: 6 0 377638 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2387]: 6 0 270449 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2390]: 6 0 497132 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2394]: 6 0 325588 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2396]: 6 0 546932 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2397]: 6 0 70394.1 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2398]: 6 0 26017.4 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2411]: 6 0 647270 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2422]: 6 0 208941 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2430]: 6 0 15020.9 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2433]: 6 0 33912 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2435]: 6 0 826402 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2440]: 6 0 662607 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2447]: 6 0 46169.1 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2453]: 6 0 50558.8 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2461]: 6 0 666893 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2462]: 6 0 84867.4 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2463]: 6 0 197435 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2468]: 6 0 495836 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2470]: 6 0 316323 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2473]: 6 0 515611 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2474]: 6 0 548511 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2476]: 6 0 569751 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2478]: 6 0 333941 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2479]: 6 0 303541 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2482]: 6 0 369002 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2483]: 6 0 323549 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2486]: 6 0 267436 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2487]: 6 0 131346 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2490]: 6 0 658143 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2493]: 6 0 202453 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2496]: 6 0 111801 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2500]: 6 0 261349 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2511]: 6 0 633590 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2522]: 6 0 317675 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2524]: 6 0 540170 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2526]: 6 0 582783 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2529]: 6 0 415966 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2530]: 6 0 75441.6 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2533]: 6 0 340674 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2540]: 6 0 621527 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2542]: 6 0 156188 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2544]: 6 0 324416 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2547]: 6 0 20321.7 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2548]: 6 0 37798.4 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2551]: 6 0 3.49147e+06 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2552]: 6 0 1.84854e+06 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2554]: 6 0 1.80543e+06 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2563]: 6 0 3.28715e+06 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2569]: 6 0 876024 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2571]: 6 0 3.77826e+06 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2580]: 6 0 182712 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2598]: 6 0 3.25213e+06 shouldn't be
409.33/411.02	WSVECS04 Frhs2[2869]: 6 0 289184 shouldn't be
409.33/411.02	WSVECS04 Frhs2[3004]: 6 0 488732 shouldn't be
409.33/411.02	WSVECS04 Frhs2[3438]: 6 -595060 0 shouldn't be
409.33/411.02	WSVECS04 Frhs2[3587]: 6 0 170767 shouldn't be
409.33/411.02	WSVECS04 Frhs2[3951]: 6 0 681293 shouldn't be
409.33/411.02	WSVECS04 Frhs2[4349]: 6 0 185515 shouldn't be
409.33/411.02	WSVECS04 Frhs2[4410]: 6 0 16047.1 shouldn't be
409.33/411.02	WSVECS04 Frhs2[4638]: 6 -50653 0 shouldn't be
409.33/411.02	WSVECS04 Frhs2[4804]: 6 0 180958 shouldn't be
409.33/411.02	WSVECS04 Frhs2[4875]: 6 -1.7329e+06 0 shouldn't be
409.33/411.02	WSVECS04 Frhs2[4888]: 6 -1.7327e+06 0 shouldn't be
409.33/411.02	WSVECS04 Frhs2[5018]: 6 0 171512 shouldn't be
435.34/437.19	c #Conflicts:     125000 | #Constraints:      15760
435.34/437.19	c #Conflicts:     126000 | #Constraints:      16764
435.34/437.19	c #Conflicts:     127000 | #Constraints:      17767
435.34/437.19	c #Conflicts:     128000 | #Constraints:      18770
435.34/437.19	c #Conflicts:     129000 | #Constraints:      19771
435.34/437.19	c #Conflicts:     130000 | #Constraints:      20771
435.34/437.19	c #Conflicts:     131000 | #Constraints:      21772
435.34/437.19	c INPROCESSING
435.34/437.19	c GARBAGE COLLECT
435.34/437.19	c rational objective 1.74507e+06
461.53/463.46	c #Conflicts:     132000 | #Constraints:      15411
461.53/463.46	c #Conflicts:     133000 | #Constraints:      16415
461.53/463.46	c #Conflicts:     134000 | #Constraints:      17416
461.53/463.46	c #Conflicts:     135000 | #Constraints:      18417
461.53/463.46	c #Conflicts:     136000 | #Constraints:      19417
461.53/463.46	c #Conflicts:     137000 | #Constraints:      20417
461.53/463.46	c #Conflicts:     138000 | #Constraints:      21418
461.53/463.46	c #Conflicts:     139000 | #Constraints:      22419
461.53/463.46	c INPROCESSING
461.53/463.46	c GARBAGE COLLECT
461.53/463.46	c rational objective 1.74735e+06
493.90/495.93	c #Conflicts:     140000 | #Constraints:      15878
493.90/495.93	c #Conflicts:     141000 | #Constraints:      16878
493.90/495.93	c #Conflicts:     142000 | #Constraints:      17878
493.90/495.93	c #Conflicts:     143000 | #Constraints:      18878
493.90/495.93	c #Conflicts:     144000 | #Constraints:      19891
493.90/495.93	c #Conflicts:     145000 | #Constraints:      20921
493.90/495.93	c #Conflicts:     146000 | #Constraints:      21936
493.90/495.93	c #Conflicts:     147000 | #Constraints:      22943
493.90/495.93	c INPROCESSING
493.90/495.93	c GARBAGE COLLECT
493.90/495.93	c rational objective 1.74765e+06
522.20/524.33	c #Conflicts:     148000 | #Constraints:      16259
522.20/524.33	c #Conflicts:     149000 | #Constraints:      17260
522.20/524.33	c #Conflicts:     150000 | #Constraints:      18260
522.20/524.33	c #Conflicts:     151000 | #Constraints:      19260
522.20/524.33	c #Conflicts:     152000 | #Constraints:      20260
522.20/524.33	c #Conflicts:     153000 | #Constraints:      21260
522.20/524.33	c #Conflicts:     154000 | #Constraints:      22260
522.20/524.33	c #Conflicts:     155000 | #Constraints:      23260
522.20/524.33	c INPROCESSING
522.20/524.33	c GARBAGE COLLECT
522.20/524.33	c rational objective 1.74796e+06
557.78/560.03	c #Conflicts:     156000 | #Constraints:      16372
557.78/560.03	c #Conflicts:     157000 | #Constraints:      17374
557.78/560.03	c #Conflicts:     158000 | #Constraints:      18374
557.78/560.03	c #Conflicts:     159000 | #Constraints:      19375
557.78/560.03	c #Conflicts:     160000 | #Constraints:      20377
557.78/560.03	c #Conflicts:     161000 | #Constraints:      21378
557.78/560.03	c #Conflicts:     162000 | #Constraints:      22378
557.78/560.03	c #Conflicts:     163000 | #Constraints:      23378
557.78/560.03	c INPROCESSING
557.78/560.03	c GARBAGE COLLECT
557.78/560.03	c rational objective 1.75065e+06
592.46/594.86	c #Conflicts:     164000 | #Constraints:      16135
592.46/594.86	c #Conflicts:     165000 | #Constraints:      17136
592.46/594.86	c #Conflicts:     166000 | #Constraints:      18136
592.46/594.86	c #Conflicts:     167000 | #Constraints:      19137
592.46/594.86	c #Conflicts:     168000 | #Constraints:      20137
592.46/594.86	c #Conflicts:     169000 | #Constraints:      21137
592.46/594.86	c #Conflicts:     170000 | #Constraints:      22137
592.46/594.86	c #Conflicts:     171000 | #Constraints:      23137
592.46/594.86	c INPROCESSING
592.46/594.86	c GARBAGE COLLECT
592.46/594.86	c rational objective 1.75195e+06
635.32/637.80	c #Conflicts:     172000 | #Constraints:      16062
635.32/637.80	c #Conflicts:     173000 | #Constraints:      17062
635.32/637.80	c #Conflicts:     174000 | #Constraints:      18062
635.32/637.80	c #Conflicts:     175000 | #Constraints:      19063
635.32/637.80	c #Conflicts:     176000 | #Constraints:      20082
635.32/637.80	c #Conflicts:     177000 | #Constraints:      21124
635.32/637.80	c #Conflicts:     178000 | #Constraints:      22180
635.32/637.80	c #Conflicts:     179000 | #Constraints:      23218
635.32/637.80	c #Conflicts:     180000 | #Constraints:      24237
635.32/637.80	c INPROCESSING
635.32/637.80	c GARBAGE COLLECT
635.32/637.80	c rational objective 1.75199e+06
668.52/671.16	c #Conflicts:     181000 | #Constraints:      16819
668.52/671.16	c #Conflicts:     182000 | #Constraints:      17819
668.52/671.16	c #Conflicts:     183000 | #Constraints:      18819
668.52/671.16	c #Conflicts:     184000 | #Constraints:      19820
668.52/671.16	c #Conflicts:     185000 | #Constraints:      20825
668.52/671.16	c #Conflicts:     186000 | #Constraints:      21825
668.52/671.16	c #Conflicts:     187000 | #Constraints:      22826
668.52/671.16	c #Conflicts:     188000 | #Constraints:      23826
668.52/671.16	c #Conflicts:     189000 | #Constraints:      24828
668.52/671.16	c INPROCESSING
668.52/671.16	c GARBAGE COLLECT
668.52/671.16	c rational objective 1.7522e+06
702.80/705.56	c #Conflicts:     190000 | #Constraints:      17224
702.80/705.56	c #Conflicts:     191000 | #Constraints:      18226
702.80/705.56	c #Conflicts:     192000 | #Constraints:      19227
702.80/705.56	c #Conflicts:     193000 | #Constraints:      20227
702.80/705.56	c #Conflicts:     194000 | #Constraints:      21229
702.80/705.56	c #Conflicts:     195000 | #Constraints:      22234
702.80/705.56	c #Conflicts:     196000 | #Constraints:      23234
702.80/705.56	c #Conflicts:     197000 | #Constraints:      24234
702.80/705.56	c #Conflicts:     198000 | #Constraints:      25234
702.80/705.56	c INPROCESSING
702.80/705.56	c GARBAGE COLLECT
702.80/705.56	c rational objective 1.75276e+06
729.31/732.18	c #Conflicts:     199000 | #Constraints:      17433
729.31/732.18	c #Conflicts:     200000 | #Constraints:      18433
729.31/732.18	c #Conflicts:     201000 | #Constraints:      19435
729.31/732.18	c #Conflicts:     202000 | #Constraints:      20484
729.31/732.18	c #Conflicts:     203000 | #Constraints:      21528
729.31/732.18	c #Conflicts:     204000 | #Constraints:      22538
729.31/732.18	c #Conflicts:     205000 | #Constraints:      23539
729.31/732.18	c #Conflicts:     206000 | #Constraints:      24558
729.31/732.18	c #Conflicts:     207000 | #Constraints:      25567
729.31/732.18	c INPROCESSING
729.31/732.18	c GARBAGE COLLECT
729.31/732.18	WSVECS04 Frhs2[18]: 6 0 2.41922e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[19]: 6 0 7.85207e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[46]: 6 0 2.74825e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[54]: 6 0 13291.1 shouldn't be
729.31/732.18	WSVECS04 Frhs2[68]: 6 0 1.29955e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[82]: 6 0 2.31754e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[96]: 6 0 821847 shouldn't be
729.31/732.18	WSVECS04 Frhs2[110]: 6 0 91713.9 shouldn't be
729.31/732.18	WSVECS04 Frhs2[132]: 6 0 1.74018e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[137]: 6 0 6.80945e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[146]: 6 0 860129 shouldn't be
729.31/732.18	WSVECS04 Frhs2[153]: 6 0 1.3238e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[155]: 6 0 346089 shouldn't be
729.31/732.18	WSVECS04 Frhs2[158]: 6 0 1.35283e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[168]: 6 0 1.1565e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[171]: 6 0 1.28978e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[175]: 6 -516524 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[185]: 6 0 2.87731e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[196]: 6 0 763327 shouldn't be
729.31/732.18	WSVECS04 Frhs2[218]: 6 0 1.29968e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[232]: 6 0 2.32342e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[244]: 6 0 137166 shouldn't be
729.31/732.18	WSVECS04 Frhs2[246]: 6 0 814452 shouldn't be
729.31/732.18	WSVECS04 Frhs2[251]: 6 0 64175 shouldn't be
729.31/732.18	WSVECS04 Frhs2[257]: 6 0 79934.9 shouldn't be
729.31/732.18	WSVECS04 Frhs2[258]: 6 0 1.33875e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[271]: 6 0 1.39056e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[275]: 6 0 5.86135e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[288]: 6 -7.02102e+06 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[312]: 6 0 41614 shouldn't be
729.31/732.18	WSVECS04 Frhs2[318]: 6 0 1.29519e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[325]: 6 0 264704 shouldn't be
729.31/732.18	WSVECS04 Frhs2[344]: 6 0 131670 shouldn't be
729.31/732.18	WSVECS04 Frhs2[347]: 6 -234022 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[354]: 6 0 12911.1 shouldn't be
729.31/732.18	WSVECS04 Frhs2[358]: 6 0 1.35407e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[368]: 6 0 1.29984e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[371]: 6 0 1.45399e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[382]: 6 0 2.30072e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[392]: 6 0 1337 shouldn't be
729.31/732.18	WSVECS04 Frhs2[396]: 6 0 784440 shouldn't be
729.31/732.18	WSVECS04 Frhs2[397]: 6 -83507.4 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[408]: 6 0 1.33825e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[421]: 6 0 566473 shouldn't be
729.31/732.18	WSVECS04 Frhs2[425]: 6 0 5.81756e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[438]: 6 -638117 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[440]: 6 0 5.48704e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[447]: 6 -73203.4 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[453]: 6 0 129157 shouldn't be
729.31/732.18	WSVECS04 Frhs2[454]: 6 0 18406.1 shouldn't be
729.31/732.18	WSVECS04 Frhs2[462]: 6 0 37653 shouldn't be
729.31/732.18	WSVECS04 Frhs2[463]: 6 0 8177 shouldn't be
729.31/732.18	WSVECS04 Frhs2[466]: 6 0 24440 shouldn't be
729.31/732.18	WSVECS04 Frhs2[508]: 6 0 1.3476e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[521]: 6 0 1.32049e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[542]: 6 0 4176 shouldn't be
729.31/732.18	WSVECS04 Frhs2[544]: 6 0 149206 shouldn't be
729.31/732.18	WSVECS04 Frhs2[547]: 6 -229712 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[560]: 6 0 3.23827e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[561]: 6 0 6.32883e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[594]: 6 0 136279 shouldn't be
729.31/732.18	WSVECS04 Frhs2[596]: 6 0 817060 shouldn't be
729.31/732.18	WSVECS04 Frhs2[610]: 6 0 90601.9 shouldn't be
729.31/732.18	WSVECS04 Frhs2[647]: 6 0 280778 shouldn't be
729.31/732.18	WSVECS04 Frhs2[652]: 6 0 17904.5 shouldn't be
729.31/732.18	WSVECS04 Frhs2[655]: 6 0 8.14947e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[658]: 6 0 1.34512e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[667]: 6 0 9144 shouldn't be
729.31/732.18	WSVECS04 Frhs2[669]: 6 0 2925 shouldn't be
729.31/732.18	WSVECS04 Frhs2[697]: 6 -114712 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[708]: 6 0 1.34352e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[725]: 6 0 5.83544e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[744]: 6 0 157654 shouldn't be
729.31/732.18	WSVECS04 Frhs2[745]: 6 0 6.07297e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[747]: 6 -58262.4 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[751]: 6 0 3420 shouldn't be
729.31/732.18	WSVECS04 Frhs2[753]: 6 0 121597 shouldn't be
729.31/732.18	WSVECS04 Frhs2[754]: 6 0 20102.1 shouldn't be
729.31/732.18	WSVECS04 Frhs2[758]: 6 0 1.3543e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[762]: 6 0 35589 shouldn't be
729.31/732.18	WSVECS04 Frhs2[782]: 6 0 2.3241e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[794]: 6 0 138934 shouldn't be
729.31/732.18	WSVECS04 Frhs2[796]: 6 0 815572 shouldn't be
729.31/732.18	WSVECS04 Frhs2[801]: 6 0 46844 shouldn't be
729.31/732.18	WSVECS04 Frhs2[813]: 6 0 4760 shouldn't be
729.31/732.18	WSVECS04 Frhs2[832]: 6 0 2.31976e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[844]: 6 0 167295 shouldn't be
729.31/732.18	WSVECS04 Frhs2[846]: 6 0 810280 shouldn't be
729.31/732.18	WSVECS04 Frhs2[852]: 6 0 12875.5 shouldn't be
729.31/732.18	WSVECS04 Frhs2[855]: 6 0 8.1526e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[859]: 6 0 2595 shouldn't be
729.31/732.18	WSVECS04 Frhs2[876]: 6 0 138099 shouldn't be
729.31/732.18	WSVECS04 Frhs2[888]: 6 0 8.09139e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[891]: 6 0 475859 shouldn't be
729.31/732.18	WSVECS04 Frhs2[892]: 6 0 8.08299e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[893]: 6 -3.41881e+07 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[901]: 6 0 16380 shouldn't be
729.31/732.18	WSVECS04 Frhs2[923]: 6 0 19968 shouldn't be
729.31/732.18	WSVECS04 Frhs2[924]: 6 0 12749 shouldn't be
729.31/732.18	WSVECS04 Frhs2[942]: 6 0 585 shouldn't be
729.31/732.18	WSVECS04 Frhs2[951]: 6 0 60444 shouldn't be
729.31/732.18	WSVECS04 Frhs2[958]: 6 0 1.34216e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[975]: 6 0 1.42437e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[988]: 6 0 17336 shouldn't be
729.31/732.18	WSVECS04 Frhs2[994]: 6 0 246059 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1001]: 6 0 43740 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1004]: 6 0 7727.06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1013]: 6 0 4320 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1023]: 6 0 16864 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1032]: 6 0 2.3297e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1044]: 6 0 134911 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1046]: 6 0 830127 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1053]: 6 0 122709 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1054]: 6 0 20758.1 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1062]: 6 0 42462 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1078]: 6 0 42051 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1082]: 6 0 2.31777e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1094]: 6 0 169508 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1096]: 6 0 807720 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1108]: 6 0 1.25943e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1110]: 6 0 2.96796e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1121]: 6 0 646423 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1125]: 6 0 5.84773e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1142]: 6 0 197 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1144]: 6 0 169294 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1145]: 6 0 6.15746e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1147]: 6 -887853 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1158]: 6 0 1.3444e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1171]: 6 0 9.1369e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1197]: 6 0 73234.7 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1201]: 6 0 24380 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1208]: 6 0 1.33707e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1217]: 6 0 10209 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1221]: 6 0 9.10517e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1230]: 6 0 604515 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1247]: 6 0 509214 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1248]: 6 0 6.1845e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1251]: 6 0 28188 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1253]: 6 0 128022 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1254]: 6 0 14383.1 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1262]: 6 0 7053 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1263]: 6 0 9072 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1266]: 6 0 1053 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1273]: 6 0 21000 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1274]: 6 0 6989 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1278]: 6 0 61204 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1279]: 6 0 43419 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1281]: 6 0 83457.8 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1294]: 6 0 126379 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1296]: 6 0 831135 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1328]: 6 0 26400 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1344]: 6 0 203123 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1346]: 6 0 778975 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1348]: 6 0 6.05255e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1351]: 6 0 51615 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1356]: 6 0 5985 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1378]: 6 0 44544 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1394]: 6 0 191451 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1408]: 6 0 1.34267e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1428]: 6 0 24475 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1444]: 6 0 157148 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1454]: 6 0 13663.1 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1462]: 6 0 12069 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1468]: 6 0 2.08261e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1473]: 6 0 9393 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1474]: 6 0 183758 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1478]: 6 0 32916 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1479]: 6 0 42244 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1482]: 6 0 1.01223e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1496]: 6 0 814452 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1501]: 6 0 44919 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1528]: 6 0 62176 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1531]: 6 0 90706.8 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1536]: 6 0 2.18108e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1544]: 6 0 127846 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1546]: 6 0 831591 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1557]: 6 -574966 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1563]: 6 -11920 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1567]: 6 -291 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1571]: 6 0 9.13482e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1578]: 6 0 14539 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1579]: 6 0 23155 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1586]: 6 0 2.12171e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1594]: 6 0 49683.9 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1596]: 6 0 796260 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1598]: 6 -691381 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1602]: 6 0 8400.52 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1608]: 6 0 1.34576e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1612]: 6 0 30174 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1631]: 6 0 103874 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1636]: 6 0 2.08921e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1647]: 6 -237440 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1668]: 6 0 1.28039e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1682]: 6 0 2.1285e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1696]: 6 0 634129 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1728]: 6 0 20884 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1731]: 6 0 113314 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1732]: 6 0 1.00835e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1744]: 6 0 8.00464e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1746]: 6 0 8.6688e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1760]: 6 0 32117 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1781]: 6 0 66801.8 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1786]: 6 0 2.16582e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1794]: 6 0 155387 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1810]: 6 0 69232 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1812]: 6 0 48237 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1815]: 6 0 10080 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1823]: 6 0 630264 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1831]: 6 0 113887 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1836]: 6 0 2.15266e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1838]: 6 0 7.80412e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1844]: 6 0 150414 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1845]: 6 0 6.17886e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1846]: 6 0 761175 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1847]: 6 -60099.4 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1854]: 6 0 12326.1 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1878]: 6 0 33939 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1886]: 6 0 2.21148e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1901]: 6 0 32768 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1908]: 6 0 1.3446e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1921]: 6 0 9.12544e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1928]: 6 0 54633 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1930]: 6 0 618750 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1936]: 6 0 2.08639e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1937]: 6 0 6035.08 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1958]: 6 0 1.33646e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1980]: 6 0 613654 shouldn't be
729.31/732.18	WSVECS04 Frhs2[1986]: 6 0 1.99548e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2001]: 6 0 25344 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2004]: 6 0 5227.06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2008]: 6 0 6.71416e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2028]: 6 0 58011 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2029]: 6 0 29748 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2031]: 6 0 52798.8 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2036]: 6 0 2.19154e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2055]: 6 0 8.15302e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2057]: 6 0 208185 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2058]: 6 0 1.34571e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2059]: 6 0 11643 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2069]: 6 0 5984 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2071]: 6 0 9.13706e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2080]: 6 0 620190 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2081]: 6 0 153247 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2086]: 6 0 2.11248e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2088]: 6 0 7.81255e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2108]: 6 0 1.33899e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2121]: 6 0 9.12634e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2136]: 6 0 2.02335e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2162]: 6 0 29869 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2181]: 6 0 54306.8 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2186]: 6 0 2.08639e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2189]: 6 0 7440 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2205]: 6 0 286802 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2218]: 6 0 1.30016e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2232]: 6 0 2.32325e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2244]: 6 0 161316 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2246]: 6 0 817716 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2254]: 6 0 16198.1 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2258]: 6 0 1.35392e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2260]: 6 0 139882 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2262]: 6 0 47194 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2263]: 6 0 13937 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2266]: 6 0 29120 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2278]: 6 0 36900 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2281]: 6 0 93921.8 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2286]: 6 0 2.18546e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2302]: 6 0 16868.5 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2306]: 6 0 154893 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2308]: 6 0 1.26165e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2318]: 6 0 1.29538e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2321]: 6 0 1.32436e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2325]: 6 0 280256 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2332]: 6 0 2.28037e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2338]: 6 -125372 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2342]: 6 0 4617 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2344]: 6 0 171766 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2347]: 6 -225347 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2351]: 6 0 35420 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2358]: 6 0 1.66411e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2368]: 6 0 1.29625e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2371]: 6 0 1.30609e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2375]: 6 0 274945 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2382]: 6 0 2.31083e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2388]: 6 -179091 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2396]: 6 0 796200 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2397]: 6 -67554.4 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2421]: 6 0 1.30169e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2431]: 6 0 6.82788e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2448]: 6 0 6.10944e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2453]: 6 0 136149 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2454]: 6 0 17503.1 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2468]: 6 0 5.36373e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2508]: 6 0 1.34354e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2525]: 6 0 5.84089e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2544]: 6 0 157654 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2547]: 6 -981874 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2552]: 6 0 1.09557e+08 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2561]: 6 0 1.3073e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2564]: 6 0 5.21767e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2569]: 6 0 1.33753e+08 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2576]: 6 0 5.28013e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2595]: 6 0 9.03348e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2596]: 6 0 1.32517e+08 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2651]: 6 0 1.3493e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[2995]: 6 0 2.36049e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[3004]: 6 0 9.11966e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[3313]: 6 0 4.30692e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[3405]: 6 -35937 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[3846]: 6 0 144973 shouldn't be
729.31/732.18	WSVECS04 Frhs2[3861]: 6 0 5.24104e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[3961]: 6 0 5.11397e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[4105]: 6 -1.07673e+06 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[4147]: 6 -1.12143e+07 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[4261]: 6 0 5.26048e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[4605]: 6 -1.06992e+06 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[4625]: 6 0 405288 shouldn't be
729.31/732.18	WSVECS04 Frhs2[4642]: 6 0 1.06095e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[4763]: 6 0 2.55512e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[4842]: 6 0 1.07004e+07 shouldn't be
729.31/732.18	WSVECS04 Frhs2[4856]: 6 0 5.80154e+06 shouldn't be
729.31/732.18	WSVECS04 Frhs2[4875]: 6 -1.84203e+07 0 shouldn't be
729.31/732.18	WSVECS04 Frhs2[4888]: 6 -1.19463e+07 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[90]: 6 0 142268 shouldn't be
730.50/733.35	WSVECS04 Frhs2[92]: 6 0 772952 shouldn't be
730.50/733.35	WSVECS04 Frhs2[132]: 6 0 1.74018e+06 shouldn't be
730.50/733.35	WSVECS04 Frhs2[171]: 6 0 1.28978e+06 shouldn't be
730.50/733.35	WSVECS04 Frhs2[175]: 6 -516524 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[190]: 6 0 85731.6 shouldn't be
730.50/733.35	WSVECS04 Frhs2[212]: 6 0 36894 shouldn't be
730.50/733.35	WSVECS04 Frhs2[221]: 6 0 1.45046e+06 shouldn't be
730.50/733.35	WSVECS04 Frhs2[251]: 6 0 64175 shouldn't be
730.50/733.35	WSVECS04 Frhs2[271]: 6 0 1.39056e+06 shouldn't be
730.50/733.35	WSVECS04 Frhs2[321]: 6 0 1.31036e+06 shouldn't be
730.50/733.35	WSVECS04 Frhs2[342]: 6 0 3240 shouldn't be
730.50/733.35	WSVECS04 Frhs2[347]: 6 -234022 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[349]: 6 0 40185 shouldn't be
730.50/733.35	WSVECS04 Frhs2[371]: 6 0 1.45399e+06 shouldn't be
730.50/733.35	WSVECS04 Frhs2[392]: 6 0 1337 shouldn't be
730.50/733.35	WSVECS04 Frhs2[397]: 6 -83507.4 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[421]: 6 0 566473 shouldn't be
730.50/733.35	WSVECS04 Frhs2[438]: 6 -638117 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[440]: 6 0 5.48704e+06 shouldn't be
730.50/733.35	WSVECS04 Frhs2[447]: 6 -73203.4 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[521]: 6 0 1.32049e+06 shouldn't be
730.50/733.35	WSVECS04 Frhs2[540]: 6 0 80667.6 shouldn't be
730.50/733.35	WSVECS04 Frhs2[542]: 6 0 4176 shouldn't be
730.50/733.35	WSVECS04 Frhs2[547]: 6 -229712 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[652]: 6 0 17904.5 shouldn't be
730.50/733.35	WSVECS04 Frhs2[659]: 6 0 12115 shouldn't be
730.50/733.35	WSVECS04 Frhs2[662]: 6 0 14469 shouldn't be
730.50/733.35	WSVECS04 Frhs2[667]: 6 0 9144 shouldn't be
730.50/733.35	WSVECS04 Frhs2[669]: 6 0 2925 shouldn't be
730.50/733.35	WSVECS04 Frhs2[674]: 6 0 1.44326e+06 shouldn't be
730.50/733.35	WSVECS04 Frhs2[692]: 6 0 776715 shouldn't be
730.50/733.35	WSVECS04 Frhs2[697]: 6 -114712 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[699]: 6 0 10296.6 shouldn't be
730.50/733.35	WSVECS04 Frhs2[715]: 6 0 3872 shouldn't be
730.50/733.35	WSVECS04 Frhs2[738]: 6 0 35417 shouldn't be
730.50/733.35	WSVECS04 Frhs2[751]: 6 0 3420 shouldn't be
730.50/733.35	WSVECS04 Frhs2[801]: 6 0 46844 shouldn't be
730.50/733.35	WSVECS04 Frhs2[813]: 6 0 4760 shouldn't be
730.50/733.35	WSVECS04 Frhs2[842]: 6 0 807845 shouldn't be
730.50/733.35	WSVECS04 Frhs2[876]: 6 0 138099 shouldn't be
730.50/733.35	WSVECS04 Frhs2[890]: 6 0 985197 shouldn't be
730.50/733.35	WSVECS04 Frhs2[893]: 6 -3.41881e+07 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[900]: 6 -7.60135e+06 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[901]: 6 0 16380 shouldn't be
730.50/733.35	WSVECS04 Frhs2[938]: 6 -127722 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[942]: 6 0 585 shouldn't be
730.50/733.35	WSVECS04 Frhs2[951]: 6 0 60444 shouldn't be
730.50/733.35	WSVECS04 Frhs2[975]: 6 0 1.42437e+07 shouldn't be
730.50/733.35	WSVECS04 Frhs2[988]: 6 0 17336 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1001]: 6 0 43740 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1013]: 6 0 4320 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1053]: 6 0 122709 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1054]: 6 0 20758.1 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1121]: 6 0 646423 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1142]: 6 0 197 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1197]: 6 0 73234.7 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1201]: 6 0 24380 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1251]: 6 0 28188 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1292]: 6 0 791592 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1342]: 6 0 708192 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1351]: 6 0 51615 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1392]: 6 0 761863 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1442]: 6 0 703486 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1473]: 6 0 9393 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1479]: 6 0 42244 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1492]: 6 0 777912 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1501]: 6 0 44919 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1513]: 6 0 512 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1529]: 6 0 31995 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1542]: 6 0 787206 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1557]: 6 -574966 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1567]: 6 -291 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1578]: 6 0 14539 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1579]: 6 0 23155 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1597]: 6 -242856 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1598]: 6 -691381 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1647]: 6 -237440 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1690]: 6 0 145693 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1696]: 6 0 634129 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1737]: 6 0 17360 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1792]: 6 0 270551 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1802]: 6 0 9200.52 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1804]: 6 0 616214 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1809]: 6 0 3043 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1813]: 6 0 619548 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1815]: 6 0 10080 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1819]: 6 0 5400 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1822]: 6 0 823425 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1823]: 6 0 630264 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1828]: 6 0 848365 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1829]: 6 0 40768 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1847]: 6 -60099.4 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1887]: 6 0 27269 shouldn't be
730.50/733.35	WSVECS04 Frhs2[1901]: 6 0 32768 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2001]: 6 0 25344 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2003]: 6 0 130029 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2037]: 6 0 53144 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2059]: 6 0 11643 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2069]: 6 0 5984 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2205]: 6 0 286802 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2238]: 6 0 4280 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2287]: 6 0 24840 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2306]: 6 0 154893 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2321]: 6 0 1.32436e+06 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2325]: 6 0 280256 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2338]: 6 -125372 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2342]: 6 0 4617 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2347]: 6 -225347 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2351]: 6 0 35420 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2371]: 6 0 1.30609e+06 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2375]: 6 0 274945 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2388]: 6 -179091 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2397]: 6 -67554.4 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2421]: 6 0 1.30169e+06 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2453]: 6 0 136149 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2454]: 6 0 17503.1 shouldn't be
730.50/733.35	WSVECS04 Frhs2[2540]: 6 0 84051.6 shouldn't be
730.50/733.35	WSVECS04 Frhs2[3438]: 6 -4.55179e+06 0 shouldn't be
730.50/733.35	WSVECS04 Frhs2[4625]: 6 0 405288 shouldn't be
768.97/771.92	c #Conflicts:     208000 | #Constraints:      17487
768.97/771.92	c #Conflicts:     209000 | #Constraints:      18487
768.97/771.92	c #Conflicts:     210000 | #Constraints:      19492
768.97/771.92	c #Conflicts:     211000 | #Constraints:      20492
768.97/771.92	c #Conflicts:     212000 | #Constraints:      21492
768.97/771.92	c #Conflicts:     213000 | #Constraints:      22492
768.97/771.92	c #Conflicts:     214000 | #Constraints:      23492
768.97/771.92	c #Conflicts:     215000 | #Constraints:      24492
768.97/771.92	c #Conflicts:     216000 | #Constraints:      25492
768.97/771.92	c INPROCESSING
768.97/771.92	c GARBAGE COLLECT
768.97/771.92	c rational objective 1.75332e+06
790.49/793.55	c #Conflicts:     217000 | #Constraints:      17262
790.49/793.55	c #Conflicts:     218000 | #Constraints:      18263
790.49/793.55	c #Conflicts:     219000 | #Constraints:      19267
790.49/793.55	c #Conflicts:     220000 | #Constraints:      20270
790.49/793.55	c #Conflicts:     221000 | #Constraints:      21274
790.49/793.55	c #Conflicts:     222000 | #Constraints:      22274
790.49/793.55	c bounds 3367493 >= 3367493 @ 780.923
790.49/793.55	c cpu time 780.923 s
790.49/793.55	c deterministic time 79067971327 7.91e+10
790.49/793.55	c optimization time 0.755512 s
790.49/793.55	c total solve time 780.006 s
790.49/793.55	c core-guided solve time 508.638 s
790.49/793.55	c propagation time 421.217 s
790.49/793.55	c conflict analysis time 245.498 s
790.49/793.55	c propagations 41887246
790.49/793.55	c resolve steps 4834207
790.49/793.55	c decisions 656342
790.49/793.55	c conflicts 222017
790.49/793.55	c restarts 510
790.49/793.55	c inprocessing phases 38
790.49/793.55	c garbage collections 38 ,( 100.00 )
790.49/793.55	c input clauses 11126 ,( 87.13 )
790.49/793.55	c input cardinalities 9 ,( 0.07 )
790.49/793.55	c input general constraints 1635 ,( 12.80 )
790.49/793.55	c input average constraint length 75.66
790.49/793.55	c input average constraint degree 172371004.02
790.49/793.55	c learned clauses 36594 ,( 16.29 )
790.49/793.55	c learned cardinalities 389 ,( 0.17 )
790.49/793.55	c learned general constraints 187629 ,( 83.53 )
790.49/793.55	c learned average constraint length 1200.32
790.49/793.55	c learned average constraint degree 10998872402.46
790.49/793.55	c watched  CF 32, 64, 128, Arb: 8502 , 0 , 0 , 0
790.49/793.55	c counting CF 32, 64, 128, Arb: 180763 , 0 , 0 , 0
790.49/793.55	c watched   constraints 8502 ,( 4.49 ) 
790.49/793.55	c counting  constraints 180762 ,( 95.51 ) 
790.49/793.55	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 36495730 , 6743393 , 1143100585 ,( 9270583 , 1133830002 )
790.49/793.55	c gcd simplifications 6050
790.49/793.55	c detected cardinalities 40
790.49/793.55	c weakened non-implied lits 160236263
790.49/793.55	c weakened non-implying lits 1378683
790.49/793.55	c original variables 5100
790.49/793.55	c clausal propagations 27956606
790.49/793.55	c cardinality propagations 564793
790.49/793.55	c watched propagations 149713
790.49/793.55	c counting propagations 12834673
790.49/793.55	c watch lookups 18490450597
790.49/793.55	c watch backjump lookups 0
790.49/793.55	c watch checks 711501293
790.49/793.55	c propagation checks 58876783810
790.49/793.55	c constraint additions 903500534
790.49/793.55	c trail pops 42762246
790.49/793.55	c formula constraints 12510
790.49/793.55	c learned constraints 221762
790.49/793.55	c bound constraints 260
790.49/793.55	c core-guided constraints 0
790.49/793.55	c encountered formula constraints 4183545
790.49/793.55	c encountered learned constraints 783894
790.49/793.55	c encountered bound constraints 13507
790.49/793.55	c encountered core-guided constraints 0
790.49/793.55	c LP total time 163.224 s
790.49/793.55	c LP solve time 118.52 s
790.49/793.55	c LP constraints added 12576
790.49/793.55	c LP constraints removed 41
790.49/793.55	c LP pivots internal 223833
790.49/793.55	c LP pivots root 205425
790.49/793.55	c LP calls 2648
790.49/793.55	c LP optimalities 47
790.49/793.55	c LP no pivot count 1
790.49/793.55	c LP infeasibilities 2585
790.49/793.55	c LP valid Farkas constraints 2575
790.49/793.55	c LP learned Farkas constraints 254
790.49/793.55	c LP basis resets 22
790.49/793.55	c LP cycling count 1
790.49/793.55	c LP singular count 10
790.49/793.55	c LP no primal count 0
790.49/793.55	c LP no farkas count 10
790.49/793.55	c LP other issue count 1
790.49/793.55	c LP Gomory cuts 21
790.49/793.55	c LP learned cuts 45
790.49/793.55	c LP deleted cuts 41
790.49/793.55	c LP encountered Gomory constraints 0
790.49/793.55	c LP encountered Farkas constraints 74514
790.49/793.55	c LP encountered learned Farkas constraints 510
790.49/793.55	c CG auxiliary variables introduced 0
790.49/793.55	c CG solutions found 260
790.49/793.55	c CG cores constructed 0
790.49/793.55	c CG core cardinality constraints returned 0
790.49/793.55	c CG unit cores 0
790.49/793.55	c CG single cores 0
790.49/793.55	c CG blocks removed during cardinality reduction 0
790.49/793.55	c CG first core best 0
790.49/793.55	c CG decision core best 0
790.49/793.55	c CG core reduction tie 0
790.49/793.55	c CG core degree average 0.00
790.49/793.55	c CG core slack average 0.00
790.49/793.55	c CG core upper bound improvements 0
790.49/793.55	c STR number of successful calls 0
790.49/793.55	c STR number of unsuccessful calls 0
790.49/793.55	c STR number of inconclusive calls 0
790.49/793.55	c STR number of successful attempts 0
790.49/793.55	c STR number of unsuccessful attempts 0
790.49/793.55	c STR number of inconclusive attempts 0
790.49/793.55	c STR average degree increase per successful call inf
790.49/793.55	c STR average degree increase per successful attempt inf
790.49/793.55	c STR total number of conflicts for successful attempts 0
790.49/793.55	c STR total number of conflicts for unsuccessful attempts 0
790.49/793.55	c STR total number of conflicts for inconclusive attempts 0
790.49/793.55	c STR average number of conflicts per successful attempt inf
790.49/793.55	c STR average number of conflicts per unsuccessful attempt inf
790.49/793.55	c STR average number of conflicts per inconclusive attempt inf
790.49/793.55	c AVG.sumWPerc 91.34 
790.49/793.55	c bigint constraints 0 
790.49/793.55	o 3367493
790.49/793.55	s OPTIMUM FOUND
790.49/793.55	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

Checking of UNSAT/OPT proofs:

VeriPB + CakePB

Wed Jul  2 07:41:54 CEST 2025
extraparms=--no-checkDeletion
-- veripb --
Running VeriPB version 2.3.0
s VERIFIED BOUNDS 3367493 <= obj <= 3367493
Verification succeeded.
-- cakepb --
s VERIFIED BOUNDS 3367493 <= obj <= 3367493
--summary--
ALL OK

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63794 MiB (62852 MiB free)
  memory of node 1: 64507 MiB (62993 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4503795-1751431243/watcher-4503795-1751431243 -o /tmp/evaluation-result-4503795-1751431243/solver-4503795-1751431243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC006-1751431243-61227 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4503795-1751431243.opb PROOFDIR/proof-4503795-1751431243 

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 FSIZE limit: 102400000 KiB
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=61270, runsolver pid=61262
Current StackSize limit: 8192 KiB


[startup+0.10007 s]*
/proc/loadavg: 1.08 3.16 3.79 5/252 61280
/proc/meminfo: memFree=128841124/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=56404 memory=9448 CPUtime=0 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 804 0 0 0 0 0 0 0 20 0 1 0 58803692 57757696 2362 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 14101 2362 1920 1147 0 1528 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 60596 KiB
Current children cumulated memory: 12520 KiB

[startup+0.213218 s]*
/proc/loadavg: 1.08 3.16 3.79 6/252 61281
/proc/meminfo: memFree=128821972/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=57856 memory=12912 CPUtime=0.12 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 1170 0 0 0 9 3 0 0 20 0 1 0 58803692 59244544 3228 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 14464 3228 1920 1147 0 1891 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 62048 KiB
Current children cumulated memory: 15984 KiB

[startup+0.313076 s]*
/proc/loadavg: 1.08 3.16 3.79 6/250 61281
/proc/meminfo: memFree=128799176/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=73112 memory=28552 CPUtime=0.21 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 4698 0 0 0 16 5 0 0 20 0 1 0 58803692 74866688 7138 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 18278 7138 2304 1147 0 5705 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 77304 KiB
Current children cumulated memory: 31624 KiB

[startup+0.700358 s]
/proc/loadavg: 1.08 3.16 3.79 6/250 61281
/proc/meminfo: memFree=128782544/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=76192 memory=32008 CPUtime=0.59 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 5514 0 0 0 52 7 0 0 20 0 1 0 58803692 78020608 8002 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 19048 8002 2336 1147 0 6475 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 80384 KiB
Current children cumulated memory: 35080 KiB

[startup+1.50033 s]
/proc/loadavg: 1.31 3.17 3.79 6/256 61292
/proc/meminfo: memFree=128711944/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=77428 memory=33288 CPUtime=1.38 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 5841 0 0 0 130 8 0 0 20 0 1 0 58803692 79286272 8322 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 19357 8322 2336 1147 0 6784 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 81620 KiB
Current children cumulated memory: 36360 KiB

[startup+3.11269 s]
/proc/loadavg: 1.31 3.17 3.79 6/256 61292
/proc/meminfo: memFree=128367964/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=108960 memory=66828 CPUtime=2.99 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 13164 0 0 0 286 13 0 0 20 0 1 0 58803692 111575040 16707 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 27240 16707 2368 1147 0 14667 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 113152 KiB
Current children cumulated memory: 69900 KiB

[startup+6.30035 s]
/proc/loadavg: 1.53 3.19 3.79 6/258 61294
/proc/meminfo: memFree=128129468/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=169140 memory=121456 CPUtime=6.08 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 23742 0 0 0 588 20 0 0 20 0 1 0 58803692 173199360 30332 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 42325 30332 2368 1147 0 29752 0
Current children cumulated CPU time: 6.13 s
Current children cumulated vsize: 173332 KiB
Current children cumulated memory: 124528 KiB

[startup+12.7003 s]
/proc/loadavg: 1.72 3.20 3.79 6/261 61298
/proc/meminfo: memFree=127218692/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=269548 memory=198024 CPUtime=12.45 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 40411 0 0 0 1209 36 0 0 20 0 1 0 58803692 276017152 49506 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 67387 49506 2368 1147 0 54814 0
Current children cumulated CPU time: 12.5 s
Current children cumulated vsize: 273740 KiB
Current children cumulated memory: 201096 KiB

[startup+25.5004 s]
/proc/loadavg: 2.23 3.26 3.81 6/260 61298
/proc/meminfo: memFree=126584796/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=321612 memory=257584 CPUtime=25.21 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 53271 0 0 0 2459 62 0 0 20 0 1 0 58803692 329330688 64396 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 80403 64396 2368 1147 0 67830 0
Current children cumulated CPU time: 25.26 s
Current children cumulated vsize: 325804 KiB
Current children cumulated memory: 260656 KiB

[startup+51.1135 s]
/proc/loadavg: 2.93 3.33 3.82 6/260 61299
/proc/meminfo: memFree=124853640/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=445436 memory=342508 CPUtime=50.72 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 71492 0 0 0 4967 105 0 0 20 0 1 0 58803692 456126464 85627 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 111359 85627 2368 1147 0 98786 0
Current children cumulated CPU time: 50.77 s
Current children cumulated vsize: 449628 KiB
Current children cumulated memory: 345580 KiB

[startup+102.3 s]
/proc/loadavg: 3.62 3.46 3.83 6/260 61301
/proc/meminfo: memFree=122358444/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=507544 memory=419304 CPUtime=101.72 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 87017 0 0 0 9998 174 0 0 20 0 1 0 58803692 519725056 104826 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 126886 104826 2464 1147 0 114313 0
Current children cumulated CPU time: 101.77 s
Current children cumulated vsize: 511736 KiB
Current children cumulated memory: 422376 KiB

[startup+162.3 s]
/proc/loadavg: 3.98 3.59 3.85 6/265 61307
/proc/meminfo: memFree=119539612/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=526076 memory=439400 CPUtime=161.5 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 92025 0 0 0 15889 261 0 0 20 0 1 0 58803692 538701824 109850 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 131519 109850 2496 1147 0 118946 0
Current children cumulated CPU time: 161.55 s
Current children cumulated vsize: 530268 KiB
Current children cumulated memory: 442472 KiB

[startup+222.3 s]
/proc/loadavg: 4.04 3.68 3.87 6/265 61309
/proc/meminfo: memFree=116904764/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=680216 memory=528788 CPUtime=221.27 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 112325 0 0 0 21790 337 0 0 20 0 1 0 58803692 696541184 132197 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 170054 132197 2496 1147 0 157481 0

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

/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 158703 0 0 0 57236 759 0 0 20 0 1 0 58803692 903499776 188733 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 220581 188733 2496 1147 0 208008 0
Current children cumulated CPU time: 580 s
Current children cumulated vsize: 886516 KiB
Current children cumulated memory: 758004 KiB

[startup+642.3 s]
/proc/loadavg: 4.11 4.03 3.99 6/265 61335
/proc/meminfo: memFree=100977700/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=1103648 memory=856904 CPUtime=639.75 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 178549 0 0 0 63159 816 0 0 20 0 1 0 58803692 1130135552 214226 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 275912 214226 2496 1147 0 263339 0
Current children cumulated CPU time: 639.8 s
Current children cumulated vsize: 1107840 KiB
Current children cumulated memory: 859976 KiB

[startup+702.3 s]
/proc/loadavg: 4.08 4.04 4.00 6/265 61338
/proc/meminfo: memFree=99019492/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=1107460 memory=865992 CPUtime=699.56 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 179489 0 0 0 69086 870 0 0 20 0 1 0 58803692 1134039040 216498 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 276865 216498 2496 1147 0 264292 0
Current children cumulated CPU time: 699.61 s
Current children cumulated vsize: 1111652 KiB
Current children cumulated memory: 869064 KiB

[startup+762.3 s]
/proc/loadavg: 4.09 4.04 4.00 6/264 61340
/proc/meminfo: memFree=97278796/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=1108864 memory=871368 CPUtime=759.35 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 180035 0 0 0 75002 933 0 0 20 0 1 0 58803692 1135476736 217842 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 277216 217842 2496 1147 0 264643 0
Current children cumulated CPU time: 759.4 s
Current children cumulated vsize: 1113056 KiB
Current children cumulated memory: 874440 KiB

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

# cumulated CPU time of all completed processes:  user=781.01 s, system=10.2866 s

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

[startup+768 s]*
/proc/loadavg: 4.08 4.04 4.00 6/264 61340
/proc/meminfo: memFree=97076972/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=1108864 memory=871368 CPUtime=765.05 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 180035 0 0 0 75570 935 0 0 20 0 1 0 58803692 1135476736 217842 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 277216 217842 2496 1147 0 264643 0
Current children cumulated CPU time: 765.1 s
Current children cumulated vsize: 1113056 KiB
Current children cumulated memory: 874440 KiB

[startup+780.8 s]
/proc/loadavg: 4.07 4.04 4.00 6/264 61341
/proc/meminfo: memFree=96620372/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=1108864 memory=873544 CPUtime=777.78 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 180041 0 0 0 76830 948 0 0 20 0 1 0 58803692 1135476736 218386 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 277216 218386 2496 1147 0 264643 0
Current children cumulated CPU time: 777.83 s
Current children cumulated vsize: 1113056 KiB
Current children cumulated memory: 876616 KiB

[startup+787.2 s]
/proc/loadavg: 4.29 4.09 4.02 6/264 61342
/proc/meminfo: memFree=96432300/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=1108864 memory=873544 CPUtime=784.16 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 180041 0 0 0 77464 952 0 0 20 0 1 0 58803692 1135476736 218386 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 277216 218386 2496 1147 0 264643 0
Current children cumulated CPU time: 784.21 s
Current children cumulated vsize: 1113056 KiB
Current children cumulated memory: 876616 KiB

[startup+793.6 s]
/proc/loadavg: 4.35 4.10 4.02 6/264 61342
/proc/meminfo: memFree=96260616/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=1108864 memory=873800 CPUtime=790.54 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 180046 0 0 0 78092 962 0 0 20 0 1 0 58803692 1135476736 218450 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 277216 218450 2496 1147 0 264643 0
Current children cumulated CPU time: 790.59 s
Current children cumulated vsize: 1113056 KiB
Current children cumulated memory: 876872 KiB

[startup+795.2 s]
/proc/loadavg: 4.35 4.10 4.02 7/264 61342
/proc/meminfo: memFree=96201616/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=1108864 memory=873800 CPUtime=790.99 cores=4,6
/proc/61280/stat : 61280 (roundingsat) D 61270 61270 61187 0 -1 4194304 180046 0 0 0 78095 1004 0 0 20 0 1 0 58803692 1135476736 218450 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 277216 218450 2496 1147 0 264643 0
Current children cumulated CPU time: 791.04 s
Current children cumulated vsize: 1113056 KiB
Current children cumulated memory: 876872 KiB

[startup+796 s]*
/proc/loadavg: 4.32 4.10 4.02 6/264 61342
/proc/meminfo: memFree=96181444/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=1108864 memory=873800 CPUtime=791.09 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 180046 0 0 0 78096 1013 0 0 20 0 1 0 58803692 1135476736 218450 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 277216 218450 2496 1147 0 264643 0
Current children cumulated CPU time: 791.14 s
Current children cumulated vsize: 1113056 KiB
Current children cumulated memory: 876872 KiB

[startup+796.8 s]
/proc/loadavg: 4.32 4.10 4.02 6/264 61342
/proc/meminfo: memFree=96181444/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=1108864 memory=873800 CPUtime=791.17 cores=4,6
/proc/61280/stat : 61280 (roundingsat) D 61270 61270 61187 0 -1 4194304 180046 0 0 0 78096 1021 0 0 20 0 1 0 58803692 1135476736 218450 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 277216 218450 2496 1147 0 264643 0
Current children cumulated CPU time: 791.22 s
Current children cumulated vsize: 1113056 KiB
Current children cumulated memory: 876872 KiB

[startup+797.201 s]
/proc/loadavg: 4.32 4.10 4.02 6/264 61342
/proc/meminfo: memFree=96171104/131382120 swapFree=33010416/33010684
[pid=61270] ppid=61262 vsize=4192 memory=3072 CPUtime=0.05 cores=4,6
/proc/61270/stat : 61270 (run-opt-break-l) S 61262 61270 61187 0 -1 4194304 243 3465 0 0 0 0 4 1 20 0 1 0 58803683 4292608 768 18446744073709551615 94895021228032 94895022122565 140735256586000 0 0 0 65536 4 65538 1 0 0 17 4 0 0 0 0 0 94895022361616 94895022409360 94895024185344 140735256594709 140735256594910 140735256594910 140735256600512 0
/proc/61270/statm: 1048 768 704 219 0 110 0
[pid=61280] ppid=61270 vsize=1100412 memory=788480 CPUtime=791.18 cores=4,6
/proc/61280/stat : 61280 (roundingsat) R 61270 61270 61187 0 -1 4194304 180046 0 0 0 78096 1022 0 0 20 0 1 0 58803692 1126821888 197120 18446744073709551615 4227072 8923433 140721048706240 0 0 0 0 0 8405026 0 0 0 17 6 0 0 0 0 0 9823104 9832592 11259904 140721048713492 140721048713768 140721048713768 140721048719338 0
/proc/61280/statm: 275103 197120 2496 1147 0 262530 0
Current children cumulated CPU time: 791.23 s
Current children cumulated vsize: 1104604 KiB
Current children cumulated memory: 791552 KiB

Child status: 0

Real time (s): 797.241
CPU time (s): 791.297
CPU user time (s): 781.01
CPU system time (s): 10.2866
CPU usage (%): 99.2544
Max. virtual memory (cumulated for all children) (KiB): 1113056
Max. memory (cumulated for all children) (KiB): 876872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 781.01
system time used= 10.2866
maximum resident set size= 873800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 183778
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16786248
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 108454
involuntary context switches= 4929


# summary of solver processes directly reported to runsolver:
#   pid: 61270
#   total CPU time (s): 791.297
#   total CPU user time (s): 781.01
#   total CPU system time (s): 10.2866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46083 second user time and 7.85389 second system time

The end

Launcher Data 

Begin job on nodeC006 at 2025-07-02 06:40:43
IDJOB=4503795
IDBENCH=155603
IDSOLVER=3360
FILE ID=nodeC006/4503795-1751431243
RUNJOBID= nodeC006-1751431243-61227
SLURM_JOB_ID= 9598377
Free space on /tmp= 432356 MiB

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

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

MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e
RANDOM SEED=350792743

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        128873408 kB
MemAvailable:   129917236 kB
Buffers:            2128 kB
Cached:          1836268 kB
SwapCached:           12 kB
Active:           449804 kB
Inactive:        1462580 kB
Active(anon):      80844 kB
Inactive(anon):    11092 kB
Active(file):     368960 kB
Inactive(file):  1451488 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             33372 kB
Writeback:             0 kB
AnonPages:         77364 kB
Mapped:           103520 kB
Shmem:             17948 kB
KReclaimable:     125628 kB
Slab:             210756 kB
SReclaimable:     125628 kB
SUnreclaim:        85128 kB
KernelStack:        3844 kB
PageTables:         2504 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     339712 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149288 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      191304 kB
DirectMap2M:    10196992 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 432232 MiB
End job on nodeC006 at 2025-07-02 06:54:01