Trace number 4532590

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 0f876b3OPT cert.3367493 792.416 801.795

General information on the benchmark

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

Solver Data 

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4532590-1752588756.opb'
0.00/0.03	c 	read 0.40MB  (15.97ms)
0.00/0.03	c	 [cnf: #variables 5100 #clauses 7607 #duplicates 0 #arr 37600]
0.00/0.05	c output proof to 'PROOFDIR/proof-4532590-1752588756'
0.00/0.05	c 
0.00/0.05	c make graph and approximate orbits
0.00/0.07	c	 [group: #orbits ~= 0] (24.33ms)
0.00/0.07	c 
0.00/0.07	c detect special group actions
0.00/0.07	c 	probe for Johnson action (limit=64)
0.00/0.07	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07	c 	 (2.90ms)
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.08	c 	 [group: #symmetries 1.00*10^0 #generators 0] (5.70ms)
0.00/0.08	c 
0.00/0.08	c finalize break order and special generators
0.00/0.08	c 
0.00/0.08	c generation finished
0.00/0.08	c 	[sbp: #constraints 0 #add_vars 0]
0.00/0.08	c 
0.00/0.08	c write result to 'HOME/instance-4532590-1752588756.opb.pre'
0.00/0.08	c 	wrote 0.41MB (2.95ms)
0.00/0.08	c ------------------------------------------------------------------
0.00/0.08	c                  24.33ms 34.12% approx_orbits
0.00/0.08	c                  18.99ms 26.63% other
0.00/0.08	c                  15.96ms 22.39% parse
0.00/0.08	c                   5.70ms  7.99% detect_generic
0.00/0.08	c                   2.95ms  4.13% output
0.00/0.08	c                   2.90ms  4.07% detect_special
0.00/0.08	c                   0.48ms  0.67% finalize_order
0.00/0.08	c         ───────────────────────────────────────────────
0.00/0.08	c                  71.31ms   100% total
0.00/0.08	c ------------------------------------------------------------------
0.00/0.11	c RoundingSat 2
0.00/0.11	c branch pb25
0.00/0.11	c commit 0f876b3
0.25/0.32	c #variables 5100 #constraints 12510
0.25/0.32	c objective is ce32 
0.25/0.32	c initial watched  CF 32, 64, 128, Arb: 50 , 0 , 0 , 0
0.25/0.32	c initial counting CF 32, 64, 128, Arb: 1326 , 0 , 0 , 0
0.25/0.32	c bounds - >= -50 @ 0.165194
1.63/1.71	c bounds 210281065 >= -50 @ 1.52091
1.63/1.71	c bounds 138879385 >= -50 @ 1.52576
1.63/1.74	c bounds 97916941 >= -50 @ 1.55424
1.63/1.75	c bounds 75357461 >= -50 @ 1.56399
1.63/1.77	c bounds 74018945 >= -50 @ 1.57876
1.63/1.78	c bounds 73963617 >= -50 @ 1.58595
1.63/1.78	c bounds 73682401 >= -50 @ 1.5902
2.52/2.69	c bounds 73263923 >= -50 @ 2.47196
2.62/2.73	c bounds 73200905 >= -50 @ 2.51365
2.62/2.74	c bounds 73102607 >= -50 @ 2.52284
2.73/2.81	c bounds 73102217 >= -50 @ 2.5986
2.82/2.94	c bounds 73029865 >= -50 @ 2.72455
2.82/2.98	c bounds 72996387 >= -50 @ 2.75754
2.82/2.99	c bounds 72992725 >= -50 @ 2.77379
2.94/3.02	c bounds 72971621 >= -50 @ 2.79706
2.94/3.10	c bounds 71590709 >= -50 @ 2.8761
3.03/3.19	c bounds 71553189 >= -50 @ 2.96959
3.52/3.63	c bounds 71531101 >= -50 @ 3.39731
4.42/4.55	c #Conflicts:       1000 | #Constraints:      13527
4.42/4.55	c bounds 71518589 >= -50 @ 4.28256
4.42/4.56	c bounds 71494365 >= -50 @ 4.29432
4.62/4.73	c bounds 71485997 >= -50 @ 4.45615
4.71/4.88	c bounds 71461773 >= -50 @ 4.59983
4.93/5.07	c bounds 57301127 >= -50 @ 4.77803
4.93/5.09	c bounds 57290935 >= -50 @ 4.80113
5.11/5.23	c bounds 57287123 >= -50 @ 4.94135
5.31/5.41	c bounds 52328529 >= -50 @ 5.11655
5.31/5.43	c bounds 52211161 >= -50 @ 5.14245
5.52/5.62	c bounds 52156335 >= -50 @ 5.32723
5.52/5.66	c bounds 52145517 >= -50 @ 5.36254
5.52/5.68	c bounds 52107629 >= -50 @ 5.38805
5.62/5.71	c bounds 52101805 >= -50 @ 5.40899
5.62/5.72	c bounds 51967677 >= -50 @ 5.42145
5.62/5.73	c bounds 51884447 >= -50 @ 5.43335
5.62/5.75	c bounds 51878747 >= -50 @ 5.44984
5.71/5.82	c bounds 51874099 >= -50 @ 5.5131
5.71/5.83	c bounds 51869747 >= -50 @ 5.5259
5.71/5.85	c bounds 51727663 >= -50 @ 5.54393
5.71/5.88	c bounds 51706455 >= -50 @ 5.57376
5.82/5.91	c bounds 51693681 >= -50 @ 5.60064
5.82/5.92	c bounds 51691599 >= -50 @ 5.61216
5.82/5.93	c bounds 51690205 >= -50 @ 5.62298
5.82/5.94	c bounds 51687247 >= -50 @ 5.63572
6.21/6.39	c bounds 51568723 >= -50 @ 6.06442
6.31/6.41	c bounds 51567269 >= -50 @ 6.08976
6.31/6.43	c bounds 51565235 >= -50 @ 6.10636
6.31/6.45	c bounds 51563841 >= -50 @ 6.12043
6.31/6.48	c bounds 51563607 >= -50 @ 6.15034
6.31/6.49	c bounds 51562213 >= -50 @ 6.16225
6.42/6.51	c bounds 51559255 >= -50 @ 6.18472
6.52/6.63	c bounds 42173501 >= -50 @ 6.30366
7.11/7.21	c bounds 12993651 >= -50 @ 6.85857
7.21/7.31	c bounds 12989503 >= -50 @ 6.95623
7.21/7.33	c bounds 12989039 >= -50 @ 6.97136
7.31/7.40	c bounds 12967277 >= -50 @ 7.04268
7.31/7.43	c bounds 12958119 >= -50 @ 7.06784
7.31/7.45	c bounds 12956973 >= -50 @ 7.09208
7.31/7.47	c bounds 12932167 >= -50 @ 7.11037
8.92/9.11	c #Conflicts:       2000 | #Constraints:      14566
8.92/9.11	c INPROCESSING
8.92/9.11	c GARBAGE COLLECT
8.92/9.11	c bounds 12922241 >= -50 @ 8.70939
9.02/9.12	c bounds 12918591 >= -50 @ 8.72171
10.50/10.60	c bounds 12363591 >= -50 @ 10.1771
10.50/10.68	c bounds 12292449 >= -50 @ 10.2468
10.70/10.82	c #Conflicts:       3000 | #Constraints:      11670
10.70/10.82	c bounds 12275321 >= -50 @ 10.3791
10.70/10.84	c bounds 12202867 >= -50 @ 10.4001
10.80/10.94	c bounds 12133699 >= -50 @ 10.4986
10.80/10.97	c bounds 12117595 >= -50 @ 10.5242
10.91/11.10	c bounds 12109675 >= -50 @ 10.6507
11.01/11.11	c bounds 12107857 >= -50 @ 10.6643
11.10/11.27	c bounds 12104043 >= -50 @ 10.824
11.19/11.31	c bounds 12093931 >= -50 @ 10.8567
11.19/11.33	c bounds 12087793 >= -50 @ 10.8733
11.19/11.39	c bounds 12043031 >= -50 @ 10.9389
11.30/11.41	c bounds 12030817 >= -50 @ 10.9617
11.30/11.44	c bounds 12024579 >= -50 @ 10.9797
11.30/11.46	c bounds 12013363 >= -50 @ 11.006
11.49/11.64	c bounds 12010001 >= -50 @ 11.1746
11.60/11.78	c bounds 11999483 >= -50 @ 11.3186
11.70/11.89	c bounds 11989715 >= -50 @ 11.4206
12.09/12.23	c bounds 11985097 >= -50 @ 11.7434
12.19/12.34	c bounds 11949705 >= -50 @ 11.8543
12.40/12.57	c bounds 11938775 >= -50 @ 12.0814
12.50/12.62	c bounds 11936583 >= -50 @ 12.1309
13.19/13.36	c bounds 11913103 >= -50 @ 12.8519
13.29/13.42	c bounds 11899095 >= -50 @ 12.9048
15.28/15.45	c #Conflicts:       4000 | #Constraints:      12709
15.28/15.45	WSVECS04 Frhs2[70]: 6 -77841 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[501]: 6 -152881 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[507]: 6 -63504 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[511]: 6 -123904 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[514]: 6 -108241 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[517]: 6 -38416 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[523]: 6 -42849 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[527]: 6 -77284 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[531]: 6 -73984 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[537]: 6 -96100 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[538]: 6 -11025 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[540]: 6 -180625 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[569]: 6 -152881 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[610]: 6 -77841 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[618]: 6 -32761 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[628]: 6 -90000 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[643]: 6 -74529 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[699]: 6 -37249 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[969]: 6 -77284 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[1149]: 6 -29241 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[1519]: 6 -96100 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[1569]: 6 -11025 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[1719]: 6 -180625 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2197]: 6 -32400 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2320]: 6 -26896 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2419]: 6 -63504 0 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2552]: 6 0 1.00004 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2555]: 6 0 1.00003 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2560]: 6 0 1.00007 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2563]: 6 0 1.00001 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2567]: 6 0 1.00009 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2573]: 6 0 1.00003 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2575]: 6 0 1.00005 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2578]: 6 0 1.00003 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2579]: 6 0 1.00006 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2580]: 6 0 1.00007 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2582]: 6 0 1.00009 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2583]: 6 0 1.00009 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2584]: 6 0 1.00007 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2585]: 6 0 1.00006 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2593]: 6 0 1.00004 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2594]: 6 0 1.00002 shouldn't be
15.28/15.45	WSVECS04 Frhs2[2597]: 6 0 1.00007 shouldn't be
16.18/16.36	c INPROCESSING
16.18/16.36	c GARBAGE COLLECT
16.18/16.36	c bounds 6952931 >= -50 @ 15.8059
16.18/16.37	c bounds 6939203 >= -50 @ 15.8157
16.18/16.38	c bounds 6920363 >= -50 @ 15.8239
16.18/16.39	c bounds 6898603 >= -50 @ 15.833
16.28/16.40	c bounds 6868875 >= -50 @ 15.8455
16.28/16.41	c bounds 6851739 >= -50 @ 15.8549
16.28/16.43	c bounds 6844195 >= -50 @ 15.8783
16.28/16.44	c bounds 6817941 >= -50 @ 15.8889
16.28/16.46	c bounds 6813781 >= -50 @ 15.9025
16.28/16.47	c bounds 6808743 >= -50 @ 15.9187
16.28/16.49	c bounds 6774503 >= -50 @ 15.932
16.38/16.51	c bounds 6771487 >= -50 @ 15.9524
16.38/16.54	c bounds 6763295 >= -50 @ 15.9818
16.38/16.55	c bounds 6750815 >= -50 @ 15.992
16.38/16.59	c bounds 4809911 >= -50 @ 16.0335
16.49/16.60	c bounds 4800791 >= -50 @ 16.0428
16.49/16.61	c bounds 4796631 >= -50 @ 16.0523
16.49/16.62	c bounds 4779329 >= -50 @ 16.0618
16.49/16.63	c bounds 4742145 >= -50 @ 16.0747
16.49/16.65	c bounds 4730603 >= -50 @ 16.09
16.49/16.66	c bounds 4724075 >= -50 @ 16.0999
16.58/16.71	c bounds 4718341 >= -50 @ 16.1423
16.58/16.72	c bounds 4706149 >= -50 @ 16.1538
16.58/16.73	c bounds 4701701 >= -50 @ 16.1614
16.58/16.79	c bounds 4692101 >= -50 @ 16.2197
16.68/16.81	c bounds 4666855 >= -50 @ 16.2403
16.68/16.82	c bounds 4665543 >= -50 @ 16.2491
16.68/16.83	c bounds 4652729 >= -50 @ 16.2624
16.68/16.86	c bounds 4651791 >= -50 @ 16.285
16.68/16.87	c bounds 4638045 >= -50 @ 16.2946
16.68/16.89	c bounds 4620909 >= -50 @ 16.3123
16.78/16.90	c bounds 4611189 >= -50 @ 16.3231
16.78/16.92	c bounds 4602919 >= -50 @ 16.3476
16.78/16.93	c bounds 4601607 >= -50 @ 16.3564
16.78/16.94	c bounds 4576087 >= -50 @ 16.3673
16.78/16.97	c bounds 4551223 >= -50 @ 16.3946
16.78/16.99	c bounds 4512537 >= -50 @ 16.4092
16.78/17.00	c bounds 4487169 >= -50 @ 16.4199
16.90/17.02	c bounds 4465409 >= -50 @ 16.4349
16.90/17.03	c bounds 4456407 >= -50 @ 16.449
16.90/17.04	c bounds 4446257 >= -50 @ 16.4593
16.90/17.05	c bounds 4412881 >= -50 @ 16.4701
16.90/17.06	c bounds 4401015 >= -50 @ 16.481
16.90/17.08	c bounds 4394199 >= -50 @ 16.4967
17.08/17.26	c bounds 4389117 >= -50 @ 16.6721
17.08/17.28	c bounds 4377575 >= -50 @ 16.6829
17.18/17.35	c bounds 4372821 >= -50 @ 16.7571
17.18/17.38	c bounds 4357461 >= -50 @ 16.7808
17.18/17.39	c bounds 4356149 >= -50 @ 16.7911
17.28/17.40	c bounds 4316693 >= -50 @ 16.8046
18.08/18.26	c #Conflicts:       5000 | #Constraints:      12027
18.08/18.26	c bounds 4313753 >= -50 @ 17.6294
18.17/18.30	c bounds 4310835 >= -50 @ 17.6682
18.17/18.31	c bounds 4304307 >= -50 @ 17.6844
18.17/18.33	c bounds 4299769 >= -50 @ 17.6966
18.68/18.87	c bounds 4297427 >= -50 @ 18.2226
18.99/19.19	c bounds 4284755 >= -50 @ 18.5284
19.07/19.20	c bounds 4283443 >= -50 @ 18.5421
22.37/22.57	c #Conflicts:       6000 | #Constraints:      13034
22.37/22.57	c INPROCESSING
22.37/22.57	c GARBAGE COLLECT
22.37/22.57	WSVECS04 Frhs2[532]: 6 -80089 0 shouldn't be
22.37/22.57	WSVECS04 Frhs2[634]: 6 -75625 0 shouldn't be
22.37/22.57	WSVECS04 Frhs2[749]: 6 -24025 0 shouldn't be
22.37/22.57	WSVECS04 Frhs2[1269]: 6 -80089 0 shouldn't be
22.37/22.57	WSVECS04 Frhs2[1370]: 6 -75625 0 shouldn't be
22.37/22.57	WSVECS04 Frhs2[2049]: 6 -171396 0 shouldn't be
22.37/22.57	WSVECS04 Frhs2[2149]: 6 -89401 0 shouldn't be
22.37/22.57	WSVECS04 Frhs2[2172]: 6 -24025 0 shouldn't be
22.37/22.57	WSVECS04 Frhs2[2196]: 6 -171396 0 shouldn't be
22.37/22.57	WSVECS04 Frhs2[2198]: 6 -89401 0 shouldn't be
22.37/22.57	WSVECS04 Frhs2[2554]: 6 0 1.00001 shouldn't be
22.37/22.57	WSVECS04 Frhs2[2564]: 6 0 1.00007 shouldn't be
22.37/22.57	WSVECS04 Frhs2[2577]: 6 0 1.0001 shouldn't be
23.97/24.15	c rational objective 1.71035e+06
25.56/25.76	c bounds 4275763 >= -50 @ 24.9787
25.56/25.77	c bounds 4264563 >= -50 @ 24.9894
25.56/25.78	c bounds 4253265 >= -50 @ 24.9958
25.66/25.81	c bounds 4241499 >= -50 @ 25.0191
25.66/25.82	c bounds 4234491 >= -50 @ 25.033
28.25/28.46	c #Conflicts:       7000 | #Constraints:      10640
28.25/28.46	c bounds 4233401 >= -50 @ 27.6296
31.26/31.43	c #Conflicts:       8000 | #Constraints:      11641
31.26/31.43	c #Conflicts:       9000 | #Constraints:      12641
31.26/31.43	c INPROCESSING
31.26/31.43	c GARBAGE COLLECT
31.26/31.43	c bounds 4223801 >= -50 @ 30.527
31.26/31.44	c bounds 4211129 >= -50 @ 30.5373
31.44/31.61	c bounds 4206889 >= -50 @ 30.709
31.44/31.66	c bounds 4168657 >= -50 @ 30.7526
32.03/32.25	c bounds 4165513 >= -50 @ 31.3409
33.95/34.15	c #Conflicts:      10000 | #Constraints:      11329
33.95/34.15	c bounds 4154625 >= -50 @ 33.2022
39.02/39.28	c #Conflicts:      11000 | #Constraints:      12330
39.02/39.28	c #Conflicts:      12000 | #Constraints:      13330
39.02/39.28	c INPROCESSING
39.02/39.28	c GARBAGE COLLECT
39.02/39.28	c bounds 4151593 >= -50 @ 38.2293
39.12/39.39	c bounds 4146083 >= -50 @ 38.3395
39.51/39.77	c bounds 4144269 >= -50 @ 38.7057
40.61/40.89	c bounds 4144219 >= -50 @ 39.7925
40.71/40.92	c bounds 4137979 >= -50 @ 39.82
40.92/41.14	c #Conflicts:      13000 | #Constraints:      11757
40.92/41.14	c bounds 4137733 >= -50 @ 40.0372
56.56/56.87	c #Conflicts:      14000 | #Constraints:      12773
56.56/56.87	c #Conflicts:      15000 | #Constraints:      13779
56.56/56.87	c INPROCESSING
56.56/56.87	c GARBAGE COLLECT
56.56/56.87	c #Conflicts:      16000 | #Constraints:      11980
56.56/56.87	c #Conflicts:      17000 | #Constraints:      12980
56.56/56.87	c #Conflicts:      18000 | #Constraints:      13980
56.56/56.87	c INPROCESSING
56.56/56.87	c GARBAGE COLLECT
56.56/56.87	c rational objective 1.72222e+06
70.13/70.47	c #Conflicts:      19000 | #Constraints:      11962
70.13/70.47	c #Conflicts:      20000 | #Constraints:      12962
70.13/70.47	c #Conflicts:      21000 | #Constraints:      13962
70.13/70.47	c INPROCESSING
70.13/70.47	c GARBAGE COLLECT
70.13/70.47	c rational objective 1.75294e+06
137.71/138.23	c #Conflicts:      22000 | #Constraints:      11744
137.71/138.23	c #Conflicts:      23000 | #Constraints:      12744
137.71/138.23	c #Conflicts:      24000 | #Constraints:      13744
137.71/138.23	c #Conflicts:      25000 | #Constraints:      14744
137.71/138.23	c INPROCESSING
137.71/138.23	c GARBAGE COLLECT
137.71/138.23	c #Conflicts:      26000 | #Constraints:      12323
137.71/138.23	c #Conflicts:      27000 | #Constraints:      13328
137.71/138.23	c #Conflicts:      28000 | #Constraints:      14333
137.71/138.23	c #Conflicts:      29000 | #Constraints:      15333
137.71/138.23	c INPROCESSING
137.71/138.23	c GARBAGE COLLECT
137.71/138.23	c #Conflicts:      30000 | #Constraints:      12484
137.71/138.23	c #Conflicts:      31000 | #Constraints:      13484
137.71/138.23	c #Conflicts:      32000 | #Constraints:      14484
137.71/138.23	c #Conflicts:      33000 | #Constraints:      15516
137.71/138.23	c INPROCESSING
137.71/138.23	c GARBAGE COLLECT
137.71/138.23	c #Conflicts:      34000 | #Constraints:      12759
137.71/138.23	c #Conflicts:      35000 | #Constraints:      13905
137.71/138.23	c #Conflicts:      36000 | #Constraints:      14948
137.71/138.23	c #Conflicts:      37000 | #Constraints:      15969
137.71/138.23	c INPROCESSING
137.71/138.23	c GARBAGE COLLECT
137.71/138.23	c #Conflicts:      38000 | #Constraints:      12878
137.71/138.23	c #Conflicts:      39000 | #Constraints:      13974
137.71/138.23	c #Conflicts:      40000 | #Constraints:      15190
137.71/138.23	c #Conflicts:      41000 | #Constraints:      16319
137.71/138.23	c INPROCESSING
137.71/138.23	c GARBAGE COLLECT
137.71/138.23	c rational objective 1.72431e+06
154.95/155.52	c #Conflicts:      42000 | #Constraints:      12862
154.95/155.52	c #Conflicts:      43000 | #Constraints:      13862
154.95/155.52	c #Conflicts:      44000 | #Constraints:      14864
154.95/155.52	c #Conflicts:      45000 | #Constraints:      15866
154.95/155.52	c #Conflicts:      46000 | #Constraints:      16866
154.95/155.52	c INPROCESSING
154.95/155.52	c GARBAGE COLLECT
154.95/155.52	c rational objective 1.72799e+06
171.30/171.90	c #Conflicts:      47000 | #Constraints:      13240
171.30/171.90	c #Conflicts:      48000 | #Constraints:      14243
171.30/171.90	c #Conflicts:      49000 | #Constraints:      15248
171.30/171.90	c #Conflicts:      50000 | #Constraints:      16249
171.30/171.90	c #Conflicts:      51000 | #Constraints:      17252
171.30/171.90	c INPROCESSING
171.30/171.90	c GARBAGE COLLECT
171.30/171.90	c rational objective 1.73042e+06
202.49/203.20	c #Conflicts:      52000 | #Constraints:      13497
202.49/203.20	c #Conflicts:      53000 | #Constraints:      14497
202.49/203.20	c #Conflicts:      54000 | #Constraints:      15497
202.49/203.20	c #Conflicts:      55000 | #Constraints:      16497
202.49/203.20	c #Conflicts:      56000 | #Constraints:      17499
202.49/203.20	c INPROCESSING
202.49/203.20	c GARBAGE COLLECT
202.49/203.20	c #Conflicts:      57000 | #Constraints:      13653
202.49/203.20	c #Conflicts:      58000 | #Constraints:      14655
202.49/203.20	c #Conflicts:      59000 | #Constraints:      15655
202.49/203.20	c #Conflicts:      60000 | #Constraints:      16655
202.49/203.20	c bounds 3986725 >= -50 @ 199.227
202.49/203.23	c bounds 3968827 >= -50 @ 199.251
202.49/203.29	c bounds 3963577 >= -50 @ 199.31
202.58/203.31	c bounds 3956881 >= -50 @ 199.335
202.58/203.34	c bounds 3955961 >= -50 @ 199.359
202.58/203.36	c bounds 3954433 >= -50 @ 199.384
202.68/203.41	c bounds 3945937 >= -50 @ 199.429
202.68/203.43	c bounds 3945017 >= -50 @ 199.454
202.79/203.52	c bounds 3940473 >= -50 @ 199.533
202.89/203.65	c bounds 3934297 >= -50 @ 199.665
202.98/203.70	c bounds 3929737 >= -50 @ 199.712
202.98/203.76	c bounds 3928981 >= -50 @ 199.773
203.18/203.90	c bounds 3928611 >= -50 @ 199.906
203.29/204.10	c bounds 3927997 >= -50 @ 200.103
203.40/204.15	c bounds 3917547 >= -50 @ 200.157
203.58/204.37	c bounds 3895665 >= -50 @ 200.362
203.58/204.39	c bounds 3892515 >= -50 @ 200.389
203.68/204.42	c bounds 3887041 >= -50 @ 200.414
203.68/204.46	c bounds 3881035 >= -50 @ 200.454
203.88/204.68	c bounds 3873049 >= -50 @ 200.673
203.98/204.71	c bounds 3871011 >= -50 @ 200.705
203.98/204.74	c bounds 3844961 >= -50 @ 200.731
204.08/204.81	c bounds 3840161 >= -50 @ 200.794
204.08/204.84	c bounds 3804027 >= -50 @ 200.822
204.18/204.93	c bounds 3803537 >= -50 @ 200.917
204.29/205.01	c #Conflicts:      61000 | #Constraints:      17681
204.29/205.01	c bounds 3801071 >= -50 @ 200.999
204.29/205.05	c bounds 3777097 >= -50 @ 201.033
204.29/205.08	c bounds 3766915 >= -50 @ 201.068
204.39/205.11	c bounds 3751907 >= -50 @ 201.094
204.39/205.17	c bounds 3750027 >= -50 @ 201.151
204.48/205.20	c bounds 3726277 >= -50 @ 201.182
204.48/205.23	c bounds 3718037 >= -50 @ 201.212
204.58/205.31	c bounds 3715831 >= -50 @ 201.294
204.58/205.34	c bounds 3711421 >= -50 @ 201.32
204.67/205.40	c bounds 3703837 >= -50 @ 201.384
204.67/205.43	c bounds 3692701 >= -50 @ 201.408
204.67/205.48	c bounds 3690783 >= -50 @ 201.463
204.78/205.53	c bounds 3667231 >= -50 @ 201.505
204.88/205.66	c bounds 3664501 >= -50 @ 201.638
206.29/207.10	c INPROCESSING
206.29/207.10	c GARBAGE COLLECT
206.29/207.10	c rational objective 1.73143e+06
225.72/226.53	c #Conflicts:      62000 | #Constraints:      13653
225.72/226.53	c #Conflicts:      63000 | #Constraints:      14682
225.72/226.53	c #Conflicts:      64000 | #Constraints:      15739
225.72/226.53	c #Conflicts:      65000 | #Constraints:      16795
225.72/226.53	c #Conflicts:      66000 | #Constraints:      17795
225.72/226.53	c INPROCESSING
225.72/226.53	c GARBAGE COLLECT
225.72/226.53	c rational objective 1.73165e+06
241.66/242.56	c #Conflicts:      67000 | #Constraints:      13521
241.66/242.56	c #Conflicts:      68000 | #Constraints:      14526
241.66/242.56	c #Conflicts:      69000 | #Constraints:      15540
241.66/242.56	c #Conflicts:      70000 | #Constraints:      16550
241.66/242.56	c #Conflicts:      71000 | #Constraints:      17563
241.66/242.56	c #Conflicts:      72000 | #Constraints:      18563
241.66/242.56	c INPROCESSING
241.66/242.56	c GARBAGE COLLECT
241.66/242.56	c bounds 3662453 >= -50 @ 237.917
241.76/242.63	c bounds 3649637 >= -50 @ 237.985
241.86/242.70	c bounds 3644621 >= -50 @ 238.055
241.86/242.72	c bounds 3642221 >= -50 @ 238.072
242.06/243.00	c bounds 3631899 >= -50 @ 238.349
242.18/243.02	c bounds 3631285 >= -50 @ 238.368
242.18/243.06	c bounds 3630973 >= -50 @ 238.405
242.18/243.07	c bounds 3624253 >= -50 @ 238.42
242.46/243.34	c bounds 3610267 >= -50 @ 238.688
243.76/244.62	c #Conflicts:      73000 | #Constraints:      14051
243.76/244.62	c bounds 3600691 >= -50 @ 239.924
244.75/245.68	c bounds 3595497 >= -50 @ 240.965
244.95/245.86	c bounds 3595235 >= -50 @ 241.139
244.95/245.89	c bounds 3589761 >= -50 @ 241.16
245.27/246.19	c #Conflicts:      74000 | #Constraints:      15055
245.27/246.19	c bounds 3587361 >= -50 @ 241.461
257.61/258.58	c #Conflicts:      75000 | #Constraints:      16100
257.61/258.58	c #Conflicts:      76000 | #Constraints:      17119
257.61/258.58	c #Conflicts:      77000 | #Constraints:      18144
257.61/258.58	c #Conflicts:      78000 | #Constraints:      19168
257.61/258.58	c INPROCESSING
257.61/258.58	c GARBAGE COLLECT
257.61/258.58	c bounds 3581071 >= -50 @ 253.626
257.71/258.67	c bounds 3569345 >= -50 @ 253.712
257.71/258.68	c bounds 3565497 >= -50 @ 253.731
257.91/258.86	c bounds 3565195 >= -50 @ 253.902
257.91/258.88	c bounds 3564209 >= -50 @ 253.927
258.71/259.69	c bounds 3563481 >= -50 @ 254.71
259.00/259.95	c bounds 3559929 >= -50 @ 254.964
261.40/262.38	c #Conflicts:      79000 | #Constraints:      14440
261.40/262.38	c #Conflicts:      80000 | #Constraints:      15451
261.40/262.38	c bounds 3559415 >= -50 @ 257.345
275.25/276.26	c #Conflicts:      81000 | #Constraints:      16458
275.25/276.26	c #Conflicts:      82000 | #Constraints:      17459
275.25/276.26	c #Conflicts:      83000 | #Constraints:      18459
275.25/276.26	c #Conflicts:      84000 | #Constraints:      19459
275.25/276.26	c INPROCESSING
275.25/276.26	c GARBAGE COLLECT
275.25/276.26	c rational objective 1.73181e+06
290.01/291.08	c #Conflicts:      85000 | #Constraints:      14614
290.01/291.08	c #Conflicts:      86000 | #Constraints:      15614
290.01/291.08	c #Conflicts:      87000 | #Constraints:      16614
290.01/291.08	c #Conflicts:      88000 | #Constraints:      17614
290.01/291.08	c #Conflicts:      89000 | #Constraints:      18614
290.01/291.08	c #Conflicts:      90000 | #Constraints:      19614
290.01/291.08	c INPROCESSING
290.01/291.08	c GARBAGE COLLECT
290.01/291.08	c rational objective 1.7453e+06
326.70/327.84	c #Conflicts:      91000 | #Constraints:      14522
326.70/327.84	c #Conflicts:      92000 | #Constraints:      15527
326.70/327.84	c #Conflicts:      93000 | #Constraints:      16573
326.70/327.84	c #Conflicts:      94000 | #Constraints:      17662
326.70/327.84	c #Conflicts:      95000 | #Constraints:      18716
326.70/327.84	c #Conflicts:      96000 | #Constraints:      19757
326.70/327.84	c INPROCESSING
326.70/327.84	c GARBAGE COLLECT
326.70/327.84	c #Conflicts:      97000 | #Constraints:      14427
326.70/327.84	c #Conflicts:      98000 | #Constraints:      15427
326.70/327.84	c #Conflicts:      99000 | #Constraints:      16428
326.70/327.84	c #Conflicts:     100000 | #Constraints:      17430
326.70/327.84	c #Conflicts:     101000 | #Constraints:      18432
326.70/327.84	c #Conflicts:     102000 | #Constraints:      19432
326.70/327.84	c #Conflicts:     103000 | #Constraints:      20432
326.70/327.84	c INPROCESSING
326.70/327.84	c GARBAGE COLLECT
326.70/327.84	c rational objective 1.74481e+06
335.98/337.16	c #Conflicts:     104000 | #Constraints:      14956
335.98/337.16	c #Conflicts:     105000 | #Constraints:      15956
335.98/337.16	c #Conflicts:     106000 | #Constraints:      16956
335.98/337.16	c bounds 3534051 >= -50 @ 330.866
336.07/337.24	c bounds 3530417 >= -50 @ 330.941
337.17/338.35	c bounds 3515483 >= -50 @ 332.016
337.17/338.39	c bounds 3514901 >= -50 @ 332.057
337.27/338.43	c bounds 3511723 >= -50 @ 332.101
350.83/352.03	c #Conflicts:     107000 | #Constraints:      17961
350.83/352.03	c #Conflicts:     108000 | #Constraints:      18963
350.83/352.03	c #Conflicts:     109000 | #Constraints:      19971
350.83/352.03	c #Conflicts:     110000 | #Constraints:      20972
350.83/352.03	c INPROCESSING
350.83/352.03	c GARBAGE COLLECT
350.83/352.03	c rational objective 1.74502e+06
352.71/353.90	c bounds 3510893 >= -50 @ 347.356
352.71/353.92	c bounds 3507453 >= -50 @ 347.372
353.01/354.28	c bounds 3503485 >= -50 @ 347.728
353.11/354.32	c bounds 3491389 >= -50 @ 347.77
353.71/354.98	c bounds 3485467 >= -50 @ 348.407
353.92/355.16	c bounds 3484057 >= -50 @ 348.59
354.82/356.03	c bounds 3483039 >= -50 @ 349.438
354.82/356.06	c bounds 3478689 >= -50 @ 349.466
354.82/356.09	c bounds 3468241 >= -50 @ 349.497
354.92/356.11	c bounds 3464481 >= -50 @ 349.519
355.11/356.31	c #Conflicts:     111000 | #Constraints:      15351
355.11/356.31	c bounds 3456319 >= -50 @ 349.713
355.11/356.33	c bounds 3453277 >= -50 @ 349.741
355.51/356.72	c bounds 3452491 >= -50 @ 350.125
355.71/356.92	c bounds 3451817 >= -50 @ 350.317
355.92/357.16	c bounds 3451235 >= -50 @ 350.545
356.00/357.30	c bounds 3448247 >= -50 @ 350.681
356.10/357.39	c bounds 3445881 >= -50 @ 350.775
356.21/357.44	c bounds 3438933 >= -50 @ 350.827
356.60/357.82	c bounds 3434175 >= -50 @ 351.198
356.92/358.20	c bounds 3432813 >= -50 @ 351.563
357.00/358.24	c bounds 3422287 >= -50 @ 351.603
357.20/358.40	c bounds 3407629 >= -50 @ 351.765
360.49/361.80	c #Conflicts:     112000 | #Constraints:      16375
360.49/361.80	c bounds 3406431 >= -50 @ 355.094
360.59/361.88	c bounds 3406319 >= -50 @ 355.179
360.69/361.93	c bounds 3404275 >= -50 @ 355.227
360.90/362.12	c bounds 3403953 >= -50 @ 355.409
361.68/362.92	c #Conflicts:     113000 | #Constraints:      17390
361.68/362.92	c bounds 3390265 >= -50 @ 356.197
361.68/362.96	c bounds 3386505 >= -50 @ 356.239
361.68/363.00	c bounds 3385719 >= -50 @ 356.28
361.99/363.23	c bounds 3383675 >= -50 @ 356.507
363.98/365.20	c bounds 3380351 >= -50 @ 358.437
363.98/365.28	c bounds 3379565 >= -50 @ 358.517
364.08/365.36	c #Conflicts:     114000 | #Constraints:      18404
364.08/365.36	c bounds 3379545 >= -50 @ 358.59
364.18/365.42	c bounds 3370233 >= -50 @ 358.654
365.37/366.63	c bounds 3368279 >= -50 @ 359.848
365.37/366.69	c bounds 3367493 >= -50 @ 359.901
380.94/382.27	c #Conflicts:     115000 | #Constraints:      19419
380.94/382.27	c #Conflicts:     116000 | #Constraints:      20424
380.94/382.27	c #Conflicts:     117000 | #Constraints:      21424
380.94/382.27	c INPROCESSING
380.94/382.27	c GARBAGE COLLECT
380.94/382.27	c rational objective 1.74503e+06
413.53/415.00	c #Conflicts:     118000 | #Constraints:      15512
413.53/415.00	c #Conflicts:     119000 | #Constraints:      16560
413.53/415.00	c #Conflicts:     120000 | #Constraints:      17671
413.53/415.00	c #Conflicts:     121000 | #Constraints:      18802
413.53/415.00	c #Conflicts:     122000 | #Constraints:      19889
413.53/415.00	c #Conflicts:     123000 | #Constraints:      20964
413.53/415.00	c #Conflicts:     124000 | #Constraints:      22033
413.53/415.00	c INPROCESSING
413.53/415.00	c GARBAGE COLLECT
413.53/415.00	WSVECS04 Frhs2[6]: 6 0 353962 shouldn't be
413.53/415.00	WSVECS04 Frhs2[14]: 6 0 135066 shouldn't be
413.53/415.00	WSVECS04 Frhs2[15]: 6 0 460621 shouldn't be
413.53/415.00	WSVECS04 Frhs2[17]: 6 0 85004.7 shouldn't be
413.53/415.00	WSVECS04 Frhs2[31]: 6 0 391209 shouldn't be
413.53/415.00	WSVECS04 Frhs2[38]: 6 0 657302 shouldn't be
413.53/415.00	WSVECS04 Frhs2[46]: 6 0 260208 shouldn't be
413.53/415.00	WSVECS04 Frhs2[53]: 6 0 55743.8 shouldn't be
413.53/415.00	WSVECS04 Frhs2[58]: 6 0 336091 shouldn't be
413.53/415.00	WSVECS04 Frhs2[61]: 6 0 680765 shouldn't be
413.53/415.00	WSVECS04 Frhs2[68]: 6 0 191825 shouldn't be
413.53/415.00	WSVECS04 Frhs2[73]: 6 0 279837 shouldn't be
413.53/415.00	WSVECS04 Frhs2[74]: 6 0 539798 shouldn't be
413.53/415.00	WSVECS04 Frhs2[78]: 6 0 49536.7 shouldn't be
413.53/415.00	WSVECS04 Frhs2[82]: 6 0 82553.5 shouldn't be
413.53/415.00	WSVECS04 Frhs2[90]: 6 0 679743 shouldn't be
413.53/415.00	WSVECS04 Frhs2[93]: 6 0 17027.2 shouldn't be
413.53/415.00	WSVECS04 Frhs2[96]: 6 0 128943 shouldn't be
413.53/415.00	WSVECS04 Frhs2[101]: 6 0 330753 shouldn't be
413.53/415.00	WSVECS04 Frhs2[106]: 6 0 264485 shouldn't be
413.53/415.00	WSVECS04 Frhs2[123]: 6 0 222283 shouldn't be
413.53/415.00	WSVECS04 Frhs2[124]: 6 0 203467 shouldn't be
413.53/415.00	WSVECS04 Frhs2[128]: 6 0 89454.1 shouldn't be
413.53/415.00	WSVECS04 Frhs2[131]: 6 0 502007 shouldn't be
413.53/415.00	WSVECS04 Frhs2[135]: 6 0 442565 shouldn't be
413.53/415.00	WSVECS04 Frhs2[144]: 6 0 74829.7 shouldn't be
413.53/415.00	WSVECS04 Frhs2[146]: 6 0 156625 shouldn't be
413.53/415.00	WSVECS04 Frhs2[158]: 6 0 312587 shouldn't be
413.53/415.00	WSVECS04 Frhs2[168]: 6 0 108694 shouldn't be
413.53/415.00	WSVECS04 Frhs2[173]: 6 0 205871 shouldn't be
413.53/415.00	WSVECS04 Frhs2[176]: 6 0 521394 shouldn't be
413.53/415.00	WSVECS04 Frhs2[178]: 6 0 514213 shouldn't be
413.53/415.00	WSVECS04 Frhs2[179]: 6 0 301923 shouldn't be
413.53/415.00	WSVECS04 Frhs2[183]: 6 0 321410 shouldn't be
413.53/415.00	WSVECS04 Frhs2[186]: 6 0 875789 shouldn't be
413.53/415.00	WSVECS04 Frhs2[187]: 6 0 326539 shouldn't be
413.53/415.00	WSVECS04 Frhs2[190]: 6 0 623207 shouldn't be
413.53/415.00	WSVECS04 Frhs2[196]: 6 0 514059 shouldn't be
413.53/415.00	WSVECS04 Frhs2[208]: 6 0 328148 shouldn't be
413.53/415.00	WSVECS04 Frhs2[210]: 6 0 455916 shouldn't be
413.53/415.00	WSVECS04 Frhs2[211]: 6 0 754966 shouldn't be
413.53/415.00	WSVECS04 Frhs2[218]: 6 0 106871 shouldn't be
413.53/415.00	WSVECS04 Frhs2[223]: 6 0 170430 shouldn't be
413.53/415.00	WSVECS04 Frhs2[224]: 6 0 569770 shouldn't be
413.53/415.00	WSVECS04 Frhs2[228]: 6 0 510254 shouldn't be
413.53/415.00	WSVECS04 Frhs2[229]: 6 0 288575 shouldn't be
413.53/415.00	WSVECS04 Frhs2[233]: 6 0 85598.6 shouldn't be
413.53/415.00	WSVECS04 Frhs2[235]: 6 0 825735 shouldn't be
413.53/415.00	WSVECS04 Frhs2[236]: 6 0 420465 shouldn't be
413.53/415.00	WSVECS04 Frhs2[237]: 6 0 320241 shouldn't be
413.53/415.00	WSVECS04 Frhs2[243]: 6 0 408622 shouldn't be
413.53/415.00	WSVECS04 Frhs2[246]: 6 0 565184 shouldn't be
413.53/415.00	WSVECS04 Frhs2[251]: 6 0 308197 shouldn't be
413.53/415.00	WSVECS04 Frhs2[256]: 6 0 254865 shouldn't be
413.53/415.00	WSVECS04 Frhs2[261]: 6 0 499943 shouldn't be
413.53/415.00	WSVECS04 Frhs2[318]: 6 0 394071 shouldn't be
413.53/415.00	WSVECS04 Frhs2[319]: 6 0 165763 shouldn't be
413.53/415.00	WSVECS04 Frhs2[322]: 6 0 204157 shouldn't be
413.53/415.00	WSVECS04 Frhs2[324]: 6 0 526129 shouldn't be
413.53/415.00	WSVECS04 Frhs2[333]: 6 0 308198 shouldn't be
413.53/415.00	WSVECS04 Frhs2[341]: 6 0 78747.1 shouldn't be
413.53/415.00	WSVECS04 Frhs2[358]: 6 0 324928 shouldn't be
413.53/415.00	WSVECS04 Frhs2[372]: 6 0 298406 shouldn't be
413.53/415.00	WSVECS04 Frhs2[374]: 6 0 555592 shouldn't be
413.53/415.00	WSVECS04 Frhs2[378]: 6 0 478680 shouldn't be
413.53/415.00	WSVECS04 Frhs2[386]: 6 0 421884 shouldn't be
413.53/415.00	WSVECS04 Frhs2[387]: 6 0 290145 shouldn't be
413.53/415.00	WSVECS04 Frhs2[390]: 6 0 646668 shouldn't be
413.53/415.00	WSVECS04 Frhs2[396]: 6 0 731281 shouldn't be
413.53/415.00	WSVECS04 Frhs2[397]: 6 0 55400.5 shouldn't be
413.53/415.01	WSVECS04 Frhs2[407]: 6 0 133753 shouldn't be
413.53/415.01	WSVECS04 Frhs2[410]: 6 0 277976 shouldn't be
413.53/415.01	WSVECS04 Frhs2[414]: 6 0 682949 shouldn't be
413.53/415.01	WSVECS04 Frhs2[421]: 6 0 38553.5 shouldn't be
413.53/415.01	WSVECS04 Frhs2[422]: 6 0 230056 shouldn't be
413.53/415.01	WSVECS04 Frhs2[425]: 6 0 71046.6 shouldn't be
413.53/415.01	WSVECS04 Frhs2[433]: 6 0 78967.9 shouldn't be
413.53/415.01	WSVECS04 Frhs2[435]: 6 0 803927 shouldn't be
413.53/415.01	WSVECS04 Frhs2[444]: 6 0 233184 shouldn't be
413.53/415.01	WSVECS04 Frhs2[447]: 6 0 64745.1 shouldn't be
413.53/415.01	WSVECS04 Frhs2[453]: 6 0 244942 shouldn't be
413.53/415.01	WSVECS04 Frhs2[458]: 6 0 338212 shouldn't be
413.53/415.01	WSVECS04 Frhs2[460]: 6 0 463539 shouldn't be
413.53/415.01	WSVECS04 Frhs2[470]: 6 0 359483 shouldn't be
413.53/415.01	WSVECS04 Frhs2[479]: 6 0 177143 shouldn't be
413.53/415.01	WSVECS04 Frhs2[483]: 6 0 319515 shouldn't be
413.53/415.01	WSVECS04 Frhs2[486]: 6 0 411546 shouldn't be
413.53/415.01	WSVECS04 Frhs2[490]: 6 0 714962 shouldn't be
413.53/415.01	WSVECS04 Frhs2[493]: 6 0 186719 shouldn't be
413.53/415.01	WSVECS04 Frhs2[500]: 6 0 434871 shouldn't be
413.53/415.01	WSVECS04 Frhs2[505]: 6 0 522450 shouldn't be
413.53/415.01	WSVECS04 Frhs2[522]: 6 0 211301 shouldn't be
413.53/415.01	WSVECS04 Frhs2[523]: 6 0 254191 shouldn't be
413.53/415.01	WSVECS04 Frhs2[530]: 6 0 62044.6 shouldn't be
413.53/415.01	WSVECS04 Frhs2[541]: 6 0 68780.1 shouldn't be
413.53/415.01	WSVECS04 Frhs2[547]: 6 0 27054.1 shouldn't be
413.53/415.01	WSVECS04 Frhs2[556]: 6 0 397655 shouldn't be
413.53/415.01	WSVECS04 Frhs2[564]: 6 0 620440 shouldn't be
413.53/415.01	WSVECS04 Frhs2[574]: 6 0 37047 shouldn't be
413.53/415.01	WSVECS04 Frhs2[577]: 6 0 28960.8 shouldn't be
413.53/415.01	WSVECS04 Frhs2[583]: 6 0 213184 shouldn't be
413.53/415.01	WSVECS04 Frhs2[585]: 6 0 479153 shouldn't be
413.53/415.01	WSVECS04 Frhs2[590]: 6 0 614020 shouldn't be
413.53/415.01	WSVECS04 Frhs2[596]: 6 0 611168 shouldn't be
413.53/415.01	WSVECS04 Frhs2[623]: 6 0 259377 shouldn't be
413.53/415.01	WSVECS04 Frhs2[625]: 6 0 308347 shouldn't be
413.53/415.01	WSVECS04 Frhs2[629]: 6 0 339514 shouldn't be
413.53/415.01	WSVECS04 Frhs2[634]: 6 0 240070 shouldn't be
413.53/415.01	WSVECS04 Frhs2[636]: 6 0 365929 shouldn't be
413.53/415.01	WSVECS04 Frhs2[643]: 6 0 488325 shouldn't be
413.53/415.01	WSVECS04 Frhs2[657]: 6 0 47230.5 shouldn't be
413.53/415.01	WSVECS04 Frhs2[672]: 6 0 308400 shouldn't be
413.53/415.01	WSVECS04 Frhs2[681]: 6 0 703024 shouldn't be
413.53/415.01	WSVECS04 Frhs2[683]: 6 0 271220 shouldn't be
413.53/415.01	WSVECS04 Frhs2[685]: 6 0 811377 shouldn't be
413.53/415.01	WSVECS04 Frhs2[690]: 6 0 660384 shouldn't be
413.53/415.01	WSVECS04 Frhs2[694]: 6 0 340432 shouldn't be
413.53/415.01	WSVECS04 Frhs2[695]: 6 0 111226 shouldn't be
413.53/415.01	WSVECS04 Frhs2[698]: 6 0 51721.4 shouldn't be
413.53/415.01	WSVECS04 Frhs2[717]: 6 0 3091 shouldn't be
413.53/415.01	WSVECS04 Frhs2[719]: 6 0 237806 shouldn't be
413.53/415.01	WSVECS04 Frhs2[726]: 6 0 575496 shouldn't be
413.53/415.01	WSVECS04 Frhs2[740]: 6 0 343903 shouldn't be
413.53/415.01	WSVECS04 Frhs2[745]: 6 0 171714 shouldn't be
413.53/415.01	WSVECS04 Frhs2[747]: 6 0 79686.1 shouldn't be
413.53/415.01	WSVECS04 Frhs2[753]: 6 0 237382 shouldn't be
413.53/415.01	WSVECS04 Frhs2[760]: 6 0 455384 shouldn't be
413.53/415.01	WSVECS04 Frhs2[768]: 6 0 457867 shouldn't be
413.53/415.01	WSVECS04 Frhs2[774]: 6 0 582002 shouldn't be
413.53/415.01	WSVECS04 Frhs2[778]: 6 0 511550 shouldn't be
413.53/415.01	WSVECS04 Frhs2[779]: 6 0 314631 shouldn't be
413.53/415.01	WSVECS04 Frhs2[786]: 6 0 419658 shouldn't be
413.53/415.01	WSVECS04 Frhs2[787]: 6 0 319336 shouldn't be
413.53/415.01	WSVECS04 Frhs2[793]: 6 0 405665 shouldn't be
413.53/415.01	WSVECS04 Frhs2[796]: 6 0 566304 shouldn't be
413.53/415.01	WSVECS04 Frhs2[797]: 6 0 310862 shouldn't be
413.53/415.01	WSVECS04 Frhs2[801]: 6 0 290866 shouldn't be
413.53/415.01	WSVECS04 Frhs2[806]: 6 0 292044 shouldn't be
413.53/415.01	WSVECS04 Frhs2[811]: 6 0 305803 shouldn't be
413.53/415.01	WSVECS04 Frhs2[814]: 6 0 685373 shouldn't be
413.53/415.01	WSVECS04 Frhs2[826]: 6 0 24091.1 shouldn't be
413.53/415.01	WSVECS04 Frhs2[835]: 6 0 283387 shouldn't be
413.64/415.01	WSVECS04 Frhs2[836]: 6 0 496760 shouldn't be
413.64/415.01	WSVECS04 Frhs2[840]: 6 0 246412 shouldn't be
413.64/415.01	WSVECS04 Frhs2[847]: 6 0 43490.8 shouldn't be
413.64/415.01	WSVECS04 Frhs2[848]: 6 0 50694.2 shouldn't be
413.64/415.01	WSVECS04 Frhs2[855]: 6 0 527602 shouldn't be
413.64/415.01	WSVECS04 Frhs2[856]: 6 0 287669 shouldn't be
413.64/415.01	WSVECS04 Frhs2[865]: 6 0 303066 shouldn't be
413.64/415.01	WSVECS04 Frhs2[877]: 6 0 10061.8 shouldn't be
413.64/415.01	WSVECS04 Frhs2[884]: 6 0 221340 shouldn't be
413.64/415.01	WSVECS04 Frhs2[906]: 6 0 292220 shouldn't be
413.64/415.01	WSVECS04 Frhs2[911]: 6 0 484486 shouldn't be
413.64/415.01	WSVECS04 Frhs2[925]: 6 0 19404 shouldn't be
413.64/415.01	WSVECS04 Frhs2[930]: 6 0 53246 shouldn't be
413.64/415.01	WSVECS04 Frhs2[936]: 6 0 480640 shouldn't be
413.64/415.01	WSVECS04 Frhs2[937]: 6 0 359935 shouldn't be
413.64/415.01	WSVECS04 Frhs2[938]: 6 -117495 0 shouldn't be
413.64/415.01	WSVECS04 Frhs2[944]: 6 0 90442.6 shouldn't be
413.64/415.01	WSVECS04 Frhs2[946]: 6 0 544544 shouldn't be
413.64/415.01	WSVECS04 Frhs2[947]: 6 0 139049 shouldn't be
413.64/415.01	WSVECS04 Frhs2[948]: 6 0 8245.72 shouldn't be
413.64/415.01	WSVECS04 Frhs2[950]: 6 0 449945 shouldn't be
413.64/415.01	WSVECS04 Frhs2[951]: 6 0 304466 shouldn't be
413.64/415.01	WSVECS04 Frhs2[961]: 6 0 299018 shouldn't be
413.64/415.01	WSVECS04 Frhs2[985]: 6 0 468006 shouldn't be
413.64/415.01	WSVECS04 Frhs2[987]: 6 0 280674 shouldn't be
413.64/415.01	WSVECS04 Frhs2[990]: 6 0 368977 shouldn't be
413.64/415.01	WSVECS04 Frhs2[997]: 6 0 25101.7 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1003]: 6 0 235062 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1006]: 6 0 276645 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1010]: 6 0 450840 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1011]: 6 0 307658 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1024]: 6 0 605774 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1034]: 6 0 163238 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1035]: 6 0 327534 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1040]: 6 0 252985 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1053]: 6 0 238494 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1058]: 6 0 332068 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1060]: 6 0 457211 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1068]: 6 0 463627 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1082]: 6 0 620249 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1083]: 6 0 258594 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1086]: 6 0 575500 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1087]: 6 0 398012 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1093]: 6 0 676408 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1094]: 6 0 346734 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1097]: 6 0 56141.3 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1105]: 6 0 216892 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1111]: 6 0 662630 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1115]: 6 0 338096 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1117]: 6 0 76358.8 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1118]: 6 0 148852 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1119]: 6 0 287190 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1121]: 6 0 3590.83 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1123]: 6 0 256177 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1124]: 6 0 557267 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1125]: 6 0 101218 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1129]: 6 0 426670 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1130]: 6 0 80886.6 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1140]: 6 0 656639 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1145]: 6 0 146922 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1148]: 6 0 28254.3 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1164]: 6 0 681293 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1167]: 6 0 14592 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1183]: 6 0 300602 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1185]: 6 0 814480 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1190]: 6 0 702863 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1194]: 6 0 230049 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1197]: 6 0 71126.8 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1206]: 6 0 251633 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1207]: 6 0 129722 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1210]: 6 0 277976 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1214]: 6 0 712874 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1240]: 6 0 303471 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1247]: 6 0 221537 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1260]: 6 0 459884 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1261]: 6 0 296743 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1274]: 6 0 602638 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1275]: 6 -14960 0 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1278]: 6 0 540149 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1283]: 6 0 76700.2 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1290]: 6 0 237001 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1301]: 6 0 212386 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1306]: 6 0 263444 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1311]: 6 0 317738 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1314]: 6 0 717053 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1324]: 6 0 589538 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1326]: 6 0 790678 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1331]: 6 0 523092 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1335]: 6 0 895535 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1340]: 6 0 788364 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1344]: 6 0 355032 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1345]: 6 0 124398 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1346]: 6 0 434858 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1351]: 6 0 295637 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1356]: 6 0 292133 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1361]: 6 0 305255 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1364]: 6 0 700325 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1374]: 6 0 611570 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1376]: 6 0 830371 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1378]: 6 0 523489 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1385]: 6 0 289372 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1386]: 6 0 703118 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1387]: 6 0 257329 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1390]: 6 0 530724 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1394]: 6 0 344632 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1396]: 6 0 579621 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1398]: 6 0 28698.4 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1401]: 6 0 211906 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1406]: 6 0 263093 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1411]: 6 0 316730 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1424]: 6 0 588593 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1427]: 6 0 289731 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1433]: 6 0 166256 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1434]: 6 0 237642 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1440]: 6 0 537442 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1453]: 6 0 54123.8 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1458]: 6 0 364796 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1460]: 6 0 472379 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1473]: 6 0 300561 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1482]: 6 0 546649 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1490]: 6 0 679230 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1501]: 6 0 288941 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1503]: 6 0 235359 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1506]: 6 0 271868 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1511]: 6 0 308423 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1523]: 6 0 304416 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1524]: 6 0 602638 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1528]: 6 0 541121 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1532]: 6 0 563482 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1534]: 6 0 233427 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1536]: 6 0 774216 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1540]: 6 0 257122 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1544]: 6 0 294446 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1546]: 6 0 287266 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1555]: 6 0 527850 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1575]: 6 0 19968 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1580]: 6 -4096 0 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1594]: 6 0 206170 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1597]: 6 0 13390 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1608]: 6 0 158173 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1644]: 6 0 299824 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1648]: 6 0 6668.38 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1656]: 6 0 321222 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1658]: 6 0 263628 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1660]: 6 0 233236 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1661]: 6 0 682418 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1668]: 6 0 189305 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1673]: 6 0 254312 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1674]: 6 0 545955 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1676]: 6 0 556911 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1678]: 6 0 26325.5 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1679]: 6 0 174023 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1682]: 6 0 59043.3 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1683]: 6 0 334653 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1686]: 6 0 160328 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1693]: 6 0 206293 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1696]: 6 0 106753 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1701]: 6 0 213725 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1706]: 6 0 232565 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1711]: 6 0 317899 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1714]: 6 0 692213 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1724]: 6 0 568078 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1728]: 6 0 499829 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1737]: 6 0 332443 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1746]: 6 0 163584 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1772]: 6 0 237190 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1783]: 6 0 84776.3 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1792]: 6 0 3746.06 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1797]: 6 0 12160.6 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1825]: 6 0 17679 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1848]: 6 0 3920.38 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1853]: 6 0 55046.8 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1858]: 6 0 337108 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1860]: 6 0 472899 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1868]: 6 0 459007 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1873]: 6 0 298893 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1882]: 6 0 547462 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1887]: 6 0 342352 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1896]: 6 0 124023 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1906]: 6 0 282188 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1907]: 6 0 117178 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1911]: 6 0 558988 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1914]: 6 0 706478 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1931]: 6 0 625129 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1933]: 6 0 138403 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1938]: 6 0 366603 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1940]: 6 0 627064 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1943]: 6 0 318212 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1946]: 6 0 99183.7 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1957]: 6 0 135754 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1960]: 6 0 260819 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1964]: 6 0 684170 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1981]: 6 0 626104 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1993]: 6 0 225252 shouldn't be
413.64/415.01	WSVECS04 Frhs2[1997]: 6 0 67789.8 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2003]: 6 0 245814 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2011]: 6 0 498583 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2024]: 6 0 589538 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2028]: 6 0 536956 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2032]: 6 0 561937 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2033]: 6 0 195386 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2036]: 6 0 784677 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2040]: 6 0 643064 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2043]: 6 0 429404 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2052]: 6 -361 0 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2055]: 6 0 528015 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2059]: 6 0 708420 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2063]: 6 0 262035 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2065]: 6 0 306711 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2067]: 6 0 291 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2069]: 6 0 238390 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2071]: 6 -1600 0 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2072]: 6 0 255131 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2075]: 6 0 18423 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2080]: 6 -4489 0 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2088]: 6 0 374070 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2093]: 6 0 342117 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2107]: 6 0 133642 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2114]: 6 0 690749 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2117]: 6 0 20875 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2131]: 6 0 627733 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2143]: 6 0 252612 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2144]: 6 0 294411 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2147]: 6 -20736 0 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2151]: 6 0 78060 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2183]: 6 0 52248.3 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2191]: 6 0 63783.3 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2193]: 6 0 311669 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2197]: 6 -32400 0 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2208]: 6 0 544287 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2210]: 6 0 445633 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2211]: 6 0 697469 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2218]: 6 0 111614 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2223]: 6 0 175824 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2224]: 6 0 572162 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2226]: 6 0 591663 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2228]: 6 0 508175 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2229]: 6 0 317419 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2233]: 6 0 69503.6 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2235]: 6 0 807955 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2236]: 6 0 429690 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2237]: 6 0 318946 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2240]: 6 0 694439 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2243]: 6 0 418421 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2246]: 6 0 568448 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2268]: 6 0 458062 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2294]: 6 0 253588 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2311]: 6 0 682418 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2312]: 6 0 1853.82 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2317]: 6 0 59669.3 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2318]: 6 0 150097 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2320]: 6 0 212190 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2323]: 6 0 271872 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2324]: 6 0 570707 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2329]: 6 0 441950 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2330]: 6 0 78353.6 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2333]: 6 0 86123.6 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2335]: 6 0 827450 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2337]: 6 0 276834 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2338]: 6 -51565.4 0 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2340]: 6 0 679052 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2344]: 6 0 338528 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2346]: 6 0 505259 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2347]: 6 -322356 0 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2348]: 6 0 38121.4 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2349]: 6 0 364649 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2361]: 6 0 684170 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2367]: 6 0 43301.3 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2368]: 6 0 158777 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2372]: 6 0 306584 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2373]: 6 0 285249 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2374]: 6 0 546960 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2375]: 6 0 34024.8 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2376]: 6 0 578447 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2378]: 6 0 461525 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2379]: 6 0 450166 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2380]: 6 0 66473.6 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2381]: 6 0 677889 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2383]: 6 0 220909 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2384]: 6 0 283054 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2385]: 6 0 297339 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2386]: 6 0 377638 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2387]: 6 0 270449 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2390]: 6 0 497132 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2394]: 6 0 325588 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2396]: 6 0 546932 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2397]: 6 0 70394.1 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2398]: 6 0 26017.4 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2411]: 6 0 647270 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2422]: 6 0 208941 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2430]: 6 0 15020.9 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2433]: 6 0 33912 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2435]: 6 0 826402 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2440]: 6 0 662607 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2447]: 6 0 46169.1 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2453]: 6 0 50558.8 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2461]: 6 0 666893 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2462]: 6 0 84867.4 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2463]: 6 0 197435 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2468]: 6 0 495836 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2470]: 6 0 316323 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2473]: 6 0 515611 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2474]: 6 0 548511 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2476]: 6 0 569751 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2478]: 6 0 333941 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2479]: 6 0 303541 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2482]: 6 0 369002 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2483]: 6 0 323549 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2486]: 6 0 267436 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2487]: 6 0 131346 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2490]: 6 0 658143 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2493]: 6 0 202453 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2496]: 6 0 111801 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2500]: 6 0 261349 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2511]: 6 0 633590 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2522]: 6 0 317675 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2524]: 6 0 540170 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2526]: 6 0 582783 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2529]: 6 0 415966 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2530]: 6 0 75441.6 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2533]: 6 0 340674 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2540]: 6 0 621527 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2542]: 6 0 156188 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2544]: 6 0 324416 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2547]: 6 0 20321.7 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2548]: 6 0 37798.4 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2551]: 6 0 3.49147e+06 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2552]: 6 0 1.84854e+06 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2554]: 6 0 1.80543e+06 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2563]: 6 0 3.28715e+06 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2569]: 6 0 876024 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2571]: 6 0 3.77826e+06 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2580]: 6 0 182712 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2598]: 6 0 3.25213e+06 shouldn't be
413.64/415.01	WSVECS04 Frhs2[2869]: 6 0 289184 shouldn't be
413.64/415.01	WSVECS04 Frhs2[3004]: 6 0 488732 shouldn't be
413.64/415.01	WSVECS04 Frhs2[3438]: 6 -595060 0 shouldn't be
413.64/415.01	WSVECS04 Frhs2[3587]: 6 0 170767 shouldn't be
413.64/415.01	WSVECS04 Frhs2[3951]: 6 0 681293 shouldn't be
413.64/415.01	WSVECS04 Frhs2[4349]: 6 0 185515 shouldn't be
413.64/415.01	WSVECS04 Frhs2[4410]: 6 0 16047.1 shouldn't be
413.64/415.01	WSVECS04 Frhs2[4638]: 6 -50653 0 shouldn't be
413.64/415.01	WSVECS04 Frhs2[4804]: 6 0 180958 shouldn't be
413.64/415.01	WSVECS04 Frhs2[4875]: 6 -1.7329e+06 0 shouldn't be
413.64/415.01	WSVECS04 Frhs2[4888]: 6 -1.7327e+06 0 shouldn't be
413.64/415.01	WSVECS04 Frhs2[5018]: 6 0 171512 shouldn't be
439.25/440.72	c #Conflicts:     125000 | #Constraints:      15760
439.25/440.72	c #Conflicts:     126000 | #Constraints:      16764
439.25/440.72	c #Conflicts:     127000 | #Constraints:      17767
439.25/440.72	c #Conflicts:     128000 | #Constraints:      18770
439.25/440.72	c #Conflicts:     129000 | #Constraints:      19771
439.25/440.72	c #Conflicts:     130000 | #Constraints:      20771
439.25/440.72	c #Conflicts:     131000 | #Constraints:      21772
439.25/440.72	c INPROCESSING
439.25/440.72	c GARBAGE COLLECT
439.25/440.72	c rational objective 1.74507e+06
464.68/466.25	c #Conflicts:     132000 | #Constraints:      15411
464.68/466.25	c #Conflicts:     133000 | #Constraints:      16415
464.68/466.25	c #Conflicts:     134000 | #Constraints:      17416
464.68/466.25	c #Conflicts:     135000 | #Constraints:      18417
464.68/466.25	c #Conflicts:     136000 | #Constraints:      19417
464.68/466.25	c #Conflicts:     137000 | #Constraints:      20417
464.68/466.25	c #Conflicts:     138000 | #Constraints:      21418
464.68/466.25	c #Conflicts:     139000 | #Constraints:      22419
464.68/466.25	c INPROCESSING
464.68/466.25	c GARBAGE COLLECT
464.68/466.25	c rational objective 1.74735e+06
497.58/499.22	c #Conflicts:     140000 | #Constraints:      15878
497.58/499.22	c #Conflicts:     141000 | #Constraints:      16878
497.58/499.22	c #Conflicts:     142000 | #Constraints:      17878
497.58/499.22	c #Conflicts:     143000 | #Constraints:      18878
497.58/499.22	c #Conflicts:     144000 | #Constraints:      19891
497.58/499.22	c #Conflicts:     145000 | #Constraints:      20921
497.58/499.22	c #Conflicts:     146000 | #Constraints:      21936
497.58/499.22	c #Conflicts:     147000 | #Constraints:      22943
497.58/499.22	c INPROCESSING
497.58/499.22	c GARBAGE COLLECT
497.58/499.22	c rational objective 1.74765e+06
525.59/527.30	c #Conflicts:     148000 | #Constraints:      16259
525.59/527.30	c #Conflicts:     149000 | #Constraints:      17260
525.59/527.30	c #Conflicts:     150000 | #Constraints:      18260
525.59/527.30	c #Conflicts:     151000 | #Constraints:      19260
525.59/527.30	c #Conflicts:     152000 | #Constraints:      20260
525.59/527.30	c #Conflicts:     153000 | #Constraints:      21260
525.59/527.30	c #Conflicts:     154000 | #Constraints:      22260
525.59/527.30	c #Conflicts:     155000 | #Constraints:      23260
525.59/527.30	c INPROCESSING
525.59/527.30	c GARBAGE COLLECT
525.59/527.30	c rational objective 1.74796e+06
560.68/562.54	c #Conflicts:     156000 | #Constraints:      16372
560.68/562.54	c #Conflicts:     157000 | #Constraints:      17374
560.68/562.54	c #Conflicts:     158000 | #Constraints:      18374
560.68/562.54	c #Conflicts:     159000 | #Constraints:      19375
560.68/562.54	c #Conflicts:     160000 | #Constraints:      20377
560.68/562.54	c #Conflicts:     161000 | #Constraints:      21378
560.68/562.54	c #Conflicts:     162000 | #Constraints:      22378
560.68/562.54	c #Conflicts:     163000 | #Constraints:      23378
560.68/562.54	c INPROCESSING
560.68/562.54	c GARBAGE COLLECT
560.68/562.54	c rational objective 1.75065e+06
594.68/596.63	c #Conflicts:     164000 | #Constraints:      16135
594.68/596.63	c #Conflicts:     165000 | #Constraints:      17136
594.68/596.63	c #Conflicts:     166000 | #Constraints:      18136
594.68/596.63	c #Conflicts:     167000 | #Constraints:      19137
594.68/596.63	c #Conflicts:     168000 | #Constraints:      20137
594.68/596.63	c #Conflicts:     169000 | #Constraints:      21137
594.68/596.63	c #Conflicts:     170000 | #Constraints:      22137
594.68/596.63	c #Conflicts:     171000 | #Constraints:      23137
594.68/596.63	c INPROCESSING
594.68/596.63	c GARBAGE COLLECT
594.68/596.63	c rational objective 1.75195e+06
637.55/639.62	c #Conflicts:     172000 | #Constraints:      16062
637.55/639.62	c #Conflicts:     173000 | #Constraints:      17062
637.55/639.62	c #Conflicts:     174000 | #Constraints:      18062
637.55/639.62	c #Conflicts:     175000 | #Constraints:      19063
637.55/639.62	c #Conflicts:     176000 | #Constraints:      20082
637.55/639.62	c #Conflicts:     177000 | #Constraints:      21124
637.55/639.62	c #Conflicts:     178000 | #Constraints:      22180
637.55/639.62	c #Conflicts:     179000 | #Constraints:      23218
637.55/639.62	c #Conflicts:     180000 | #Constraints:      24237
637.55/639.62	c INPROCESSING
637.55/639.62	c GARBAGE COLLECT
637.55/639.62	c rational objective 1.75199e+06
670.66/672.88	c #Conflicts:     181000 | #Constraints:      16819
670.66/672.88	c #Conflicts:     182000 | #Constraints:      17819
670.66/672.88	c #Conflicts:     183000 | #Constraints:      18819
670.66/672.88	c #Conflicts:     184000 | #Constraints:      19820
670.66/672.88	c #Conflicts:     185000 | #Constraints:      20825
670.66/672.88	c #Conflicts:     186000 | #Constraints:      21825
670.66/672.88	c #Conflicts:     187000 | #Constraints:      22826
670.66/672.88	c #Conflicts:     188000 | #Constraints:      23826
670.66/672.88	c #Conflicts:     189000 | #Constraints:      24828
670.66/672.88	c INPROCESSING
670.66/672.88	c GARBAGE COLLECT
670.66/672.88	c rational objective 1.7522e+06
704.77/707.05	c #Conflicts:     190000 | #Constraints:      17224
704.77/707.05	c #Conflicts:     191000 | #Constraints:      18226
704.77/707.05	c #Conflicts:     192000 | #Constraints:      19227
704.77/707.05	c #Conflicts:     193000 | #Constraints:      20227
704.77/707.05	c #Conflicts:     194000 | #Constraints:      21229
704.77/707.05	c #Conflicts:     195000 | #Constraints:      22234
704.77/707.05	c #Conflicts:     196000 | #Constraints:      23234
704.77/707.05	c #Conflicts:     197000 | #Constraints:      24234
704.77/707.05	c #Conflicts:     198000 | #Constraints:      25234
704.77/707.05	c INPROCESSING
704.77/707.05	c GARBAGE COLLECT
704.77/707.05	c rational objective 1.75276e+06
731.38/733.79	c #Conflicts:     199000 | #Constraints:      17433
731.38/733.79	c #Conflicts:     200000 | #Constraints:      18433
731.38/733.79	c #Conflicts:     201000 | #Constraints:      19435
731.38/733.79	c #Conflicts:     202000 | #Constraints:      20484
731.38/733.79	c #Conflicts:     203000 | #Constraints:      21528
731.38/733.79	c #Conflicts:     204000 | #Constraints:      22538
731.38/733.79	c #Conflicts:     205000 | #Constraints:      23539
731.38/733.79	c #Conflicts:     206000 | #Constraints:      24558
731.38/733.79	c #Conflicts:     207000 | #Constraints:      25567
731.38/733.79	c INPROCESSING
731.38/733.79	c GARBAGE COLLECT
731.38/733.79	WSVECS04 Frhs2[18]: 6 0 2.41922e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[19]: 6 0 7.85207e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[46]: 6 0 2.74825e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[54]: 6 0 13291.1 shouldn't be
731.38/733.79	WSVECS04 Frhs2[68]: 6 0 1.29955e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[82]: 6 0 2.31754e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[96]: 6 0 821847 shouldn't be
731.38/733.79	WSVECS04 Frhs2[110]: 6 0 91713.9 shouldn't be
731.38/733.79	WSVECS04 Frhs2[132]: 6 0 1.74018e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[137]: 6 0 6.80945e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[146]: 6 0 860129 shouldn't be
731.38/733.79	WSVECS04 Frhs2[153]: 6 0 1.3238e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[155]: 6 0 346089 shouldn't be
731.38/733.79	WSVECS04 Frhs2[158]: 6 0 1.35283e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[168]: 6 0 1.1565e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[171]: 6 0 1.28978e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[175]: 6 -516524 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[185]: 6 0 2.87731e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[196]: 6 0 763327 shouldn't be
731.38/733.79	WSVECS04 Frhs2[218]: 6 0 1.29968e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[232]: 6 0 2.32342e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[244]: 6 0 137166 shouldn't be
731.38/733.79	WSVECS04 Frhs2[246]: 6 0 814452 shouldn't be
731.38/733.79	WSVECS04 Frhs2[251]: 6 0 64175 shouldn't be
731.38/733.79	WSVECS04 Frhs2[257]: 6 0 79934.9 shouldn't be
731.38/733.79	WSVECS04 Frhs2[258]: 6 0 1.33875e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[271]: 6 0 1.39056e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[275]: 6 0 5.86135e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[288]: 6 -7.02102e+06 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[312]: 6 0 41614 shouldn't be
731.38/733.79	WSVECS04 Frhs2[318]: 6 0 1.29519e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[325]: 6 0 264704 shouldn't be
731.38/733.79	WSVECS04 Frhs2[344]: 6 0 131670 shouldn't be
731.38/733.79	WSVECS04 Frhs2[347]: 6 -234022 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[354]: 6 0 12911.1 shouldn't be
731.38/733.79	WSVECS04 Frhs2[358]: 6 0 1.35407e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[368]: 6 0 1.29984e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[371]: 6 0 1.45399e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[382]: 6 0 2.30072e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[392]: 6 0 1337 shouldn't be
731.38/733.79	WSVECS04 Frhs2[396]: 6 0 784440 shouldn't be
731.38/733.79	WSVECS04 Frhs2[397]: 6 -83507.4 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[408]: 6 0 1.33825e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[421]: 6 0 566473 shouldn't be
731.38/733.79	WSVECS04 Frhs2[425]: 6 0 5.81756e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[438]: 6 -638117 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[440]: 6 0 5.48704e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[447]: 6 -73203.4 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[453]: 6 0 129157 shouldn't be
731.38/733.79	WSVECS04 Frhs2[454]: 6 0 18406.1 shouldn't be
731.38/733.79	WSVECS04 Frhs2[462]: 6 0 37653 shouldn't be
731.38/733.79	WSVECS04 Frhs2[463]: 6 0 8177 shouldn't be
731.38/733.79	WSVECS04 Frhs2[466]: 6 0 24440 shouldn't be
731.38/733.79	WSVECS04 Frhs2[508]: 6 0 1.3476e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[521]: 6 0 1.32049e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[542]: 6 0 4176 shouldn't be
731.38/733.79	WSVECS04 Frhs2[544]: 6 0 149206 shouldn't be
731.38/733.79	WSVECS04 Frhs2[547]: 6 -229712 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[560]: 6 0 3.23827e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[561]: 6 0 6.32883e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[594]: 6 0 136279 shouldn't be
731.38/733.79	WSVECS04 Frhs2[596]: 6 0 817060 shouldn't be
731.38/733.79	WSVECS04 Frhs2[610]: 6 0 90601.9 shouldn't be
731.38/733.79	WSVECS04 Frhs2[647]: 6 0 280778 shouldn't be
731.38/733.79	WSVECS04 Frhs2[652]: 6 0 17904.5 shouldn't be
731.38/733.79	WSVECS04 Frhs2[655]: 6 0 8.14947e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[658]: 6 0 1.34512e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[667]: 6 0 9144 shouldn't be
731.38/733.79	WSVECS04 Frhs2[669]: 6 0 2925 shouldn't be
731.38/733.79	WSVECS04 Frhs2[697]: 6 -114712 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[708]: 6 0 1.34352e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[725]: 6 0 5.83544e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[744]: 6 0 157654 shouldn't be
731.38/733.79	WSVECS04 Frhs2[745]: 6 0 6.07297e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[747]: 6 -58262.4 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[751]: 6 0 3420 shouldn't be
731.38/733.79	WSVECS04 Frhs2[753]: 6 0 121597 shouldn't be
731.38/733.79	WSVECS04 Frhs2[754]: 6 0 20102.1 shouldn't be
731.38/733.79	WSVECS04 Frhs2[758]: 6 0 1.3543e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[762]: 6 0 35589 shouldn't be
731.38/733.79	WSVECS04 Frhs2[782]: 6 0 2.3241e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[794]: 6 0 138934 shouldn't be
731.38/733.79	WSVECS04 Frhs2[796]: 6 0 815572 shouldn't be
731.38/733.79	WSVECS04 Frhs2[801]: 6 0 46844 shouldn't be
731.38/733.79	WSVECS04 Frhs2[813]: 6 0 4760 shouldn't be
731.38/733.79	WSVECS04 Frhs2[832]: 6 0 2.31976e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[844]: 6 0 167295 shouldn't be
731.38/733.79	WSVECS04 Frhs2[846]: 6 0 810280 shouldn't be
731.38/733.79	WSVECS04 Frhs2[852]: 6 0 12875.5 shouldn't be
731.38/733.79	WSVECS04 Frhs2[855]: 6 0 8.1526e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[859]: 6 0 2595 shouldn't be
731.38/733.79	WSVECS04 Frhs2[876]: 6 0 138099 shouldn't be
731.38/733.79	WSVECS04 Frhs2[888]: 6 0 8.09139e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[891]: 6 0 475859 shouldn't be
731.38/733.79	WSVECS04 Frhs2[892]: 6 0 8.08299e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[893]: 6 -3.41881e+07 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[901]: 6 0 16380 shouldn't be
731.38/733.79	WSVECS04 Frhs2[923]: 6 0 19968 shouldn't be
731.38/733.79	WSVECS04 Frhs2[924]: 6 0 12749 shouldn't be
731.38/733.79	WSVECS04 Frhs2[942]: 6 0 585 shouldn't be
731.38/733.79	WSVECS04 Frhs2[951]: 6 0 60444 shouldn't be
731.38/733.79	WSVECS04 Frhs2[958]: 6 0 1.34216e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[975]: 6 0 1.42437e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[988]: 6 0 17336 shouldn't be
731.38/733.79	WSVECS04 Frhs2[994]: 6 0 246059 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1001]: 6 0 43740 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1004]: 6 0 7727.06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1013]: 6 0 4320 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1023]: 6 0 16864 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1032]: 6 0 2.3297e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1044]: 6 0 134911 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1046]: 6 0 830127 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1053]: 6 0 122709 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1054]: 6 0 20758.1 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1062]: 6 0 42462 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1078]: 6 0 42051 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1082]: 6 0 2.31777e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1094]: 6 0 169508 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1096]: 6 0 807720 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1108]: 6 0 1.25943e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1110]: 6 0 2.96796e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1121]: 6 0 646423 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1125]: 6 0 5.84773e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1142]: 6 0 197 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1144]: 6 0 169294 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1145]: 6 0 6.15746e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1147]: 6 -887853 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1158]: 6 0 1.3444e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1171]: 6 0 9.1369e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1197]: 6 0 73234.7 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1201]: 6 0 24380 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1208]: 6 0 1.33707e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1217]: 6 0 10209 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1221]: 6 0 9.10517e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1230]: 6 0 604515 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1247]: 6 0 509214 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1248]: 6 0 6.1845e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1251]: 6 0 28188 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1253]: 6 0 128022 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1254]: 6 0 14383.1 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1262]: 6 0 7053 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1263]: 6 0 9072 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1266]: 6 0 1053 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1273]: 6 0 21000 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1274]: 6 0 6989 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1278]: 6 0 61204 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1279]: 6 0 43419 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1281]: 6 0 83457.8 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1294]: 6 0 126379 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1296]: 6 0 831135 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1328]: 6 0 26400 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1344]: 6 0 203123 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1346]: 6 0 778975 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1348]: 6 0 6.05255e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1351]: 6 0 51615 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1356]: 6 0 5985 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1378]: 6 0 44544 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1394]: 6 0 191451 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1408]: 6 0 1.34267e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1428]: 6 0 24475 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1444]: 6 0 157148 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1454]: 6 0 13663.1 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1462]: 6 0 12069 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1468]: 6 0 2.08261e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1473]: 6 0 9393 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1474]: 6 0 183758 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1478]: 6 0 32916 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1479]: 6 0 42244 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1482]: 6 0 1.01223e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1496]: 6 0 814452 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1501]: 6 0 44919 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1528]: 6 0 62176 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1531]: 6 0 90706.8 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1536]: 6 0 2.18108e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1544]: 6 0 127846 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1546]: 6 0 831591 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1557]: 6 -574966 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1563]: 6 -11920 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1567]: 6 -291 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1571]: 6 0 9.13482e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1578]: 6 0 14539 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1579]: 6 0 23155 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1586]: 6 0 2.12171e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1594]: 6 0 49683.9 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1596]: 6 0 796260 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1598]: 6 -691381 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1602]: 6 0 8400.52 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1608]: 6 0 1.34576e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1612]: 6 0 30174 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1631]: 6 0 103874 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1636]: 6 0 2.08921e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1647]: 6 -237440 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1668]: 6 0 1.28039e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1682]: 6 0 2.1285e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1696]: 6 0 634129 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1728]: 6 0 20884 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1731]: 6 0 113314 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1732]: 6 0 1.00835e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1744]: 6 0 8.00464e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1746]: 6 0 8.6688e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1760]: 6 0 32117 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1781]: 6 0 66801.8 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1786]: 6 0 2.16582e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1794]: 6 0 155387 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1810]: 6 0 69232 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1812]: 6 0 48237 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1815]: 6 0 10080 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1823]: 6 0 630264 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1831]: 6 0 113887 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1836]: 6 0 2.15266e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1838]: 6 0 7.80412e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1844]: 6 0 150414 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1845]: 6 0 6.17886e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1846]: 6 0 761175 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1847]: 6 -60099.4 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1854]: 6 0 12326.1 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1878]: 6 0 33939 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1886]: 6 0 2.21148e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1901]: 6 0 32768 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1908]: 6 0 1.3446e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1921]: 6 0 9.12544e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1928]: 6 0 54633 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1930]: 6 0 618750 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1936]: 6 0 2.08639e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1937]: 6 0 6035.08 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1958]: 6 0 1.33646e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1980]: 6 0 613654 shouldn't be
731.38/733.79	WSVECS04 Frhs2[1986]: 6 0 1.99548e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2001]: 6 0 25344 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2004]: 6 0 5227.06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2008]: 6 0 6.71416e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2028]: 6 0 58011 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2029]: 6 0 29748 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2031]: 6 0 52798.8 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2036]: 6 0 2.19154e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2055]: 6 0 8.15302e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2057]: 6 0 208185 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2058]: 6 0 1.34571e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2059]: 6 0 11643 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2069]: 6 0 5984 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2071]: 6 0 9.13706e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2080]: 6 0 620190 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2081]: 6 0 153247 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2086]: 6 0 2.11248e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2088]: 6 0 7.81255e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2108]: 6 0 1.33899e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2121]: 6 0 9.12634e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2136]: 6 0 2.02335e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2162]: 6 0 29869 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2181]: 6 0 54306.8 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2186]: 6 0 2.08639e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2189]: 6 0 7440 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2205]: 6 0 286802 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2218]: 6 0 1.30016e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2232]: 6 0 2.32325e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2244]: 6 0 161316 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2246]: 6 0 817716 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2254]: 6 0 16198.1 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2258]: 6 0 1.35392e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2260]: 6 0 139882 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2262]: 6 0 47194 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2263]: 6 0 13937 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2266]: 6 0 29120 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2278]: 6 0 36900 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2281]: 6 0 93921.8 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2286]: 6 0 2.18546e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2302]: 6 0 16868.5 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2306]: 6 0 154893 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2308]: 6 0 1.26165e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2318]: 6 0 1.29538e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2321]: 6 0 1.32436e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2325]: 6 0 280256 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2332]: 6 0 2.28037e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2338]: 6 -125372 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2342]: 6 0 4617 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2344]: 6 0 171766 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2347]: 6 -225347 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2351]: 6 0 35420 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2358]: 6 0 1.66411e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2368]: 6 0 1.29625e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2371]: 6 0 1.30609e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2375]: 6 0 274945 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2382]: 6 0 2.31083e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2388]: 6 -179091 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2396]: 6 0 796200 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2397]: 6 -67554.4 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2421]: 6 0 1.30169e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2431]: 6 0 6.82788e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2448]: 6 0 6.10944e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2453]: 6 0 136149 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2454]: 6 0 17503.1 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2468]: 6 0 5.36373e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2508]: 6 0 1.34354e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2525]: 6 0 5.84089e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2544]: 6 0 157654 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2547]: 6 -981874 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2552]: 6 0 1.09557e+08 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2561]: 6 0 1.3073e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2564]: 6 0 5.21767e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2569]: 6 0 1.33753e+08 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2576]: 6 0 5.28013e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2595]: 6 0 9.03348e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2596]: 6 0 1.32517e+08 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2651]: 6 0 1.3493e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[2995]: 6 0 2.36049e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[3004]: 6 0 9.11966e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[3313]: 6 0 4.30692e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[3405]: 6 -35937 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[3846]: 6 0 144973 shouldn't be
731.38/733.79	WSVECS04 Frhs2[3861]: 6 0 5.24104e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[3961]: 6 0 5.11397e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[4105]: 6 -1.07673e+06 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[4147]: 6 -1.12143e+07 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[4261]: 6 0 5.26048e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[4605]: 6 -1.06992e+06 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[4625]: 6 0 405288 shouldn't be
731.38/733.79	WSVECS04 Frhs2[4642]: 6 0 1.06095e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[4763]: 6 0 2.55512e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[4842]: 6 0 1.07004e+07 shouldn't be
731.38/733.79	WSVECS04 Frhs2[4856]: 6 0 5.80154e+06 shouldn't be
731.38/733.79	WSVECS04 Frhs2[4875]: 6 -1.84203e+07 0 shouldn't be
731.38/733.79	WSVECS04 Frhs2[4888]: 6 -1.19463e+07 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[90]: 6 0 142268 shouldn't be
732.58/734.96	WSVECS04 Frhs2[92]: 6 0 772952 shouldn't be
732.58/734.96	WSVECS04 Frhs2[132]: 6 0 1.74018e+06 shouldn't be
732.58/734.96	WSVECS04 Frhs2[171]: 6 0 1.28978e+06 shouldn't be
732.58/734.96	WSVECS04 Frhs2[175]: 6 -516524 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[190]: 6 0 85731.6 shouldn't be
732.58/734.96	WSVECS04 Frhs2[212]: 6 0 36894 shouldn't be
732.58/734.96	WSVECS04 Frhs2[221]: 6 0 1.45046e+06 shouldn't be
732.58/734.96	WSVECS04 Frhs2[251]: 6 0 64175 shouldn't be
732.58/734.96	WSVECS04 Frhs2[271]: 6 0 1.39056e+06 shouldn't be
732.58/734.96	WSVECS04 Frhs2[321]: 6 0 1.31036e+06 shouldn't be
732.58/734.96	WSVECS04 Frhs2[342]: 6 0 3240 shouldn't be
732.58/734.96	WSVECS04 Frhs2[347]: 6 -234022 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[349]: 6 0 40185 shouldn't be
732.58/734.96	WSVECS04 Frhs2[371]: 6 0 1.45399e+06 shouldn't be
732.58/734.96	WSVECS04 Frhs2[392]: 6 0 1337 shouldn't be
732.58/734.96	WSVECS04 Frhs2[397]: 6 -83507.4 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[421]: 6 0 566473 shouldn't be
732.58/734.96	WSVECS04 Frhs2[438]: 6 -638117 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[440]: 6 0 5.48704e+06 shouldn't be
732.58/734.96	WSVECS04 Frhs2[447]: 6 -73203.4 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[521]: 6 0 1.32049e+06 shouldn't be
732.58/734.96	WSVECS04 Frhs2[540]: 6 0 80667.6 shouldn't be
732.58/734.96	WSVECS04 Frhs2[542]: 6 0 4176 shouldn't be
732.58/734.96	WSVECS04 Frhs2[547]: 6 -229712 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[652]: 6 0 17904.5 shouldn't be
732.58/734.96	WSVECS04 Frhs2[659]: 6 0 12115 shouldn't be
732.58/734.96	WSVECS04 Frhs2[662]: 6 0 14469 shouldn't be
732.58/734.96	WSVECS04 Frhs2[667]: 6 0 9144 shouldn't be
732.58/734.96	WSVECS04 Frhs2[669]: 6 0 2925 shouldn't be
732.58/734.96	WSVECS04 Frhs2[674]: 6 0 1.44326e+06 shouldn't be
732.58/734.96	WSVECS04 Frhs2[692]: 6 0 776715 shouldn't be
732.58/734.96	WSVECS04 Frhs2[697]: 6 -114712 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[699]: 6 0 10296.6 shouldn't be
732.58/734.96	WSVECS04 Frhs2[715]: 6 0 3872 shouldn't be
732.58/734.96	WSVECS04 Frhs2[738]: 6 0 35417 shouldn't be
732.58/734.96	WSVECS04 Frhs2[751]: 6 0 3420 shouldn't be
732.58/734.96	WSVECS04 Frhs2[801]: 6 0 46844 shouldn't be
732.58/734.96	WSVECS04 Frhs2[813]: 6 0 4760 shouldn't be
732.58/734.96	WSVECS04 Frhs2[842]: 6 0 807845 shouldn't be
732.58/734.96	WSVECS04 Frhs2[876]: 6 0 138099 shouldn't be
732.58/734.96	WSVECS04 Frhs2[890]: 6 0 985197 shouldn't be
732.58/734.96	WSVECS04 Frhs2[893]: 6 -3.41881e+07 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[900]: 6 -7.60135e+06 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[901]: 6 0 16380 shouldn't be
732.58/734.96	WSVECS04 Frhs2[938]: 6 -127722 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[942]: 6 0 585 shouldn't be
732.58/734.96	WSVECS04 Frhs2[951]: 6 0 60444 shouldn't be
732.58/734.96	WSVECS04 Frhs2[975]: 6 0 1.42437e+07 shouldn't be
732.58/734.96	WSVECS04 Frhs2[988]: 6 0 17336 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1001]: 6 0 43740 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1013]: 6 0 4320 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1053]: 6 0 122709 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1054]: 6 0 20758.1 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1121]: 6 0 646423 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1142]: 6 0 197 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1197]: 6 0 73234.7 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1201]: 6 0 24380 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1251]: 6 0 28188 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1292]: 6 0 791592 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1342]: 6 0 708192 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1351]: 6 0 51615 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1392]: 6 0 761863 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1442]: 6 0 703486 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1473]: 6 0 9393 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1479]: 6 0 42244 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1492]: 6 0 777912 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1501]: 6 0 44919 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1513]: 6 0 512 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1529]: 6 0 31995 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1542]: 6 0 787206 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1557]: 6 -574966 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1567]: 6 -291 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1578]: 6 0 14539 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1579]: 6 0 23155 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1597]: 6 -242856 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1598]: 6 -691381 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1647]: 6 -237440 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1690]: 6 0 145693 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1696]: 6 0 634129 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1737]: 6 0 17360 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1792]: 6 0 270551 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1802]: 6 0 9200.52 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1804]: 6 0 616214 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1809]: 6 0 3043 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1813]: 6 0 619548 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1815]: 6 0 10080 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1819]: 6 0 5400 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1822]: 6 0 823425 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1823]: 6 0 630264 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1828]: 6 0 848365 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1829]: 6 0 40768 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1847]: 6 -60099.4 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1887]: 6 0 27269 shouldn't be
732.58/734.96	WSVECS04 Frhs2[1901]: 6 0 32768 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2001]: 6 0 25344 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2003]: 6 0 130029 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2037]: 6 0 53144 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2059]: 6 0 11643 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2069]: 6 0 5984 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2205]: 6 0 286802 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2238]: 6 0 4280 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2287]: 6 0 24840 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2306]: 6 0 154893 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2321]: 6 0 1.32436e+06 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2325]: 6 0 280256 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2338]: 6 -125372 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2342]: 6 0 4617 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2347]: 6 -225347 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2351]: 6 0 35420 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2371]: 6 0 1.30609e+06 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2375]: 6 0 274945 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2388]: 6 -179091 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2397]: 6 -67554.4 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2421]: 6 0 1.30169e+06 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2453]: 6 0 136149 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2454]: 6 0 17503.1 shouldn't be
732.58/734.96	WSVECS04 Frhs2[2540]: 6 0 84051.6 shouldn't be
732.58/734.96	WSVECS04 Frhs2[3438]: 6 -4.55179e+06 0 shouldn't be
732.58/734.96	WSVECS04 Frhs2[4625]: 6 0 405288 shouldn't be
770.77/773.29	c #Conflicts:     208000 | #Constraints:      17487
770.77/773.29	c #Conflicts:     209000 | #Constraints:      18487
770.77/773.29	c #Conflicts:     210000 | #Constraints:      19492
770.77/773.29	c #Conflicts:     211000 | #Constraints:      20492
770.77/773.29	c #Conflicts:     212000 | #Constraints:      21492
770.77/773.29	c #Conflicts:     213000 | #Constraints:      22492
770.77/773.29	c #Conflicts:     214000 | #Constraints:      23492
770.77/773.29	c #Conflicts:     215000 | #Constraints:      24492
770.77/773.29	c #Conflicts:     216000 | #Constraints:      25492
770.77/773.29	c INPROCESSING
770.77/773.29	c GARBAGE COLLECT
770.77/773.29	c rational objective 1.75332e+06
792.11/794.68	c #Conflicts:     217000 | #Constraints:      17262
792.11/794.68	c #Conflicts:     218000 | #Constraints:      18263
792.11/794.68	c #Conflicts:     219000 | #Constraints:      19267
792.11/794.68	c #Conflicts:     220000 | #Constraints:      20270
792.11/794.68	c #Conflicts:     221000 | #Constraints:      21274
792.11/794.68	c #Conflicts:     222000 | #Constraints:      22274
792.11/794.68	c bounds 3367493 >= 3367493 @ 782.117
792.11/794.68	c cpu time 782.117 s
792.11/794.68	c deterministic time 79067971327 7.91e+10
792.11/794.68	c optimization time 0.742894 s
792.11/794.68	c total solve time 781.209 s
792.11/794.68	c core-guided solve time 507.517 s
792.11/794.68	c propagation time 422.57 s
792.11/794.68	c conflict analysis time 244.9 s
792.11/794.68	c propagations 41887246
792.11/794.68	c resolve steps 4834207
792.11/794.68	c decisions 656342
792.11/794.68	c conflicts 222017
792.11/794.68	c restarts 510
792.11/794.68	c inprocessing phases 38
792.11/794.68	c garbage collections 38 ,( 100.00 )
792.11/794.68	c input clauses 11126 ,( 87.13 )
792.11/794.68	c input cardinalities 9 ,( 0.07 )
792.11/794.68	c input general constraints 1635 ,( 12.80 )
792.11/794.68	c input average constraint length 75.66
792.11/794.68	c input average constraint degree 172371004.02
792.11/794.68	c learned clauses 36594 ,( 16.29 )
792.11/794.68	c learned cardinalities 389 ,( 0.17 )
792.11/794.68	c learned general constraints 187629 ,( 83.53 )
792.11/794.69	c learned average constraint length 1200.32
792.11/794.69	c learned average constraint degree 10998872402.46
792.11/794.69	c watched  CF 32, 64, 128, Arb: 8502 , 0 , 0 , 0
792.11/794.69	c counting CF 32, 64, 128, Arb: 180763 , 0 , 0 , 0
792.11/794.69	c watched   constraints 8502 ,( 4.49 ) 
792.11/794.69	c counting  constraints 180762 ,( 95.51 ) 
792.11/794.69	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 36495730 , 6743393 , 1143100585 ,( 9270583 , 1133830002 )
792.11/794.69	c gcd simplifications 6050
792.11/794.69	c detected cardinalities 40
792.11/794.69	c weakened non-implied lits 160236263
792.11/794.69	c weakened non-implying lits 1378683
792.11/794.69	c original variables 5100
792.11/794.69	c clausal propagations 27956606
792.11/794.69	c cardinality propagations 564793
792.11/794.69	c watched propagations 149713
792.11/794.69	c counting propagations 12834673
792.11/794.69	c watch lookups 18490450597
792.11/794.69	c watch backjump lookups 0
792.11/794.69	c watch checks 711501293
792.11/794.69	c propagation checks 58876783810
792.11/794.69	c constraint additions 903500534
792.11/794.69	c trail pops 42762246
792.11/794.69	c formula constraints 12510
792.11/794.69	c learned constraints 221762
792.11/794.69	c bound constraints 260
792.11/794.69	c core-guided constraints 0
792.11/794.69	c encountered formula constraints 4183545
792.11/794.69	c encountered learned constraints 783894
792.11/794.69	c encountered bound constraints 13507
792.11/794.69	c encountered core-guided constraints 0
792.11/794.69	c LP total time 164.058 s
792.11/794.69	c LP solve time 118.12 s
792.11/794.69	c LP constraints added 12576
792.11/794.69	c LP constraints removed 41
792.11/794.69	c LP pivots internal 223833
792.11/794.69	c LP pivots root 205425
792.11/794.69	c LP calls 2648
792.11/794.69	c LP optimalities 47
792.11/794.69	c LP no pivot count 1
792.11/794.69	c LP infeasibilities 2585
792.11/794.69	c LP valid Farkas constraints 2575
792.11/794.69	c LP learned Farkas constraints 254
792.11/794.69	c LP basis resets 22
792.11/794.69	c LP cycling count 1
792.11/794.69	c LP singular count 10
792.11/794.69	c LP no primal count 0
792.11/794.69	c LP no farkas count 10
792.11/794.69	c LP other issue count 1
792.11/794.69	c LP Gomory cuts 21
792.11/794.69	c LP learned cuts 45
792.11/794.69	c LP deleted cuts 41
792.11/794.69	c LP encountered Gomory constraints 0
792.11/794.69	c LP encountered Farkas constraints 74514
792.11/794.69	c LP encountered learned Farkas constraints 510
792.11/794.69	c CG auxiliary variables introduced 0
792.11/794.69	c CG solutions found 260
792.11/794.69	c CG cores constructed 0
792.11/794.69	c CG core cardinality constraints returned 0
792.11/794.69	c CG unit cores 0
792.11/794.69	c CG single cores 0
792.11/794.69	c CG blocks removed during cardinality reduction 0
792.11/794.69	c CG first core best 0
792.11/794.69	c CG decision core best 0
792.11/794.69	c CG core reduction tie 0
792.11/794.69	c CG core degree average 0.00
792.11/794.69	c CG core slack average 0.00
792.11/794.69	c CG core upper bound improvements 0
792.11/794.69	c STR number of successful calls 0
792.11/794.69	c STR number of unsuccessful calls 0
792.11/794.69	c STR number of inconclusive calls 0
792.11/794.69	c STR number of successful attempts 0
792.11/794.69	c STR number of unsuccessful attempts 0
792.11/794.69	c STR number of inconclusive attempts 0
792.11/794.69	c STR average degree increase per successful call inf
792.11/794.69	c STR average degree increase per successful attempt inf
792.11/794.69	c STR total number of conflicts for successful attempts 0
792.11/794.69	c STR total number of conflicts for unsuccessful attempts 0
792.11/794.69	c STR total number of conflicts for inconclusive attempts 0
792.11/794.69	c STR average number of conflicts per successful attempt inf
792.11/794.69	c STR average number of conflicts per unsuccessful attempt inf
792.11/794.69	c STR average number of conflicts per inconclusive attempt inf
792.11/794.69	c AVG.sumWPerc 91.34 
792.11/794.69	c bigint constraints 0 
792.11/794.69	o 3367493
792.11/794.69	s OPTIMUM FOUND
792.11/794.69	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

