Trace number 4493806

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 NameAnswerCPU timeWall clock time
roundingsat-ls 63f22adSAT 295.437 296.144

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
MD5SUM8150ec280d22960cf2e4079d2206c8ae
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark6.57
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables428
Total number of constraints942
Number of constraints which are clauses645
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints295
Minimum length of a constraint1
Maximum length of a constraint144
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 32
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 189
Number of bits of the biggest sum of numbers8
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 RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.00/0.02	c #variables 428 #constraints 942
6.07/6.17	c #Conflicts:       1000 | #Constraints:       1941
6.07/6.17	c #Conflicts:       2000 | #Constraints:       2942
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:       3000 | #Constraints:       2913
6.07/6.17	c #Conflicts:       4000 | #Constraints:       3913
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:       5000 | #Constraints:       3315
6.07/6.17	c #Conflicts:       6000 | #Constraints:       4315
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:       7000 | #Constraints:       3320
6.07/6.17	c #Conflicts:       8000 | #Constraints:       4320
6.07/6.17	c #Conflicts:       9000 | #Constraints:       5321
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:      10000 | #Constraints:       4019
6.07/6.17	c #Conflicts:      11000 | #Constraints:       5019
6.07/6.17	c #Conflicts:      12000 | #Constraints:       6019
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:      13000 | #Constraints:       4469
6.07/6.17	c #Conflicts:      14000 | #Constraints:       5469
6.07/6.17	c #Conflicts:      15000 | #Constraints:       6469
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:      16000 | #Constraints:       4696
6.07/6.17	c #Conflicts:      17000 | #Constraints:       5696
6.07/6.17	c #Conflicts:      18000 | #Constraints:       6696
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:      19000 | #Constraints:       4711
6.07/6.17	c #Conflicts:      20000 | #Constraints:       5711
6.07/6.17	c #Conflicts:      21000 | #Constraints:       6712
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:      22000 | #Constraints:       4521
6.07/6.17	c #Conflicts:      23000 | #Constraints:       5521
6.07/6.17	c #Conflicts:      24000 | #Constraints:       6522
6.07/6.17	c #Conflicts:      25000 | #Constraints:       7522
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:      26000 | #Constraints:       5123
6.07/6.17	c #Conflicts:      27000 | #Constraints:       6123
6.07/6.17	c #Conflicts:      28000 | #Constraints:       7123
6.07/6.17	c #Conflicts:      29000 | #Constraints:       8123
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	c #Conflicts:      30000 | #Constraints:       5517
6.07/6.17	c #Conflicts:      31000 | #Constraints:       6517
6.07/6.17	c #Conflicts:      32000 | #Constraints:       7517
6.07/6.17	c #Conflicts:      33000 | #Constraints:       8517
6.07/6.17	c INPROCESSING
6.07/6.17	c GARBAGE COLLECT
6.07/6.17	WSVECS04 Frhs2[55]: 6 0 0.475485 shouldn't be
6.07/6.17	WSVECS04 Frhs2[169]: 6 0 0.595257 shouldn't be
6.07/6.17	WSVECS04 Frhs2[324]: 6 0 0.993499 shouldn't be
6.07/6.17	WSVECS04 Frhs2[344]: 6 0 0.726149 shouldn't be
6.07/6.17	WSVECS04 Frhs2[374]: 6 0 0.0479216 shouldn't be
6.07/6.17	WSVECS04 Frhs2[387]: 6 0 0.482648 shouldn't be
6.07/6.17	WSVECS04 Frhs2[388]: 6 0 0.0259363 shouldn't be
14.74/14.87	c #Conflicts:      34000 | #Constraints:       5717
14.74/14.87	c #Conflicts:      35000 | #Constraints:       6717
14.74/14.87	c #Conflicts:      36000 | #Constraints:       7717
14.74/14.87	c #Conflicts:      37000 | #Constraints:       8717
14.74/14.87	c INPROCESSING
14.74/14.87	c GARBAGE COLLECT
14.74/14.87	c #Conflicts:      38000 | #Constraints:       5675
14.74/14.87	c #Conflicts:      39000 | #Constraints:       6675
14.74/14.87	c #Conflicts:      40000 | #Constraints:       7675
14.74/14.87	c #Conflicts:      41000 | #Constraints:       8675
14.74/14.87	c INPROCESSING
14.74/14.87	c GARBAGE COLLECT
14.74/14.87	c #Conflicts:      42000 | #Constraints:       5484
14.74/14.87	c #Conflicts:      43000 | #Constraints:       6484
14.74/14.87	c #Conflicts:      44000 | #Constraints:       7484
14.74/14.87	c #Conflicts:      45000 | #Constraints:       8484
14.74/14.87	c #Conflicts:      46000 | #Constraints:       9484
14.74/14.87	c INPROCESSING
14.74/14.87	c GARBAGE COLLECT
14.74/14.87	c #Conflicts:      47000 | #Constraints:       6089
14.74/14.87	c #Conflicts:      48000 | #Constraints:       7089
14.74/14.87	c #Conflicts:      49000 | #Constraints:       8089
14.74/14.87	c #Conflicts:      50000 | #Constraints:       9089
14.74/14.87	c #Conflicts:      51000 | #Constraints:      10089
14.74/14.87	c INPROCESSING
14.74/14.87	c GARBAGE COLLECT
14.74/14.87	c #Conflicts:      52000 | #Constraints:       6493
14.74/14.87	c #Conflicts:      53000 | #Constraints:       7493
14.74/14.87	c #Conflicts:      54000 | #Constraints:       8493
14.74/14.87	c #Conflicts:      55000 | #Constraints:       9493
14.74/14.87	c #Conflicts:      56000 | #Constraints:      10493
14.74/14.87	c INPROCESSING
14.74/14.87	c GARBAGE COLLECT
14.74/14.87	c #Conflicts:      57000 | #Constraints:       6693
14.74/14.87	c #Conflicts:      58000 | #Constraints:       7693
14.74/14.87	c #Conflicts:      59000 | #Constraints:       8693
14.74/14.87	c #Conflicts:      60000 | #Constraints:       9693
14.74/14.87	c #Conflicts:      61000 | #Constraints:      10693
14.74/14.87	c INPROCESSING
14.74/14.87	c GARBAGE COLLECT
14.74/14.87	c #Conflicts:      62000 | #Constraints:       6691
14.74/14.87	c #Conflicts:      63000 | #Constraints:       7691
14.74/14.87	c #Conflicts:      64000 | #Constraints:       8691
14.74/14.87	c #Conflicts:      65000 | #Constraints:       9691
14.74/14.87	c #Conflicts:      66000 | #Constraints:      10691
14.74/14.87	c INPROCESSING
14.74/14.87	c GARBAGE COLLECT
14.74/14.87	c #Conflicts:      67000 | #Constraints:       6493
14.74/14.87	c #Conflicts:      68000 | #Constraints:       7493
14.74/14.87	c #Conflicts:      69000 | #Constraints:       8493
14.74/14.87	c #Conflicts:      70000 | #Constraints:       9493
14.74/14.87	c #Conflicts:      71000 | #Constraints:      10493
14.74/14.87	c #Conflicts:      72000 | #Constraints:      11493
14.74/14.87	c INPROCESSING
14.74/14.87	c GARBAGE COLLECT
14.74/14.87	c rational objective 60.9897
31.80/31.99	c #Conflicts:      73000 | #Constraints:       7089
31.80/31.99	c #Conflicts:      74000 | #Constraints:       8089
31.80/31.99	c #Conflicts:      75000 | #Constraints:       9089
31.80/31.99	c #Conflicts:      76000 | #Constraints:      10089
31.80/31.99	c #Conflicts:      77000 | #Constraints:      11089
31.80/31.99	c #Conflicts:      78000 | #Constraints:      12089
31.80/31.99	c INPROCESSING
31.80/31.99	c GARBAGE COLLECT
31.80/31.99	c #Conflicts:      79000 | #Constraints:       7486
31.80/31.99	c #Conflicts:      80000 | #Constraints:       8486
31.80/31.99	c #Conflicts:      81000 | #Constraints:       9486
31.80/31.99	c #Conflicts:      82000 | #Constraints:      10486
31.80/31.99	c #Conflicts:      83000 | #Constraints:      11486
31.80/31.99	c #Conflicts:      84000 | #Constraints:      12486
31.80/31.99	c INPROCESSING
31.80/31.99	c GARBAGE COLLECT
31.80/31.99	c #Conflicts:      85000 | #Constraints:       7683
31.80/31.99	c #Conflicts:      86000 | #Constraints:       8683
31.80/31.99	c #Conflicts:      87000 | #Constraints:       9683
31.80/31.99	c #Conflicts:      88000 | #Constraints:      10684
31.80/31.99	c #Conflicts:      89000 | #Constraints:      11684
31.80/31.99	c #Conflicts:      90000 | #Constraints:      12684
31.80/31.99	c INPROCESSING
31.80/31.99	c GARBAGE COLLECT
31.80/31.99	c #Conflicts:      91000 | #Constraints:       7689
31.80/31.99	c #Conflicts:      92000 | #Constraints:       8689
31.80/31.99	c #Conflicts:      93000 | #Constraints:       9689
31.80/31.99	c #Conflicts:      94000 | #Constraints:      10689
31.80/31.99	c #Conflicts:      95000 | #Constraints:      11689
31.80/31.99	c #Conflicts:      96000 | #Constraints:      12689
31.80/31.99	c INPROCESSING
31.80/31.99	c GARBAGE COLLECT
31.80/31.99	c #Conflicts:      97000 | #Constraints:       7497
31.80/31.99	c #Conflicts:      98000 | #Constraints:       8497
31.80/31.99	c #Conflicts:      99000 | #Constraints:       9497
31.80/31.99	c #Conflicts:     100000 | #Constraints:      10497
31.80/31.99	c #Conflicts:     101000 | #Constraints:      11497
31.80/31.99	c #Conflicts:     102000 | #Constraints:      12497
31.80/31.99	c #Conflicts:     103000 | #Constraints:      13497
31.80/31.99	c INPROCESSING
31.80/31.99	c GARBAGE COLLECT
31.80/31.99	c #Conflicts:     104000 | #Constraints:       8092
31.80/31.99	c #Conflicts:     105000 | #Constraints:       9092
31.80/31.99	c #Conflicts:     106000 | #Constraints:      10092
31.80/31.99	c #Conflicts:     107000 | #Constraints:      11092
31.80/31.99	c #Conflicts:     108000 | #Constraints:      12092
31.80/31.99	c #Conflicts:     109000 | #Constraints:      13092
31.80/31.99	c #Conflicts:     110000 | #Constraints:      14092
31.80/31.99	c INPROCESSING
31.80/31.99	c GARBAGE COLLECT
31.80/31.99	c #Conflicts:     111000 | #Constraints:       8494
31.80/31.99	c #Conflicts:     112000 | #Constraints:       9495
31.80/31.99	c #Conflicts:     113000 | #Constraints:      10495
31.80/31.99	c #Conflicts:     114000 | #Constraints:      11495
31.80/31.99	c #Conflicts:     115000 | #Constraints:      12495
31.80/31.99	c #Conflicts:     116000 | #Constraints:      13495
31.80/31.99	c #Conflicts:     117000 | #Constraints:      14495
31.80/31.99	c INPROCESSING
31.80/31.99	c GARBAGE COLLECT
31.80/31.99	c #Conflicts:     118000 | #Constraints:       8688
31.80/31.99	c #Conflicts:     119000 | #Constraints:       9688
31.80/31.99	c #Conflicts:     120000 | #Constraints:      10688
31.80/31.99	c #Conflicts:     121000 | #Constraints:      11688
31.80/31.99	c #Conflicts:     122000 | #Constraints:      12688
31.80/31.99	c #Conflicts:     123000 | #Constraints:      13688
31.80/31.99	c #Conflicts:     124000 | #Constraints:      14688
31.80/31.99	c INPROCESSING
31.80/31.99	c GARBAGE COLLECT
31.80/31.99	c #Conflicts:     125000 | #Constraints:       8686
31.80/31.99	c #Conflicts:     126000 | #Constraints:       9686
31.80/31.99	c #Conflicts:     127000 | #Constraints:      10686
31.80/31.99	c #Conflicts:     128000 | #Constraints:      11686
31.80/31.99	c #Conflicts:     129000 | #Constraints:      12687
31.80/31.99	c #Conflicts:     130000 | #Constraints:      13687
31.80/31.99	c #Conflicts:     131000 | #Constraints:      14687
31.80/31.99	c INPROCESSING
31.80/31.99	c GARBAGE COLLECT
31.80/31.99	c #Conflicts:     132000 | #Constraints:       8483
31.80/31.99	c #Conflicts:     133000 | #Constraints:       9483
31.80/31.99	c #Conflicts:     134000 | #Constraints:      10483
31.80/31.99	c #Conflicts:     135000 | #Constraints:      11483
31.80/31.99	c #Conflicts:     136000 | #Constraints:      12483
31.80/31.99	c #Conflicts:     137000 | #Constraints:      13483
31.80/31.99	c #Conflicts:     138000 | #Constraints:      14483
31.80/31.99	c #Conflicts:     139000 | #Constraints:      15483
31.80/31.99	c INPROCESSING
31.80/31.99	c GARBAGE COLLECT
31.80/31.99	c #Conflicts:     140000 | #Constraints:       9085
31.80/31.99	c #Conflicts:     141000 | #Constraints:      10085
31.80/31.99	c #Conflicts:     142000 | #Constraints:      11085
31.80/31.99	c #Conflicts:     143000 | #Constraints:      12085
31.80/31.99	c #Conflicts:     144000 | #Constraints:      13085
31.80/31.99	c #Conflicts:     145000 | #Constraints:      14085
34.50/34.64	c #Conflicts:     146000 | #Constraints:      15086
34.50/34.64	c #Conflicts:     147000 | #Constraints:      16086
34.50/34.64	c INPROCESSING
34.50/34.64	c GARBAGE COLLECT
34.50/34.64	c #Conflicts:     148000 | #Constraints:       9488
34.50/34.64	c #Conflicts:     149000 | #Constraints:      10488
34.50/34.64	c #Conflicts:     150000 | #Constraints:      11488
34.50/34.64	c #Conflicts:     151000 | #Constraints:      12488
34.50/34.64	c #Conflicts:     152000 | #Constraints:      13488
34.50/34.64	c #Conflicts:     153000 | #Constraints:      14488
34.50/34.64	c #Conflicts:     154000 | #Constraints:      15488
34.50/34.64	c #Conflicts:     155000 | #Constraints:      16488
34.50/34.64	c INPROCESSING
34.50/34.64	c GARBAGE COLLECT
34.50/34.64	c rational objective 61.0017
46.67/46.85	c #Conflicts:     156000 | #Constraints:       9691
46.67/46.85	c #Conflicts:     157000 | #Constraints:      10691
46.67/46.85	c #Conflicts:     158000 | #Constraints:      11692
46.67/46.85	c #Conflicts:     159000 | #Constraints:      12693
46.67/46.85	c #Conflicts:     160000 | #Constraints:      13693
46.67/46.85	c #Conflicts:     161000 | #Constraints:      14694
46.67/46.85	c #Conflicts:     162000 | #Constraints:      15694
46.67/46.85	c #Conflicts:     163000 | #Constraints:      16694
46.67/46.85	c INPROCESSING
46.67/46.85	c GARBAGE COLLECT
46.67/46.85	c #Conflicts:     164000 | #Constraints:       9691
46.67/46.85	c #Conflicts:     165000 | #Constraints:      10692
46.67/46.85	c #Conflicts:     166000 | #Constraints:      11693
46.67/46.85	c #Conflicts:     167000 | #Constraints:      12695
46.67/46.85	c #Conflicts:     168000 | #Constraints:      13696
46.67/46.85	c #Conflicts:     169000 | #Constraints:      14697
46.67/46.85	c #Conflicts:     170000 | #Constraints:      15698
46.67/46.85	c #Conflicts:     171000 | #Constraints:      16699
46.67/46.85	c INPROCESSING
46.67/46.85	c GARBAGE COLLECT
46.67/46.85	c #Conflicts:     172000 | #Constraints:       9500
46.67/46.85	c #Conflicts:     173000 | #Constraints:      10501
46.67/46.85	c #Conflicts:     174000 | #Constraints:      11503
46.67/46.85	c #Conflicts:     175000 | #Constraints:      12506
46.67/46.85	c #Conflicts:     176000 | #Constraints:      13507
46.67/46.85	c #Conflicts:     177000 | #Constraints:      14509
46.67/46.85	c #Conflicts:     178000 | #Constraints:      15510
46.67/46.85	c #Conflicts:     179000 | #Constraints:      16511
46.67/46.85	c #Conflicts:     180000 | #Constraints:      17512
46.67/46.85	c INPROCESSING
46.67/46.85	c GARBAGE COLLECT
46.67/46.85	c #Conflicts:     181000 | #Constraints:      10106
46.67/46.85	c #Conflicts:     182000 | #Constraints:      11107
46.67/46.85	c #Conflicts:     183000 | #Constraints:      12108
46.67/46.85	c #Conflicts:     184000 | #Constraints:      13109
46.67/46.85	c #Conflicts:     185000 | #Constraints:      14110
46.67/46.85	c #Conflicts:     186000 | #Constraints:      15113
46.67/46.85	c #Conflicts:     187000 | #Constraints:      16114
46.67/46.85	c #Conflicts:     188000 | #Constraints:      17115
46.67/46.85	c #Conflicts:     189000 | #Constraints:      18116
46.67/46.85	c INPROCESSING
46.67/46.85	c GARBAGE COLLECT
46.67/46.85	c #Conflicts:     190000 | #Constraints:      10505
46.67/46.85	c #Conflicts:     191000 | #Constraints:      11507
46.67/46.85	c #Conflicts:     192000 | #Constraints:      12510
46.67/46.85	c #Conflicts:     193000 | #Constraints:      13513
46.67/46.85	c #Conflicts:     194000 | #Constraints:      14516
46.67/46.85	c #Conflicts:     195000 | #Constraints:      15519
46.67/46.85	c #Conflicts:     196000 | #Constraints:      16529
46.67/46.85	c #Conflicts:     197000 | #Constraints:      17536
46.67/46.85	c #Conflicts:     198000 | #Constraints:      18543
46.67/46.85	c INPROCESSING
46.67/46.85	c GARBAGE COLLECT
46.67/46.85	WSVECS04 Frhs2[5]: 6 0 0.694808 shouldn't be
46.67/46.85	WSVECS04 Frhs2[7]: 6 0 1.94861 shouldn't be
46.67/46.85	WSVECS04 Frhs2[8]: 6 0 1.25383 shouldn't be
46.67/46.85	WSVECS04 Frhs2[12]: 6 0 1.04967 shouldn't be
46.67/46.85	WSVECS04 Frhs2[14]: 6 0 0.675744 shouldn't be
46.67/46.85	WSVECS04 Frhs2[21]: 6 0 0.694801 shouldn't be
46.67/46.85	WSVECS04 Frhs2[27]: 6 0 1.9003 shouldn't be
46.67/46.85	WSVECS04 Frhs2[29]: 6 0 0.694816 shouldn't be
46.67/46.85	WSVECS04 Frhs2[32]: 6 -10.7627 0 shouldn't be
46.67/46.85	WSVECS04 Frhs2[33]: 6 0 0.694752 shouldn't be
46.67/46.85	WSVECS04 Frhs2[35]: 6 0 0.694765 shouldn't be
46.67/46.85	WSVECS04 Frhs2[37]: 6 0 0.694767 shouldn't be
46.67/46.85	WSVECS04 Frhs2[39]: 6 0 0.694809 shouldn't be
46.67/46.85	WSVECS04 Frhs2[43]: 6 0 0.694747 shouldn't be
46.67/46.85	WSVECS04 Frhs2[45]: 6 0 2.0031 shouldn't be
46.67/46.85	WSVECS04 Frhs2[47]: 6 0 0.69481 shouldn't be
46.67/46.85	WSVECS04 Frhs2[53]: 6 0 0.533731 shouldn't be
46.67/46.85	WSVECS04 Frhs2[57]: 6 0 0.196918 shouldn't be
46.67/46.85	WSVECS04 Frhs2[69]: 6 0 0.694757 shouldn't be
46.67/46.85	WSVECS04 Frhs2[77]: 6 0 0.694755 shouldn't be
46.67/46.85	WSVECS04 Frhs2[83]: 6 0 0.694811 shouldn't be
46.67/46.85	WSVECS04 Frhs2[87]: 6 0 0.744486 shouldn't be
46.67/46.85	WSVECS04 Frhs2[91]: 6 0 0.694744 shouldn't be
46.67/46.85	WSVECS04 Frhs2[97]: 6 0 0.705618 shouldn't be
46.67/46.85	WSVECS04 Frhs2[107]: 6 0 0.694796 shouldn't be
46.67/46.85	WSVECS04 Frhs2[109]: 6 0 0.694795 shouldn't be
46.67/46.85	WSVECS04 Frhs2[117]: 6 0 1.29687 shouldn't be
46.67/46.85	WSVECS04 Frhs2[129]: 6 0 2.20595 shouldn't be
46.67/46.85	WSVECS04 Frhs2[133]: 6 0 0.694791 shouldn't be
46.67/46.85	WSVECS04 Frhs2[135]: 6 0 0.694735 shouldn't be
46.67/46.85	WSVECS04 Frhs2[147]: 6 0 1.585 shouldn't be
46.67/46.85	WSVECS04 Frhs2[153]: 6 0 0.90431 shouldn't be
46.67/46.85	WSVECS04 Frhs2[155]: 6 0 0.694794 shouldn't be
46.67/46.85	WSVECS04 Frhs2[159]: 6 0 0.694751 shouldn't be
46.67/46.85	WSVECS04 Frhs2[161]: 6 0 0.694758 shouldn't be
46.67/46.85	WSVECS04 Frhs2[175]: 6 0 0.694819 shouldn't be
46.67/46.85	WSVECS04 Frhs2[177]: 6 0 1.89158 shouldn't be
46.67/46.85	WSVECS04 Frhs2[179]: 6 0 0.69477 shouldn't be
46.67/46.85	WSVECS04 Frhs2[181]: 6 0 2.02678 shouldn't be
46.67/46.85	WSVECS04 Frhs2[185]: 6 0 2.40261 shouldn't be
46.67/46.85	WSVECS04 Frhs2[195]: 6 0 0.694765 shouldn't be
46.67/46.85	WSVECS04 Frhs2[201]: 6 0 0.69475 shouldn't be
46.67/46.85	WSVECS04 Frhs2[203]: 6 0 0.694778 shouldn't be
46.67/46.85	WSVECS04 Frhs2[205]: 6 0 0.460541 shouldn't be
46.67/46.85	WSVECS04 Frhs2[207]: 6 0 0.694738 shouldn't be
46.67/46.85	WSVECS04 Frhs2[215]: 6 0 0.632197 shouldn't be
46.67/46.85	WSVECS04 Frhs2[223]: 6 0 0.69476 shouldn't be
46.67/46.85	WSVECS04 Frhs2[231]: 6 0 1.03585 shouldn't be
46.67/46.85	WSVECS04 Frhs2[235]: 6 0 1.39953 shouldn't be
46.67/46.85	WSVECS04 Frhs2[237]: 6 0 0.694781 shouldn't be
46.67/46.85	WSVECS04 Frhs2[239]: 6 0 0.768234 shouldn't be
46.67/46.85	WSVECS04 Frhs2[245]: 6 0 6.21634 shouldn't be
46.67/46.85	WSVECS04 Frhs2[249]: 6 0 0.035093 shouldn't be
46.67/46.85	WSVECS04 Frhs2[261]: 6 0 0.17788 shouldn't be
46.67/46.85	WSVECS04 Frhs2[263]: 6 0 0.774595 shouldn't be
46.67/46.85	WSVECS04 Frhs2[267]: 6 0 0.242959 shouldn't be
46.67/46.85	WSVECS04 Frhs2[269]: 6 0 0.347483 shouldn't be
46.67/46.85	WSVECS04 Frhs2[281]: 6 0 0.777645 shouldn't be
46.67/46.85	WSVECS04 Frhs2[282]: 6 0 0.0414916 shouldn't be
46.67/46.85	WSVECS04 Frhs2[283]: 6 0 0.736154 shouldn't be
46.67/46.86	WSVECS04 Frhs2[286]: 6 -0.0207469 0 shouldn't be
46.67/46.86	WSVECS04 Frhs2[292]: 6 0 2.98614 shouldn't be
46.67/46.86	WSVECS04 Frhs2[293]: 6 0 0.884093 shouldn't be
46.67/46.86	WSVECS04 Frhs2[305]: 6 -3.09252 0 shouldn't be
46.67/46.86	WSVECS04 Frhs2[307]: 6 -2.61738 0 shouldn't be
46.67/46.86	WSVECS04 Frhs2[308]: 6 0 1.13104 shouldn't be
46.67/46.86	WSVECS04 Frhs2[309]: 6 0 1.43724 shouldn't be
46.67/46.86	WSVECS04 Frhs2[319]: 6 -0.628798 0 shouldn't be
46.67/46.86	WSVECS04 Frhs2[320]: 6 0 1.38874 shouldn't be
46.67/46.86	WSVECS04 Frhs2[321]: 6 -3.22238 0 shouldn't be
46.67/46.86	WSVECS04 Frhs2[322]: 6 0 2.81402 shouldn't be
46.67/46.86	WSVECS04 Frhs2[333]: 6 -2.54247 0 shouldn't be
46.67/46.86	WSVECS04 Frhs2[339]: 6 -1.69221 0 shouldn't be
46.67/46.86	WSVECS04 Frhs2[345]: 6 -3.71716 0 shouldn't be
46.67/46.86	WSVECS04 Frhs2[351]: 6 -2.94304 0 shouldn't be
46.67/46.86	WSVECS04 Frhs2[354]: 6 0 0.295175 shouldn't be
46.67/46.86	WSVECS04 Frhs2[362]: 6 -1.00006 0 shouldn't be
46.67/46.86	WSVECS04 Frhs2[375]: 6 0 0.179317 shouldn't be
46.67/46.86	WSVECS04 Frhs2[379]: 6 -3.02358 0 shouldn't be
46.67/46.86	WSVECS04 Frhs2[385]: 6 -1.44649 0 shouldn't be
46.67/46.86	WSVECS04 Frhs2[413]: 6 0 0.592355 shouldn't be
46.67/46.86	WSVECS04 Frhs2[416]: 6 -0.278439 0 shouldn't be
46.67/46.86	WSVECS04 Frhs2[428]: 6 0 0.857771 shouldn't be
46.77/46.91	WSVECS04 Frhs2[105]: 6 0 0.904339 shouldn't be
46.77/46.91	WSVECS04 Frhs2[311]: 6 -0.671043 0 shouldn't be
46.77/46.95	WSVECS04 Frhs2[9]: 6 0 0.694792 shouldn't be
46.77/46.95	WSVECS04 Frhs2[75]: 6 0 0.694788 shouldn't be
46.77/46.95	WSVECS04 Frhs2[85]: 6 0 0.694816 shouldn't be
46.77/46.95	WSVECS04 Frhs2[89]: 6 0 0.715798 shouldn't be
46.77/46.95	WSVECS04 Frhs2[127]: 6 0 0.694781 shouldn't be
46.77/46.95	WSVECS04 Frhs2[149]: 6 0 0.0941497 shouldn't be
46.77/46.95	WSVECS04 Frhs2[151]: 6 0 0.694816 shouldn't be
46.77/46.95	WSVECS04 Frhs2[154]: 6 0 1.22175 shouldn't be
46.77/46.95	WSVECS04 Frhs2[187]: 6 0 0.69481 shouldn't be
46.77/46.95	WSVECS04 Frhs2[199]: 6 0 0.694787 shouldn't be
46.77/46.95	WSVECS04 Frhs2[209]: 6 0 0.630574 shouldn't be
46.77/46.95	WSVECS04 Frhs2[213]: 6 0 0.694801 shouldn't be
46.77/46.95	WSVECS04 Frhs2[229]: 6 0 0.694799 shouldn't be
46.77/46.95	WSVECS04 Frhs2[259]: 6 0 0.694772 shouldn't be
46.77/46.95	WSVECS04 Frhs2[285]: 6 0 0.715496 shouldn't be
46.77/46.95	WSVECS04 Frhs2[403]: 6 -1.70638 0 shouldn't be
46.87/47.01	WSVECS04 Frhs2[7]: 6 0 1.94852 shouldn't be
46.87/47.01	WSVECS04 Frhs2[8]: 6 0 1.25379 shouldn't be
46.87/47.01	WSVECS04 Frhs2[14]: 6 0 0.675668 shouldn't be
46.87/47.01	WSVECS04 Frhs2[27]: 6 0 1.90021 shouldn't be
46.87/47.01	WSVECS04 Frhs2[32]: 6 -10.7626 0 shouldn't be
46.87/47.01	WSVECS04 Frhs2[33]: 6 0 0.694724 shouldn't be
46.87/47.01	WSVECS04 Frhs2[35]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[37]: 6 0 0.694724 shouldn't be
46.87/47.01	WSVECS04 Frhs2[43]: 6 0 0.694724 shouldn't be
46.87/47.01	WSVECS04 Frhs2[45]: 6 0 2.00306 shouldn't be
46.87/47.01	WSVECS04 Frhs2[47]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[57]: 6 0 0.196872 shouldn't be
46.87/47.01	WSVECS04 Frhs2[69]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[75]: 6 0 0.694724 shouldn't be
46.87/47.01	WSVECS04 Frhs2[77]: 6 0 0.694724 shouldn't be
46.87/47.01	WSVECS04 Frhs2[83]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[85]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[87]: 6 0 0.744462 shouldn't be
46.87/47.01	WSVECS04 Frhs2[91]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[97]: 6 0 0.705543 shouldn't be
46.87/47.01	WSVECS04 Frhs2[107]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[109]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[117]: 6 0 1.29678 shouldn't be
46.87/47.01	WSVECS04 Frhs2[129]: 6 0 2.2059 shouldn't be
46.87/47.01	WSVECS04 Frhs2[130]: 6 0 1.51118 shouldn't be
46.87/47.01	WSVECS04 Frhs2[133]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[135]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[147]: 6 0 1.58493 shouldn't be
46.87/47.01	WSVECS04 Frhs2[149]: 6 0 0.0941255 shouldn't be
46.87/47.01	WSVECS04 Frhs2[151]: 6 0 0.694724 shouldn't be
46.87/47.01	WSVECS04 Frhs2[153]: 6 0 0.904292 shouldn't be
46.87/47.01	WSVECS04 Frhs2[154]: 6 0 1.22166 shouldn't be
46.87/47.01	WSVECS04 Frhs2[155]: 6 0 0.694724 shouldn't be
46.87/47.01	WSVECS04 Frhs2[159]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[161]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[175]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[177]: 6 0 1.8915 shouldn't be
46.87/47.01	WSVECS04 Frhs2[179]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[181]: 6 0 2.02671 shouldn't be
46.87/47.01	WSVECS04 Frhs2[185]: 6 0 2.40252 shouldn't be
46.87/47.01	WSVECS04 Frhs2[187]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[195]: 6 0 0.694724 shouldn't be
46.87/47.01	WSVECS04 Frhs2[199]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[201]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[205]: 6 0 0.460515 shouldn't be
46.87/47.01	WSVECS04 Frhs2[207]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[213]: 6 0 0.694724 shouldn't be
46.87/47.01	WSVECS04 Frhs2[215]: 6 0 0.632131 shouldn't be
46.87/47.01	WSVECS04 Frhs2[223]: 6 0 0.694725 shouldn't be
46.87/47.01	WSVECS04 Frhs2[229]: 6 0 0.694724 shouldn't be
46.87/47.01	WSVECS04 Frhs2[231]: 6 0 1.0358 shouldn't be
46.87/47.01	WSVECS04 Frhs2[235]: 6 0 1.39946 shouldn't be
46.87/47.01	WSVECS04 Frhs2[239]: 6 0 0.768212 shouldn't be
46.87/47.01	WSVECS04 Frhs2[245]: 6 0 6.21626 shouldn't be
46.87/47.01	WSVECS04 Frhs2[249]: 6 0 0.0350335 shouldn't be
46.87/47.01	WSVECS04 Frhs2[259]: 6 0 0.694724 shouldn't be
46.87/47.01	WSVECS04 Frhs2[263]: 6 0 0.774577 shouldn't be
46.87/47.01	WSVECS04 Frhs2[267]: 6 0 0.242931 shouldn't be
46.87/47.01	WSVECS04 Frhs2[269]: 6 0 0.347449 shouldn't be
46.87/47.01	WSVECS04 Frhs2[275]: 6 0 3.74193 shouldn't be
46.87/47.01	WSVECS04 Frhs2[282]: 6 0 0.0414186 shouldn't be
46.87/47.01	WSVECS04 Frhs2[283]: 6 0 0.736142 shouldn't be
46.87/47.01	WSVECS04 Frhs2[285]: 6 0 0.715434 shouldn't be
46.87/47.01	WSVECS04 Frhs2[286]: 6 -0.0207094 0 shouldn't be
46.87/47.01	WSVECS04 Frhs2[292]: 6 0 2.98608 shouldn't be
46.87/47.01	WSVECS04 Frhs2[293]: 6 0 0.884009 shouldn't be
46.87/47.01	WSVECS04 Frhs2[305]: 6 -3.09248 0 shouldn't be
46.87/47.01	WSVECS04 Frhs2[307]: 6 -2.61734 0 shouldn't be
46.87/47.01	WSVECS04 Frhs2[308]: 6 0 1.13096 shouldn't be
46.87/47.01	WSVECS04 Frhs2[309]: 6 0 1.43717 shouldn't be
46.87/47.01	WSVECS04 Frhs2[311]: 6 -0.670954 0 shouldn't be
46.87/47.01	WSVECS04 Frhs2[320]: 6 0 1.38867 shouldn't be
46.87/47.01	WSVECS04 Frhs2[321]: 6 -3.2223 0 shouldn't be
46.87/47.01	WSVECS04 Frhs2[322]: 6 0 2.81394 shouldn't be
46.87/47.01	WSVECS04 Frhs2[339]: 6 -1.69221 0 shouldn't be
46.87/47.01	WSVECS04 Frhs2[345]: 6 -3.71708 0 shouldn't be
46.87/47.01	WSVECS04 Frhs2[354]: 6 0 0.295125 shouldn't be
46.87/47.01	WSVECS04 Frhs2[362]: 6 -1 0 shouldn't be
46.87/47.01	WSVECS04 Frhs2[379]: 6 -3.02353 0 shouldn't be
46.87/47.01	WSVECS04 Frhs2[385]: 6 -1.44642 0 shouldn't be
46.87/47.01	WSVECS04 Frhs2[403]: 6 -1.70636 0 shouldn't be
46.87/47.01	WSVECS04 Frhs2[413]: 6 0 0.592332 shouldn't be
46.87/47.01	WSVECS04 Frhs2[416]: 6 -0.278342 0 shouldn't be
46.87/47.01	WSVECS04 Frhs2[427]: 6 -1.52683 0 shouldn't be
46.87/47.01	WSVECS04 Frhs2[428]: 6 0 0.857689 shouldn't be
60.64/60.89	c #Conflicts:     199000 | #Constraints:      10718
60.64/60.89	c #Conflicts:     200000 | #Constraints:      11718
60.64/60.89	c #Conflicts:     201000 | #Constraints:      12718
60.64/60.89	c #Conflicts:     202000 | #Constraints:      13719
60.64/60.89	c #Conflicts:     203000 | #Constraints:      14719
60.64/60.89	c #Conflicts:     204000 | #Constraints:      15719
60.64/60.89	c #Conflicts:     205000 | #Constraints:      16719
60.64/60.89	c #Conflicts:     206000 | #Constraints:      17719
60.64/60.89	c #Conflicts:     207000 | #Constraints:      18719
60.64/60.89	c INPROCESSING
60.64/60.89	c GARBAGE COLLECT
60.64/60.89	c #Conflicts:     208000 | #Constraints:      10711
60.64/60.89	c #Conflicts:     209000 | #Constraints:      11712
60.64/60.89	c #Conflicts:     210000 | #Constraints:      12712
60.64/60.89	c #Conflicts:     211000 | #Constraints:      13712
60.64/60.89	c #Conflicts:     212000 | #Constraints:      14712
60.64/60.89	c #Conflicts:     213000 | #Constraints:      15713
60.64/60.89	c #Conflicts:     214000 | #Constraints:      16717
60.64/60.89	c #Conflicts:     215000 | #Constraints:      17722
60.64/60.89	c #Conflicts:     216000 | #Constraints:      18730
60.64/60.89	c INPROCESSING
60.64/60.89	c GARBAGE COLLECT
60.64/60.89	c #Conflicts:     217000 | #Constraints:      10514
60.64/60.89	c #Conflicts:     218000 | #Constraints:      11515
60.64/60.89	c #Conflicts:     219000 | #Constraints:      12518
60.64/60.89	c #Conflicts:     220000 | #Constraints:      13523
60.64/60.89	c #Conflicts:     221000 | #Constraints:      14526
60.64/60.89	c #Conflicts:     222000 | #Constraints:      15532
60.64/60.89	c #Conflicts:     223000 | #Constraints:      16538
60.64/60.89	c #Conflicts:     224000 | #Constraints:      17540
60.64/60.89	c #Conflicts:     225000 | #Constraints:      18548
60.64/60.89	c #Conflicts:     226000 | #Constraints:      19559
60.64/60.89	c INPROCESSING
60.64/60.89	c GARBAGE COLLECT
60.64/60.89	c #Conflicts:     227000 | #Constraints:      11137
60.64/60.89	c #Conflicts:     228000 | #Constraints:      12139
60.64/60.89	c #Conflicts:     229000 | #Constraints:      13141
60.64/60.89	c #Conflicts:     230000 | #Constraints:      14142
60.64/60.89	c #Conflicts:     231000 | #Constraints:      15144
60.64/60.89	c #Conflicts:     232000 | #Constraints:      16145
60.64/60.89	c #Conflicts:     233000 | #Constraints:      17146
60.64/60.89	c #Conflicts:     234000 | #Constraints:      18147
60.64/60.89	c #Conflicts:     235000 | #Constraints:      19147
60.64/60.89	c #Conflicts:     236000 | #Constraints:      20148
60.64/60.89	c INPROCESSING
60.64/60.89	c GARBAGE COLLECT
60.64/60.89	c #Conflicts:     237000 | #Constraints:      11525
60.64/60.89	c #Conflicts:     238000 | #Constraints:      12526
60.64/60.89	c #Conflicts:     239000 | #Constraints:      13526
60.64/60.89	c #Conflicts:     240000 | #Constraints:      14527
60.64/60.89	c #Conflicts:     241000 | #Constraints:      15527
60.64/60.89	c #Conflicts:     242000 | #Constraints:      16528
60.64/60.89	c #Conflicts:     243000 | #Constraints:      17529
60.64/60.89	c #Conflicts:     244000 | #Constraints:      18530
60.64/60.89	c #Conflicts:     245000 | #Constraints:      19531
60.64/60.89	c #Conflicts:     246000 | #Constraints:      20532
60.64/60.89	c INPROCESSING
60.64/60.89	c GARBAGE COLLECT
60.64/60.89	WSVECS04 Frhs2[21]: 6 0 1.34811 shouldn't be
60.64/60.89	WSVECS04 Frhs2[32]: 6 0 7.42656 shouldn't be
60.64/60.89	WSVECS04 Frhs2[33]: 6 -1.08228 0 shouldn't be
60.64/60.89	WSVECS04 Frhs2[39]: 6 0 0.0753177 shouldn't be
60.64/60.89	WSVECS04 Frhs2[73]: 6 0 0.535563 shouldn't be
60.64/60.89	WSVECS04 Frhs2[79]: 6 0 0.100476 shouldn't be
60.64/60.89	WSVECS04 Frhs2[81]: 6 0 7.25772 shouldn't be
60.64/60.89	WSVECS04 Frhs2[93]: 6 0 0.970167 shouldn't be
60.64/60.89	WSVECS04 Frhs2[163]: 6 0 1.74488 shouldn't be
60.64/60.89	WSVECS04 Frhs2[197]: 6 0 5.64464 shouldn't be
60.64/60.89	WSVECS04 Frhs2[207]: 6 0 0.624052 shouldn't be
60.64/60.89	WSVECS04 Frhs2[211]: 6 0 2.01461 shouldn't be
60.64/60.89	WSVECS04 Frhs2[213]: 6 0 0.338307 shouldn't be
60.64/60.89	WSVECS04 Frhs2[214]: 6 0 0.338233 shouldn't be
60.64/60.89	WSVECS04 Frhs2[226]: 6 0 10.9259 shouldn't be
60.64/60.89	WSVECS04 Frhs2[235]: 6 0 0.100444 shouldn't be
60.64/60.89	WSVECS04 Frhs2[245]: 6 0 2.24946 shouldn't be
60.64/60.89	WSVECS04 Frhs2[247]: 6 0 0.974623 shouldn't be
60.64/60.89	WSVECS04 Frhs2[264]: 6 0 0.0709638 shouldn't be
60.64/60.89	WSVECS04 Frhs2[275]: 6 0 2.95864 shouldn't be
60.64/60.89	WSVECS04 Frhs2[277]: 6 0 0.100522 shouldn't be
60.64/60.89	WSVECS04 Frhs2[279]: 6 0 0.651304 shouldn't be
60.64/60.89	WSVECS04 Frhs2[281]: 6 0 0.709318 shouldn't be
60.64/60.89	WSVECS04 Frhs2[290]: 6 0 0.134984 shouldn't be
60.64/60.89	WSVECS04 Frhs2[293]: 6 0 7.7732 shouldn't be
60.64/60.89	WSVECS04 Frhs2[300]: 6 -2.47873 0 shouldn't be
60.64/60.89	WSVECS04 Frhs2[316]: 6 0 0.103671 shouldn't be
60.64/60.89	WSVECS04 Frhs2[330]: 6 0 0.4187 shouldn't be
60.64/60.89	WSVECS04 Frhs2[336]: 6 -1.32646 0 shouldn't be
60.64/60.89	WSVECS04 Frhs2[339]: 6 -1.55277 0 shouldn't be
60.64/60.89	WSVECS04 Frhs2[351]: 6 -1.06408 0 shouldn't be
60.64/60.89	WSVECS04 Frhs2[355]: 6 -1.30938 0 shouldn't be
60.64/60.89	WSVECS04 Frhs2[373]: 6 -1.99701 0 shouldn't be
60.64/60.89	WSVECS04 Frhs2[376]: 6 -2.91383 0 shouldn't be
60.64/60.89	WSVECS04 Frhs2[379]: 6 -1.59317 0 shouldn't be
60.64/60.89	WSVECS04 Frhs2[380]: 6 0 1.94527 shouldn't be
60.64/60.89	WSVECS04 Frhs2[386]: 6 0 0.296019 shouldn't be
60.64/60.89	WSVECS04 Frhs2[402]: 6 -1.66527 0 shouldn't be
60.64/60.89	WSVECS04 Frhs2[417]: 6 -1.46624 0 shouldn't be
60.64/60.89	WSVECS04 Frhs2[424]: 6 -1.81871 0 shouldn't be
60.64/60.89	WSVECS04 Frhs2[426]: 6 -0.834709 0 shouldn't be
60.73/60.95	WSVECS04 Frhs2[21]: 6 0 1.34808 shouldn't be
60.73/60.95	WSVECS04 Frhs2[79]: 6 0 0.100433 shouldn't be
60.73/60.95	WSVECS04 Frhs2[93]: 6 0 0.970069 shouldn't be
60.73/60.95	WSVECS04 Frhs2[168]: 6 0 0.521719 shouldn't be
60.73/60.95	WSVECS04 Frhs2[207]: 6 0 0.623962 shouldn't be
60.73/60.95	WSVECS04 Frhs2[213]: 6 0 0.338209 shouldn't be
60.73/60.95	WSVECS04 Frhs2[214]: 6 0 0.338208 shouldn't be
60.73/60.95	WSVECS04 Frhs2[235]: 6 0 0.100433 shouldn't be
60.73/60.95	WSVECS04 Frhs2[245]: 6 0 2.2494 shouldn't be
60.73/60.95	WSVECS04 Frhs2[247]: 6 0 0.974572 shouldn't be
60.73/60.95	WSVECS04 Frhs2[281]: 6 0 0.709283 shouldn't be
60.73/60.95	WSVECS04 Frhs2[339]: 6 -1.55268 0 shouldn't be
60.73/60.95	WSVECS04 Frhs2[351]: 6 -1.06403 0 shouldn't be
60.73/60.95	WSVECS04 Frhs2[379]: 6 -1.5931 0 shouldn't be
60.73/60.95	WSVECS04 Frhs2[380]: 6 0 1.94525 shouldn't be
60.73/60.95	WSVECS04 Frhs2[386]: 6 0 0.295962 shouldn't be
60.73/60.95	WSVECS04 Frhs2[417]: 6 -1.46623 0 shouldn't be
60.73/60.95	WSVECS04 Frhs2[424]: 6 -1.81869 0 shouldn't be
60.73/60.95	WSVECS04 Frhs2[426]: 6 -0.834658 0 shouldn't be
66.63/66.83	c #Conflicts:     247000 | #Constraints:      11716
66.63/66.83	c #Conflicts:     248000 | #Constraints:      12716
66.63/66.83	c #Conflicts:     249000 | #Constraints:      13716
66.63/66.83	c #Conflicts:     250000 | #Constraints:      14716
66.63/66.83	c #Conflicts:     251000 | #Constraints:      15716
66.63/66.83	c #Conflicts:     252000 | #Constraints:      16716
66.63/66.83	c #Conflicts:     253000 | #Constraints:      17716
66.63/66.83	c #Conflicts:     254000 | #Constraints:      18716
66.63/66.83	c #Conflicts:     255000 | #Constraints:      19716
66.63/66.83	c #Conflicts:     256000 | #Constraints:      20716
66.63/66.83	c INPROCESSING
66.63/66.83	c GARBAGE COLLECT
66.63/66.83	c #Conflicts:     257000 | #Constraints:      11702
66.63/66.83	c #Conflicts:     258000 | #Constraints:      12702
66.63/66.83	c #Conflicts:     259000 | #Constraints:      13702
66.63/66.83	c #Conflicts:     260000 | #Constraints:      14702
66.63/66.83	c #Conflicts:     261000 | #Constraints:      15702
66.63/66.83	c #Conflicts:     262000 | #Constraints:      16702
66.63/66.83	c #Conflicts:     263000 | #Constraints:      17702
66.63/66.83	c #Conflicts:     264000 | #Constraints:      18702
66.63/66.83	c #Conflicts:     265000 | #Constraints:      19702
66.63/66.83	c #Conflicts:     266000 | #Constraints:      20702
66.63/66.83	c INPROCESSING
66.63/66.83	c GARBAGE COLLECT
66.63/66.83	c rational objective 61.0021
83.99/84.21	c #Conflicts:     267000 | #Constraints:      11498
83.99/84.21	c #Conflicts:     268000 | #Constraints:      12498
83.99/84.21	c #Conflicts:     269000 | #Constraints:      13499
83.99/84.21	c #Conflicts:     270000 | #Constraints:      14499
83.99/84.21	c #Conflicts:     271000 | #Constraints:      15499
83.99/84.21	c #Conflicts:     272000 | #Constraints:      16499
83.99/84.21	c #Conflicts:     273000 | #Constraints:      17500
83.99/84.21	c #Conflicts:     274000 | #Constraints:      18501
83.99/84.21	c #Conflicts:     275000 | #Constraints:      19503
83.99/84.21	c #Conflicts:     276000 | #Constraints:      20505
83.99/84.21	c #Conflicts:     277000 | #Constraints:      21505
83.99/84.21	c INPROCESSING
83.99/84.21	c GARBAGE COLLECT
83.99/84.21	c #Conflicts:     278000 | #Constraints:      12102
83.99/84.21	c #Conflicts:     279000 | #Constraints:      13103
83.99/84.21	c #Conflicts:     280000 | #Constraints:      14103
83.99/84.21	c #Conflicts:     281000 | #Constraints:      15104
83.99/84.21	c #Conflicts:     282000 | #Constraints:      16105
83.99/84.21	c #Conflicts:     283000 | #Constraints:      17105
83.99/84.21	c #Conflicts:     284000 | #Constraints:      18105
83.99/84.21	c #Conflicts:     285000 | #Constraints:      19106
83.99/84.21	c #Conflicts:     286000 | #Constraints:      20108
83.99/84.21	c #Conflicts:     287000 | #Constraints:      21108
83.99/84.21	c #Conflicts:     288000 | #Constraints:      22109
83.99/84.21	c INPROCESSING
83.99/84.21	c GARBAGE COLLECT
83.99/84.21	c #Conflicts:     289000 | #Constraints:      12507
83.99/84.21	c #Conflicts:     290000 | #Constraints:      13508
83.99/84.21	c #Conflicts:     291000 | #Constraints:      14509
83.99/84.21	c #Conflicts:     292000 | #Constraints:      15511
83.99/84.21	c #Conflicts:     293000 | #Constraints:      16512
83.99/84.21	c #Conflicts:     294000 | #Constraints:      17515
83.99/84.21	c #Conflicts:     295000 | #Constraints:      18520
83.99/84.21	c #Conflicts:     296000 | #Constraints:      19521
83.99/84.21	c #Conflicts:     297000 | #Constraints:      20523
83.99/84.21	c #Conflicts:     298000 | #Constraints:      21523
83.99/84.21	c #Conflicts:     299000 | #Constraints:      22525
83.99/84.21	c INPROCESSING
83.99/84.21	c GARBAGE COLLECT
83.99/84.21	c #Conflicts:     300000 | #Constraints:      12714
83.99/84.21	c #Conflicts:     301000 | #Constraints:      13715
83.99/84.21	c #Conflicts:     302000 | #Constraints:      14715
83.99/84.21	c #Conflicts:     303000 | #Constraints:      15716
83.99/84.21	c #Conflicts:     304000 | #Constraints:      16717
83.99/84.21	c #Conflicts:     305000 | #Constraints:      17719
83.99/84.21	c #Conflicts:     306000 | #Constraints:      18720
83.99/84.21	c #Conflicts:     307000 | #Constraints:      19721
83.99/84.21	c #Conflicts:     308000 | #Constraints:      20721
83.99/84.21	c #Conflicts:     309000 | #Constraints:      21723
83.99/84.21	c #Conflicts:     310000 | #Constraints:      22724
83.99/84.21	c INPROCESSING
83.99/84.21	c GARBAGE COLLECT
83.99/84.21	c #Conflicts:     311000 | #Constraints:      12711
83.99/84.21	c #Conflicts:     312000 | #Constraints:      13711
83.99/84.21	c #Conflicts:     313000 | #Constraints:      14712
83.99/84.21	c #Conflicts:     314000 | #Constraints:      15712
83.99/84.21	c #Conflicts:     315000 | #Constraints:      16712
83.99/84.21	c #Conflicts:     316000 | #Constraints:      17713
83.99/84.21	c #Conflicts:     317000 | #Constraints:      18714
83.99/84.21	c #Conflicts:     318000 | #Constraints:      19715
83.99/84.21	c #Conflicts:     319000 | #Constraints:      20721
83.99/84.21	c #Conflicts:     320000 | #Constraints:      21730
83.99/84.21	c #Conflicts:     321000 | #Constraints:      22738
83.99/84.21	c INPROCESSING
83.99/84.21	c GARBAGE COLLECT
83.99/84.21	WSVECS04 Frhs2[11]: 6 0 101.976 shouldn't be
83.99/84.21	WSVECS04 Frhs2[12]: 6 0 101.976 shouldn't be
83.99/84.21	WSVECS04 Frhs2[15]: 6 0 5.99971 shouldn't be
83.99/84.21	WSVECS04 Frhs2[23]: 6 0 1680.45 shouldn't be
83.99/84.21	WSVECS04 Frhs2[24]: 6 0 91.0093 shouldn't be
83.99/84.21	WSVECS04 Frhs2[60]: 6 0 342.312 shouldn't be
83.99/84.21	WSVECS04 Frhs2[69]: 6 0 64.9796 shouldn't be
83.99/84.21	WSVECS04 Frhs2[99]: 6 0 22.4799 shouldn't be
83.99/84.21	WSVECS04 Frhs2[107]: 6 0 22.4799 shouldn't be
83.99/84.21	WSVECS04 Frhs2[112]: 6 -8.68058 0 shouldn't be
83.99/84.21	WSVECS04 Frhs2[121]: 6 -473.238 0 shouldn't be
83.99/84.21	WSVECS04 Frhs2[145]: 6 0 41.6708 shouldn't be
83.99/84.21	WSVECS04 Frhs2[149]: 6 0 48.6798 shouldn't be
83.99/84.21	WSVECS04 Frhs2[155]: 6 0 156.106 shouldn't be
83.99/84.21	WSVECS04 Frhs2[156]: 6 0 8.04323 shouldn't be
83.99/84.21	WSVECS04 Frhs2[163]: 6 0 83.4209 shouldn't be
83.99/84.21	WSVECS04 Frhs2[166]: 6 0 335.511 shouldn't be
83.99/84.21	WSVECS04 Frhs2[191]: 6 0 9.48286 shouldn't be
83.99/84.21	WSVECS04 Frhs2[208]: 6 -8.68051 0 shouldn't be
83.99/84.21	WSVECS04 Frhs2[209]: 6 0 205.591 shouldn't be
83.99/84.21	WSVECS04 Frhs2[216]: 6 -141.102 0 shouldn't be
83.99/84.21	WSVECS04 Frhs2[224]: 6 0 175.177 shouldn't be
83.99/84.21	WSVECS04 Frhs2[232]: 6 -29.7262 0 shouldn't be
83.99/84.21	WSVECS04 Frhs2[243]: 6 0 33.6149 shouldn't be
83.99/84.21	WSVECS04 Frhs2[249]: 6 0 46.511 shouldn't be
83.99/84.21	WSVECS04 Frhs2[264]: 6 -21.6928 0 shouldn't be
83.99/84.21	WSVECS04 Frhs2[274]: 6 0 190.158 shouldn't be
83.99/84.21	WSVECS04 Frhs2[275]: 6 0 804.613 shouldn't be
83.99/84.21	WSVECS04 Frhs2[276]: 6 0 221.103 shouldn't be
83.99/84.21	WSVECS04 Frhs2[279]: 6 0 112.305 shouldn't be
83.99/84.21	WSVECS04 Frhs2[280]: 6 0 94.0848 shouldn't be
83.99/84.21	WSVECS04 Frhs2[281]: 6 0 101.887 shouldn't be
83.99/84.21	WSVECS04 Frhs2[282]: 6 0 101.887 shouldn't be
83.99/84.21	WSVECS04 Frhs2[286]: 6 0 94.0741 shouldn't be
83.99/84.21	WSVECS04 Frhs2[299]: 6 0 465.979 shouldn't be
83.99/84.21	WSVECS04 Frhs2[307]: 6 -780.765 0 shouldn't be
83.99/84.21	WSVECS04 Frhs2[311]: 6 0 449.229 shouldn't be
83.99/84.21	WSVECS04 Frhs2[323]: 6 0 151.309 shouldn't be
83.99/84.21	WSVECS04 Frhs2[324]: 6 0 442.858 shouldn't be
83.99/84.21	WSVECS04 Frhs2[326]: 6 0 119.105 shouldn't be
83.99/84.21	WSVECS04 Frhs2[328]: 6 0 121.242 shouldn't be
83.99/84.21	WSVECS04 Frhs2[346]: 6 0 82.8415 shouldn't be
83.99/84.21	WSVECS04 Frhs2[360]: 6 -10.9581 0 shouldn't be
83.99/84.21	WSVECS04 Frhs2[362]: 6 -11.3805 0 shouldn't be
83.99/84.21	WSVECS04 Frhs2[398]: 6 0 148.741 shouldn't be
83.99/84.21	WSVECS04 Frhs2[423]: 6 0 409.592 shouldn't be
83.99/84.21	WSVECS04 Frhs2[424]: 6 0 107.665 shouldn't be
91.26/91.58	c #Conflicts:     322000 | #Constraints:      12524
91.26/91.58	c #Conflicts:     323000 | #Constraints:      13525
91.26/91.58	c #Conflicts:     324000 | #Constraints:      14525
91.26/91.58	c #Conflicts:     325000 | #Constraints:      15527
91.26/91.58	c #Conflicts:     326000 | #Constraints:      16528
91.26/91.58	c #Conflicts:     327000 | #Constraints:      17529
91.26/91.58	c #Conflicts:     328000 | #Constraints:      18532
91.26/91.58	c #Conflicts:     329000 | #Constraints:      19537
91.26/91.58	c #Conflicts:     330000 | #Constraints:      20543
91.26/91.58	c #Conflicts:     331000 | #Constraints:      21548
91.26/91.58	c #Conflicts:     332000 | #Constraints:      22552
91.26/91.58	c #Conflicts:     333000 | #Constraints:      23559
91.26/91.58	c INPROCESSING
91.26/91.58	c GARBAGE COLLECT
91.26/91.58	c #Conflicts:     334000 | #Constraints:      13125
91.26/91.58	c #Conflicts:     335000 | #Constraints:      14125
91.26/91.58	c #Conflicts:     336000 | #Constraints:      15125
91.26/91.58	c #Conflicts:     337000 | #Constraints:      16125
91.26/91.58	c #Conflicts:     338000 | #Constraints:      17125
91.26/91.58	c #Conflicts:     339000 | #Constraints:      18125
91.26/91.58	c #Conflicts:     340000 | #Constraints:      19125
91.26/91.58	c #Conflicts:     341000 | #Constraints:      20127
91.26/91.58	c #Conflicts:     342000 | #Constraints:      21129
91.26/91.58	c #Conflicts:     343000 | #Constraints:      22130
91.26/91.58	c #Conflicts:     344000 | #Constraints:      23131
91.26/91.58	c #Conflicts:     345000 | #Constraints:      24132
91.26/91.58	c INPROCESSING
91.26/91.58	c GARBAGE COLLECT
91.26/91.58	WSVECS04 Frhs2[3]: 6 0 18.5443 shouldn't be
91.26/91.58	WSVECS04 Frhs2[12]: 6 0 10.223 shouldn't be
91.26/91.58	WSVECS04 Frhs2[13]: 6 0 14.9815 shouldn't be
91.26/91.58	WSVECS04 Frhs2[14]: 6 0 21.0706 shouldn't be
91.26/91.58	WSVECS04 Frhs2[15]: 6 0 3.68754 shouldn't be
91.26/91.58	WSVECS04 Frhs2[19]: 6 0 2.06607 shouldn't be
91.26/91.58	WSVECS04 Frhs2[22]: 6 0 31.069 shouldn't be
91.26/91.58	WSVECS04 Frhs2[31]: 6 0 7.08612 shouldn't be
91.26/91.58	WSVECS04 Frhs2[32]: 6 0 13.1752 shouldn't be
91.26/91.58	WSVECS04 Frhs2[33]: 6 0 7.09384 shouldn't be
91.26/91.58	WSVECS04 Frhs2[38]: 6 0 8.15509 shouldn't be
91.26/91.58	WSVECS04 Frhs2[40]: 6 0 21.5622 shouldn't be
91.26/91.58	WSVECS04 Frhs2[41]: 6 0 23.4166 shouldn't be
91.26/91.58	WSVECS04 Frhs2[56]: 6 0 8.15511 shouldn't be
91.26/91.58	WSVECS04 Frhs2[66]: 6 0 28.6896 shouldn't be
91.26/91.58	WSVECS04 Frhs2[75]: 6 0 15.1655 shouldn't be
91.26/91.58	WSVECS04 Frhs2[79]: 6 0 1.17334 shouldn't be
91.26/91.58	WSVECS04 Frhs2[85]: 6 0 7.96922 shouldn't be
91.26/91.58	WSVECS04 Frhs2[88]: 6 0 8.15509 shouldn't be
91.26/91.58	WSVECS04 Frhs2[99]: 6 0 4.82166 shouldn't be
91.26/91.58	WSVECS04 Frhs2[111]: 6 0 33.1574 shouldn't be
91.26/91.58	WSVECS04 Frhs2[121]: 6 -81.1708 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[134]: 6 0 8.15508 shouldn't be
91.26/91.58	WSVECS04 Frhs2[136]: 6 0 8.15507 shouldn't be
91.26/91.58	WSVECS04 Frhs2[143]: 6 0 33.7851 shouldn't be
91.26/91.58	WSVECS04 Frhs2[151]: 6 0 2.06608 shouldn't be
91.26/91.58	WSVECS04 Frhs2[154]: 6 0 20.402 shouldn't be
91.26/91.58	WSVECS04 Frhs2[157]: 6 0 11.1199 shouldn't be
91.26/91.58	WSVECS04 Frhs2[161]: 6 0 2.06603 shouldn't be
91.26/91.58	WSVECS04 Frhs2[162]: 6 0 8.15509 shouldn't be
91.26/91.58	WSVECS04 Frhs2[164]: 6 0 30.1366 shouldn't be
91.26/91.58	WSVECS04 Frhs2[165]: 6 0 19.9681 shouldn't be
91.26/91.58	WSVECS04 Frhs2[166]: 6 0 10.3391 shouldn't be
91.26/91.58	WSVECS04 Frhs2[176]: 6 0 8.15513 shouldn't be
91.26/91.58	WSVECS04 Frhs2[177]: 6 0 1.41529 shouldn't be
91.26/91.58	WSVECS04 Frhs2[181]: 6 0 2.06602 shouldn't be
91.26/91.58	WSVECS04 Frhs2[191]: 6 0 4.25012 shouldn't be
91.26/91.58	WSVECS04 Frhs2[193]: 6 0 2.75039 shouldn't be
91.26/91.58	WSVECS04 Frhs2[199]: 6 0 2.06603 shouldn't be
91.26/91.58	WSVECS04 Frhs2[202]: 6 0 39.6522 shouldn't be
91.26/91.58	WSVECS04 Frhs2[206]: 6 0 8.15513 shouldn't be
91.26/91.58	WSVECS04 Frhs2[207]: 6 0 2.06608 shouldn't be
91.26/91.58	WSVECS04 Frhs2[213]: 6 0 7.51917 shouldn't be
91.26/91.58	WSVECS04 Frhs2[214]: 6 0 8.15509 shouldn't be
91.26/91.58	WSVECS04 Frhs2[215]: 6 0 4.25013 shouldn't be
91.26/91.58	WSVECS04 Frhs2[216]: 6 0 10.3392 shouldn't be
91.26/91.58	WSVECS04 Frhs2[217]: 6 0 4.1256 shouldn't be
91.26/91.58	WSVECS04 Frhs2[219]: 6 0 25.1214 shouldn't be
91.26/91.58	WSVECS04 Frhs2[223]: 6 0 1.96327 shouldn't be
91.26/91.58	WSVECS04 Frhs2[224]: 6 0 18.8056 shouldn't be
91.26/91.58	WSVECS04 Frhs2[227]: 6 0 33.4975 shouldn't be
91.26/91.58	WSVECS04 Frhs2[228]: 6 0 8.15512 shouldn't be
91.26/91.58	WSVECS04 Frhs2[229]: 6 0 2.06609 shouldn't be
91.26/91.58	WSVECS04 Frhs2[231]: 6 0 2.06603 shouldn't be
91.26/91.58	WSVECS04 Frhs2[238]: 6 0 10.812 shouldn't be
91.26/91.58	WSVECS04 Frhs2[240]: 6 0 10.3391 shouldn't be
91.26/91.58	WSVECS04 Frhs2[245]: 6 0 22.5047 shouldn't be
91.26/91.58	WSVECS04 Frhs2[250]: 6 0 10.7887 shouldn't be
91.26/91.58	WSVECS04 Frhs2[255]: 6 0 2.06606 shouldn't be
91.26/91.58	WSVECS04 Frhs2[256]: 6 0 8.15511 shouldn't be
91.26/91.58	WSVECS04 Frhs2[257]: 6 0 29.2797 shouldn't be
91.26/91.58	WSVECS04 Frhs2[259]: 6 0 2.06602 shouldn't be
91.26/91.58	WSVECS04 Frhs2[265]: 6 0 5.96652 shouldn't be
91.26/91.58	WSVECS04 Frhs2[272]: 6 0 8.64407 shouldn't be
91.26/91.58	WSVECS04 Frhs2[274]: 6 0 10.3173 shouldn't be
91.26/91.58	WSVECS04 Frhs2[275]: 6 0 44.3771 shouldn't be
91.26/91.58	WSVECS04 Frhs2[282]: 6 0 7.12211 shouldn't be
91.26/91.58	WSVECS04 Frhs2[283]: 6 0 1.54954 shouldn't be
91.26/91.58	WSVECS04 Frhs2[284]: 6 0 7.63858 shouldn't be
91.26/91.58	WSVECS04 Frhs2[291]: 6 -23.9926 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[292]: 6 0 7.34196 shouldn't be
91.26/91.58	WSVECS04 Frhs2[298]: 6 0 14.4609 shouldn't be
91.26/91.58	WSVECS04 Frhs2[303]: 6 0 21.6363 shouldn't be
91.26/91.58	WSVECS04 Frhs2[304]: 6 -20.6267 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[305]: 6 -30.7451 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[308]: 6 -47.8638 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[310]: 6 -53.0702 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[315]: 6 -28.8341 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[323]: 6 -13.9467 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[327]: 6 -28.155 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[328]: 6 0 47.6824 shouldn't be
91.26/91.58	WSVECS04 Frhs2[335]: 6 -16.3123 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[338]: 6 -49.0143 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[339]: 6 -37.5892 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[351]: 6 -32.9896 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[379]: 6 -12.2088 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[380]: 6 0 5.30572 shouldn't be
91.26/91.58	WSVECS04 Frhs2[383]: 6 -33.2362 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[385]: 6 -34.082 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[386]: 6 0 16.9557 shouldn't be
91.26/91.58	WSVECS04 Frhs2[391]: 6 -39.4148 0 shouldn't be
91.26/91.58	WSVECS04 Frhs2[393]: 6 0 13.0487 shouldn't be
91.26/91.58	WSVECS04 Frhs2[406]: 6 0 0.342961 shouldn't be
91.26/91.58	WSVECS04 Frhs2[410]: 6 0 20.3473 shouldn't be
91.26/91.58	WSVECS04 Frhs2[420]: 6 0 11.6779 shouldn't be
91.26/91.58	WSVECS04 Frhs2[422]: 6 -1.4908 0 shouldn't be
91.36/91.64	WSVECS04 Frhs2[83]: 6 0 2.06602 shouldn't be
91.36/91.64	WSVECS04 Frhs2[123]: 6 0 15.0585 shouldn't be
91.36/91.64	WSVECS04 Frhs2[153]: 6 0 0.571906 shouldn't be
91.36/91.64	WSVECS04 Frhs2[195]: 6 0 2.06603 shouldn't be
91.36/91.64	WSVECS04 Frhs2[203]: 6 0 2.06607 shouldn't be
91.36/91.64	WSVECS04 Frhs2[211]: 6 0 7.17065 shouldn't be
91.36/91.64	WSVECS04 Frhs2[239]: 6 0 4.25015 shouldn't be
91.36/91.64	WSVECS04 Frhs2[251]: 6 0 2.06603 shouldn't be
91.36/91.69	WSVECS04 Frhs2[36]: 6 0 8.15509 shouldn't be
91.36/91.69	WSVECS04 Frhs2[58]: 6 0 8.15509 shouldn't be
91.36/91.69	WSVECS04 Frhs2[86]: 6 0 8.15508 shouldn't be
91.36/91.69	WSVECS04 Frhs2[92]: 6 0 8.15508 shouldn't be
91.36/91.69	WSVECS04 Frhs2[110]: 6 0 18.2121 shouldn't be
91.36/91.69	WSVECS04 Frhs2[128]: 6 0 8.15506 shouldn't be
91.36/91.69	WSVECS04 Frhs2[167]: 6 0 22.0195 shouldn't be
91.36/91.69	WSVECS04 Frhs2[188]: 6 0 8.15507 shouldn't be
91.36/91.69	WSVECS04 Frhs2[200]: 6 0 8.15512 shouldn't be
91.36/91.69	WSVECS04 Frhs2[204]: 6 0 8.15512 shouldn't be
91.36/91.69	WSVECS04 Frhs2[212]: 6 0 8.15512 shouldn't be
91.36/91.69	WSVECS04 Frhs2[220]: 6 0 8.15509 shouldn't be
91.36/91.69	WSVECS04 Frhs2[226]: 6 0 11.0634 shouldn't be
91.36/91.69	WSVECS04 Frhs2[232]: 6 0 8.15511 shouldn't be
91.36/91.69	WSVECS04 Frhs2[234]: 6 0 8.15511 shouldn't be
91.36/91.69	WSVECS04 Frhs2[252]: 6 0 8.15507 shouldn't be
91.36/91.69	WSVECS04 Frhs2[273]: 6 0 4.22815 shouldn't be
91.36/91.69	WSVECS04 Frhs2[286]: 6 0 7.89689 shouldn't be
91.56/91.81	WSVECS04 Frhs2[276]: 6 0 42.26 shouldn't be
91.56/91.84	c rational objective 61.0023
106.92/107.27	c #Conflicts:     346000 | #Constraints:      13515
106.92/107.27	c #Conflicts:     347000 | #Constraints:      14516
106.92/107.27	c #Conflicts:     348000 | #Constraints:      15516
106.92/107.27	c #Conflicts:     349000 | #Constraints:      16517
106.92/107.27	c #Conflicts:     350000 | #Constraints:      17519
106.92/107.27	c #Conflicts:     351000 | #Constraints:      18519
106.92/107.27	c #Conflicts:     352000 | #Constraints:      19523
106.92/107.27	c #Conflicts:     353000 | #Constraints:      20525
106.92/107.27	c #Conflicts:     354000 | #Constraints:      21526
106.92/107.27	c #Conflicts:     355000 | #Constraints:      22527
106.92/107.27	c #Conflicts:     356000 | #Constraints:      23527
106.92/107.27	c #Conflicts:     357000 | #Constraints:      24528
106.92/107.27	c INPROCESSING
106.92/107.27	c GARBAGE COLLECT
106.92/107.27	c #Conflicts:     358000 | #Constraints:      13711
106.92/107.27	c #Conflicts:     359000 | #Constraints:      14712
106.92/107.27	c #Conflicts:     360000 | #Constraints:      15714
106.92/107.27	c #Conflicts:     361000 | #Constraints:      16715
106.92/107.27	c #Conflicts:     362000 | #Constraints:      17716
106.92/107.27	c #Conflicts:     363000 | #Constraints:      18716
106.92/107.27	c #Conflicts:     364000 | #Constraints:      19717
106.92/107.27	c #Conflicts:     365000 | #Constraints:      20718
106.92/107.27	c #Conflicts:     366000 | #Constraints:      21718
106.92/107.27	c #Conflicts:     367000 | #Constraints:      22719
106.92/107.27	c #Conflicts:     368000 | #Constraints:      23719
106.92/107.27	c #Conflicts:     369000 | #Constraints:      24720
106.92/107.27	c INPROCESSING
106.92/107.27	c GARBAGE COLLECT
106.92/107.27	c #Conflicts:     370000 | #Constraints:      13712
106.92/107.27	c #Conflicts:     371000 | #Constraints:      14714
106.92/107.27	c #Conflicts:     372000 | #Constraints:      15717
106.92/107.27	c #Conflicts:     373000 | #Constraints:      16719
106.92/107.27	c #Conflicts:     374000 | #Constraints:      17720
106.92/107.27	c #Conflicts:     375000 | #Constraints:      18721
106.92/107.27	c #Conflicts:     376000 | #Constraints:      19723
106.92/107.27	c #Conflicts:     377000 | #Constraints:      20733
106.92/107.27	c #Conflicts:     378000 | #Constraints:      21739
106.92/107.27	c #Conflicts:     379000 | #Constraints:      22744
106.92/107.27	c #Conflicts:     380000 | #Constraints:      23746
106.92/107.27	c #Conflicts:     381000 | #Constraints:      24746
106.92/107.27	c INPROCESSING
106.92/107.27	c GARBAGE COLLECT
106.92/107.27	c #Conflicts:     382000 | #Constraints:      13525
106.92/107.27	c #Conflicts:     383000 | #Constraints:      14526
106.92/107.27	c #Conflicts:     384000 | #Constraints:      15527
106.92/107.27	c #Conflicts:     385000 | #Constraints:      16528
106.92/107.27	c #Conflicts:     386000 | #Constraints:      17529
106.92/107.27	c #Conflicts:     387000 | #Constraints:      18530
106.92/107.27	c #Conflicts:     388000 | #Constraints:      19531
106.92/107.27	c #Conflicts:     389000 | #Constraints:      20532
106.92/107.27	c #Conflicts:     390000 | #Constraints:      21532
106.92/107.27	c #Conflicts:     391000 | #Constraints:      22532
106.92/107.27	c #Conflicts:     392000 | #Constraints:      23533
106.92/107.27	c #Conflicts:     393000 | #Constraints:      24534
106.92/107.27	c #Conflicts:     394000 | #Constraints:      25536
106.92/107.27	c INPROCESSING
106.92/107.27	c GARBAGE COLLECT
106.92/107.27	WSVECS04 Frhs2[9]: 6 0 17.816 shouldn't be
106.92/107.27	WSVECS04 Frhs2[10]: 6 0 0.228342 shouldn't be
106.92/107.27	WSVECS04 Frhs2[15]: 6 0 1.05161 shouldn't be
106.92/107.27	WSVECS04 Frhs2[17]: 6 0 0.166705 shouldn't be
106.92/107.27	WSVECS04 Frhs2[25]: 6 0 1.78526 shouldn't be
106.92/107.27	WSVECS04 Frhs2[27]: 6 0 27.0315 shouldn't be
106.92/107.27	WSVECS04 Frhs2[43]: 6 0 12.1916 shouldn't be
106.92/107.27	WSVECS04 Frhs2[52]: 6 0 4.84007 shouldn't be
106.92/107.27	WSVECS04 Frhs2[70]: 6 0 3.23606 shouldn't be
106.92/107.27	WSVECS04 Frhs2[73]: 6 0 0.140004 shouldn't be
106.92/107.27	WSVECS04 Frhs2[87]: 6 0 8.20081 shouldn't be
106.92/107.27	WSVECS04 Frhs2[97]: 6 0 2.5435 shouldn't be
106.92/107.27	WSVECS04 Frhs2[111]: 6 0 1.92721 shouldn't be
106.92/107.27	WSVECS04 Frhs2[115]: 6 0 21.6957 shouldn't be
106.92/107.27	WSVECS04 Frhs2[119]: 6 0 0.129672 shouldn't be
106.92/107.27	WSVECS04 Frhs2[121]: 6 -2.41518 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[153]: 6 0 2.11355 shouldn't be
106.92/107.27	WSVECS04 Frhs2[159]: 6 0 5.07294 shouldn't be
106.92/107.27	WSVECS04 Frhs2[161]: 6 0 2.99953 shouldn't be
106.92/107.27	WSVECS04 Frhs2[166]: 6 0 9.17717 shouldn't be
106.92/107.27	WSVECS04 Frhs2[167]: 6 0 9.35363 shouldn't be
106.92/107.27	WSVECS04 Frhs2[175]: 6 0 34.3948 shouldn't be
106.92/107.27	WSVECS04 Frhs2[177]: 6 0 0.491947 shouldn't be
106.92/107.27	WSVECS04 Frhs2[178]: 6 0 2.19041 shouldn't be
106.92/107.27	WSVECS04 Frhs2[185]: 6 0 11.7423 shouldn't be
106.92/107.27	WSVECS04 Frhs2[187]: 6 0 6.41989 shouldn't be
106.92/107.27	WSVECS04 Frhs2[189]: 6 0 1.96407 shouldn't be
106.92/107.27	WSVECS04 Frhs2[191]: 6 0 9.51701 shouldn't be
106.92/107.27	WSVECS04 Frhs2[199]: 6 0 4.02005 shouldn't be
106.92/107.27	WSVECS04 Frhs2[200]: 6 0 5.2501 shouldn't be
106.92/107.27	WSVECS04 Frhs2[203]: 6 0 16.6765 shouldn't be
106.92/107.27	WSVECS04 Frhs2[204]: 6 0 16.6765 shouldn't be
106.92/107.27	WSVECS04 Frhs2[207]: 6 0 2.99953 shouldn't be
106.92/107.27	WSVECS04 Frhs2[224]: 6 0 3.65668 shouldn't be
106.92/107.27	WSVECS04 Frhs2[228]: 6 0 3.32922 shouldn't be
106.92/107.27	WSVECS04 Frhs2[235]: 6 0 8.13814 shouldn't be
106.92/107.27	WSVECS04 Frhs2[237]: 6 0 7.52134 shouldn't be
106.92/107.27	WSVECS04 Frhs2[241]: 6 0 2.31683 shouldn't be
106.92/107.27	WSVECS04 Frhs2[243]: 6 0 2.9158 shouldn't be
106.92/107.27	WSVECS04 Frhs2[249]: 6 -5.05082 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[250]: 6 0 2.5261 shouldn't be
106.92/107.27	WSVECS04 Frhs2[257]: 6 0 2.81807 shouldn't be
106.92/107.27	WSVECS04 Frhs2[275]: 6 0 8.92877 shouldn't be
106.92/107.27	WSVECS04 Frhs2[277]: 6 0 2.31684 shouldn't be
106.92/107.27	WSVECS04 Frhs2[282]: 6 -37.4569 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[286]: 6 0 2.78063 shouldn't be
106.92/107.27	WSVECS04 Frhs2[296]: 6 -23.9098 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[303]: 6 0 16.3278 shouldn't be
106.92/107.27	WSVECS04 Frhs2[312]: 6 0 3.39745 shouldn't be
106.92/107.27	WSVECS04 Frhs2[318]: 6 -17.4742 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[325]: 6 -20.8131 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[333]: 6 -16.4477 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[334]: 6 0 19.6194 shouldn't be
106.92/107.27	WSVECS04 Frhs2[335]: 6 0 2.51151 shouldn't be
106.92/107.27	WSVECS04 Frhs2[336]: 6 -10.3653 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[338]: 6 -2.53558 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[339]: 6 0 4.69845 shouldn't be
106.92/107.27	WSVECS04 Frhs2[342]: 6 -18.121 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[343]: 6 -8.6777 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[348]: 6 -14.3173 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[350]: 6 -8.8661 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[362]: 6 -0.507159 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[369]: 6 0 7.04944 shouldn't be
106.92/107.27	WSVECS04 Frhs2[382]: 6 0 5.35417 shouldn't be
106.92/107.27	WSVECS04 Frhs2[390]: 6 -22.1499 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[391]: 6 -7.0809 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[392]: 6 0 9.21984 shouldn't be
106.92/107.27	WSVECS04 Frhs2[397]: 6 -14.6127 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[421]: 6 -4.10658 0 shouldn't be
106.92/107.27	WSVECS04 Frhs2[427]: 6 -31.4908 0 shouldn't be
107.03/107.33	WSVECS04 Frhs2[21]: 6 0 0.342084 shouldn't be
107.03/107.33	WSVECS04 Frhs2[43]: 6 0 12.1915 shouldn't be
107.03/107.33	WSVECS04 Frhs2[111]: 6 0 1.92715 shouldn't be
107.03/107.33	WSVECS04 Frhs2[119]: 6 0 0.129653 shouldn't be
107.03/107.33	WSVECS04 Frhs2[121]: 6 -2.4151 0 shouldn't be
107.03/107.33	WSVECS04 Frhs2[167]: 6 0 9.35361 shouldn't be
107.03/107.33	WSVECS04 Frhs2[175]: 6 0 34.3947 shouldn't be
107.03/107.33	WSVECS04 Frhs2[187]: 6 0 6.41986 shouldn't be
107.03/107.33	WSVECS04 Frhs2[189]: 6 0 1.96404 shouldn't be
107.03/107.33	WSVECS04 Frhs2[228]: 6 0 3.32915 shouldn't be
107.03/107.33	WSVECS04 Frhs2[276]: 6 0 8.90993 shouldn't be
107.03/107.33	WSVECS04 Frhs2[282]: 6 -37.4568 0 shouldn't be
107.03/107.33	WSVECS04 Frhs2[296]: 6 -23.9097 0 shouldn't be
107.03/107.33	WSVECS04 Frhs2[303]: 6 0 16.3277 shouldn't be
107.03/107.33	WSVECS04 Frhs2[312]: 6 0 3.39736 shouldn't be
107.03/107.33	WSVECS04 Frhs2[323]: 6 0 28.4424 shouldn't be
107.03/107.33	WSVECS04 Frhs2[333]: 6 -16.4477 0 shouldn't be
107.03/107.33	WSVECS04 Frhs2[339]: 6 0 4.6984 shouldn't be
107.03/107.33	WSVECS04 Frhs2[342]: 6 -18.121 0 shouldn't be
107.03/107.33	WSVECS04 Frhs2[343]: 6 -8.67761 0 shouldn't be
107.03/107.33	WSVECS04 Frhs2[348]: 6 -14.3172 0 shouldn't be
107.03/107.33	WSVECS04 Frhs2[350]: 6 -8.86606 0 shouldn't be
107.03/107.33	WSVECS04 Frhs2[365]: 6 0 20.7904 shouldn't be
107.03/107.33	WSVECS04 Frhs2[372]: 6 -18.5458 0 shouldn't be
107.03/107.33	WSVECS04 Frhs2[382]: 6 0 5.35412 shouldn't be
107.03/107.33	WSVECS04 Frhs2[390]: 6 -22.1498 0 shouldn't be
107.03/107.33	WSVECS04 Frhs2[427]: 6 -31.4908 0 shouldn't be
107.03/107.39	WSVECS04 Frhs2[10]: 6 0 0.228271 shouldn't be
107.03/107.39	WSVECS04 Frhs2[15]: 6 0 1.05153 shouldn't be
107.03/107.39	WSVECS04 Frhs2[17]: 6 0 0.166652 shouldn't be
107.03/107.39	WSVECS04 Frhs2[19]: 6 0 0.283607 shouldn't be
107.03/107.39	WSVECS04 Frhs2[25]: 6 0 1.78522 shouldn't be
107.03/107.39	WSVECS04 Frhs2[52]: 6 0 4.84004 shouldn't be
107.03/107.39	WSVECS04 Frhs2[69]: 6 0 10.3338 shouldn't be
107.03/107.39	WSVECS04 Frhs2[70]: 6 0 3.23605 shouldn't be
107.03/107.39	WSVECS04 Frhs2[73]: 6 0 0.139972 shouldn't be
107.03/107.39	WSVECS04 Frhs2[87]: 6 0 8.20075 shouldn't be
107.03/107.39	WSVECS04 Frhs2[97]: 6 0 2.54341 shouldn't be
107.03/107.39	WSVECS04 Frhs2[115]: 6 0 21.6957 shouldn't be
107.03/107.39	WSVECS04 Frhs2[159]: 6 0 5.07288 shouldn't be
107.03/107.39	WSVECS04 Frhs2[161]: 6 0 2.99951 shouldn't be
107.03/107.39	WSVECS04 Frhs2[166]: 6 0 9.17711 shouldn't be
107.03/107.39	WSVECS04 Frhs2[177]: 6 0 0.491895 shouldn't be
107.03/107.39	WSVECS04 Frhs2[178]: 6 0 2.19039 shouldn't be
107.03/107.39	WSVECS04 Frhs2[185]: 6 0 11.7423 shouldn't be
107.03/107.39	WSVECS04 Frhs2[199]: 6 0 4.02003 shouldn't be
107.03/107.39	WSVECS04 Frhs2[200]: 6 0 5.25 shouldn't be
107.03/107.39	WSVECS04 Frhs2[207]: 6 0 2.99951 shouldn't be
107.03/107.39	WSVECS04 Frhs2[224]: 6 0 3.65664 shouldn't be
107.03/107.39	WSVECS04 Frhs2[234]: 6 0 0.22827 shouldn't be
107.03/107.39	WSVECS04 Frhs2[235]: 6 0 8.1381 shouldn't be
107.03/107.39	WSVECS04 Frhs2[237]: 6 0 7.52127 shouldn't be
107.03/107.39	WSVECS04 Frhs2[241]: 6 0 2.31675 shouldn't be
107.03/107.39	WSVECS04 Frhs2[249]: 6 -5.05078 0 shouldn't be
107.03/107.39	WSVECS04 Frhs2[250]: 6 0 2.52608 shouldn't be
107.03/107.39	WSVECS04 Frhs2[257]: 6 0 2.81798 shouldn't be
107.03/107.39	WSVECS04 Frhs2[275]: 6 0 8.92871 shouldn't be
107.03/107.39	WSVECS04 Frhs2[277]: 6 0 2.31675 shouldn't be
107.03/107.39	WSVECS04 Frhs2[300]: 6 -3.40447 0 shouldn't be
107.03/107.39	WSVECS04 Frhs2[318]: 6 -17.4741 0 shouldn't be
107.03/107.39	WSVECS04 Frhs2[325]: 6 -20.8131 0 shouldn't be
107.03/107.39	WSVECS04 Frhs2[334]: 6 0 19.6193 shouldn't be
107.03/107.39	WSVECS04 Frhs2[338]: 6 -2.53551 0 shouldn't be
107.03/107.39	WSVECS04 Frhs2[340]: 6 -11.4243 0 shouldn't be
107.03/107.39	WSVECS04 Frhs2[362]: 6 -0.507079 0 shouldn't be
107.03/107.39	WSVECS04 Frhs2[391]: 6 -7.08085 0 shouldn't be
107.03/107.39	WSVECS04 Frhs2[399]: 6 -3.90715 0 shouldn't be
107.03/107.39	WSVECS04 Frhs2[421]: 6 -4.10655 0 shouldn't be
107.13/107.45	WSVECS04 Frhs2[92]: 6 0 0.927078 shouldn't be
107.13/107.45	WSVECS04 Frhs2[153]: 6 0 2.11347 shouldn't be
107.13/107.45	WSVECS04 Frhs2[203]: 6 0 16.6764 shouldn't be
107.13/107.45	WSVECS04 Frhs2[243]: 6 0 2.91576 shouldn't be
107.13/107.45	WSVECS04 Frhs2[369]: 6 0 7.04938 shouldn't be
127.97/128.37	c #Conflicts:     395000 | #Constraints:      14126
127.97/128.37	c #Conflicts:     396000 | #Constraints:      15126
127.97/128.37	c #Conflicts:     397000 | #Constraints:      16126
127.97/128.37	c #Conflicts:     398000 | #Constraints:      17126
127.97/128.37	c #Conflicts:     399000 | #Constraints:      18127
127.97/128.37	c #Conflicts:     400000 | #Constraints:      19128
127.97/128.37	c #Conflicts:     401000 | #Constraints:      20129
127.97/128.37	c #Conflicts:     402000 | #Constraints:      21130
127.97/128.37	c #Conflicts:     403000 | #Constraints:      22130
127.97/128.37	c #Conflicts:     404000 | #Constraints:      23131
127.97/128.37	c #Conflicts:     405000 | #Constraints:      24132
127.97/128.37	c #Conflicts:     406000 | #Constraints:      25132
127.97/128.37	c #Conflicts:     407000 | #Constraints:      26134
127.97/128.37	c INPROCESSING
127.97/128.37	c GARBAGE COLLECT
127.97/128.37	c #Conflicts:     408000 | #Constraints:      14523
127.97/128.37	c #Conflicts:     409000 | #Constraints:      15524
127.97/128.37	c #Conflicts:     410000 | #Constraints:      16525
127.97/128.37	c #Conflicts:     411000 | #Constraints:      17527
127.97/128.37	c #Conflicts:     412000 | #Constraints:      18529
127.97/128.37	c #Conflicts:     413000 | #Constraints:      19530
127.97/128.37	c #Conflicts:     414000 | #Constraints:      20532
127.97/128.37	c #Conflicts:     415000 | #Constraints:      21534
127.97/128.37	c #Conflicts:     416000 | #Constraints:      22536
127.97/128.37	c #Conflicts:     417000 | #Constraints:      23538
127.97/128.37	c #Conflicts:     418000 | #Constraints:      24540
127.97/128.37	c #Conflicts:     419000 | #Constraints:      25540
127.97/128.37	c #Conflicts:     420000 | #Constraints:      26543
127.97/128.37	c INPROCESSING
127.97/128.37	c GARBAGE COLLECT
127.97/128.37	c #Conflicts:     421000 | #Constraints:      14733
127.97/128.37	c #Conflicts:     422000 | #Constraints:      15735
127.97/128.37	c #Conflicts:     423000 | #Constraints:      16738
127.97/128.37	c #Conflicts:     424000 | #Constraints:      17741
127.97/128.37	c #Conflicts:     425000 | #Constraints:      18744
127.97/128.37	c #Conflicts:     426000 | #Constraints:      19747
127.97/128.37	c #Conflicts:     427000 | #Constraints:      20748
127.97/128.37	c #Conflicts:     428000 | #Constraints:      21750
127.97/128.37	c #Conflicts:     429000 | #Constraints:      22752
127.97/128.37	c #Conflicts:     430000 | #Constraints:      23755
127.97/128.37	c #Conflicts:     431000 | #Constraints:      24761
127.97/128.37	c #Conflicts:     432000 | #Constraints:      25767
127.97/128.37	c #Conflicts:     433000 | #Constraints:      26785
127.97/128.37	c INPROCESSING
127.97/128.37	c GARBAGE COLLECT
127.97/128.37	c #Conflicts:     434000 | #Constraints:      14754
127.97/128.37	c #Conflicts:     435000 | #Constraints:      15755
127.97/128.37	c #Conflicts:     436000 | #Constraints:      16758
127.97/128.37	c #Conflicts:     437000 | #Constraints:      17759
127.97/128.37	c #Conflicts:     438000 | #Constraints:      18760
127.97/128.37	c #Conflicts:     439000 | #Constraints:      19761
127.97/128.37	c #Conflicts:     440000 | #Constraints:      20762
127.97/128.37	c #Conflicts:     441000 | #Constraints:      21764
127.97/128.37	c #Conflicts:     442000 | #Constraints:      22766
127.97/128.37	c #Conflicts:     443000 | #Constraints:      23772
127.97/128.37	c #Conflicts:     444000 | #Constraints:      24780
127.97/128.37	c #Conflicts:     445000 | #Constraints:      25804
127.97/128.37	c #Conflicts:     446000 | #Constraints:      26806
127.97/128.37	c INPROCESSING
127.97/128.37	c GARBAGE COLLECT
127.97/128.37	WSVECS04 Frhs2[17]: 6 0 1.27265 shouldn't be
127.97/128.37	WSVECS04 Frhs2[19]: 6 0 0.424219 shouldn't be
127.97/128.37	WSVECS04 Frhs2[51]: 6 0 18.9788 shouldn't be
127.97/128.37	WSVECS04 Frhs2[57]: 6 0 7.27893 shouldn't be
127.97/128.37	WSVECS04 Frhs2[58]: 6 -22.894 0 shouldn't be
127.97/128.37	WSVECS04 Frhs2[59]: 6 0 1.14021 shouldn't be
127.97/128.37	WSVECS04 Frhs2[65]: 6 0 7.88595 shouldn't be
127.97/128.37	WSVECS04 Frhs2[69]: 6 0 1.08613 shouldn't be
127.97/128.37	WSVECS04 Frhs2[71]: 6 0 1.15641 shouldn't be
127.97/128.37	WSVECS04 Frhs2[79]: 6 0 8.865 shouldn't be
127.97/128.37	WSVECS04 Frhs2[105]: 6 0 11.0391 shouldn't be
127.97/128.37	WSVECS04 Frhs2[119]: 6 0 18.8039 shouldn't be
127.97/128.37	WSVECS04 Frhs2[135]: 6 0 2.24143 shouldn't be
127.97/128.37	WSVECS04 Frhs2[155]: 6 0 20.0691 shouldn't be
127.97/128.37	WSVECS04 Frhs2[159]: 6 0 3.81881 shouldn't be
127.97/128.37	WSVECS04 Frhs2[165]: 6 0 2.01304 shouldn't be
127.97/128.37	WSVECS04 Frhs2[167]: 6 0 150.88 shouldn't be
127.97/128.37	WSVECS04 Frhs2[168]: 6 0 137.92 shouldn't be
127.97/128.37	WSVECS04 Frhs2[175]: 6 0 8.59681 shouldn't be
127.97/128.37	WSVECS04 Frhs2[177]: 6 0 2.12935 shouldn't be
127.97/128.37	WSVECS04 Frhs2[183]: 6 0 22.0715 shouldn't be
127.97/128.37	WSVECS04 Frhs2[185]: 6 0 5.7731 shouldn't be
127.97/128.37	WSVECS04 Frhs2[191]: 6 0 48.0785 shouldn't be
127.97/128.37	WSVECS04 Frhs2[192]: 6 0 51.5593 shouldn't be
127.97/128.37	WSVECS04 Frhs2[203]: 6 -0.0621742 0 shouldn't be
127.97/128.37	WSVECS04 Frhs2[221]: 6 0 26.9364 shouldn't be
127.97/128.37	WSVECS04 Frhs2[223]: 6 0 181.009 shouldn't be
127.97/128.37	WSVECS04 Frhs2[227]: 6 0 1.20192 shouldn't be
127.97/128.37	WSVECS04 Frhs2[237]: 6 0 27.9695 shouldn't be
127.97/128.37	WSVECS04 Frhs2[238]: 6 0 91.8551 shouldn't be
127.97/128.37	WSVECS04 Frhs2[249]: 6 0 12.7085 shouldn't be
127.97/128.37	WSVECS04 Frhs2[269]: 6 -1.11033 0 shouldn't be
127.97/128.37	WSVECS04 Frhs2[277]: 6 0 35.3425 shouldn't be
127.97/128.37	WSVECS04 Frhs2[279]: 6 0 7.13677 shouldn't be
127.97/128.37	WSVECS04 Frhs2[283]: 6 0 5.57059 shouldn't be
127.97/128.37	WSVECS04 Frhs2[291]: 6 -23.0815 0 shouldn't be
127.97/128.37	WSVECS04 Frhs2[295]: 6 0 8.9954 shouldn't be
127.97/128.37	WSVECS04 Frhs2[296]: 6 -84.4477 0 shouldn't be
127.97/128.37	WSVECS04 Frhs2[304]: 6 0 44.5597 shouldn't be
127.97/128.37	WSVECS04 Frhs2[362]: 6 -3.66169 0 shouldn't be
127.97/128.37	WSVECS04 Frhs2[396]: 6 0 29.8746 shouldn't be
127.97/128.37	WSVECS04 Frhs2[400]: 6 -0.334534 0 shouldn't be
127.97/128.37	WSVECS04 Frhs2[406]: 6 -2.99191 0 shouldn't be
127.97/128.37	WSVECS04 Frhs2[413]: 6 -5.0467 0 shouldn't be
128.07/128.43	WSVECS04 Frhs2[120]: 6 0 20.2477 shouldn't be
128.07/128.43	WSVECS04 Frhs2[239]: 6 0 9.9433 shouldn't be
128.07/128.43	WSVECS04 Frhs2[294]: 6 0 40.1977 shouldn't be
128.07/128.43	WSVECS04 Frhs2[409]: 6 0 8.81337 shouldn't be
128.07/128.46	c rational objective 61.0024
144.93/145.36	c #Conflicts:     447000 | #Constraints:      14570
144.93/145.36	c #Conflicts:     448000 | #Constraints:      15571
144.93/145.36	c #Conflicts:     449000 | #Constraints:      16571
144.93/145.36	c #Conflicts:     450000 | #Constraints:      17572
144.93/145.36	c #Conflicts:     451000 | #Constraints:      18572
144.93/145.36	c #Conflicts:     452000 | #Constraints:      19574
144.93/145.36	c #Conflicts:     453000 | #Constraints:      20574
144.93/145.36	c #Conflicts:     454000 | #Constraints:      21575
144.93/145.36	c #Conflicts:     455000 | #Constraints:      22576
144.93/145.36	c #Conflicts:     456000 | #Constraints:      23577
144.93/145.36	c #Conflicts:     457000 | #Constraints:      24577
144.93/145.36	c #Conflicts:     458000 | #Constraints:      25577
144.93/145.36	c #Conflicts:     459000 | #Constraints:      26579
144.93/145.36	c #Conflicts:     460000 | #Constraints:      27583
144.93/145.36	c INPROCESSING
144.93/145.36	c GARBAGE COLLECT
144.93/145.36	c #Conflicts:     461000 | #Constraints:      15150
144.93/145.36	c #Conflicts:     462000 | #Constraints:      16151
144.93/145.36	c #Conflicts:     463000 | #Constraints:      17152
144.93/145.36	c #Conflicts:     464000 | #Constraints:      18154
144.93/145.36	c #Conflicts:     465000 | #Constraints:      19155
144.93/145.36	c #Conflicts:     466000 | #Constraints:      20157
144.93/145.36	c #Conflicts:     467000 | #Constraints:      21160
144.93/145.36	c #Conflicts:     468000 | #Constraints:      22163
144.93/145.36	c #Conflicts:     469000 | #Constraints:      23167
144.93/145.36	c #Conflicts:     470000 | #Constraints:      24171
144.93/145.36	c #Conflicts:     471000 | #Constraints:      25175
144.93/145.36	c #Conflicts:     472000 | #Constraints:      26181
144.93/145.36	c #Conflicts:     473000 | #Constraints:      27201
144.93/145.36	c #Conflicts:     474000 | #Constraints:      28236
144.93/145.36	c INPROCESSING
144.93/145.36	c GARBAGE COLLECT
144.93/145.36	c #Conflicts:     475000 | #Constraints:      15569
144.93/145.36	c #Conflicts:     476000 | #Constraints:      16569
144.93/145.36	c #Conflicts:     477000 | #Constraints:      17569
144.93/145.36	c #Conflicts:     478000 | #Constraints:      18569
144.93/145.36	c #Conflicts:     479000 | #Constraints:      19569
144.93/145.36	c #Conflicts:     480000 | #Constraints:      20569
144.93/145.36	c #Conflicts:     481000 | #Constraints:      21569
144.93/145.36	c #Conflicts:     482000 | #Constraints:      22569
144.93/145.36	c #Conflicts:     483000 | #Constraints:      23569
144.93/145.36	c #Conflicts:     484000 | #Constraints:      24569
144.93/145.36	c #Conflicts:     485000 | #Constraints:      25569
144.93/145.36	c #Conflicts:     486000 | #Constraints:      26569
144.93/145.36	c #Conflicts:     487000 | #Constraints:      27569
144.93/145.36	c #Conflicts:     488000 | #Constraints:      28569
144.93/145.36	c INPROCESSING
144.93/145.36	c GARBAGE COLLECT
144.93/145.36	c rational objective 61.0065
158.71/159.11	c #Conflicts:     489000 | #Constraints:      15747
158.71/159.11	c #Conflicts:     490000 | #Constraints:      16747
158.71/159.11	c #Conflicts:     491000 | #Constraints:      17747
158.71/159.11	c #Conflicts:     492000 | #Constraints:      18747
158.71/159.11	c #Conflicts:     493000 | #Constraints:      19747
158.71/159.11	c #Conflicts:     494000 | #Constraints:      20747
158.71/159.11	c #Conflicts:     495000 | #Constraints:      21747
158.71/159.11	c #Conflicts:     496000 | #Constraints:      22747
158.71/159.11	c #Conflicts:     497000 | #Constraints:      23747
158.71/159.11	c #Conflicts:     498000 | #Constraints:      24747
158.71/159.11	c #Conflicts:     499000 | #Constraints:      25747
158.71/159.11	c #Conflicts:     500000 | #Constraints:      26747
158.71/159.11	c #Conflicts:     501000 | #Constraints:      27747
158.71/159.11	c #Conflicts:     502000 | #Constraints:      28747
158.71/159.11	c INPROCESSING
158.71/159.11	c GARBAGE COLLECT
158.71/159.11	c #Conflicts:     503000 | #Constraints:      15740
158.71/159.11	c #Conflicts:     504000 | #Constraints:      16740
158.71/159.11	c #Conflicts:     505000 | #Constraints:      17740
158.71/159.11	c #Conflicts:     506000 | #Constraints:      18740
158.71/159.11	c #Conflicts:     507000 | #Constraints:      19742
158.71/159.11	c #Conflicts:     508000 | #Constraints:      20745
158.71/159.11	c #Conflicts:     509000 | #Constraints:      21746
158.71/159.11	c #Conflicts:     510000 | #Constraints:      22748
158.71/159.11	c #Conflicts:     511000 | #Constraints:      23748
158.71/159.11	c #Conflicts:     512000 | #Constraints:      24750
158.71/159.11	c #Conflicts:     513000 | #Constraints:      25751
158.71/159.11	c #Conflicts:     514000 | #Constraints:      26753
158.71/159.11	c #Conflicts:     515000 | #Constraints:      27754
158.71/159.11	c #Conflicts:     516000 | #Constraints:      28755
158.71/159.11	c INPROCESSING
158.71/159.11	c GARBAGE COLLECT
158.71/159.11	WSVECS04 Frhs2[11]: 6 0 120.436 shouldn't be
158.71/159.11	WSVECS04 Frhs2[12]: 6 0 23.7704 shouldn't be
158.71/159.11	WSVECS04 Frhs2[17]: 6 0 19.7974 shouldn't be
158.71/159.11	WSVECS04 Frhs2[25]: 6 0 13.6605 shouldn't be
158.71/159.11	WSVECS04 Frhs2[37]: 6 0 14.9832 shouldn't be
158.71/159.11	WSVECS04 Frhs2[43]: 6 0 14.9832 shouldn't be
158.71/159.11	WSVECS04 Frhs2[45]: 6 0 97.9007 shouldn't be
158.71/159.11	WSVECS04 Frhs2[46]: 6 0 35.875 shouldn't be
158.71/159.11	WSVECS04 Frhs2[49]: 6 0 50.8761 shouldn't be
158.71/159.11	WSVECS04 Frhs2[61]: 6 0 14.9832 shouldn't be
158.71/159.11	WSVECS04 Frhs2[67]: 6 0 14.9832 shouldn't be
158.71/159.11	WSVECS04 Frhs2[70]: 6 0 95.7289 shouldn't be
158.71/159.11	WSVECS04 Frhs2[71]: 6 0 17.7772 shouldn't be
158.71/159.11	WSVECS04 Frhs2[93]: 6 0 677.035 shouldn't be
158.71/159.11	WSVECS04 Frhs2[99]: 6 0 53.5697 shouldn't be
158.71/159.11	WSVECS04 Frhs2[111]: 6 0 14.9832 shouldn't be
158.71/159.11	WSVECS04 Frhs2[119]: 6 0 26.1592 shouldn't be
158.71/159.11	WSVECS04 Frhs2[131]: 6 0 51.56 shouldn't be
158.71/159.11	WSVECS04 Frhs2[135]: 6 0 39.619 shouldn't be
158.71/159.11	WSVECS04 Frhs2[147]: 6 0 14.9832 shouldn't be
158.71/159.11	WSVECS04 Frhs2[150]: 6 -150.595 0 shouldn't be
158.71/159.11	WSVECS04 Frhs2[151]: 6 0 167.172 shouldn't be
158.71/159.11	WSVECS04 Frhs2[155]: 6 0 201.207 shouldn't be
158.71/159.11	WSVECS04 Frhs2[156]: 6 0 27.1927 shouldn't be
158.71/159.11	WSVECS04 Frhs2[163]: 6 0 20.7016 shouldn't be
158.71/159.11	WSVECS04 Frhs2[167]: 6 0 96.7346 shouldn't be
158.71/159.11	WSVECS04 Frhs2[177]: 6 0 29.0832 shouldn't be
158.71/159.11	WSVECS04 Frhs2[179]: 6 0 14.9832 shouldn't be
158.71/159.11	WSVECS04 Frhs2[183]: 6 0 189.982 shouldn't be
158.71/159.11	WSVECS04 Frhs2[229]: 6 0 14.9832 shouldn't be
158.71/159.11	WSVECS04 Frhs2[235]: 6 0 117.79 shouldn't be
158.71/159.11	WSVECS04 Frhs2[249]: 6 0 120.357 shouldn't be
158.71/159.11	WSVECS04 Frhs2[251]: 6 0 14.9832 shouldn't be
158.71/159.11	WSVECS04 Frhs2[267]: 6 0 246.912 shouldn't be
158.71/159.11	WSVECS04 Frhs2[300]: 6 -28.6354 0 shouldn't be
158.71/159.11	WSVECS04 Frhs2[307]: 6 -26.6163 0 shouldn't be
158.71/159.11	WSVECS04 Frhs2[316]: 6 -312.236 0 shouldn't be
158.71/159.11	WSVECS04 Frhs2[318]: 6 0 162.907 shouldn't be
158.71/159.11	WSVECS04 Frhs2[322]: 6 -74.2899 0 shouldn't be
158.71/159.11	WSVECS04 Frhs2[332]: 6 0 154.861 shouldn't be
158.71/159.11	WSVECS04 Frhs2[343]: 6 0 210.221 shouldn't be
158.71/159.11	WSVECS04 Frhs2[356]: 6 -197.926 0 shouldn't be
158.71/159.11	WSVECS04 Frhs2[362]: 6 -5.1042 0 shouldn't be
158.71/159.11	WSVECS04 Frhs2[367]: 6 0 143.163 shouldn't be
158.71/159.19	WSVECS04 Frhs2[9]: 6 0 11.456 shouldn't be
158.71/159.19	WSVECS04 Frhs2[17]: 6 0 19.7973 shouldn't be
158.71/159.19	WSVECS04 Frhs2[25]: 6 0 13.6605 shouldn't be
158.71/159.19	WSVECS04 Frhs2[37]: 6 0 14.9831 shouldn't be
158.71/159.19	WSVECS04 Frhs2[46]: 6 0 35.875 shouldn't be
158.71/159.19	WSVECS04 Frhs2[49]: 6 0 50.8761 shouldn't be
158.71/159.19	WSVECS04 Frhs2[61]: 6 0 14.9831 shouldn't be
158.71/159.19	WSVECS04 Frhs2[67]: 6 0 14.9831 shouldn't be
158.71/159.19	WSVECS04 Frhs2[70]: 6 0 95.7289 shouldn't be
158.71/159.19	WSVECS04 Frhs2[93]: 6 0 677.035 shouldn't be
158.71/159.19	WSVECS04 Frhs2[99]: 6 0 53.5696 shouldn't be
158.71/159.19	WSVECS04 Frhs2[131]: 6 0 51.5599 shouldn't be
158.71/159.19	WSVECS04 Frhs2[135]: 6 0 39.619 shouldn't be
158.71/159.19	WSVECS04 Frhs2[147]: 6 0 14.9831 shouldn't be
158.71/159.19	WSVECS04 Frhs2[150]: 6 -150.595 0 shouldn't be
158.71/159.19	WSVECS04 Frhs2[151]: 6 0 167.172 shouldn't be
158.71/159.19	WSVECS04 Frhs2[156]: 6 0 27.1927 shouldn't be
158.71/159.19	WSVECS04 Frhs2[163]: 6 0 20.7015 shouldn't be
158.71/159.19	WSVECS04 Frhs2[177]: 6 0 29.0832 shouldn't be
158.71/159.19	WSVECS04 Frhs2[229]: 6 0 14.9831 shouldn't be
158.71/159.19	WSVECS04 Frhs2[235]: 6 0 117.79 shouldn't be
158.71/159.19	WSVECS04 Frhs2[249]: 6 0 120.357 shouldn't be
158.71/159.19	WSVECS04 Frhs2[251]: 6 0 14.9831 shouldn't be
158.71/159.19	WSVECS04 Frhs2[300]: 6 -28.6353 0 shouldn't be
158.71/159.19	WSVECS04 Frhs2[307]: 6 -26.6162 0 shouldn't be
158.71/159.19	WSVECS04 Frhs2[316]: 6 -312.236 0 shouldn't be
158.71/159.19	WSVECS04 Frhs2[318]: 6 0 162.907 shouldn't be
158.71/159.19	WSVECS04 Frhs2[322]: 6 -74.2899 0 shouldn't be
158.71/159.19	WSVECS04 Frhs2[332]: 6 0 154.86 shouldn't be
158.71/159.19	WSVECS04 Frhs2[333]: 6 -373.955 0 shouldn't be
158.71/159.19	WSVECS04 Frhs2[357]: 6 0 90.4644 shouldn't be
158.71/159.19	WSVECS04 Frhs2[360]: 6 -22.3635 0 shouldn't be
158.71/159.19	WSVECS04 Frhs2[362]: 6 -5.10411 0 shouldn't be
158.71/159.19	WSVECS04 Frhs2[367]: 6 0 143.163 shouldn't be
158.71/159.19	WSVECS04 Frhs2[381]: 6 0 12.5661 shouldn't be
158.71/159.19	WSVECS04 Frhs2[396]: 6 0 145.808 shouldn't be
158.71/159.19	WSVECS04 Frhs2[406]: 6 -20.6762 0 shouldn't be
158.80/159.26	WSVECS04 Frhs2[11]: 6 0 120.436 shouldn't be
158.80/159.26	WSVECS04 Frhs2[12]: 6 0 23.7704 shouldn't be
158.80/159.26	WSVECS04 Frhs2[43]: 6 0 14.9831 shouldn't be
158.80/159.26	WSVECS04 Frhs2[45]: 6 0 97.9007 shouldn't be
158.80/159.26	WSVECS04 Frhs2[71]: 6 0 17.7771 shouldn't be
158.80/159.26	WSVECS04 Frhs2[111]: 6 0 14.9831 shouldn't be
158.80/159.26	WSVECS04 Frhs2[119]: 6 0 26.1591 shouldn't be
158.80/159.26	WSVECS04 Frhs2[155]: 6 0 201.207 shouldn't be
158.80/159.26	WSVECS04 Frhs2[167]: 6 0 96.7346 shouldn't be
158.80/159.26	WSVECS04 Frhs2[179]: 6 0 14.9831 shouldn't be
158.80/159.26	WSVECS04 Frhs2[183]: 6 0 189.982 shouldn't be
158.80/159.26	WSVECS04 Frhs2[267]: 6 0 246.912 shouldn't be
158.80/159.26	WSVECS04 Frhs2[340]: 6 0 191.191 shouldn't be
158.80/159.26	WSVECS04 Frhs2[343]: 6 0 210.221 shouldn't be
158.80/159.26	WSVECS04 Frhs2[356]: 6 -197.926 0 shouldn't be
158.80/159.26	WSVECS04 Frhs2[393]: 6 0 167.429 shouldn't be
163.49/163.98	c #Conflicts:     517000 | #Constraints:      15531
163.49/163.98	c #Conflicts:     518000 | #Constraints:      16531
163.49/163.98	c #Conflicts:     519000 | #Constraints:      17533
163.49/163.98	c #Conflicts:     520000 | #Constraints:      18534
163.49/163.98	c #Conflicts:     521000 | #Constraints:      19534
163.49/163.98	c #Conflicts:     522000 | #Constraints:      20535
163.49/163.98	c #Conflicts:     523000 | #Constraints:      21536
163.49/163.98	c #Conflicts:     524000 | #Constraints:      22536
163.49/163.98	c #Conflicts:     525000 | #Constraints:      23537
163.49/163.98	c #Conflicts:     526000 | #Constraints:      24539
163.49/163.98	c #Conflicts:     527000 | #Constraints:      25539
163.49/163.98	c #Conflicts:     528000 | #Constraints:      26539
163.49/163.98	c #Conflicts:     529000 | #Constraints:      27541
163.49/163.98	c #Conflicts:     530000 | #Constraints:      28541
163.49/163.98	c #Conflicts:     531000 | #Constraints:      29542
163.49/163.98	c INPROCESSING
163.49/163.98	c GARBAGE COLLECT
163.49/163.98	WSVECS04 Frhs2[4]: 6 -150.62 0 shouldn't be
163.49/163.98	WSVECS04 Frhs2[10]: 6 0 80.8878 shouldn't be
163.49/163.98	WSVECS04 Frhs2[11]: 6 0 1.0213 shouldn't be
163.49/163.98	WSVECS04 Frhs2[12]: 6 0 34.0942 shouldn't be
163.49/163.98	WSVECS04 Frhs2[13]: 6 0 54.5022 shouldn't be
163.49/163.98	WSVECS04 Frhs2[14]: 6 0 87.5751 shouldn't be
163.49/163.98	WSVECS04 Frhs2[19]: 6 0 2.14537 shouldn't be
163.49/163.98	WSVECS04 Frhs2[32]: 6 0 53.6585 shouldn't be
163.49/163.98	WSVECS04 Frhs2[36]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[40]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[44]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[48]: 6 0 23.9847 shouldn't be
163.49/163.98	WSVECS04 Frhs2[49]: 6 0 5.73733 shouldn't be
163.49/163.98	WSVECS04 Frhs2[62]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[64]: 6 0 22.8529 shouldn't be
163.49/163.98	WSVECS04 Frhs2[66]: 6 0 133.701 shouldn't be
163.49/163.98	WSVECS04 Frhs2[68]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[75]: 6 0 19.5704 shouldn't be
163.49/163.98	WSVECS04 Frhs2[78]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[79]: 6 0 118.257 shouldn't be
163.49/163.98	WSVECS04 Frhs2[82]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[84]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[86]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[90]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[92]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[99]: 6 0 2.10298 shouldn't be
163.49/163.98	WSVECS04 Frhs2[100]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[101]: 6 0 22.3984 shouldn't be
163.49/163.98	WSVECS04 Frhs2[110]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[111]: 6 -2.80448 0 shouldn't be
163.49/163.98	WSVECS04 Frhs2[112]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[116]: 6 0 154.641 shouldn't be
163.49/163.98	WSVECS04 Frhs2[123]: 6 0 31.9898 shouldn't be
163.49/163.98	WSVECS04 Frhs2[124]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[126]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[127]: 6 0 45.7765 shouldn't be
163.49/163.98	WSVECS04 Frhs2[130]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[134]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[136]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[138]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[140]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[160]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[171]: 6 0 197.905 shouldn't be
163.49/163.98	WSVECS04 Frhs2[172]: 6 0 129.873 shouldn't be
163.49/163.98	WSVECS04 Frhs2[174]: 6 0 56.9517 shouldn't be
163.49/163.98	WSVECS04 Frhs2[176]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[180]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[186]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[191]: 6 -254.076 0 shouldn't be
163.49/163.98	WSVECS04 Frhs2[195]: 6 0 36.8608 shouldn't be
163.49/163.98	WSVECS04 Frhs2[197]: 6 0 5.84343 shouldn't be
163.49/163.98	WSVECS04 Frhs2[200]: 6 0 82.9936 shouldn't be
163.49/163.98	WSVECS04 Frhs2[202]: 6 0 30.149 shouldn't be
163.49/163.98	WSVECS04 Frhs2[203]: 6 0 43.2588 shouldn't be
163.49/163.98	WSVECS04 Frhs2[204]: 6 0 76.2122 shouldn't be
163.49/163.98	WSVECS04 Frhs2[207]: 6 0 47.7212 shouldn't be
163.49/163.98	WSVECS04 Frhs2[208]: 6 0 55.5548 shouldn't be
163.49/163.98	WSVECS04 Frhs2[217]: 6 0 8.54493 shouldn't be
163.49/163.98	WSVECS04 Frhs2[228]: 6 0 87.5204 shouldn't be
163.49/163.98	WSVECS04 Frhs2[237]: 6 0 5.29117 shouldn't be
163.49/163.98	WSVECS04 Frhs2[248]: 6 -330.078 0 shouldn't be
163.49/163.98	WSVECS04 Frhs2[268]: 6 0 27.7669 shouldn't be
163.49/163.98	WSVECS04 Frhs2[280]: 6 0 51.2001 shouldn't be
163.49/163.98	WSVECS04 Frhs2[300]: 6 -52.6589 0 shouldn't be
163.49/163.98	WSVECS04 Frhs2[336]: 6 -45.4259 0 shouldn't be
163.49/163.98	WSVECS04 Frhs2[378]: 6 -22.9018 0 shouldn't be
163.49/163.98	WSVECS04 Frhs2[388]: 6 0 79.6375 shouldn't be
163.49/163.98	WSVECS04 Frhs2[418]: 6 -161.144 0 shouldn't be
163.49/163.98	WSVECS04 Frhs2[424]: 6 -160.713 0 shouldn't be
163.69/164.12	WSVECS04 Frhs2[18]: 6 0 95.499 shouldn't be
163.69/164.12	WSVECS04 Frhs2[72]: 6 0 17.8204 shouldn't be
163.69/164.12	WSVECS04 Frhs2[192]: 6 0 10.1232 shouldn't be
163.69/164.12	WSVECS04 Frhs2[398]: 6 -25.9776 0 shouldn't be
168.69/169.19	c #Conflicts:     532000 | #Constraints:      16125
168.69/169.19	c #Conflicts:     533000 | #Constraints:      17125
168.69/169.19	c #Conflicts:     534000 | #Constraints:      18125
168.69/169.19	c #Conflicts:     535000 | #Constraints:      19126
168.69/169.19	c #Conflicts:     536000 | #Constraints:      20127
168.69/169.19	c #Conflicts:     537000 | #Constraints:      21127
168.69/169.19	c #Conflicts:     538000 | #Constraints:      22128
168.69/169.19	c #Conflicts:     539000 | #Constraints:      23130
168.69/169.19	c #Conflicts:     540000 | #Constraints:      24132
168.69/169.19	c #Conflicts:     541000 | #Constraints:      25134
168.69/169.19	c #Conflicts:     542000 | #Constraints:      26135
168.69/169.19	c #Conflicts:     543000 | #Constraints:      27137
168.69/169.19	c #Conflicts:     544000 | #Constraints:      28138
168.69/169.19	c #Conflicts:     545000 | #Constraints:      29139
168.69/169.19	c #Conflicts:     546000 | #Constraints:      30140
168.69/169.19	c INPROCESSING
168.69/169.19	c GARBAGE COLLECT
168.69/169.19	WSVECS04 Frhs2[9]: 6 0 10.908 shouldn't be
168.69/169.19	WSVECS04 Frhs2[10]: 6 0 30.9417 shouldn't be
168.69/169.19	WSVECS04 Frhs2[12]: 6 0 94.332 shouldn't be
168.69/169.19	WSVECS04 Frhs2[17]: 6 0 11.9777 shouldn't be
168.69/169.19	WSVECS04 Frhs2[35]: 6 0 10.0457 shouldn't be
168.69/169.19	WSVECS04 Frhs2[37]: 6 0 42.2286 shouldn't be
168.69/169.19	WSVECS04 Frhs2[58]: 6 0 30.0794 shouldn't be
168.69/169.19	WSVECS04 Frhs2[59]: 6 0 10.876 shouldn't be
168.69/169.19	WSVECS04 Frhs2[61]: 6 0 10.0457 shouldn't be
168.69/169.19	WSVECS04 Frhs2[64]: 6 0 34.9333 shouldn't be
168.69/169.19	WSVECS04 Frhs2[67]: 6 0 10.0457 shouldn't be
168.69/169.19	WSVECS04 Frhs2[69]: 6 0 2.82899 shouldn't be
168.69/169.19	WSVECS04 Frhs2[83]: 6 0 10.6769 shouldn't be
168.69/169.19	WSVECS04 Frhs2[95]: 6 0 7.20105 shouldn't be
168.69/169.19	WSVECS04 Frhs2[99]: 6 0 16.6784 shouldn't be
168.69/169.19	WSVECS04 Frhs2[100]: 6 0 30.0794 shouldn't be
168.69/169.19	WSVECS04 Frhs2[101]: 6 0 105.836 shouldn't be
168.69/169.19	WSVECS04 Frhs2[104]: 6 0 40.9577 shouldn't be
168.69/169.19	WSVECS04 Frhs2[107]: 6 0 16.8577 shouldn't be
168.69/169.19	WSVECS04 Frhs2[109]: 6 0 10.0458 shouldn't be
168.69/169.19	WSVECS04 Frhs2[112]: 6 -312.017 0 shouldn't be
168.69/169.19	WSVECS04 Frhs2[114]: 6 0 46.1787 shouldn't be
168.69/169.19	WSVECS04 Frhs2[115]: 6 0 23.9974 shouldn't be
168.69/169.19	WSVECS04 Frhs2[119]: 6 0 4.35634 shouldn't be
168.69/169.19	WSVECS04 Frhs2[129]: 6 0 10.0457 shouldn't be
168.69/169.19	WSVECS04 Frhs2[135]: 6 0 18.1163 shouldn't be
168.69/169.19	WSVECS04 Frhs2[147]: 6 0 10.0457 shouldn't be
168.69/169.19	WSVECS04 Frhs2[150]: 6 0 44.7748 shouldn't be
168.69/169.19	WSVECS04 Frhs2[159]: 6 0 35.5585 shouldn't be
168.69/169.19	WSVECS04 Frhs2[160]: 6 0 30.0795 shouldn't be
168.69/169.19	WSVECS04 Frhs2[163]: 6 0 18.7249 shouldn't be
168.69/169.19	WSVECS04 Frhs2[165]: 6 0 67.1407 shouldn't be
168.69/169.19	WSVECS04 Frhs2[172]: 6 0 86.7048 shouldn't be
168.69/169.19	WSVECS04 Frhs2[177]: 6 0 67.9341 shouldn't be
168.69/169.19	WSVECS04 Frhs2[185]: 6 0 51.0245 shouldn't be
168.69/169.19	WSVECS04 Frhs2[189]: 6 0 9.40955 shouldn't be
168.69/169.19	WSVECS04 Frhs2[191]: 6 0 67.8233 shouldn't be
168.69/169.19	WSVECS04 Frhs2[199]: 6 0 41.9996 shouldn't be
168.69/169.19	WSVECS04 Frhs2[203]: 6 0 10.0457 shouldn't be
168.69/169.19	WSVECS04 Frhs2[214]: 6 0 30.0794 shouldn't be
168.69/169.19	WSVECS04 Frhs2[215]: 6 0 3.90855 shouldn't be
168.69/169.19	WSVECS04 Frhs2[222]: 6 0 44.7748 shouldn't be
168.69/169.19	WSVECS04 Frhs2[227]: 6 0 51.1976 shouldn't be
168.69/169.19	WSVECS04 Frhs2[231]: 6 0 10.0457 shouldn't be
168.69/169.19	WSVECS04 Frhs2[233]: 6 0 10.908 shouldn't be
168.69/169.19	WSVECS04 Frhs2[245]: 6 0 53.1386 shouldn't be
168.69/169.19	WSVECS04 Frhs2[247]: 6 0 0.498724 shouldn't be
168.69/169.19	WSVECS04 Frhs2[253]: 6 0 10.0457 shouldn't be
168.69/169.19	WSVECS04 Frhs2[255]: 6 0 10.0457 shouldn't be
168.69/169.19	WSVECS04 Frhs2[268]: 6 0 31.8021 shouldn't be
168.69/169.19	WSVECS04 Frhs2[272]: 6 0 143.251 shouldn't be
168.69/169.19	WSVECS04 Frhs2[276]: 6 0 190.584 shouldn't be
168.69/169.19	WSVECS04 Frhs2[280]: 6 0 137.281 shouldn't be
168.69/169.19	WSVECS04 Frhs2[282]: 6 0 137.949 shouldn't be
168.69/169.19	WSVECS04 Frhs2[284]: 6 0 138.283 shouldn't be
168.69/169.19	WSVECS04 Frhs2[286]: 6 0 138.45 shouldn't be
168.69/169.19	WSVECS04 Frhs2[287]: 6 0 20.0546 shouldn't be
168.69/169.19	WSVECS04 Frhs2[293]: 6 -94.8151 0 shouldn't be
168.69/169.19	WSVECS04 Frhs2[298]: 6 0 16.0838 shouldn't be
168.69/169.19	WSVECS04 Frhs2[301]: 6 -31.9337 0 shouldn't be
168.69/169.19	WSVECS04 Frhs2[308]: 6 -94.1622 0 shouldn't be
168.69/169.19	WSVECS04 Frhs2[309]: 6 -91.9201 0 shouldn't be
168.69/169.19	WSVECS04 Frhs2[323]: 6 -99.4372 0 shouldn't be
168.69/169.19	WSVECS04 Frhs2[336]: 6 0 31.2071 shouldn't be
168.69/169.19	WSVECS04 Frhs2[339]: 6 -172.065 0 shouldn't be
168.69/169.19	WSVECS04 Frhs2[362]: 6 -1.00008 0 shouldn't be
168.69/169.19	WSVECS04 Frhs2[373]: 6 -65.8738 0 shouldn't be
168.69/169.19	WSVECS04 Frhs2[375]: 6 -64.4684 0 shouldn't be
168.69/169.19	WSVECS04 Frhs2[377]: 6 -107.472 0 shouldn't be
168.69/169.19	WSVECS04 Frhs2[383]: 6 -56.685 0 shouldn't be
168.69/169.19	WSVECS04 Frhs2[403]: 6 -38.6387 0 shouldn't be
168.69/169.19	WSVECS04 Frhs2[418]: 6 0 11.9143 shouldn't be
168.69/169.19	WSVECS04 Frhs2[427]: 6 -72.4502 0 shouldn't be
168.78/169.26	WSVECS04 Frhs2[388]: 6 -117.137 0 shouldn't be
168.88/169.32	WSVECS04 Frhs2[356]: 6 -11.1205 0 shouldn't be
168.88/169.38	WSVECS04 Frhs2[13]: 6 0 70.2464 shouldn't be
168.88/169.38	WSVECS04 Frhs2[15]: 6 0 84.6386 shouldn't be
168.88/169.38	WSVECS04 Frhs2[72]: 6 0 28.6571 shouldn't be
168.88/169.38	WSVECS04 Frhs2[102]: 6 0 107.847 shouldn't be
168.88/169.38	WSVECS04 Frhs2[270]: 6 0 142.86 shouldn't be
178.95/179.48	c #Conflicts:     547000 | #Constraints:      16532
178.95/179.48	c #Conflicts:     548000 | #Constraints:      17532
178.95/179.48	c #Conflicts:     549000 | #Constraints:      18532
178.95/179.48	c #Conflicts:     550000 | #Constraints:      19533
178.95/179.48	c #Conflicts:     551000 | #Constraints:      20533
178.95/179.48	c #Conflicts:     552000 | #Constraints:      21534
178.95/179.48	c #Conflicts:     553000 | #Constraints:      22538
178.95/179.48	c #Conflicts:     554000 | #Constraints:      23540
178.95/179.48	c #Conflicts:     555000 | #Constraints:      24542
178.95/179.48	c #Conflicts:     556000 | #Constraints:      25545
178.95/179.48	c #Conflicts:     557000 | #Constraints:      26550
178.95/179.48	c #Conflicts:     558000 | #Constraints:      27561
178.95/179.48	c #Conflicts:     559000 | #Constraints:      28562
178.95/179.48	c #Conflicts:     560000 | #Constraints:      29562
178.95/179.48	c #Conflicts:     561000 | #Constraints:      30563
178.95/179.48	c INPROCESSING
178.95/179.48	c GARBAGE COLLECT
178.95/179.48	c #Conflicts:     562000 | #Constraints:      16732
178.95/179.48	c #Conflicts:     563000 | #Constraints:      17732
178.95/179.48	c #Conflicts:     564000 | #Constraints:      18733
178.95/179.48	c #Conflicts:     565000 | #Constraints:      19734
178.95/179.48	c #Conflicts:     566000 | #Constraints:      20735
178.95/179.48	c #Conflicts:     567000 | #Constraints:      21736
178.95/179.48	c #Conflicts:     568000 | #Constraints:      22738
178.95/179.48	c #Conflicts:     569000 | #Constraints:      23738
178.95/179.48	c #Conflicts:     570000 | #Constraints:      24739
178.95/179.48	c #Conflicts:     571000 | #Constraints:      25740
178.95/179.48	c #Conflicts:     572000 | #Constraints:      26740
178.95/179.48	c #Conflicts:     573000 | #Constraints:      27742
178.95/179.48	c #Conflicts:     574000 | #Constraints:      28745
178.95/179.48	c #Conflicts:     575000 | #Constraints:      29746
178.95/179.48	c #Conflicts:     576000 | #Constraints:      30750
178.95/179.48	c INPROCESSING
178.95/179.48	c GARBAGE COLLECT
178.95/179.48	WSVECS04 Frhs2[1]: 6 0 0.662221 shouldn't be
178.95/179.48	WSVECS04 Frhs2[7]: 6 0 1.54482 shouldn't be
178.95/179.48	WSVECS04 Frhs2[11]: 6 0 28.0028 shouldn't be
178.95/179.48	WSVECS04 Frhs2[13]: 6 0 9.30487 shouldn't be
178.95/179.48	WSVECS04 Frhs2[15]: 6 0 1.3779 shouldn't be
178.95/179.48	WSVECS04 Frhs2[30]: 6 0 4.34301 shouldn't be
178.95/179.48	WSVECS04 Frhs2[31]: 6 0 0.0814126 shouldn't be
178.95/179.48	WSVECS04 Frhs2[34]: 6 0 4.34305 shouldn't be
178.95/179.48	WSVECS04 Frhs2[44]: 6 0 4.3431 shouldn't be
178.95/179.48	WSVECS04 Frhs2[46]: 6 0 15.6662 shouldn't be
178.95/179.48	WSVECS04 Frhs2[57]: 6 0 1.82851 shouldn't be
178.95/179.48	WSVECS04 Frhs2[60]: 6 0 13.7652 shouldn't be
178.95/179.48	WSVECS04 Frhs2[73]: 6 0 1.5004 shouldn't be
178.95/179.48	WSVECS04 Frhs2[78]: 6 0 4.34304 shouldn't be
178.95/179.48	WSVECS04 Frhs2[86]: 6 0 4.34303 shouldn't be
178.95/179.48	WSVECS04 Frhs2[101]: 6 0 0.986158 shouldn't be
178.95/179.48	WSVECS04 Frhs2[130]: 6 0 4.34303 shouldn't be
178.95/179.48	WSVECS04 Frhs2[131]: 6 -73.9339 0 shouldn't be
178.95/179.48	WSVECS04 Frhs2[135]: 6 0 2.50628 shouldn't be
178.95/179.48	WSVECS04 Frhs2[148]: 6 0 4.34305 shouldn't be
178.95/179.48	WSVECS04 Frhs2[161]: 6 0 11.4015 shouldn't be
178.95/179.48	WSVECS04 Frhs2[167]: 6 0 2.48943 shouldn't be
178.95/179.48	WSVECS04 Frhs2[169]: 6 -2.57626 0 shouldn't be
178.95/179.48	WSVECS04 Frhs2[174]: 6 0 4.34306 shouldn't be
178.95/179.48	WSVECS04 Frhs2[183]: 6 0 19.4212 shouldn't be
178.95/179.48	WSVECS04 Frhs2[191]: 6 0 0.415222 shouldn't be
178.95/179.48	WSVECS04 Frhs2[220]: 6 0 16.7915 shouldn't be
178.95/179.48	WSVECS04 Frhs2[237]: 6 0 4.11909 shouldn't be
178.95/179.48	WSVECS04 Frhs2[270]: 6 0 0.617289 shouldn't be
178.95/179.48	WSVECS04 Frhs2[272]: 6 0 0.446445 shouldn't be
178.95/179.48	WSVECS04 Frhs2[284]: 6 0 0.476457 shouldn't be
178.95/179.48	WSVECS04 Frhs2[290]: 6 0 7.31909 shouldn't be
178.95/179.48	WSVECS04 Frhs2[292]: 6 -11.9352 0 shouldn't be
178.95/179.48	WSVECS04 Frhs2[297]: 6 -3.46463 0 shouldn't be
178.95/179.48	WSVECS04 Frhs2[299]: 6 0 10.7337 shouldn't be
178.95/179.48	WSVECS04 Frhs2[300]: 6 -11.214 0 shouldn't be
178.95/179.48	WSVECS04 Frhs2[303]: 6 0 4.0172 shouldn't be
178.95/179.48	WSVECS04 Frhs2[311]: 6 0 5.13164 shouldn't be
178.95/179.48	WSVECS04 Frhs2[317]: 6 -36.7134 0 shouldn't be
178.95/179.48	WSVECS04 Frhs2[326]: 6 -10.7524 0 shouldn't be
178.95/179.48	WSVECS04 Frhs2[348]: 6 -12.8312 0 shouldn't be
178.95/179.48	WSVECS04 Frhs2[360]: 6 -0.653751 0 shouldn't be
178.95/179.48	WSVECS04 Frhs2[365]: 6 -15.5991 0 shouldn't be
178.95/179.48	WSVECS04 Frhs2[384]: 6 -41.5319 0 shouldn't be
178.95/179.48	WSVECS04 Frhs2[393]: 6 -12.2288 0 shouldn't be
178.95/179.48	WSVECS04 Frhs2[395]: 6 -10.0755 0 shouldn't be
178.95/179.48	WSVECS04 Frhs2[397]: 6 -21.0316 0 shouldn't be
178.95/179.48	WSVECS04 Frhs2[406]: 6 -0.654154 0 shouldn't be
178.95/179.48	WSVECS04 Frhs2[425]: 6 -15.2871 0 shouldn't be
179.06/179.54	WSVECS04 Frhs2[17]: 6 0 0.0442575 shouldn't be
179.06/179.54	WSVECS04 Frhs2[62]: 6 0 4.34301 shouldn't be
179.06/179.54	WSVECS04 Frhs2[128]: 6 0 4.34304 shouldn't be
179.06/179.54	WSVECS04 Frhs2[133]: 6 -1.02266 0 shouldn't be
179.06/179.54	WSVECS04 Frhs2[428]: 6 -38.9902 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[1]: 6 0 0.662156 shouldn't be
179.15/179.61	WSVECS04 Frhs2[7]: 6 0 1.54478 shouldn't be
179.15/179.61	WSVECS04 Frhs2[11]: 6 0 28.0028 shouldn't be
179.15/179.61	WSVECS04 Frhs2[13]: 6 0 9.30483 shouldn't be
179.15/179.61	WSVECS04 Frhs2[14]: 6 0 14.6657 shouldn't be
179.15/179.61	WSVECS04 Frhs2[15]: 6 0 1.37786 shouldn't be
179.15/179.61	WSVECS04 Frhs2[17]: 6 0 0.0442205 shouldn't be
179.15/179.61	WSVECS04 Frhs2[22]: 6 0 5.37766 shouldn't be
179.15/179.61	WSVECS04 Frhs2[30]: 6 0 4.343 shouldn't be
179.15/179.61	WSVECS04 Frhs2[46]: 6 0 15.6662 shouldn't be
179.15/179.61	WSVECS04 Frhs2[57]: 6 0 1.82842 shouldn't be
179.15/179.61	WSVECS04 Frhs2[60]: 6 0 13.7652 shouldn't be
179.15/179.61	WSVECS04 Frhs2[73]: 6 0 1.50034 shouldn't be
179.15/179.61	WSVECS04 Frhs2[101]: 6 0 0.986134 shouldn't be
179.15/179.61	WSVECS04 Frhs2[131]: 6 -73.9339 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[133]: 6 -1.02256 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[135]: 6 0 2.50625 shouldn't be
179.15/179.61	WSVECS04 Frhs2[148]: 6 0 4.343 shouldn't be
179.15/179.61	WSVECS04 Frhs2[161]: 6 0 11.4015 shouldn't be
179.15/179.61	WSVECS04 Frhs2[167]: 6 0 2.48941 shouldn't be
179.15/179.61	WSVECS04 Frhs2[169]: 6 -2.57625 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[174]: 6 0 4.343 shouldn't be
179.15/179.61	WSVECS04 Frhs2[183]: 6 0 19.4212 shouldn't be
179.15/179.61	WSVECS04 Frhs2[191]: 6 0 0.415201 shouldn't be
179.15/179.61	WSVECS04 Frhs2[220]: 6 0 16.7914 shouldn't be
179.15/179.61	WSVECS04 Frhs2[237]: 6 0 4.119 shouldn't be
179.15/179.61	WSVECS04 Frhs2[272]: 6 0 0.44641 shouldn't be
179.15/179.61	WSVECS04 Frhs2[284]: 6 0 0.476373 shouldn't be
179.15/179.61	WSVECS04 Frhs2[290]: 6 0 7.319 shouldn't be
179.15/179.61	WSVECS04 Frhs2[292]: 6 -11.9352 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[297]: 6 -3.4646 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[299]: 6 0 10.7336 shouldn't be
179.15/179.61	WSVECS04 Frhs2[300]: 6 -11.2139 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[303]: 6 0 4.01716 shouldn't be
179.15/179.61	WSVECS04 Frhs2[311]: 6 0 5.13154 shouldn't be
179.15/179.61	WSVECS04 Frhs2[317]: 6 -36.7133 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[326]: 6 -10.7524 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[348]: 6 -12.8312 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[360]: 6 -0.653662 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[365]: 6 -15.599 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[384]: 6 -41.5318 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[393]: 6 -12.2287 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[395]: 6 -10.0755 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[397]: 6 -21.0316 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[406]: 6 -0.654143 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[425]: 6 -15.287 0 shouldn't be
179.15/179.61	WSVECS04 Frhs2[428]: 6 -38.9901 0 shouldn't be
179.15/179.69	WSVECS04 Frhs2[31]: 6 0 0.0813506 shouldn't be
179.15/179.69	WSVECS04 Frhs2[270]: 6 0 0.617268 shouldn't be
179.26/179.75	WSVECS04 Frhs2[4]: 6 0 4.343 shouldn't be
179.26/179.75	WSVECS04 Frhs2[62]: 6 0 4.343 shouldn't be
179.35/179.82	WSVECS04 Frhs2[78]: 6 0 4.343 shouldn't be
179.35/179.82	WSVECS04 Frhs2[86]: 6 0 4.343 shouldn't be
179.35/179.82	WSVECS04 Frhs2[130]: 6 0 4.343 shouldn't be
179.35/179.88	WSVECS04 Frhs2[12]: 6 0 33.3637 shouldn't be
179.35/179.88	WSVECS04 Frhs2[34]: 6 0 4.343 shouldn't be
179.35/179.88	WSVECS04 Frhs2[44]: 6 0 4.343 shouldn't be
179.35/179.88	WSVECS04 Frhs2[128]: 6 0 4.343 shouldn't be
205.79/206.35	c #Conflicts:     577000 | #Constraints:      16729
205.79/206.35	c #Conflicts:     578000 | #Constraints:      17729
205.79/206.35	c #Conflicts:     579000 | #Constraints:      18729
205.79/206.35	c #Conflicts:     580000 | #Constraints:      19729
205.79/206.35	c #Conflicts:     581000 | #Constraints:      20729
205.79/206.35	c #Conflicts:     582000 | #Constraints:      21729
205.79/206.35	c #Conflicts:     583000 | #Constraints:      22729
205.79/206.35	c #Conflicts:     584000 | #Constraints:      23729
205.79/206.35	c #Conflicts:     585000 | #Constraints:      24729
205.79/206.35	c #Conflicts:     586000 | #Constraints:      25729
205.79/206.35	c #Conflicts:     587000 | #Constraints:      26729
205.79/206.35	c #Conflicts:     588000 | #Constraints:      27729
205.79/206.35	c #Conflicts:     589000 | #Constraints:      28729
205.79/206.35	c #Conflicts:     590000 | #Constraints:      29729
205.79/206.35	c #Conflicts:     591000 | #Constraints:      30729
205.79/206.35	c INPROCESSING
205.79/206.35	c GARBAGE COLLECT
205.79/206.35	c #Conflicts:     592000 | #Constraints:      16520
205.79/206.35	c #Conflicts:     593000 | #Constraints:      17520
205.79/206.35	c #Conflicts:     594000 | #Constraints:      18520
205.79/206.35	c #Conflicts:     595000 | #Constraints:      19520
205.79/206.35	c #Conflicts:     596000 | #Constraints:      20520
205.79/206.36	c #Conflicts:     597000 | #Constraints:      21520
205.79/206.36	c #Conflicts:     598000 | #Constraints:      22520
205.79/206.36	c #Conflicts:     599000 | #Constraints:      23520
205.79/206.36	c #Conflicts:     600000 | #Constraints:      24520
205.79/206.36	c #Conflicts:     601000 | #Constraints:      25520
205.79/206.36	c #Conflicts:     602000 | #Constraints:      26520
205.79/206.36	c #Conflicts:     603000 | #Constraints:      27520
205.79/206.36	c #Conflicts:     604000 | #Constraints:      28520
205.79/206.36	c #Conflicts:     605000 | #Constraints:      29520
205.79/206.36	c #Conflicts:     606000 | #Constraints:      30520
205.79/206.36	c #Conflicts:     607000 | #Constraints:      31520
205.79/206.36	c INPROCESSING
205.79/206.36	c GARBAGE COLLECT
205.79/206.36	c #Conflicts:     608000 | #Constraints:      17112
205.79/206.36	c #Conflicts:     609000 | #Constraints:      18112
205.79/206.36	c #Conflicts:     610000 | #Constraints:      19112
205.79/206.36	c #Conflicts:     611000 | #Constraints:      20112
205.79/206.36	c #Conflicts:     612000 | #Constraints:      21112
205.79/206.36	c #Conflicts:     613000 | #Constraints:      22112
205.79/206.36	c #Conflicts:     614000 | #Constraints:      23112
205.79/206.36	c #Conflicts:     615000 | #Constraints:      24112
205.79/206.36	c #Conflicts:     616000 | #Constraints:      25112
205.79/206.36	c #Conflicts:     617000 | #Constraints:      26112
205.79/206.36	c #Conflicts:     618000 | #Constraints:      27112
205.79/206.36	c #Conflicts:     619000 | #Constraints:      28112
205.79/206.36	c #Conflicts:     620000 | #Constraints:      29112
205.79/206.36	c #Conflicts:     621000 | #Constraints:      30112
205.79/206.36	c #Conflicts:     622000 | #Constraints:      31112
205.79/206.36	c #Conflicts:     623000 | #Constraints:      32112
205.79/206.36	c INPROCESSING
205.79/206.36	c GARBAGE COLLECT
205.79/206.36	c #Conflicts:     624000 | #Constraints:      17508
205.79/206.36	c #Conflicts:     625000 | #Constraints:      18508
205.79/206.36	c #Conflicts:     626000 | #Constraints:      19508
205.79/206.36	c #Conflicts:     627000 | #Constraints:      20508
205.79/206.36	c #Conflicts:     628000 | #Constraints:      21508
205.79/206.36	c #Conflicts:     629000 | #Constraints:      22508
205.79/206.36	c #Conflicts:     630000 | #Constraints:      23508
205.79/206.36	c #Conflicts:     631000 | #Constraints:      24508
205.79/206.36	c #Conflicts:     632000 | #Constraints:      25508
205.79/206.36	c #Conflicts:     633000 | #Constraints:      26508
205.79/206.36	c #Conflicts:     634000 | #Constraints:      27508
205.79/206.36	c #Conflicts:     635000 | #Constraints:      28508
205.79/206.36	c #Conflicts:     636000 | #Constraints:      29508
205.79/206.36	c #Conflicts:     637000 | #Constraints:      30508
205.79/206.36	c #Conflicts:     638000 | #Constraints:      31508
205.79/206.36	c #Conflicts:     639000 | #Constraints:      32508
205.79/206.36	c INPROCESSING
205.79/206.36	c GARBAGE COLLECT
205.79/206.36	c #Conflicts:     640000 | #Constraints:      17705
205.79/206.36	c #Conflicts:     641000 | #Constraints:      18705
205.79/206.36	c #Conflicts:     642000 | #Constraints:      19705
205.79/206.36	c #Conflicts:     643000 | #Constraints:      20705
205.79/206.36	c #Conflicts:     644000 | #Constraints:      21705
205.79/206.36	c #Conflicts:     645000 | #Constraints:      22705
205.79/206.36	c #Conflicts:     646000 | #Constraints:      23705
205.79/206.36	c #Conflicts:     647000 | #Constraints:      24705
205.79/206.36	c #Conflicts:     648000 | #Constraints:      25705
205.79/206.36	c #Conflicts:     649000 | #Constraints:      26705
205.79/206.36	c #Conflicts:     650000 | #Constraints:      27705
205.79/206.36	c #Conflicts:     651000 | #Constraints:      28705
205.79/206.36	c #Conflicts:     652000 | #Constraints:      29705
205.79/206.36	c #Conflicts:     653000 | #Constraints:      30705
212.98/213.50	c #Conflicts:     654000 | #Constraints:      31705
212.98/213.50	c #Conflicts:     655000 | #Constraints:      32705
212.98/213.50	c INPROCESSING
212.98/213.50	c GARBAGE COLLECT
212.98/213.50	c #Conflicts:     656000 | #Constraints:      17711
212.98/213.50	c #Conflicts:     657000 | #Constraints:      18715
212.98/213.50	c #Conflicts:     658000 | #Constraints:      19715
212.98/213.50	c #Conflicts:     659000 | #Constraints:      20715
212.98/213.50	c #Conflicts:     660000 | #Constraints:      21716
212.98/213.50	c #Conflicts:     661000 | #Constraints:      22719
212.98/213.50	c #Conflicts:     662000 | #Constraints:      23720
212.98/213.50	c #Conflicts:     663000 | #Constraints:      24720
212.98/213.50	c #Conflicts:     664000 | #Constraints:      25720
212.98/213.50	c #Conflicts:     665000 | #Constraints:      26720
212.98/213.50	c #Conflicts:     666000 | #Constraints:      27720
212.98/213.50	c #Conflicts:     667000 | #Constraints:      28722
212.98/213.50	c #Conflicts:     668000 | #Constraints:      29722
212.98/213.50	c #Conflicts:     669000 | #Constraints:      30723
212.98/213.50	c #Conflicts:     670000 | #Constraints:      31724
212.98/213.50	c #Conflicts:     671000 | #Constraints:      32726
212.98/213.50	c INPROCESSING
212.98/213.50	c GARBAGE COLLECT
212.98/213.50	WSVECS04 Frhs2[10]: 6 0 0.178958 shouldn't be
212.98/213.50	WSVECS04 Frhs2[11]: 6 0 0.0103655 shouldn't be
212.98/213.50	WSVECS04 Frhs2[12]: 6 0 0.191887 shouldn't be
212.98/213.50	WSVECS04 Frhs2[18]: 6 -4.07485 0 shouldn't be
212.98/213.50	WSVECS04 Frhs2[20]: 6 0 0.0606757 shouldn't be
212.98/213.50	WSVECS04 Frhs2[22]: 6 0 0.059941 shouldn't be
212.98/213.50	WSVECS04 Frhs2[27]: 6 0 0.0894314 shouldn't be
212.98/213.50	WSVECS04 Frhs2[44]: 6 0 0.105311 shouldn't be
212.98/213.50	WSVECS04 Frhs2[46]: 6 0 0.732083 shouldn't be
212.98/213.50	WSVECS04 Frhs2[57]: 6 0 0.247836 shouldn't be
212.98/213.50	WSVECS04 Frhs2[68]: 6 0 0.105312 shouldn't be
212.98/213.50	WSVECS04 Frhs2[69]: 6 0 0.0383231 shouldn't be
212.98/213.50	WSVECS04 Frhs2[78]: 6 0 0.105346 shouldn't be
212.98/213.50	WSVECS04 Frhs2[96]: 6 0 0.105312 shouldn't be
212.98/213.50	WSVECS04 Frhs2[104]: 6 0 0.0497371 shouldn't be
212.98/213.50	WSVECS04 Frhs2[108]: 6 0 0.105362 shouldn't be
212.98/213.50	WSVECS04 Frhs2[112]: 6 0 0.105338 shouldn't be
212.98/213.50	WSVECS04 Frhs2[114]: 6 0 0.10531 shouldn't be
212.98/213.50	WSVECS04 Frhs2[116]: 6 0 0.105322 shouldn't be
212.98/213.50	WSVECS04 Frhs2[118]: 6 0 0.105353 shouldn't be
212.98/213.50	WSVECS04 Frhs2[120]: 6 0 0.105354 shouldn't be
212.98/213.50	WSVECS04 Frhs2[130]: 6 0 0.105323 shouldn't be
212.98/213.50	WSVECS04 Frhs2[131]: 6 0 0.293986 shouldn't be
212.98/213.50	WSVECS04 Frhs2[134]: 6 0 0.105358 shouldn't be
212.98/213.50	WSVECS04 Frhs2[140]: 6 0 0.105278 shouldn't be
212.98/213.50	WSVECS04 Frhs2[156]: 6 0 0.589963 shouldn't be
212.98/213.50	WSVECS04 Frhs2[163]: 6 0 0.594865 shouldn't be
212.98/213.50	WSVECS04 Frhs2[175]: 6 0 0.573563 shouldn't be
212.98/213.50	WSVECS04 Frhs2[176]: 6 0 0.105355 shouldn't be
212.98/213.50	WSVECS04 Frhs2[182]: 6 0 0.105299 shouldn't be
212.98/213.50	WSVECS04 Frhs2[186]: 6 0 0.105361 shouldn't be
212.98/213.50	WSVECS04 Frhs2[202]: 6 0 2.91259 shouldn't be
212.98/213.50	WSVECS04 Frhs2[206]: 6 0 0.105295 shouldn't be
212.98/213.50	WSVECS04 Frhs2[209]: 6 0 0.137611 shouldn't be
212.98/213.50	WSVECS04 Frhs2[214]: 6 0 0.105306 shouldn't be
212.98/213.50	WSVECS04 Frhs2[221]: 6 0 0.619385 shouldn't be
212.98/213.50	WSVECS04 Frhs2[223]: 6 0 0.156225 shouldn't be
212.98/213.50	WSVECS04 Frhs2[231]: 6 -0.0736623 0 shouldn't be
212.98/213.50	WSVECS04 Frhs2[240]: 6 0 0.19688 shouldn't be
212.98/213.50	WSVECS04 Frhs2[243]: 6 0 0.402936 shouldn't be
212.98/213.50	WSVECS04 Frhs2[252]: 6 0 0.105283 shouldn't be
212.98/213.50	WSVECS04 Frhs2[260]: 6 0 0.105273 shouldn't be
212.98/213.50	WSVECS04 Frhs2[261]: 6 0 0.402754 shouldn't be
212.98/213.50	WSVECS04 Frhs2[264]: 6 0 0.122573 shouldn't be
212.98/213.50	WSVECS04 Frhs2[268]: 6 0 0.09334 shouldn't be
212.98/213.50	WSVECS04 Frhs2[283]: 6 -0.0781289 0 shouldn't be
212.98/213.50	WSVECS04 Frhs2[285]: 6 -0.0279313 0 shouldn't be
212.98/213.50	WSVECS04 Frhs2[294]: 6 0 1.9481 shouldn't be
212.98/213.50	WSVECS04 Frhs2[295]: 6 -1.58364 0 shouldn't be
212.98/213.50	WSVECS04 Frhs2[299]: 6 0 0.886916 shouldn't be
212.98/213.50	WSVECS04 Frhs2[303]: 6 0 1.42638 shouldn't be
212.98/213.50	WSVECS04 Frhs2[307]: 6 0 0.387207 shouldn't be
212.98/213.50	WSVECS04 Frhs2[309]: 6 -1.32537 0 shouldn't be
212.98/213.50	WSVECS04 Frhs2[310]: 6 0 0.296328 shouldn't be
212.98/213.50	WSVECS04 Frhs2[312]: 6 -1.42971 0 shouldn't be
212.98/213.50	WSVECS04 Frhs2[318]: 6 0 1.58473 shouldn't be
212.98/213.50	WSVECS04 Frhs2[323]: 6 -0.0616779 0 shouldn't be
212.98/213.50	WSVECS04 Frhs2[326]: 6 0 0.572418 shouldn't be
212.98/213.50	WSVECS04 Frhs2[331]: 6 0 0.666342 shouldn't be
212.98/213.50	WSVECS04 Frhs2[360]: 6 -1.22301 0 shouldn't be
212.98/213.50	WSVECS04 Frhs2[367]: 6 -1.81166 0 shouldn't be
212.98/213.50	WSVECS04 Frhs2[386]: 6 0 0.0333504 shouldn't be
212.98/213.50	WSVECS04 Frhs2[428]: 6 -0.11391 0 shouldn't be
212.98/213.57	WSVECS04 Frhs2[167]: 6 0 1.15254 shouldn't be
212.98/213.57	WSVECS04 Frhs2[192]: 6 0 0.735134 shouldn't be
212.98/213.57	WSVECS04 Frhs2[347]: 6 0 0.311239 shouldn't be
218.86/219.47	c #Conflicts:     672000 | #Constraints:      17509
218.86/219.47	c #Conflicts:     673000 | #Constraints:      18510
218.86/219.47	c #Conflicts:     674000 | #Constraints:      19510
218.86/219.47	c #Conflicts:     675000 | #Constraints:      20511
218.86/219.47	c #Conflicts:     676000 | #Constraints:      21512
218.86/219.47	c #Conflicts:     677000 | #Constraints:      22514
218.86/219.47	c #Conflicts:     678000 | #Constraints:      23516
218.86/219.47	c #Conflicts:     679000 | #Constraints:      24518
218.86/219.47	c #Conflicts:     680000 | #Constraints:      25519
218.86/219.47	c #Conflicts:     681000 | #Constraints:      26520
218.86/219.47	c #Conflicts:     682000 | #Constraints:      27522
218.86/219.47	c #Conflicts:     683000 | #Constraints:      28523
218.86/219.47	c #Conflicts:     684000 | #Constraints:      29525
218.86/219.47	c #Conflicts:     685000 | #Constraints:      30526
218.86/219.47	c #Conflicts:     686000 | #Constraints:      31527
218.86/219.47	c #Conflicts:     687000 | #Constraints:      32528
218.86/219.47	c #Conflicts:     688000 | #Constraints:      33528
218.86/219.47	c INPROCESSING
218.86/219.47	c GARBAGE COLLECT
218.86/219.47	WSVECS04 Frhs2[67]: 6 0 0.0518196 shouldn't be
218.86/219.47	WSVECS04 Frhs2[263]: 6 0 0.0173652 shouldn't be
218.96/219.53	WSVECS04 Frhs2[7]: 6 0 0.0518201 shouldn't be
218.96/219.53	WSVECS04 Frhs2[19]: 6 0 244.182 shouldn't be
218.96/219.53	WSVECS04 Frhs2[20]: 6 -1.14035 0 shouldn't be
218.96/219.53	WSVECS04 Frhs2[22]: 6 -1.132 0 shouldn't be
218.96/219.53	WSVECS04 Frhs2[29]: 6 0 0.0518196 shouldn't be
218.96/219.53	WSVECS04 Frhs2[34]: 6 0 707.982 shouldn't be
218.96/219.53	WSVECS04 Frhs2[43]: 6 0 0.0518199 shouldn't be
218.96/219.53	WSVECS04 Frhs2[49]: 6 0 30.8038 shouldn't be
218.96/219.53	WSVECS04 Frhs2[52]: 6 -176.763 0 shouldn't be
218.96/219.53	WSVECS04 Frhs2[59]: 6 0 1.95531 shouldn't be
218.96/219.53	WSVECS04 Frhs2[71]: 6 0 0.05182 shouldn't be
218.96/219.53	WSVECS04 Frhs2[77]: 6 0 9.78257 shouldn't be
218.96/219.53	WSVECS04 Frhs2[79]: 6 0 41.4808 shouldn't be
218.96/219.53	WSVECS04 Frhs2[83]: 6 -32.5241 0 shouldn't be
218.96/219.53	WSVECS04 Frhs2[89]: 6 0 0.0518202 shouldn't be
218.96/219.53	WSVECS04 Frhs2[91]: 6 0 0.0518198 shouldn't be
218.96/219.53	WSVECS04 Frhs2[105]: 6 0 45.8377 shouldn't be
218.96/219.53	WSVECS04 Frhs2[119]: 6 0 0.0518201 shouldn't be
218.96/219.53	WSVECS04 Frhs2[139]: 6 0 0.0518197 shouldn't be
218.96/219.53	WSVECS04 Frhs2[147]: 6 0 0.0518201 shouldn't be
218.96/219.53	WSVECS04 Frhs2[155]: 6 0 24.0758 shouldn't be
218.96/219.53	WSVECS04 Frhs2[163]: 6 0 98.1706 shouldn't be
218.96/219.53	WSVECS04 Frhs2[164]: 6 0 20.7666 shouldn't be
218.96/219.53	WSVECS04 Frhs2[168]: 6 0 8.90093 shouldn't be
218.96/219.53	WSVECS04 Frhs2[171]: 6 0 11.4588 shouldn't be
218.96/219.53	WSVECS04 Frhs2[173]: 6 0 0.0518201 shouldn't be
218.96/219.53	WSVECS04 Frhs2[175]: 6 -18.1656 0 shouldn't be
218.96/219.53	WSVECS04 Frhs2[179]: 6 0 0.0518197 shouldn't be
218.96/219.53	WSVECS04 Frhs2[183]: 6 0 68.3641 shouldn't be
218.96/219.53	WSVECS04 Frhs2[187]: 6 0 0.0518198 shouldn't be
218.96/219.53	WSVECS04 Frhs2[197]: 6 0 0.0518202 shouldn't be
218.96/219.53	WSVECS04 Frhs2[199]: 6 0 1.58256 shouldn't be
218.96/219.53	WSVECS04 Frhs2[200]: 6 0 8.21292 shouldn't be
218.96/219.53	WSVECS04 Frhs2[203]: 6 0 0.0518197 shouldn't be
218.96/219.53	WSVECS04 Frhs2[221]: 6 0 76.7877 shouldn't be
218.96/219.53	WSVECS04 Frhs2[241]: 6 -7.83786 0 shouldn't be
218.96/219.53	WSVECS04 Frhs2[249]: 6 0 36.5688 shouldn't be
218.96/219.53	WSVECS04 Frhs2[251]: 6 -105.24 0 shouldn't be
218.96/219.53	WSVECS04 Frhs2[253]: 6 -73.775 0 shouldn't be
218.96/219.53	WSVECS04 Frhs2[259]: 6 0 0.0518202 shouldn't be
218.96/219.53	WSVECS04 Frhs2[261]: 6 0 24.0861 shouldn't be
218.96/219.53	WSVECS04 Frhs2[269]: 6 -12.4383 0 shouldn't be
218.96/219.53	WSVECS04 Frhs2[270]: 6 0 5.73551 shouldn't be
218.96/219.53	WSVECS04 Frhs2[273]: 6 0 25.8771 shouldn't be
218.96/219.53	WSVECS04 Frhs2[279]: 6 0 2.08199 shouldn't be
218.96/219.53	WSVECS04 Frhs2[280]: 6 0 2.0948 shouldn't be
218.96/219.53	WSVECS04 Frhs2[281]: 6 0 2.13381 shouldn't be
218.96/219.53	WSVECS04 Frhs2[283]: 6 0 2.13381 shouldn't be
218.96/219.53	WSVECS04 Frhs2[284]: 6 0 2.0948 shouldn't be
218.96/219.53	WSVECS04 Frhs2[286]: 6 0 2.0948 shouldn't be
218.96/219.53	WSVECS04 Frhs2[296]: 6 0 25.9791 shouldn't be
218.96/219.53	WSVECS04 Frhs2[304]: 6 0 118.231 shouldn't be
218.96/219.53	WSVECS04 Frhs2[327]: 6 0 4.79271 shouldn't be
218.96/219.53	WSVECS04 Frhs2[330]: 6 0 79.9261 shouldn't be
218.96/219.53	WSVECS04 Frhs2[349]: 6 0 8.16923 shouldn't be
218.96/219.53	WSVECS04 Frhs2[351]: 6 0 136.62 shouldn't be
218.96/219.53	WSVECS04 Frhs2[362]: 6 -3.33976 0 shouldn't be
218.96/219.53	WSVECS04 Frhs2[372]: 6 -44.3531 0 shouldn't be
218.96/219.53	WSVECS04 Frhs2[392]: 6 0 106.079 shouldn't be
218.96/219.53	WSVECS04 Frhs2[395]: 6 -51.3512 0 shouldn't be
218.96/219.53	WSVECS04 Frhs2[406]: 6 -4.79082 0 shouldn't be
218.96/219.53	WSVECS04 Frhs2[414]: 6 0 54.9455 shouldn't be
218.96/219.53	WSVECS04 Frhs2[421]: 6 -42.9229 0 shouldn't be
218.96/219.53	WSVECS04 Frhs2[424]: 6 0 98.9081 shouldn't be
218.96/219.53	WSVECS04 Frhs2[425]: 6 0 64.7831 shouldn't be
218.96/219.59	WSVECS04 Frhs2[47]: 6 0 0.0518199 shouldn't be
218.96/219.59	WSVECS04 Frhs2[51]: 6 0 74.264 shouldn't be
218.96/219.59	WSVECS04 Frhs2[65]: 6 0 97.875 shouldn't be
218.96/219.59	WSVECS04 Frhs2[73]: 6 0 76.785 shouldn't be
218.96/219.59	WSVECS04 Frhs2[213]: 6 0 2.91992 shouldn't be
218.96/219.59	WSVECS04 Frhs2[237]: 6 0 131.957 shouldn't be
218.96/219.59	WSVECS04 Frhs2[272]: 6 0 13.1198 shouldn't be
218.96/219.59	WSVECS04 Frhs2[274]: 6 0 25.8381 shouldn't be
218.96/219.59	WSVECS04 Frhs2[341]: 6 0 187.8 shouldn't be
218.96/219.59	WSVECS04 Frhs2[343]: 6 0 165.44 shouldn't be
218.96/219.59	WSVECS04 Frhs2[347]: 6 0 26.3803 shouldn't be
218.96/219.59	WSVECS04 Frhs2[375]: 6 0 15.0062 shouldn't be
218.96/219.59	WSVECS04 Frhs2[382]: 6 0 147.21 shouldn't be
218.96/219.59	WSVECS04 Frhs2[407]: 6 -5.69204 0 shouldn't be
218.96/219.59	WSVECS04 Frhs2[416]: 6 0 43.2619 shouldn't be
218.96/219.59	WSVECS04 Frhs2[417]: 6 0 159.114 shouldn't be
218.96/219.59	WSVECS04 Frhs2[418]: 6 0 266.633 shouldn't be
224.65/225.24	c #Conflicts:     689000 | #Constraints:      18120
224.65/225.24	c #Conflicts:     690000 | #Constraints:      19120
224.65/225.24	c #Conflicts:     691000 | #Constraints:      20121
224.65/225.24	c #Conflicts:     692000 | #Constraints:      21122
224.65/225.24	c #Conflicts:     693000 | #Constraints:      22123
224.65/225.24	c #Conflicts:     694000 | #Constraints:      23124
224.65/225.24	c #Conflicts:     695000 | #Constraints:      24125
224.65/225.24	c #Conflicts:     696000 | #Constraints:      25126
224.65/225.24	c #Conflicts:     697000 | #Constraints:      26127
224.65/225.24	c #Conflicts:     698000 | #Constraints:      27128
224.65/225.24	c #Conflicts:     699000 | #Constraints:      28130
224.65/225.24	c #Conflicts:     700000 | #Constraints:      29131
224.65/225.24	c #Conflicts:     701000 | #Constraints:      30133
224.65/225.24	c #Conflicts:     702000 | #Constraints:      31133
224.65/225.24	c #Conflicts:     703000 | #Constraints:      32135
224.65/225.24	c #Conflicts:     704000 | #Constraints:      33138
224.65/225.24	c #Conflicts:     705000 | #Constraints:      34147
224.65/225.24	c INPROCESSING
224.65/225.24	c GARBAGE COLLECT
224.65/225.24	WSVECS04 Frhs2[1]: 6 -13.2828 0 shouldn't be
224.65/225.24	WSVECS04 Frhs2[6]: 6 0 0.0244669 shouldn't be
224.65/225.24	WSVECS04 Frhs2[8]: 6 0 0.392017 shouldn't be
224.65/225.24	WSVECS04 Frhs2[10]: 6 0 1.4951 shouldn't be
224.65/225.24	WSVECS04 Frhs2[12]: 6 0 5.55516 shouldn't be
224.65/225.24	WSVECS04 Frhs2[14]: 6 0 0.530716 shouldn't be
224.65/225.24	WSVECS04 Frhs2[25]: 6 -11.9647 0 shouldn't be
224.65/225.24	WSVECS04 Frhs2[27]: 6 0 8.22328 shouldn't be
224.65/225.24	WSVECS04 Frhs2[38]: 6 0 59.0296 shouldn't be
224.65/225.24	WSVECS04 Frhs2[43]: 6 0 34.7111 shouldn't be
224.65/225.24	WSVECS04 Frhs2[47]: 6 -5.77686 0 shouldn't be
224.65/225.24	WSVECS04 Frhs2[57]: 6 0 12.3922 shouldn't be
224.65/225.24	WSVECS04 Frhs2[59]: 6 0 0.220613 shouldn't be
224.65/225.24	WSVECS04 Frhs2[60]: 6 0 14.1383 shouldn't be
224.65/225.24	WSVECS04 Frhs2[63]: 6 0 193.243 shouldn't be
224.65/225.24	WSVECS04 Frhs2[69]: 6 0 0.694165 shouldn't be
224.65/225.24	WSVECS04 Frhs2[105]: 6 0 1.12553 shouldn't be
224.65/225.24	WSVECS04 Frhs2[124]: 6 -0.343163 0 shouldn't be
224.65/225.24	WSVECS04 Frhs2[148]: 6 -0.343142 0 shouldn't be
224.65/225.24	WSVECS04 Frhs2[154]: 6 -39.6953 0 shouldn't be
224.65/225.24	WSVECS04 Frhs2[159]: 6 0 0.592966 shouldn't be
224.65/225.24	WSVECS04 Frhs2[164]: 6 0 126.577 shouldn't be
224.65/225.24	WSVECS04 Frhs2[175]: 6 0 10.9615 shouldn't be
224.65/225.24	WSVECS04 Frhs2[183]: 6 0 33.815 shouldn't be
224.65/225.24	WSVECS04 Frhs2[190]: 6 -0.343119 0 shouldn't be
224.65/225.24	WSVECS04 Frhs2[200]: 6 0 4.18015 shouldn't be
224.65/225.24	WSVECS04 Frhs2[216]: 6 0 0.34906 shouldn't be
224.65/225.24	WSVECS04 Frhs2[223]: 6 0 10.1769 shouldn't be
224.65/225.24	WSVECS04 Frhs2[224]: 6 0 8.3583 shouldn't be
224.65/225.24	WSVECS04 Frhs2[234]: 6 0 0.025012 shouldn't be
224.65/225.24	WSVECS04 Frhs2[283]: 6 0 2.17124 shouldn't be
224.65/225.24	WSVECS04 Frhs2[284]: 6 0 3.93284 shouldn't be
224.65/225.24	WSVECS04 Frhs2[285]: 6 0 1.44396 shouldn't be
224.65/225.24	WSVECS04 Frhs2[286]: 6 0 3.20569 shouldn't be
224.65/225.24	WSVECS04 Frhs2[293]: 6 0 70.4326 shouldn't be
224.65/225.24	WSVECS04 Frhs2[316]: 6 0 34.5167 shouldn't be
224.65/225.24	WSVECS04 Frhs2[350]: 6 0 49.4263 shouldn't be
224.65/225.24	WSVECS04 Frhs2[360]: 6 -5.44521 0 shouldn't be
224.65/225.24	WSVECS04 Frhs2[362]: 6 -1.00005 0 shouldn't be
224.65/225.24	WSVECS04 Frhs2[395]: 6 -20.1725 0 shouldn't be
224.65/225.24	WSVECS04 Frhs2[402]: 6 -3.1424 0 shouldn't be
224.65/225.24	WSVECS04 Frhs2[406]: 6 -4.42748 0 shouldn't be
224.65/225.24	WSVECS04 Frhs2[413]: 6 0 31.17 shouldn't be
224.65/225.24	WSVECS04 Frhs2[426]: 6 0 31.5315 shouldn't be
224.75/225.30	WSVECS04 Frhs2[108]: 6 -0.343169 0 shouldn't be
224.75/225.30	WSVECS04 Frhs2[243]: 6 0 13.5222 shouldn't be
224.75/225.30	WSVECS04 Frhs2[249]: 6 0 18.798 shouldn't be
224.75/225.30	WSVECS04 Frhs2[282]: 6 0 5.3873 shouldn't be
224.75/225.30	WSVECS04 Frhs2[348]: 6 0 24.773 shouldn't be
224.75/225.30	WSVECS04 Frhs2[371]: 6 0 50.7264 shouldn't be
224.75/225.30	WSVECS04 Frhs2[396]: 6 0 51.6964 shouldn't be
224.75/225.37	WSVECS04 Frhs2[398]: 6 0 33.4865 shouldn't be
224.75/225.37	WSVECS04 Frhs2[419]: 6 0 71.1094 shouldn't be
224.75/225.37	WSVECS04 Frhs2[428]: 6 0 90.9859 shouldn't be
237.72/238.36	c #Conflicts:     706000 | #Constraints:      18528
237.72/238.36	c #Conflicts:     707000 | #Constraints:      19529
237.72/238.36	c #Conflicts:     708000 | #Constraints:      20532
237.72/238.36	c #Conflicts:     709000 | #Constraints:      21533
237.72/238.36	c #Conflicts:     710000 | #Constraints:      22538
237.72/238.36	c #Conflicts:     711000 | #Constraints:      23541
237.72/238.36	c #Conflicts:     712000 | #Constraints:      24544
237.72/238.36	c #Conflicts:     713000 | #Constraints:      25546
237.72/238.36	c #Conflicts:     714000 | #Constraints:      26549
237.72/238.36	c #Conflicts:     715000 | #Constraints:      27552
237.72/238.36	c #Conflicts:     716000 | #Constraints:      28556
237.72/238.36	c #Conflicts:     717000 | #Constraints:      29560
237.72/238.36	c #Conflicts:     718000 | #Constraints:      30564
237.72/238.36	c #Conflicts:     719000 | #Constraints:      31567
237.72/238.36	c #Conflicts:     720000 | #Constraints:      32567
237.72/238.36	c #Conflicts:     721000 | #Constraints:      33570
237.72/238.36	c #Conflicts:     722000 | #Constraints:      34584
237.72/238.36	c INPROCESSING
237.72/238.36	c GARBAGE COLLECT
237.72/238.36	c #Conflicts:     723000 | #Constraints:      18748
237.72/238.36	c #Conflicts:     724000 | #Constraints:      19750
237.72/238.36	c #Conflicts:     725000 | #Constraints:      20750
237.72/238.36	c #Conflicts:     726000 | #Constraints:      21752
237.72/238.36	c #Conflicts:     727000 | #Constraints:      22753
237.72/238.36	c #Conflicts:     728000 | #Constraints:      23755
237.72/238.36	c #Conflicts:     729000 | #Constraints:      24757
237.72/238.36	c #Conflicts:     730000 | #Constraints:      25763
237.72/238.36	c #Conflicts:     731000 | #Constraints:      26770
237.72/238.36	c #Conflicts:     732000 | #Constraints:      27798
237.72/238.36	c #Conflicts:     733000 | #Constraints:      28806
237.72/238.36	c #Conflicts:     734000 | #Constraints:      29815
237.72/238.36	c #Conflicts:     735000 | #Constraints:      30854
237.72/238.36	c #Conflicts:     736000 | #Constraints:      31855
237.72/238.36	c #Conflicts:     737000 | #Constraints:      32872
237.72/238.36	c #Conflicts:     738000 | #Constraints:      33896
237.72/238.36	c #Conflicts:     739000 | #Constraints:      34916
237.72/238.36	c INPROCESSING
237.72/238.36	c GARBAGE COLLECT
237.72/238.36	WSVECS04 Frhs2[11]: 6 0 2.37464 shouldn't be
237.72/238.36	WSVECS04 Frhs2[17]: 6 0 2.71045 shouldn't be
237.72/238.36	WSVECS04 Frhs2[119]: 6 0 11.6399 shouldn't be
237.72/238.36	WSVECS04 Frhs2[120]: 6 0 5.30808 shouldn't be
237.72/238.36	WSVECS04 Frhs2[131]: 6 0 5.72398 shouldn't be
237.72/238.36	WSVECS04 Frhs2[133]: 6 0 9.72169 shouldn't be
237.72/238.36	WSVECS04 Frhs2[149]: 6 0 8.76778 shouldn't be
237.72/238.36	WSVECS04 Frhs2[163]: 6 0 3.69717 shouldn't be
237.72/238.36	WSVECS04 Frhs2[167]: 6 0 40.1999 shouldn't be
237.72/238.36	WSVECS04 Frhs2[169]: 6 0 1.78344 shouldn't be
237.72/238.36	WSVECS04 Frhs2[183]: 6 0 9.58439 shouldn't be
237.72/238.36	WSVECS04 Frhs2[199]: 6 0 3.23905 shouldn't be
237.72/238.36	WSVECS04 Frhs2[223]: 6 0 6.77255 shouldn't be
237.72/238.36	WSVECS04 Frhs2[237]: 6 0 8.84223 shouldn't be
237.72/238.36	WSVECS04 Frhs2[247]: 6 0 5.47835 shouldn't be
237.72/238.36	WSVECS04 Frhs2[249]: 6 0 6.64208 shouldn't be
237.72/238.36	WSVECS04 Frhs2[259]: 6 -1.11861 0 shouldn't be
237.72/238.36	WSVECS04 Frhs2[271]: 6 0 11.4357 shouldn't be
237.72/238.36	WSVECS04 Frhs2[272]: 6 0 5.28886 shouldn't be
237.72/238.36	WSVECS04 Frhs2[274]: 6 0 13.2174 shouldn't be
237.72/238.36	WSVECS04 Frhs2[275]: 6 0 2.32963 shouldn't be
237.72/238.36	WSVECS04 Frhs2[281]: 6 0 3.07747 shouldn't be
237.72/238.36	WSVECS04 Frhs2[285]: 6 0 2.2001 shouldn't be
237.72/238.36	WSVECS04 Frhs2[295]: 6 -32.0595 0 shouldn't be
237.72/238.36	WSVECS04 Frhs2[300]: 6 -14.2823 0 shouldn't be
237.72/238.36	WSVECS04 Frhs2[303]: 6 -8.17344 0 shouldn't be
237.72/238.36	WSVECS04 Frhs2[332]: 6 -3.29179 0 shouldn't be
237.72/238.36	WSVECS04 Frhs2[390]: 6 0 29.3248 shouldn't be
237.72/238.36	WSVECS04 Frhs2[391]: 6 0 1.45575 shouldn't be
237.72/238.36	WSVECS04 Frhs2[404]: 6 0 6.44925 shouldn't be
237.82/238.41	WSVECS04 Frhs2[302]: 6 0 14.6863 shouldn't be
237.82/238.41	WSVECS04 Frhs2[371]: 6 0 11.3484 shouldn't be
237.82/238.41	WSVECS04 Frhs2[424]: 6 0 13.9119 shouldn't be
237.82/238.47	WSVECS04 Frhs2[347]: 6 0 13.9065 shouldn't be
237.82/238.47	WSVECS04 Frhs2[411]: 6 0 11.883 shouldn't be
250.09/250.72	c #Conflicts:     740000 | #Constraints:      18826
250.09/250.72	c #Conflicts:     741000 | #Constraints:      19828
250.09/250.72	c #Conflicts:     742000 | #Constraints:      20830
250.09/250.72	c #Conflicts:     743000 | #Constraints:      21831
250.09/250.72	c #Conflicts:     744000 | #Constraints:      22833
250.09/250.72	c #Conflicts:     745000 | #Constraints:      23835
250.09/250.72	c #Conflicts:     746000 | #Constraints:      24837
250.09/250.72	c #Conflicts:     747000 | #Constraints:      25837
250.09/250.72	c #Conflicts:     748000 | #Constraints:      26838
250.09/250.72	c #Conflicts:     749000 | #Constraints:      27839
250.09/250.72	c #Conflicts:     750000 | #Constraints:      28840
250.09/250.72	c #Conflicts:     751000 | #Constraints:      29841
250.09/250.72	c #Conflicts:     752000 | #Constraints:      30843
250.09/250.72	c #Conflicts:     753000 | #Constraints:      31844
250.09/250.72	c #Conflicts:     754000 | #Constraints:      32846
250.09/250.72	c #Conflicts:     755000 | #Constraints:      33846
250.09/250.72	c #Conflicts:     756000 | #Constraints:      34848
250.09/250.72	c INPROCESSING
250.09/250.72	c GARBAGE COLLECT
250.09/250.72	c #Conflicts:     757000 | #Constraints:      18579
250.09/250.72	c #Conflicts:     758000 | #Constraints:      19579
250.09/250.72	c #Conflicts:     759000 | #Constraints:      20580
250.09/250.72	c #Conflicts:     760000 | #Constraints:      21581
250.09/250.72	c #Conflicts:     761000 | #Constraints:      22582
250.09/250.72	c #Conflicts:     762000 | #Constraints:      23584
250.09/250.72	c #Conflicts:     763000 | #Constraints:      24587
250.09/250.72	c #Conflicts:     764000 | #Constraints:      25588
250.09/250.72	c #Conflicts:     765000 | #Constraints:      26589
250.09/250.72	c #Conflicts:     766000 | #Constraints:      27589
250.09/250.72	c #Conflicts:     767000 | #Constraints:      28590
250.09/250.72	c #Conflicts:     768000 | #Constraints:      29590
250.09/250.72	c #Conflicts:     769000 | #Constraints:      30591
250.09/250.72	c #Conflicts:     770000 | #Constraints:      31593
250.09/250.72	c #Conflicts:     771000 | #Constraints:      32594
250.09/250.72	c #Conflicts:     772000 | #Constraints:      33595
250.09/250.72	c #Conflicts:     773000 | #Constraints:      34596
250.09/250.72	c #Conflicts:     774000 | #Constraints:      35596
250.09/250.72	c INPROCESSING
250.09/250.72	c GARBAGE COLLECT
250.09/250.72	WSVECS04 Frhs2[12]: 6 0 495.053 shouldn't be
250.09/250.72	WSVECS04 Frhs2[14]: 6 0 853.065 shouldn't be
250.09/250.72	WSVECS04 Frhs2[15]: 6 0 118.544 shouldn't be
250.09/250.72	WSVECS04 Frhs2[18]: 6 0 612.868 shouldn't be
250.09/250.72	WSVECS04 Frhs2[27]: 6 0 434.863 shouldn't be
250.09/250.72	WSVECS04 Frhs2[31]: 6 0 193.055 shouldn't be
250.09/250.72	WSVECS04 Frhs2[37]: 6 0 338.167 shouldn't be
250.09/250.72	WSVECS04 Frhs2[40]: 6 0 708.733 shouldn't be
250.09/250.72	WSVECS04 Frhs2[52]: 6 0 728.219 shouldn't be
250.09/250.72	WSVECS04 Frhs2[60]: 6 0 1511.42 shouldn't be
250.09/250.72	WSVECS04 Frhs2[65]: 6 -271.38 0 shouldn't be
250.09/250.72	WSVECS04 Frhs2[73]: 6 0 194.825 shouldn't be
250.09/250.72	WSVECS04 Frhs2[87]: 6 0 333.497 shouldn't be
250.09/250.72	WSVECS04 Frhs2[95]: 6 0 38.1941 shouldn't be
250.09/250.72	WSVECS04 Frhs2[97]: 6 0 343.841 shouldn't be
250.09/250.72	WSVECS04 Frhs2[113]: 6 0 869.05 shouldn't be
250.09/250.72	WSVECS04 Frhs2[115]: 6 0 319.001 shouldn't be
250.09/250.72	WSVECS04 Frhs2[126]: 6 0 566.676 shouldn't be
250.09/250.72	WSVECS04 Frhs2[130]: 6 0 1153.33 shouldn't be
250.09/250.72	WSVECS04 Frhs2[142]: 6 0 933.952 shouldn't be
250.09/250.72	WSVECS04 Frhs2[143]: 6 0 1832.24 shouldn't be
250.09/250.72	WSVECS04 Frhs2[151]: 6 0 38.1941 shouldn't be
250.09/250.72	WSVECS04 Frhs2[154]: 6 0 1476.99 shouldn't be
250.09/250.72	WSVECS04 Frhs2[192]: 6 0 816.162 shouldn't be
250.09/250.72	WSVECS04 Frhs2[200]: 6 0 721.541 shouldn't be
250.09/250.72	WSVECS04 Frhs2[205]: 6 0 38.1941 shouldn't be
250.09/250.72	WSVECS04 Frhs2[219]: 6 0 916.009 shouldn't be
250.09/250.72	WSVECS04 Frhs2[223]: 6 0 502.762 shouldn't be
250.09/250.72	WSVECS04 Frhs2[231]: 6 0 391.709 shouldn't be
250.09/250.72	WSVECS04 Frhs2[249]: 6 0 512.347 shouldn't be
250.09/250.72	WSVECS04 Frhs2[252]: 6 0 80.0956 shouldn't be
250.09/250.72	WSVECS04 Frhs2[260]: 6 0 566.676 shouldn't be
250.09/250.72	WSVECS04 Frhs2[272]: 6 -2254.54 0 shouldn't be
250.09/250.72	WSVECS04 Frhs2[275]: 6 0 26.4926 shouldn't be
250.09/250.72	WSVECS04 Frhs2[293]: 6 0 1545.5 shouldn't be
250.09/250.72	WSVECS04 Frhs2[294]: 6 -1361.62 0 shouldn't be
250.09/250.72	WSVECS04 Frhs2[300]: 6 -723.673 0 shouldn't be
250.09/250.72	WSVECS04 Frhs2[305]: 6 0 519.814 shouldn't be
250.09/250.72	WSVECS04 Frhs2[320]: 6 0 3116.96 shouldn't be
250.09/250.72	WSVECS04 Frhs2[328]: 6 -1279.37 0 shouldn't be
250.09/250.72	WSVECS04 Frhs2[335]: 6 0 942.91 shouldn't be
250.09/250.72	WSVECS04 Frhs2[353]: 6 -528.201 0 shouldn't be
250.09/250.72	WSVECS04 Frhs2[372]: 6 -1355.36 0 shouldn't be
250.09/250.72	WSVECS04 Frhs2[392]: 6 -38.8418 0 shouldn't be
250.09/250.72	WSVECS04 Frhs2[418]: 6 -964.469 0 shouldn't be
250.09/250.79	WSVECS04 Frhs2[33]: 6 0 38.1941 shouldn't be
250.09/250.79	WSVECS04 Frhs2[35]: 6 0 38.1941 shouldn't be
250.09/250.79	WSVECS04 Frhs2[43]: 6 0 115.02 shouldn't be
250.09/250.79	WSVECS04 Frhs2[47]: 6 0 38.1941 shouldn't be
250.09/250.79	WSVECS04 Frhs2[85]: 6 0 38.1941 shouldn't be
250.09/250.79	WSVECS04 Frhs2[119]: 6 0 38.1941 shouldn't be
250.09/250.79	WSVECS04 Frhs2[209]: 6 0 703.059 shouldn't be
250.09/250.79	WSVECS04 Frhs2[277]: 6 0 739.466 shouldn't be
250.09/250.79	WSVECS04 Frhs2[280]: 6 0 424.175 shouldn't be
250.09/250.79	WSVECS04 Frhs2[283]: 6 0 424.175 shouldn't be
250.09/250.79	WSVECS04 Frhs2[348]: 6 -1043.24 0 shouldn't be
250.09/250.79	WSVECS04 Frhs2[394]: 6 0 39.8405 shouldn't be
250.09/250.79	WSVECS04 Frhs2[399]: 6 0 576.977 shouldn't be
250.19/250.86	WSVECS04 Frhs2[100]: 6 0 566.676 shouldn't be
250.19/250.86	WSVECS04 Frhs2[134]: 6 0 566.676 shouldn't be
250.19/250.86	WSVECS04 Frhs2[162]: 6 0 566.676 shouldn't be
250.19/250.86	WSVECS04 Frhs2[164]: 6 0 1721.78 shouldn't be
250.19/250.86	WSVECS04 Frhs2[198]: 6 0 566.676 shouldn't be
250.19/250.86	WSVECS04 Frhs2[234]: 6 0 574.954 shouldn't be
250.19/250.86	WSVECS04 Frhs2[279]: 6 0 424.175 shouldn't be
250.19/250.86	WSVECS04 Frhs2[319]: 6 -1047.11 0 shouldn't be
250.19/250.86	WSVECS04 Frhs2[404]: 6 -292.796 0 shouldn't be
250.19/250.86	WSVECS04 Frhs2[428]: 6 -1023.99 0 shouldn't be
250.29/250.93	WSVECS04 Frhs2[78]: 6 0 566.676 shouldn't be
250.29/250.93	WSVECS04 Frhs2[120]: 6 0 566.676 shouldn't be
250.29/250.93	WSVECS04 Frhs2[136]: 6 0 566.676 shouldn't be
250.29/250.93	WSVECS04 Frhs2[140]: 6 0 566.676 shouldn't be
250.29/250.93	WSVECS04 Frhs2[281]: 6 0 1371.95 shouldn't be
250.29/250.99	WSVECS04 Frhs2[124]: 6 0 566.676 shouldn't be
250.49/251.13	WSVECS04 Frhs2[6]: 6 0 566.676 shouldn't be
274.94/275.61	c #Conflicts:     775000 | #Constraints:      19153
274.94/275.61	c #Conflicts:     776000 | #Constraints:      20153
274.94/275.61	c #Conflicts:     777000 | #Constraints:      21153
274.94/275.61	c #Conflicts:     778000 | #Constraints:      22153
274.94/275.61	c #Conflicts:     779000 | #Constraints:      23153
274.94/275.61	c #Conflicts:     780000 | #Constraints:      24153
274.94/275.61	c #Conflicts:     781000 | #Constraints:      25153
274.94/275.61	c #Conflicts:     782000 | #Constraints:      26153
274.94/275.61	c #Conflicts:     783000 | #Constraints:      27153
274.94/275.61	c #Conflicts:     784000 | #Constraints:      28153
274.94/275.61	c #Conflicts:     785000 | #Constraints:      29153
274.94/275.61	c #Conflicts:     786000 | #Constraints:      30153
274.94/275.61	c #Conflicts:     787000 | #Constraints:      31153
274.94/275.61	c #Conflicts:     788000 | #Constraints:      32153
274.94/275.61	c #Conflicts:     789000 | #Constraints:      33153
274.94/275.61	c #Conflicts:     790000 | #Constraints:      34154
274.94/275.61	c #Conflicts:     791000 | #Constraints:      35154
274.94/275.61	c #Conflicts:     792000 | #Constraints:      36155
274.94/275.61	c INPROCESSING
274.94/275.61	c GARBAGE COLLECT
274.94/275.61	c #Conflicts:     793000 | #Constraints:      19528
274.94/275.61	c #Conflicts:     794000 | #Constraints:      20528
274.94/275.61	c #Conflicts:     795000 | #Constraints:      21528
274.94/275.61	c #Conflicts:     796000 | #Constraints:      22528
274.94/275.61	c #Conflicts:     797000 | #Constraints:      23529
274.94/275.61	c #Conflicts:     798000 | #Constraints:      24529
274.94/275.61	c #Conflicts:     799000 | #Constraints:      25529
274.94/275.61	c #Conflicts:     800000 | #Constraints:      26529
274.94/275.61	c #Conflicts:     801000 | #Constraints:      27529
274.94/275.61	c #Conflicts:     802000 | #Constraints:      28529
274.94/275.61	c #Conflicts:     803000 | #Constraints:      29529
274.94/275.61	c #Conflicts:     804000 | #Constraints:      30529
274.94/275.61	c #Conflicts:     805000 | #Constraints:      31529
274.94/275.61	c #Conflicts:     806000 | #Constraints:      32529
274.94/275.61	c #Conflicts:     807000 | #Constraints:      33529
274.94/275.61	c #Conflicts:     808000 | #Constraints:      34529
274.94/275.61	c #Conflicts:     809000 | #Constraints:      35529
274.94/275.61	c #Conflicts:     810000 | #Constraints:      36529
274.94/275.61	c INPROCESSING
274.94/275.61	c GARBAGE COLLECT
274.94/275.61	c #Conflicts:     811000 | #Constraints:      19713
274.94/275.61	c #Conflicts:     812000 | #Constraints:      20713
274.94/275.61	c #Conflicts:     813000 | #Constraints:      21713
274.94/275.61	c #Conflicts:     814000 | #Constraints:      22713
274.94/275.61	c #Conflicts:     815000 | #Constraints:      23713
274.94/275.61	c #Conflicts:     816000 | #Constraints:      24713
274.94/275.61	c #Conflicts:     817000 | #Constraints:      25713
274.94/275.61	c #Conflicts:     818000 | #Constraints:      26713
274.94/275.61	c #Conflicts:     819000 | #Constraints:      27713
274.94/275.61	c #Conflicts:     820000 | #Constraints:      28713
274.94/275.61	c #Conflicts:     821000 | #Constraints:      29713
274.94/275.61	c #Conflicts:     822000 | #Constraints:      30713
274.94/275.61	c #Conflicts:     823000 | #Constraints:      31713
274.94/275.61	c #Conflicts:     824000 | #Constraints:      32713
274.94/275.61	c #Conflicts:     825000 | #Constraints:      33713
274.94/275.61	c #Conflicts:     826000 | #Constraints:      34713
274.94/275.61	c #Conflicts:     827000 | #Constraints:      35713
274.94/275.61	c #Conflicts:     828000 | #Constraints:      36713
274.94/275.61	c INPROCESSING
274.94/275.61	c GARBAGE COLLECT
274.94/275.61	c #Conflicts:     829000 | #Constraints:      19712
274.94/275.61	c #Conflicts:     830000 | #Constraints:      20712
274.94/275.61	c #Conflicts:     831000 | #Constraints:      21712
274.94/275.61	c #Conflicts:     832000 | #Constraints:      22712
274.94/275.61	c #Conflicts:     833000 | #Constraints:      23712
274.94/275.61	c #Conflicts:     834000 | #Constraints:      24712
274.94/275.61	c #Conflicts:     835000 | #Constraints:      25712
274.94/275.61	c #Conflicts:     836000 | #Constraints:      26712
274.94/275.61	c #Conflicts:     837000 | #Constraints:      27712
274.94/275.61	c #Conflicts:     838000 | #Constraints:      28712
274.94/275.61	c #Conflicts:     839000 | #Constraints:      29712
274.94/275.61	c #Conflicts:     840000 | #Constraints:      30712
274.94/275.61	c #Conflicts:     841000 | #Constraints:      31712
274.94/275.61	c #Conflicts:     842000 | #Constraints:      32712
274.94/275.61	c #Conflicts:     843000 | #Constraints:      33712
274.94/275.61	c #Conflicts:     844000 | #Constraints:      34712
274.94/275.61	c #Conflicts:     845000 | #Constraints:      35712
274.94/275.61	c #Conflicts:     846000 | #Constraints:      36712
274.94/275.61	c INPROCESSING
274.94/275.61	c GARBAGE COLLECT
274.94/275.61	c rational objective 61.0024
295.39/296.14	c #Conflicts:     847000 | #Constraints:      19502
295.39/296.14	c #Conflicts:     848000 | #Constraints:      20503
295.39/296.14	c #Conflicts:     849000 | #Constraints:      21503
295.39/296.14	c #Conflicts:     850000 | #Constraints:      22503
295.39/296.14	c #Conflicts:     851000 | #Constraints:      23503
295.39/296.14	c #Conflicts:     852000 | #Constraints:      24504
295.39/296.14	c #Conflicts:     853000 | #Constraints:      25505
295.39/296.14	c #Conflicts:     854000 | #Constraints:      26506
295.39/296.14	c #Conflicts:     855000 | #Constraints:      27507
295.39/296.14	c #Conflicts:     856000 | #Constraints:      28508
295.39/296.14	c #Conflicts:     857000 | #Constraints:      29508
295.39/296.14	c #Conflicts:     858000 | #Constraints:      30508
295.39/296.14	c #Conflicts:     859000 | #Constraints:      31509
295.39/296.14	c #Conflicts:     860000 | #Constraints:      32509
295.39/296.14	c #Conflicts:     861000 | #Constraints:      33511
295.39/296.14	c #Conflicts:     862000 | #Constraints:      34513
295.39/296.14	c #Conflicts:     863000 | #Constraints:      35514
295.39/296.14	c #Conflicts:     864000 | #Constraints:      36515
295.39/296.14	c #Conflicts:     865000 | #Constraints:      37517
295.39/296.14	c INPROCESSING
295.39/296.14	c GARBAGE COLLECT
295.39/296.14	c #Conflicts:     866000 | #Constraints:      20119
295.39/296.14	c #Conflicts:     867000 | #Constraints:      21120
295.39/296.14	c #Conflicts:     868000 | #Constraints:      22121
295.39/296.14	c #Conflicts:     869000 | #Constraints:      23122
295.39/296.14	c #Conflicts:     870000 | #Constraints:      24123
295.39/296.14	c #Conflicts:     871000 | #Constraints:      25125
295.39/296.14	c #Conflicts:     872000 | #Constraints:      26126
295.39/296.14	c #Conflicts:     873000 | #Constraints:      27126
295.39/296.14	c #Conflicts:     874000 | #Constraints:      28127
295.39/296.14	c #Conflicts:     875000 | #Constraints:      29128
295.39/296.14	c #Conflicts:     876000 | #Constraints:      30129
295.39/296.14	c #Conflicts:     877000 | #Constraints:      31131
295.39/296.14	c #Conflicts:     878000 | #Constraints:      32132
295.39/296.14	c #Conflicts:     879000 | #Constraints:      33133
295.39/296.14	c #Conflicts:     880000 | #Constraints:      34134
295.39/296.14	c #Conflicts:     881000 | #Constraints:      35134
295.39/296.14	c #Conflicts:     882000 | #Constraints:      36135
295.39/296.14	c #Conflicts:     883000 | #Constraints:      37136
295.39/296.14	c #Conflicts:     884000 | #Constraints:      38138
295.39/296.14	c INPROCESSING
295.39/296.14	c GARBAGE COLLECT
295.39/296.14	c #Conflicts:     885000 | #Constraints:      20521
295.39/296.14	c #Conflicts:     886000 | #Constraints:      21522
295.39/296.14	c #Conflicts:     887000 | #Constraints:      22523
295.39/296.14	c #Conflicts:     888000 | #Constraints:      23529
295.39/296.14	c #Conflicts:     889000 | #Constraints:      24532
295.39/296.14	c #Conflicts:     890000 | #Constraints:      25537
295.39/296.14	c #Conflicts:     891000 | #Constraints:      26543
295.39/296.14	c #Conflicts:     892000 | #Constraints:      27548
295.39/296.14	c #Conflicts:     893000 | #Constraints:      28548
295.39/296.14	c #Conflicts:     894000 | #Constraints:      29549
295.39/296.14	c #Conflicts:     895000 | #Constraints:      30550
295.39/296.14	c #Conflicts:     896000 | #Constraints:      31551
295.39/296.14	c #Conflicts:     897000 | #Constraints:      32551
295.39/296.14	c #Conflicts:     898000 | #Constraints:      33552
295.39/296.14	c #Conflicts:     899000 | #Constraints:      34554
295.39/296.14	c #Conflicts:     900000 | #Constraints:      35555
295.39/296.14	c #Conflicts:     901000 | #Constraints:      36557
295.39/296.14	c #Conflicts:     902000 | #Constraints:      37557
295.39/296.14	c #Conflicts:     903000 | #Constraints:      38560
295.39/296.14	c INPROCESSING
295.39/296.14	c GARBAGE COLLECT
295.39/296.14	c cpu time 291.889 s
295.39/296.14	c deterministic time 29117224565 2.91e+10
295.39/296.14	c optimization time 8.8e-05 s
295.39/296.14	c total solve time 291.885 s
295.39/296.14	c core-guided solve time 0 s
295.39/296.14	c propagation time 218.406 s
295.39/296.14	c conflict analysis time 59.0038 s
295.39/296.14	c propagations 50998123
295.39/296.14	c resolve steps 15385941
295.39/296.14	c decisions 1274777
295.39/296.14	c conflicts 903002
295.39/296.14	c restarts 1966
295.39/296.14	c inprocessing phases 86
295.39/296.14	c garbage collections 86 ,( 100.00 )
295.39/296.14	c input clauses 645 ,( 68.47 )
295.39/296.14	c input cardinalities 2 ,( 0.21 )
295.39/296.14	c input general constraints 295 ,( 31.32 )
295.39/296.14	c input average constraint length 5.45
295.39/296.14	c input average constraint degree 2.82
295.39/296.14	c learned clauses 756084 ,( 83.62 )
295.39/296.14	c learned cardinalities 461 ,( 0.05 )
295.39/296.14	c learned general constraints 147608 ,( 16.33 )
295.39/296.14	c learned average constraint length 149.58
295.39/296.14	c learned average constraint degree 9622871.02
295.39/296.14	c watched  CF 32, 64, 128, Arb: 135034 , 0 , 0 , 0
295.39/296.14	c counting CF 32, 64, 128, Arb: 12869 , 0 , 0 , 0
295.39/296.14	c watched   constraints 135034 ,( 91.30 ) 
295.39/296.14	c counting  constraints 12869 ,( 8.70 ) 
295.39/296.14	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 608858251 , 81537929 , 1050629422 ,( 870741930 , 179887492 )
295.39/296.14	c gcd simplifications 113545
295.39/296.14	c detected cardinalities 176
295.39/296.14	c weakened non-implied lits 16774170
295.39/296.14	c weakened non-implying lits 235620
295.39/296.14	c original variables 428
295.39/296.14	c clausal propagations 17281657
295.39/296.14	c cardinality propagations 551675
295.39/296.14	c watched propagations 9490528
295.39/296.14	c counting propagations 21956465
295.39/296.14	c watch lookups 6111033604
295.39/296.14	c watch backjump lookups 0
295.39/296.14	c watch checks 21482911626
295.39/296.14	c propagation checks 1065006789
295.39/296.14	c constraint additions 352642824
295.39/296.14	c trail pops 53175856
295.39/296.14	c formula constraints 942
295.39/296.14	c learned constraints 902987
295.39/296.14	c bound constraints 0
295.39/296.14	c core-guided constraints 0
295.39/296.14	c encountered formula constraints 12601904
295.39/296.14	c encountered learned constraints 3687000
295.39/296.14	c encountered bound constraints 0
295.39/296.14	c encountered core-guided constraints 0
295.39/296.14	c LP total time 11.6768 s
295.39/296.14	c LP solve time 10.31 s
295.39/296.14	c LP constraints added 955
295.39/296.14	c LP constraints removed 8
295.39/296.14	c LP pivots internal 90403
295.39/296.14	c LP pivots root 90562
295.39/296.14	c LP calls 1234
295.39/296.14	c LP optimalities 74
295.39/296.14	c LP no pivot count 1
295.39/296.14	c LP infeasibilities 1146
295.39/296.14	c LP valid Farkas constraints 1144
295.39/296.14	c LP learned Farkas constraints 15
295.39/296.14	c LP basis resets 12
295.39/296.14	c LP cycling count 0
295.39/296.14	c LP singular count 8
295.39/296.14	c LP no primal count 0
295.39/296.14	c LP no farkas count 2
295.39/296.14	c LP other issue count 2
295.39/296.14	c LP Gomory cuts 7
295.39/296.14	c LP learned cuts 6
295.39/296.14	c LP deleted cuts 8
295.39/296.14	c LP encountered Gomory constraints 0
295.39/296.14	c LP encountered Farkas constraints 9
295.39/296.14	c LP encountered learned Farkas constraints 15
295.39/296.14	c CG auxiliary variables introduced 0
295.39/296.14	c CG solutions found 0
295.39/296.14	c CG cores constructed 0
295.39/296.14	c CG core cardinality constraints returned 0
295.39/296.14	c CG unit cores 0
295.39/296.14	c CG single cores 0
295.39/296.14	c CG blocks removed during cardinality reduction 0
295.39/296.14	c CG first core best 0
295.39/296.14	c CG decision core best 0
295.39/296.14	c CG core reduction tie 0
295.39/296.14	c CG core degree average 0.00
295.39/296.14	c CG core slack average 0.00
295.39/296.14	c CG core upper bound improvements 0
295.39/296.14	c STR number of successful calls 0
295.39/296.14	c STR number of unsuccessful calls 0
295.39/296.14	c STR number of inconclusive calls 0
295.39/296.14	c STR number of successful attempts 0
295.39/296.14	c STR number of unsuccessful attempts 0
295.39/296.14	c STR number of inconclusive attempts 0
295.39/296.14	c STR average degree increase per successful call inf
295.39/296.14	c STR average degree increase per successful attempt inf
295.39/296.14	c STR total number of conflicts for successful attempts 0
295.39/296.14	c STR total number of conflicts for unsuccessful attempts 0
295.39/296.14	c STR total number of conflicts for inconclusive attempts 0
295.39/296.14	c STR average number of conflicts per successful attempt inf
295.39/296.14	c STR average number of conflicts per unsuccessful attempt inf
295.39/296.14	c STR average number of conflicts per inconclusive attempt inf
295.39/296.14	c AVG.sumWPerc 17.31 
295.39/296.14	c bigint constraints 0 
295.39/296.14	s SATISFIABLE
295.39/296.14	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 x16 -x17 x18 -x19 x20 -x21 x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 x40 -x41 x42 -x43 x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 x62 -x63 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 x75 -x76 x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 x166 -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 x214 -x215 x216 -x217 -x218 -x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 x267 -x268 x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 x291 -x292 x293 -x294 -x295 x296 -x297 x298 -x299 x300 x301 -x302 x303 -x304 x305 -x306 -x307 x308 -x309 x310 -x311 x312 -x313 x314 -x315 x316 -x317 x318 -x319 x320 -x321 x322 -x323 x324 x325 -x326 x327 -x328 x329 -x330 x331 -x332 x333 -x334 x335 -x336 -x337 x338 -x339 x340 -x341 x342 -x343 x344 -x345 x346 -x347 x348 -x349 x350 -x351 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