Tue Jul 15 17:26:07 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: 63837 MiB (61507 MiB free)
  memory of node 1: 64465 MiB (62189 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=131113, runsolver pid=131110

[startup+0.10009 s]*
/proc/loadavg: 4.14 4.14 4.09 5/260 131116
/proc/meminfo: memFree=126651248/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=50800 memory=7296 CPUtime=0 cores=4,6
/proc/131116/stat : 131116 (roundingsat) D 131113 131113 130341 0 -1 4456448 297 0 0 0 0 0 0 0 20 0 1 0 174554262 52019200 1824 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 12700 1824 1728 1147 0 126 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 54992 KiB
Current children cumulated memory: 10240 KiB

[startup+0.210732 s]*
/proc/loadavg: 4.14 4.14 4.09 5/260 131116
/proc/meminfo: memFree=126651024/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=57580 memory=12664 CPUtime=0.1 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 1108 0 0 0 7 3 0 0 20 0 1 0 174554262 58961920 3166 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 14395 3166 1920 1147 0 1821 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 61772 KiB
Current children cumulated memory: 15608 KiB

[startup+0.310603 s]*
/proc/loadavg: 4.14 4.14 4.09 5/260 131116
/proc/meminfo: memFree=126651152/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=69064 memory=22768 CPUtime=0.2 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 3805 0 0 0 15 5 0 0 20 0 1 0 174554262 70721536 5692 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 17266 5692 2240 1147 0 4692 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 73256 KiB
Current children cumulated memory: 25712 KiB

[startup+0.700419 s]
/proc/loadavg: 4.14 4.14 4.09 5/260 131116
/proc/meminfo: memFree=126647372/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=76424 memory=32016 CPUtime=0.58 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 5556 0 0 0 52 6 0 0 20 0 1 0 174554262 78258176 8004 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 19106 8004 2304 1147 0 6532 0
Current children cumulated CPU time: 0.63 s
Current children cumulated vsize: 80616 KiB
Current children cumulated memory: 34960 KiB

[startup+1.50044 s]
/proc/loadavg: 4.14 4.14 4.09 5/260 131116
/proc/meminfo: memFree=126647372/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=77432 memory=33296 CPUtime=1.38 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 5840 0 0 0 131 7 0 0 20 0 1 0 174554262 79290368 8324 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 19358 8324 2336 1147 0 6784 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 81624 KiB
Current children cumulated memory: 36240 KiB

[startup+3.11345 s]
/proc/loadavg: 4.13 4.14 4.09 5/260 131116
/proc/meminfo: memFree=126578832/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=109392 memory=66964 CPUtime=2.98 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 13246 0 0 0 288 10 0 0 20 0 1 0 174554262 112017408 16741 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 27348 16741 2336 1147 0 14774 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 113584 KiB
Current children cumulated memory: 69908 KiB

[startup+6.30039 s]
/proc/loadavg: 4.13 4.14 4.09 4/260 131116
/proc/meminfo: memFree=126472112/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=195976 memory=140860 CPUtime=6.16 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 28129 0 0 0 597 19 0 0 20 0 1 0 174554262 200679424 35215 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 48994 35215 2336 1147 0 36420 0
Current children cumulated CPU time: 6.21 s
Current children cumulated vsize: 200168 KiB
Current children cumulated memory: 143804 KiB

[startup+12.7004 s]
/proc/loadavg: 4.11 4.14 4.09 5/260 131116
/proc/meminfo: memFree=126322412/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=269552 memory=198160 CPUtime=12.54 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 40451 0 0 0 1220 34 0 0 20 0 1 0 174554262 276021248 49540 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 67388 49540 2368 1147 0 54814 0
Current children cumulated CPU time: 12.59 s
Current children cumulated vsize: 273744 KiB
Current children cumulated memory: 201104 KiB

[startup+25.5005 s]
/proc/loadavg: 4.09 4.13 4.09 5/260 131116
/proc/meminfo: memFree=126042336/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=321616 memory=257592 CPUtime=25.31 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 53267 0 0 0 2472 59 0 0 20 0 1 0 174554262 329334784 64398 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 80404 64398 2368 1147 0 67830 0
Current children cumulated CPU time: 25.36 s
Current children cumulated vsize: 325808 KiB
Current children cumulated memory: 260536 KiB

[startup+51.1135 s]
/proc/loadavg: 4.06 4.12 4.09 5/259 131117
/proc/meminfo: memFree=125442924/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=445440 memory=342516 CPUtime=50.84 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 71490 0 0 0 4982 102 0 0 20 0 1 0 174554262 456130560 85629 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 111360 85629 2368 1147 0 98786 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 449632 KiB
Current children cumulated memory: 345460 KiB

[startup+102.3 s]
/proc/loadavg: 4.25 4.17 4.11 5/258 131166
/proc/meminfo: memFree=123790036/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=505880 memory=417136 CPUtime=101.87 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 86460 0 0 0 10007 180 0 0 20 0 1 0 174554262 518021120 104284 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 126470 104284 2464 1147 0 113896 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 510072 KiB
Current children cumulated memory: 420080 KiB

[startup+162.3 s]
/proc/loadavg: 4.19 4.17 4.11 5/259 131169
/proc/meminfo: memFree=121703184/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=526080 memory=439408 CPUtime=161.68 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 92021 0 0 0 15900 268 0 0 20 0 1 0 174554262 538705920 109852 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 131520 109852 2496 1147 0 118946 0
Current children cumulated CPU time: 161.73 s
Current children cumulated vsize: 530272 KiB
Current children cumulated memory: 442352 KiB

[startup+222.3 s]
/proc/loadavg: 4.65 4.30 4.15 5/260 131173
/proc/meminfo: memFree=119875872/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=680220 memory=528796 CPUtime=221.48 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 112323 0 0 0 21801 347 0 0 20 0 1 0 174554262 696545280 132199 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 170055 132199 2496 1147 0 157481 0
Current children cumulated CPU time: 221.53 s

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

/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 177459 0 0 0 63167 852 0 0 20 0 1 0 174554262 1130139648 228788 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 275913 228788 2496 1147 0 263339 0
Current children cumulated CPU time: 640.24 s
Current children cumulated vsize: 1107844 KiB
Current children cumulated memory: 918096 KiB

[startup+702.3 s]
/proc/loadavg: 4.10 4.17 4.15 5/262 131202
/proc/meminfo: memFree=106226164/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=1107464 memory=952912 CPUtime=700.02 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 178396 0 0 0 69089 913 0 0 20 0 1 0 174554262 1134043136 238228 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 276866 238228 2496 1147 0 264292 0
Current children cumulated CPU time: 700.07 s
Current children cumulated vsize: 1111656 KiB
Current children cumulated memory: 955856 KiB

[startup+762.3 s]
/proc/loadavg: 4.14 4.17 4.15 5/262 131205
/proc/meminfo: memFree=104852036/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=1108868 memory=996944 CPUtime=759.85 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 178761 0 0 0 75007 978 0 0 20 0 1 0 174554262 1135480832 249236 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 277217 249236 2496 1147 0 264643 0
Current children cumulated CPU time: 759.9 s
Current children cumulated vsize: 1113060 KiB
Current children cumulated memory: 999888 KiB

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

# cumulated CPU time of all completed processes:  user=782.185 s, system=10.231 s

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

[startup+768 s]*
/proc/loadavg: 4.13 4.16 4.15 5/262 131205
/proc/meminfo: memFree=104778244/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=1108868 memory=996944 CPUtime=765.55 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 178761 0 0 0 75575 980 0 0 20 0 1 0 174554262 1135480832 249236 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 277217 249236 2496 1147 0 264643 0
Current children cumulated CPU time: 765.6 s
Current children cumulated vsize: 1113060 KiB
Current children cumulated memory: 999888 KiB

[startup+780.8 s]
/proc/loadavg: 4.18 4.17 4.16 5/262 131205
/proc/meminfo: memFree=104468408/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=1108868 memory=996944 CPUtime=778.3 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 178769 0 0 0 76836 994 0 0 20 0 1 0 174554262 1135480832 249236 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 277217 249236 2496 1147 0 264643 0
Current children cumulated CPU time: 778.35 s
Current children cumulated vsize: 1113060 KiB
Current children cumulated memory: 999888 KiB

[startup+793.6 s]
/proc/loadavg: 4.21 4.18 4.16 5/262 131206
/proc/meminfo: memFree=104288720/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=1108868 memory=996944 CPUtime=791.06 cores=4,6
/proc/131116/stat : 131116 (roundingsat) R 131113 131113 130341 0 -1 4194304 178774 0 0 0 78104 1002 0 0 20 0 1 0 174554262 1135480832 249236 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 0 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 277217 249236 2496 1147 0 264643 0
Current children cumulated CPU time: 791.11 s
Current children cumulated vsize: 1113060 KiB
Current children cumulated memory: 999888 KiB

[startup+796.8 s]
/proc/loadavg: 4.21 4.18 4.16 4/262 131207
/proc/meminfo: memFree=104195332/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=1108868 memory=996944 CPUtime=792.23 cores=4,6
/proc/131116/stat : 131116 (roundingsat) D 131113 131113 130341 0 -1 4194304 178774 0 0 0 78212 1011 0 0 20 0 1 0 174554262 1135480832 249236 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 1 0 0 17 6 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 277217 249236 2496 1147 0 264643 0
Current children cumulated CPU time: 792.28 s
Current children cumulated vsize: 1113060 KiB
Current children cumulated memory: 999888 KiB

[startup+800 s]*
/proc/loadavg: 4.27 4.20 4.16 4/262 131207
/proc/meminfo: memFree=104153340/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=1108868 memory=996944 CPUtime=792.27 cores=4,6
/proc/131116/stat : 131116 (roundingsat) D 131113 131113 130341 0 -1 4194304 178774 0 0 0 78213 1014 0 0 20 0 1 0 174554262 1135480832 249236 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 277217 249236 2496 1147 0 264643 0
Current children cumulated CPU time: 792.32 s
Current children cumulated vsize: 1113060 KiB
Current children cumulated memory: 999888 KiB

[startup+800.8 s]
/proc/loadavg: 4.27 4.20 4.16 4/262 131207
/proc/meminfo: memFree=104153340/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=1108868 memory=996944 CPUtime=792.28 cores=4,6
/proc/131116/stat : 131116 (roundingsat) D 131113 131113 130341 0 -1 4194304 178774 0 0 0 78213 1015 0 0 20 0 1 0 174554262 1135480832 249236 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 277217 249236 2496 1147 0 264643 0
Current children cumulated CPU time: 792.33 s
Current children cumulated vsize: 1113060 KiB
Current children cumulated memory: 999888 KiB

[startup+801.2 s]
/proc/loadavg: 4.27 4.20 4.16 4/262 131207
/proc/meminfo: memFree=104138832/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=1108868 memory=996944 CPUtime=792.3 cores=4,6
/proc/131116/stat : 131116 (roundingsat) D 131113 131113 130341 0 -1 4194304 178774 0 0 0 78213 1017 0 0 20 0 1 0 174554262 1135480832 249236 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 277217 249236 2496 1147 0 264643 0
Current children cumulated CPU time: 792.35 s
Current children cumulated vsize: 1113060 KiB
Current children cumulated memory: 999888 KiB

[startup+801.6 s]
/proc/loadavg: 4.27 4.20 4.16 4/262 131207
/proc/meminfo: memFree=104138832/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=1108868 memory=996944 CPUtime=792.31 cores=4,6
/proc/131116/stat : 131116 (roundingsat) D 131113 131113 130341 0 -1 4194304 178774 0 0 0 78214 1017 0 0 20 0 1 0 174554262 1135480832 249236 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 277217 249236 2496 1147 0 264643 0
Current children cumulated CPU time: 792.36 s
Current children cumulated vsize: 1113060 KiB
Current children cumulated memory: 999888 KiB

[startup+801.7 s]
/proc/loadavg: 4.27 4.20 4.16 4/262 131207
/proc/meminfo: memFree=104138832/131382120 swapFree=33010416/33010684
[pid=131113] ppid=131110 vsize=4192 memory=2944 CPUtime=0.05 cores=4,6
/proc/131113/stat : 131113 (run-opt-break-l) S 131110 131113 130341 0 -1 4194304 242 3462 0 0 0 0 3 2 20 0 1 0 174554253 4292608 736 18446744073709551615 94074752434176 94074753328709 140727551522112 0 0 0 65536 4 65538 1 0 0 17 6 0 0 0 0 0 94074753567760 94074753615504 94074762108928 140727551531283 140727551531484 140727551531484 140727551537088 0
/proc/131113/statm: 1048 736 672 219 0 110 0
[pid=131116] ppid=131113 vsize=1108868 memory=996944 CPUtime=792.33 cores=4,6
/proc/131116/stat : 131116 (roundingsat) D 131113 131113 130341 0 -1 4194304 178774 0 0 0 78214 1019 0 0 20 0 1 0 174554262 1135480832 249236 18446744073709551615 4227072 8923577 140728570181728 0 0 0 0 0 8405026 1 0 0 17 4 0 0 0 0 0 9827200 9836688 20750336 140728570190098 140728570190374 140728570190374 140728570195946 0
/proc/131116/statm: 277217 249236 2496 1147 0 264643 0
Current children cumulated CPU time: 792.38 s
Current children cumulated vsize: 1113060 KiB
Current children cumulated memory: 999888 KiB

Child status: 0

Real time (s): 801.795
CPU time (s): 792.416
CPU user time (s): 782.185
CPU system time (s): 10.231
CPU usage (%): 98.8302
Max. virtual memory (cumulated for all children) (KiB): 1113060
Max. memory (cumulated for all children) (KiB): 999888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 782.185
system time used= 10.231
maximum resident set size= 996944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 182503
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16786240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24867
involuntary context switches= 2705


# summary of solver processes directly reported to runsolver:
#   pid: 131113
#   total CPU time (s): 792.416
#   total CPU user time (s): 782.185
#   total CPU system time (s): 10.231

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.81367 second user time and 7.99559 second system time

The end

Launcher Data 

Begin job on nodeC003 at 2025-07-15 16:12:36
IDJOB=4532590
IDBENCH=155603
IDSOLVER=3393
FILE ID=nodeC003/4532590-1752588756
RUNJOBID= nodeC003-1752584603-130352
SLURM_JOB_ID= 9684333
Free space on /tmp= 433024 MiB

SOLVER NAME= roundingsat+pbsuma-opt-log 0f876b3
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 -w /tmp/evaluation-result-4532590-1752588756/watcher-4532590-1752588756 -o /tmp/evaluation-result-4532590-1752588756/solver-4532590-1752588756 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1752584603-130352 --watchdog 3760 --file-size-limit 100000 run-opt-break-log.sh HOME/instance-4532590-1752588756.opb PROOFDIR/proof-4532590-1752588756

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

MD5SUM BENCH= 768a18ffa3b1a9fc42159a5899fb070e
RANDOM SEED=758036026

nodeC003 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		: 3660.305
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.44
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		: 3691.248
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.44
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.423
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.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        126667120 kB
MemAvailable:   129412936 kB
Buffers:            2736 kB
Cached:          3536524 kB
SwapCached:           36 kB
Active:          1060480 kB
Inactive:        2990476 kB
Active(anon):     522112 kB
Inactive(anon):     7604 kB
Active(file):     538368 kB
Inactive(file):  2982872 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             49368 kB
Writeback:             0 kB
AnonPages:        509760 kB
Mapped:           120200 kB
Shmem:             17924 kB
KReclaimable:     128408 kB
Slab:             219952 kB
SReclaimable:     128408 kB
SUnreclaim:        91544 kB
KernelStack:        4240 kB
PageTables:         4268 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:     869044 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149576 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:    401408 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:    11245568 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433016 MiB
End job on nodeC003 at 2025-07-15 16:25:58