Verifier Data 

OK	0

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (62953 MiB free)
  memory of node 1: 64465 MiB (63914 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493806-1751150305/watcher-4493806-1751150305 -o /tmp/evaluation-result-4493806-1751150305/solver-4493806-1751150305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751146607-16320 --watchdog 3760 run-dec-ls.sh HOME/instance-4493806-1751150305.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=17701, runsolver pid=17698

[startup+0.100059 s]*
/proc/loadavg: 4.09 4.09 4.09 5/268 17703
/proc/meminfo: memFree=129912140/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=57696 memory=14360 CPUtime=0.08 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 1053 0 0 0 8 0 0 0 20 0 1 0 30708985 59080704 3590 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 14424 3590 2336 1147 0 1851 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 61888 KiB
Current children cumulated memory: 17304 KiB

[startup+0.20573 s]*
/proc/loadavg: 4.09 4.09 4.09 5/268 17703
/proc/meminfo: memFree=129912140/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=58228 memory=14872 CPUtime=0.19 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 1213 0 0 0 18 1 0 0 20 0 1 0 30708985 59625472 3718 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 14557 3718 2336 1147 0 1984 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 62420 KiB
Current children cumulated memory: 17816 KiB

[startup+0.305225 s]*
/proc/loadavg: 4.09 4.09 4.09 5/268 17703
/proc/meminfo: memFree=129912140/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=58776 memory=15512 CPUtime=0.29 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 1325 0 0 0 28 1 0 0 20 0 1 0 30708985 60186624 3878 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 14694 3878 2368 1147 0 2121 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 62968 KiB
Current children cumulated memory: 18456 KiB

[startup+0.700146 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 17703
/proc/meminfo: memFree=129912140/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=59636 memory=18536 CPUtime=0.68 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 1565 0 0 0 66 2 0 0 20 0 1 0 30708985 61067264 4634 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 14909 4634 2368 1147 0 2336 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 63828 KiB
Current children cumulated memory: 21480 KiB

[startup+1.50014 s]
/proc/loadavg: 4.09 4.09 4.09 5/268 17703
/proc/meminfo: memFree=129907036/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=60596 memory=19432 CPUtime=1.48 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 1796 0 0 0 144 4 0 0 20 0 1 0 30708985 62050304 4858 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 15149 4858 2368 1147 0 2576 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 64788 KiB
Current children cumulated memory: 22376 KiB

[startup+3.10559 s]
/proc/loadavg: 4.08 4.09 4.08 5/268 17703
/proc/meminfo: memFree=129903048/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=61600 memory=20328 CPUtime=3.08 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 2015 0 0 0 301 7 0 0 20 0 1 0 30708985 63078400 5082 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 15400 5082 2368 1147 0 2827 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 65792 KiB
Current children cumulated memory: 23272 KiB

[startup+6.30014 s]
/proc/loadavg: 4.08 4.09 4.08 5/268 17749
/proc/meminfo: memFree=129895420/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=66084 memory=22632 CPUtime=6.26 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 2604 0 0 0 612 14 0 0 20 0 1 0 30708985 67670016 5658 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 16521 5658 2368 1147 0 3948 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 70276 KiB
Current children cumulated memory: 25576 KiB

[startup+12.7001 s]
/proc/loadavg: 4.07 4.09 4.08 5/268 17842
/proc/meminfo: memFree=129731356/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=67000 memory=24552 CPUtime=12.65 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 3098 0 0 0 1241 24 0 0 20 0 1 0 30708985 68608000 6138 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 16750 6138 2368 1147 0 4177 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 71192 KiB
Current children cumulated memory: 27496 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.08 4.08 5/266 17856
/proc/meminfo: memFree=129660728/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=76104 memory=30696 CPUtime=25.42 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 4646 0 0 0 2500 42 0 0 20 0 1 0 30708985 77930496 7674 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 19026 7674 2368 1147 0 6453 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 80296 KiB
Current children cumulated memory: 33640 KiB

[startup+51.1056 s]
/proc/loadavg: 4.10 4.09 4.09 5/266 17994
/proc/meminfo: memFree=129529996/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=78152 memory=36324 CPUtime=50.97 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 5413 0 0 0 5018 79 0 0 20 0 1 0 30708985 80027648 9081 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 19538 9081 2496 1147 0 6965 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 82344 KiB
Current children cumulated memory: 39268 KiB

[startup+102.3 s]
/proc/loadavg: 4.01 4.07 4.08 5/264 18157
/proc/meminfo: memFree=129522572/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=90620 memory=45776 CPUtime=102.04 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 8280 0 0 0 10061 143 0 0 20 0 1 0 30708985 92794880 11444 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 22655 11444 2496 1147 0 10082 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 94812 KiB
Current children cumulated memory: 48720 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.09 4.09 5/268 18353
/proc/meminfo: memFree=129202884/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=94664 memory=49288 CPUtime=161.9 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 10079 0 0 0 15990 200 0 0 20 0 1 0 30708985 96935936 12322 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 23666 12322 2496 1147 0 11093 0
Current children cumulated CPU time: 161.9 s
Current children cumulated vsize: 98856 KiB
Current children cumulated memory: 52232 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/269 18539
/proc/meminfo: memFree=129410932/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=96932 memory=53296 CPUtime=221.76 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 12199 0 0 0 21910 266 0 0 20 0 1 0 30708985 99258368 13324 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 24233 13324 2496 1147 0 11660 0
Current children cumulated CPU time: 221.76 s
Current children cumulated vsize: 101124 KiB
Current children cumulated memory: 56240 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/269 18541
/proc/meminfo: memFree=129397632/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=98092 memory=56196 CPUtime=281.61 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 13402 0 0 0 27824 337 0 0 20 0 1 0 30708985 100446208 14049 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 24523 14049 2496 1147 0 11950 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 102284 KiB
Current children cumulated memory: 59140 KiB

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

# cumulated CPU time of all completed processes:  user=291.89 s, system=3.54654 s

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

[startup+288 s]*
/proc/loadavg: 4.07 4.08 4.09 5/269 18541
/proc/meminfo: memFree=129392932/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=98092 memory=56580 CPUtime=287.3 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 13472 0 0 0 28387 343 0 0 20 0 1 0 30708985 100446208 14145 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 24523 14145 2496 1147 0 11950 0
Current children cumulated CPU time: 287.3 s
Current children cumulated vsize: 102284 KiB
Current children cumulated memory: 59524 KiB

[startup+291.2 s]
/proc/loadavg: 4.07 4.08 4.09 5/269 18541
/proc/meminfo: memFree=129375040/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=109932 memory=56836 CPUtime=290.49 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 13552 0 0 0 28701 348 0 0 20 0 1 0 30708985 112570368 14209 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 27483 14209 2496 1147 0 14910 0
Current children cumulated CPU time: 290.49 s
Current children cumulated vsize: 114124 KiB
Current children cumulated memory: 59780 KiB

[startup+294.4 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 18541
/proc/meminfo: memFree=129375040/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=109932 memory=56836 CPUtime=293.68 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 13553 0 0 0 29016 352 0 0 20 0 1 0 30708985 112570368 14209 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 27483 14209 2496 1147 0 14910 0
Current children cumulated CPU time: 293.68 s
Current children cumulated vsize: 114124 KiB
Current children cumulated memory: 59780 KiB

[startup+295.2 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 18541
/proc/meminfo: memFree=129375040/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=109932 memory=56836 CPUtime=294.48 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 13559 0 0 0 29095 353 0 0 20 0 1 0 30708985 112570368 14209 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 27483 14209 2496 1147 0 14910 0
Current children cumulated CPU time: 294.48 s
Current children cumulated vsize: 114124 KiB
Current children cumulated memory: 59780 KiB

[startup+295.6 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 18541
/proc/meminfo: memFree=129375040/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=109932 memory=56836 CPUtime=294.88 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 13562 0 0 0 29135 353 0 0 20 0 1 0 30708985 112570368 14209 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 27483 14209 2496 1147 0 14910 0
Current children cumulated CPU time: 294.88 s
Current children cumulated vsize: 114124 KiB
Current children cumulated memory: 59780 KiB

[startup+296 s]*
/proc/loadavg: 4.15 4.10 4.09 5/269 18541
/proc/meminfo: memFree=129373824/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=109932 memory=57348 CPUtime=295.29 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 13667 0 0 0 29175 354 0 0 20 0 1 0 30708985 112570368 14337 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 27483 14337 2496 1147 0 14910 0
Current children cumulated CPU time: 295.29 s
Current children cumulated vsize: 114124 KiB
Current children cumulated memory: 60292 KiB

[startup+296.106 s]
/proc/loadavg: 4.15 4.10 4.09 5/269 18541
/proc/meminfo: memFree=129373824/131249996 swapFree=33010684/33010684
[pid=17701] ppid=17698 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/17701/stat : 17701 (run-dec-ls.sh) S 17698 17701 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30708984 4292608 736 18446744073709551615 94100274110464 94100275004997 140731110572256 0 0 0 65536 4 65538 1 0 0 17 3 0 0 0 0 0 94100275244048 94100275291792 94100306141184 140731110574439 140731110574565 140731110574565 140731110580167 0
/proc/17701/statm: 1048 736 672 219 0 110 0
[pid=17703] ppid=17701 vsize=109932 memory=57476 CPUtime=295.39 cores=1,3
/proc/17703/stat : 17703 (roundingsat) R 17701 17701 16308 0 -1 4194304 13708 0 0 0 29185 354 0 0 20 0 1 0 30708985 112570368 14369 18446744073709551615 4227072 8923433 140731456635888 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 16728064 140731456641440 140731456641576 140731456641576 140731456647146 0
/proc/17703/statm: 27483 14369 2496 1147 0 14910 0
Current children cumulated CPU time: 295.39 s
Current children cumulated vsize: 114124 KiB
Current children cumulated memory: 60420 KiB

Child status: 0

Real time (s): 296.144
CPU time (s): 295.437
CPU user time (s): 291.89
CPU system time (s): 3.54654
CPU usage (%): 99.7612
Max. virtual memory (cumulated for all children) (KiB): 114124
Max. memory (cumulated for all children) (KiB): 60420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 291.89
system time used= 3.54654
maximum resident set size= 57732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14009
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 158
involuntary context switches= 376


# summary of solver processes directly reported to runsolver:
#   pid: 17701
#   total CPU time (s): 295.437
#   total CPU user time (s): 291.89
#   total CPU system time (s): 3.54654

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.600064 second user time and 1.30357 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-06-29 00:38:26
IDJOB=4493806
IDBENCH=147873
IDSOLVER=3353
FILE ID=nodeC029/4493806-1751150305
RUNJOBID= nodeC029-1751146607-16320
SLURM_JOB_ID= 9587465
Free space on /tmp= 433036 MiB

SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493806-1751150305/watcher-4493806-1751150305 -o /tmp/evaluation-result-4493806-1751150305/solver-4493806-1751150305 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751146607-16320 --watchdog 3760  run-dec-ls.sh HOME/instance-4493806-1751150305.opb

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

MD5SUM BENCH= 8150ec280d22960cf2e4079d2206c8ae
RANDOM SEED=1679372263

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        129912772 kB
MemAvailable:   129544696 kB
Buffers:            3280 kB
Cached:           428416 kB
SwapCached:            0 kB
Active:           558360 kB
Inactive:         209504 kB
Active(anon):     354232 kB
Inactive(anon):        0 kB
Active(file):     204128 kB
Inactive(file):   209504 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14756 kB
Writeback:             8 kB
AnonPages:        338196 kB
Mapped:           114800 kB
Shmem:             18060 kB
KReclaimable:      85572 kB
Slab:             168596 kB
SReclaimable:      85572 kB
SUnreclaim:        83024 kB
KernelStack:        4320 kB
PageTables:         3748 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     703092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    120832 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:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

Free space on /tmp at the end= 433028 MiB
End job on nodeC029 at 2025-06-29 00:43:22