Trace number 4541961

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+pbsuma-log 63f22ad? (TO) 3600.04 3611.6

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-24diag_spec_greater.opb
MD5SUM873561b121a1050aedee7e68f97b01fd
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.02679
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1848
Total number of constraints2354
Number of constraints which are clauses1728
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints626
Minimum length of a constraint2
Maximum length of a constraint624
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 140737488355328
Number of bits of the biggest number in a constraint 48
Biggest sum of numbers in a constraint 562949953421311
Number of bits of the biggest sum of numbers49
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.01	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.01	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.01	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.01	c │      (c) 2025 Markus Anders                                    │
0.00/0.01	c └────────────────────────────────────────────────────────────────┘
0.00/0.01	c parse 'HOME/instance-4541961-1753206209.opb'
0.00/0.01	c 	read 0.08MB  (1.42ms)
0.00/0.01	c	 [cnf: #variables 1848 #clauses 2354 #duplicates 0 #arr 7632]
0.00/0.01	c output proof to '/tmp/proof-4541961-1753206209'
0.00/0.01	c 
0.00/0.01	c make graph and approximate orbits
0.00/0.01	c	 [group: #orbits ~= 0] (2.25ms)
0.00/0.01	c 
0.00/0.01	c detect special group actions
0.00/0.01	c 	probe for Johnson action (limit=64)
0.00/0.01	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.01	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.01	c 	 (0.31ms)
0.00/0.01	c 
0.00/0.01	c detect symmetries on remainder
0.00/0.01	c 	[graph: #vertices 10226 #edges 27312]
0.00/0.01	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.01	c 	 [group: #symmetries 1.00*10^0 #generators 0] (0.56ms)
0.00/0.01	c 
0.00/0.01	c finalize break order and special generators
0.00/0.01	c 
0.00/0.01	c generation finished
0.00/0.01	c 	[sbp: #constraints 0 #add_vars 0]
0.00/0.01	c 
0.00/0.01	c write result to 'HOME/instance-4541961-1753206209.opb.pre'
0.00/0.01	c 	wrote 0.08MB (0.23ms)
0.00/0.01	c ------------------------------------------------------------------
0.00/0.01	c                   2.25ms 44.12% approx_orbits
0.00/0.01	c                   1.42ms 27.78% parse
0.00/0.01	c                   0.56ms 10.93% detect_generic
0.00/0.01	c                   0.31ms  6.15% detect_special
0.00/0.01	c                   0.28ms  5.54% other
0.00/0.01	c                   0.23ms  4.51% output
0.00/0.01	c                   0.05ms  0.97% finalize_order
0.00/0.01	c         ───────────────────────────────────────────────
0.00/0.01	c                   5.10ms   100% total
0.00/0.01	c ------------------------------------------------------------------
0.00/0.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.00/0.04	c #variables 1848 #constraints 2979
0.00/0.04	c rational objective 7.10543e-15
6.44/6.58	c #Conflicts:       1000 | #Constraints:       3979
6.44/6.58	c #Conflicts:       2000 | #Constraints:       4979
6.44/6.58	c INPROCESSING
6.44/6.58	c GARBAGE COLLECT
6.44/6.58	c rational objective 4.01309
19.31/19.42	c #Conflicts:       3000 | #Constraints:       4984
19.31/19.42	c #Conflicts:       4000 | #Constraints:       5984
19.31/19.42	c INPROCESSING
19.31/19.42	c GARBAGE COLLECT
19.31/19.42	c #Conflicts:       5000 | #Constraints:       5385
19.31/19.42	c #Conflicts:       6000 | #Constraints:       6386
19.31/19.42	c INPROCESSING
19.31/19.42	c GARBAGE COLLECT
19.31/19.42	c #Conflicts:       7000 | #Constraints:       5387
19.31/19.42	c #Conflicts:       8000 | #Constraints:       6387
19.31/19.42	c #Conflicts:       9000 | #Constraints:       7387
19.31/19.42	c INPROCESSING
19.31/19.42	c GARBAGE COLLECT
19.31/19.42	c rational objective 4.16602
25.49/25.63	c #Conflicts:      10000 | #Constraints:       6086
25.49/25.63	c #Conflicts:      11000 | #Constraints:       7086
25.49/25.63	c #Conflicts:      12000 | #Constraints:       8086
25.49/25.63	c INPROCESSING
25.49/25.63	c GARBAGE COLLECT
25.49/25.63	c rational objective 4.37905
100.68/101.03	c #Conflicts:      13000 | #Constraints:       6537
100.68/101.03	c #Conflicts:      14000 | #Constraints:       7537
100.68/101.03	c #Conflicts:      15000 | #Constraints:       8537
100.68/101.03	c INPROCESSING
100.68/101.03	c GARBAGE COLLECT
100.68/101.03	c #Conflicts:      16000 | #Constraints:       6765
100.68/101.03	c #Conflicts:      17000 | #Constraints:       7765
100.68/101.03	c #Conflicts:      18000 | #Constraints:       8765
100.68/101.03	c INPROCESSING
100.68/101.03	c GARBAGE COLLECT
100.68/101.03	c #Conflicts:      19000 | #Constraints:       6777
100.68/101.03	c #Conflicts:      20000 | #Constraints:       7778
100.68/101.03	c #Conflicts:      21000 | #Constraints:       8779
100.68/101.03	c INPROCESSING
100.68/101.03	c GARBAGE COLLECT
100.68/101.03	c #Conflicts:      22000 | #Constraints:       6583
100.68/101.03	c #Conflicts:      23000 | #Constraints:       7583
100.68/101.03	c #Conflicts:      24000 | #Constraints:       8583
100.68/101.03	c #Conflicts:      25000 | #Constraints:       9583
100.68/101.03	c INPROCESSING
100.68/101.03	c GARBAGE COLLECT
100.68/101.03	c #Conflicts:      26000 | #Constraints:       7185
100.68/101.03	c #Conflicts:      27000 | #Constraints:       8185
100.68/101.03	c #Conflicts:      28000 | #Constraints:       9185
100.68/101.03	c #Conflicts:      29000 | #Constraints:      10185
100.68/101.03	c INPROCESSING
100.68/101.03	c GARBAGE COLLECT
100.68/101.03	c #Conflicts:      30000 | #Constraints:       7588
100.68/101.03	c #Conflicts:      31000 | #Constraints:       8591
100.68/101.03	c #Conflicts:      32000 | #Constraints:       9591
100.68/101.03	c #Conflicts:      33000 | #Constraints:      10591
100.68/101.03	c INPROCESSING
100.68/101.03	c GARBAGE COLLECT
100.68/101.03	c #Conflicts:      34000 | #Constraints:       7789
100.68/101.03	c #Conflicts:      35000 | #Constraints:       8789
100.68/101.03	c #Conflicts:      36000 | #Constraints:       9791
100.68/101.03	c #Conflicts:      37000 | #Constraints:      10791
100.68/101.03	c INPROCESSING
100.68/101.03	c GARBAGE COLLECT
100.68/101.03	c rational objective 4.4728
195.90/196.58	c #Conflicts:      38000 | #Constraints:       7796
195.90/196.58	c #Conflicts:      39000 | #Constraints:       8796
195.90/196.58	c #Conflicts:      40000 | #Constraints:       9796
195.90/196.58	c #Conflicts:      41000 | #Constraints:      10797
195.90/196.58	c INPROCESSING
195.90/196.58	c GARBAGE COLLECT
195.90/196.58	c #Conflicts:      42000 | #Constraints:       7593
195.90/196.58	c #Conflicts:      43000 | #Constraints:       8593
195.90/196.58	c #Conflicts:      44000 | #Constraints:       9594
195.90/196.58	c #Conflicts:      45000 | #Constraints:      10594
195.90/196.58	c #Conflicts:      46000 | #Constraints:      11594
195.90/196.58	c INPROCESSING
195.90/196.58	c GARBAGE COLLECT
195.90/196.58	c #Conflicts:      47000 | #Constraints:       8192
195.90/196.58	c #Conflicts:      48000 | #Constraints:       9192
195.90/196.58	c #Conflicts:      49000 | #Constraints:      10192
195.90/196.58	c #Conflicts:      50000 | #Constraints:      11192
195.90/196.58	c #Conflicts:      51000 | #Constraints:      12192
195.90/196.58	c INPROCESSING
195.90/196.58	c GARBAGE COLLECT
195.90/196.58	c #Conflicts:      52000 | #Constraints:       8590
195.90/196.58	c #Conflicts:      53000 | #Constraints:       9590
195.90/196.58	c #Conflicts:      54000 | #Constraints:      10590
195.90/196.58	c #Conflicts:      55000 | #Constraints:      11590
195.90/196.58	c #Conflicts:      56000 | #Constraints:      12590
195.90/196.58	c INPROCESSING
195.90/196.58	c GARBAGE COLLECT
195.90/196.58	c #Conflicts:      57000 | #Constraints:       8793
195.90/196.58	c #Conflicts:      58000 | #Constraints:       9793
195.90/196.58	c #Conflicts:      59000 | #Constraints:      10793
195.90/196.58	c #Conflicts:      60000 | #Constraints:      11794
195.90/196.58	c #Conflicts:      61000 | #Constraints:      12794
195.90/196.58	c INPROCESSING
195.90/196.58	c GARBAGE COLLECT
195.90/196.58	WSVECS04 Frhs2[2]: 6 -71.8096 0 shouldn't be
195.90/196.58	WSVECS04 Frhs2[4]: 6 -8.76649 0 shouldn't be
195.90/196.58	WSVECS04 Frhs2[6]: 6 -8.76644 0 shouldn't be
195.90/196.58	WSVECS04 Frhs2[7]: 6 -8.76643 0 shouldn't be
195.90/196.58	WSVECS04 Frhs2[9]: 6 -8.76644 0 shouldn't be
195.90/196.58	WSVECS04 Frhs2[10]: 6 -8.76643 0 shouldn't be
195.90/196.58	WSVECS04 Frhs2[12]: 6 -8.76649 0 shouldn't be
195.90/196.58	WSVECS04 Frhs2[28]: 6 -75.4958 0 shouldn't be
195.90/196.58	WSVECS04 Frhs2[29]: 6 -75.2549 0 shouldn't be
195.90/196.58	WSVECS04 Frhs2[31]: 6 -66.2234 0 shouldn't be
195.90/196.58	WSVECS04 Frhs2[32]: 6 -66.2235 0 shouldn't be
195.90/196.58	WSVECS04 Frhs2[33]: 6 -67.7766 0 shouldn't be
195.90/196.58	WSVECS04 Frhs2[34]: 6 -66.2235 0 shouldn't be
195.90/196.58	WSVECS04 Frhs2[35]: 6 -66.2235 0 shouldn't be
195.90/196.58	WSVECS04 Frhs2[52]: 6 -0.939761 0 shouldn't be
195.90/196.58	WSVECS04 Frhs2[55]: 6 -0.517991 0 shouldn't be
195.90/196.58	WSVECS04 Frhs2[60]: 6 0 14.4266 shouldn't be
195.90/196.58	WSVECS04 Frhs2[61]: 6 0 29.8531 shouldn't be
195.90/196.58	WSVECS04 Frhs2[62]: 6 0 60.7063 shouldn't be
195.90/196.58	WSVECS04 Frhs2[63]: 6 0 122.412 shouldn't be
195.90/196.58	WSVECS04 Frhs2[64]: 6 0 245.825 shouldn't be
195.90/196.59	WSVECS04 Frhs2[65]: 6 0 492.65 shouldn't be
195.90/196.59	WSVECS04 Frhs2[66]: 6 0 986.3 shouldn't be
195.90/196.59	WSVECS04 Frhs2[67]: 6 0 1973.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[68]: 6 0 3948.2 shouldn't be
195.90/196.59	WSVECS04 Frhs2[69]: 6 0 7937.56 shouldn't be
195.90/196.59	WSVECS04 Frhs2[70]: 6 0 15874.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[71]: 6 0 31524.5 shouldn't be
195.90/196.59	WSVECS04 Frhs2[72]: 6 0 63118.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[76]: 6 -62.921 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[77]: 6 -62.8005 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[79]: 6 -61.9293 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[80]: 6 -60.592 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[81]: 6 -59.2869 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[82]: 6 -55.2419 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[83]: 6 -47.2414 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[86]: 6 0 57.1891 shouldn't be
195.90/196.59	WSVECS04 Frhs2[87]: 6 0 180.602 shouldn't be
195.90/196.59	WSVECS04 Frhs2[88]: 6 0 427.426 shouldn't be
195.90/196.59	WSVECS04 Frhs2[89]: 6 0 921.076 shouldn't be
195.90/196.59	WSVECS04 Frhs2[90]: 6 0 1908.38 shouldn't be
195.90/196.59	WSVECS04 Frhs2[91]: 6 0 3882.97 shouldn't be
195.90/196.59	WSVECS04 Frhs2[92]: 6 0 7871.34 shouldn't be
195.90/196.59	WSVECS04 Frhs2[93]: 6 0 15808.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[94]: 6 0 31527.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[95]: 6 0 63120.9 shouldn't be
195.90/196.59	WSVECS04 Frhs2[96]: 6 0 126306 shouldn't be
195.90/196.59	WSVECS04 Frhs2[108]: 6 0 52.9399 shouldn't be
195.90/196.59	WSVECS04 Frhs2[109]: 6 0 114.646 shouldn't be
195.90/196.59	WSVECS04 Frhs2[110]: 6 0 238.058 shouldn't be
195.90/196.59	WSVECS04 Frhs2[111]: 6 0 484.883 shouldn't be
195.90/196.59	WSVECS04 Frhs2[112]: 6 0 978.533 shouldn't be
195.90/196.59	WSVECS04 Frhs2[113]: 6 0 1965.83 shouldn't be
195.90/196.59	WSVECS04 Frhs2[114]: 6 0 3940.43 shouldn't be
195.90/196.59	WSVECS04 Frhs2[115]: 6 0 7889.63 shouldn't be
195.90/196.59	WSVECS04 Frhs2[116]: 6 0 15799.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[117]: 6 0 31584.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[118]: 6 0 63178.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[119]: 6 0 126308 shouldn't be
195.90/196.59	WSVECS04 Frhs2[121]: 6 -0.939831 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[124]: 6 -1.52234 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[125]: 6 -1.04073 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[126]: 6 0 0.928342 shouldn't be
195.90/196.59	WSVECS04 Frhs2[132]: 6 0 122.412 shouldn't be
195.90/196.59	WSVECS04 Frhs2[133]: 6 0 245.825 shouldn't be
195.90/196.59	WSVECS04 Frhs2[134]: 6 0 492.65 shouldn't be
195.90/196.59	WSVECS04 Frhs2[135]: 6 0 986.299 shouldn't be
195.90/196.59	WSVECS04 Frhs2[136]: 6 0 1973.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[137]: 6 0 3948.2 shouldn't be
195.90/196.59	WSVECS04 Frhs2[138]: 6 0 7897.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[139]: 6 0 15798.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[140]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[141]: 6 0 63186.2 shouldn't be
195.90/196.59	WSVECS04 Frhs2[142]: 6 0 126366 shouldn't be
195.90/196.59	WSVECS04 Frhs2[143]: 6 0 252682 shouldn't be
195.90/196.59	WSVECS04 Frhs2[144]: 6 0 505429 shouldn't be
195.90/196.59	WSVECS04 Frhs2[150]: 6 0 2.83738 shouldn't be
195.90/196.59	WSVECS04 Frhs2[151]: 6 0 6.71331 shouldn't be
195.90/196.59	WSVECS04 Frhs2[152]: 6 0 14.412 shouldn't be
195.90/196.59	WSVECS04 Frhs2[153]: 6 0 28.8473 shouldn't be
195.90/196.59	WSVECS04 Frhs2[154]: 6 0 59.7024 shouldn't be
195.90/196.59	WSVECS04 Frhs2[155]: 6 0 122.405 shouldn't be
195.90/196.59	WSVECS04 Frhs2[156]: 6 0 245.825 shouldn't be
195.90/196.59	WSVECS04 Frhs2[157]: 6 0 492.65 shouldn't be
195.90/196.59	WSVECS04 Frhs2[158]: 6 0 986.299 shouldn't be
195.90/196.59	WSVECS04 Frhs2[159]: 6 0 1973.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[160]: 6 0 3948.2 shouldn't be
195.90/196.59	WSVECS04 Frhs2[161]: 6 0 7897.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[162]: 6 0 15797.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[163]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[167]: 6 0 505431 shouldn't be
195.90/196.59	WSVECS04 Frhs2[169]: 6 -0.759044 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[170]: 6 -0.518001 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[171]: 6 -2.04462 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[172]: 6 -0.0892254 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[174]: 6 0 6.67478 shouldn't be
195.90/196.59	WSVECS04 Frhs2[180]: 6 0 492.65 shouldn't be
195.90/196.59	WSVECS04 Frhs2[181]: 6 0 986.299 shouldn't be
195.90/196.59	WSVECS04 Frhs2[182]: 6 0 1973.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[183]: 6 0 3948.2 shouldn't be
195.90/196.59	WSVECS04 Frhs2[184]: 6 0 7897.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[185]: 6 0 15796.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[186]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[191]: 6 0 1.01093e+06 shouldn't be
195.90/196.59	WSVECS04 Frhs2[193]: 6 -0.517936 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[194]: 6 -0.035908 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[195]: 6 -0.104789 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[198]: 6 0 14.3495 shouldn't be
195.90/196.59	WSVECS04 Frhs2[204]: 6 0 986.299 shouldn't be
195.90/196.59	WSVECS04 Frhs2[205]: 6 0 1973.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[206]: 6 0 3948.2 shouldn't be
195.90/196.59	WSVECS04 Frhs2[207]: 6 0 7897.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[208]: 6 0 15795.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[209]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[218]: 6 0 0.92833 shouldn't be
195.90/196.59	WSVECS04 Frhs2[219]: 6 0 1.79051 shouldn't be
195.90/196.59	WSVECS04 Frhs2[220]: 6 0 5.64349 shouldn't be
195.90/196.59	WSVECS04 Frhs2[221]: 6 0 13.3494 shouldn't be
195.90/196.59	WSVECS04 Frhs2[222]: 6 0 29.6989 shouldn't be
195.90/196.59	WSVECS04 Frhs2[223]: 6 0 59.6477 shouldn't be
195.90/196.59	WSVECS04 Frhs2[224]: 6 0 121.358 shouldn't be
195.90/196.59	WSVECS04 Frhs2[225]: 6 0 244.778 shouldn't be
195.90/196.59	WSVECS04 Frhs2[226]: 6 0 491.618 shouldn't be
195.90/196.59	WSVECS04 Frhs2[227]: 6 0 985.299 shouldn't be
195.90/196.59	WSVECS04 Frhs2[228]: 6 0 1973.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[229]: 6 0 3948.2 shouldn't be
195.90/196.59	WSVECS04 Frhs2[230]: 6 0 7897.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[231]: 6 0 15795.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[232]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[246]: 6 0 60.3977 shouldn't be
195.90/196.59	WSVECS04 Frhs2[252]: 6 0 3948.2 shouldn't be
195.90/196.59	WSVECS04 Frhs2[253]: 6 0 7897.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[254]: 6 0 15795.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[255]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[270]: 6 0 121.795 shouldn't be
195.90/196.59	WSVECS04 Frhs2[276]: 6 0 7897.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[277]: 6 0 15795.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[278]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[289]: 6 0 6.71334 shouldn't be
195.90/196.59	WSVECS04 Frhs2[290]: 6 0 13.6766 shouldn't be
195.90/196.59	WSVECS04 Frhs2[291]: 6 0 28.3239 shouldn't be
195.90/196.59	WSVECS04 Frhs2[292]: 6 0 59.1477 shouldn't be
195.90/196.59	WSVECS04 Frhs2[293]: 6 0 120.795 shouldn't be
195.90/196.59	WSVECS04 Frhs2[294]: 6 0 244.591 shouldn't be
195.90/196.59	WSVECS04 Frhs2[295]: 6 0 491.181 shouldn't be
195.90/196.59	WSVECS04 Frhs2[296]: 6 0 984.862 shouldn't be
195.90/196.59	WSVECS04 Frhs2[297]: 6 0 1972.22 shouldn't be
195.90/196.59	WSVECS04 Frhs2[298]: 6 0 3946.95 shouldn't be
195.90/196.59	WSVECS04 Frhs2[299]: 6 0 7896.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[300]: 6 0 15795.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[301]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[318]: 6 0 490.181 shouldn't be
195.90/196.59	WSVECS04 Frhs2[324]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[337]: 6 0 29.8532 shouldn't be
195.90/196.59	WSVECS04 Frhs2[339]: 6 0 119.295 shouldn't be
195.90/196.59	WSVECS04 Frhs2[340]: 6 0 242.591 shouldn't be
195.90/196.59	WSVECS04 Frhs2[341]: 6 0 489.181 shouldn't be
195.90/196.59	WSVECS04 Frhs2[342]: 6 0 986.299 shouldn't be
195.90/196.59	WSVECS04 Frhs2[343]: 6 0 1970.72 shouldn't be
195.90/196.59	WSVECS04 Frhs2[344]: 6 0 3945.45 shouldn't be
195.90/196.59	WSVECS04 Frhs2[345]: 6 0 7894.9 shouldn't be
195.90/196.59	WSVECS04 Frhs2[346]: 6 0 15793.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[347]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[362]: 6 0 122.412 shouldn't be
195.90/196.59	WSVECS04 Frhs2[363]: 6 0 245.825 shouldn't be
195.90/196.59	WSVECS04 Frhs2[364]: 6 0 492.65 shouldn't be
195.90/196.59	WSVECS04 Frhs2[365]: 6 0 986.299 shouldn't be
195.90/196.59	WSVECS04 Frhs2[366]: 6 0 1973.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[367]: 6 0 3948.2 shouldn't be
195.90/196.59	WSVECS04 Frhs2[368]: 6 0 7897.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[369]: 6 0 15795.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[370]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[385]: 6 0 122.413 shouldn't be
195.90/196.59	WSVECS04 Frhs2[386]: 6 0 245.825 shouldn't be
195.90/196.59	WSVECS04 Frhs2[387]: 6 0 492.65 shouldn't be
195.90/196.59	WSVECS04 Frhs2[388]: 6 0 986.299 shouldn't be
195.90/196.59	WSVECS04 Frhs2[389]: 6 0 1973.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[390]: 6 0 3948.2 shouldn't be
195.90/196.59	WSVECS04 Frhs2[391]: 6 0 7897.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[392]: 6 0 15795.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[393]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[409]: 6 0 245.825 shouldn't be
195.90/196.59	WSVECS04 Frhs2[410]: 6 0 492.65 shouldn't be
195.90/196.59	WSVECS04 Frhs2[411]: 6 0 986.299 shouldn't be
195.90/196.59	WSVECS04 Frhs2[412]: 6 0 1973.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[413]: 6 0 3948.2 shouldn't be
195.90/196.59	WSVECS04 Frhs2[414]: 6 0 7897.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[415]: 6 0 15795.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[416]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[433]: 6 0 492.65 shouldn't be
195.90/196.59	WSVECS04 Frhs2[434]: 6 0 986.299 shouldn't be
195.90/196.59	WSVECS04 Frhs2[435]: 6 0 1973.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[436]: 6 0 3948.2 shouldn't be
195.90/196.59	WSVECS04 Frhs2[437]: 6 0 7897.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[438]: 6 0 15795.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[439]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[457]: 6 0 986.299 shouldn't be
195.90/196.59	WSVECS04 Frhs2[458]: 6 0 1973.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[459]: 6 0 3948.2 shouldn't be
195.90/196.59	WSVECS04 Frhs2[460]: 6 0 7897.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[461]: 6 0 15795.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[462]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[481]: 6 0 1973.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[482]: 6 0 3948.2 shouldn't be
195.90/196.59	WSVECS04 Frhs2[483]: 6 0 7897.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[484]: 6 0 15795.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[485]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[503]: 6 0 8.28207e+09 shouldn't be
195.90/196.59	WSVECS04 Frhs2[505]: 6 0 3948.2 shouldn't be
195.90/196.59	WSVECS04 Frhs2[506]: 6 0 7897.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[507]: 6 0 15795.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[508]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[529]: 6 0 7897.4 shouldn't be
195.90/196.59	WSVECS04 Frhs2[530]: 6 0 15795.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[531]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[553]: 6 0 15795.8 shouldn't be
195.90/196.59	WSVECS04 Frhs2[554]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[577]: 6 0 31592.6 shouldn't be
195.90/196.59	WSVECS04 Frhs2[705]: 6 0 2.51043 shouldn't be
195.90/196.59	WSVECS04 Frhs2[710]: 6 0 1.00002 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1199]: 6 -1.00007 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1222]: 6 -1.00007 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1245]: 6 -66.2234 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1268]: 6 -8.76648 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1289]: 6 -0.744859 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1291]: 6 -1.00002 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1314]: 6 -1.00002 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1337]: 6 -1.00007 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1383]: 6 -1.00006 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1406]: 6 -1.00002 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1429]: 6 -1.00006 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1452]: 6 -1.00007 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1475]: 6 -1.0001 0 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1606]: 6 0 49.8631 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1630]: 6 0 50.9291 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1654]: 6 0 53.0611 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1727]: 6 0 2.00003 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1749]: 6 0 2.00002 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1752]: 6 0 2.00008 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1776]: 6 0 312.935 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1777]: 6 0 623.528 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1778]: 6 0 1244.71 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1779]: 6 0 2487.09 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1780]: 6 0 4971.83 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1781]: 6 0 9941.33 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1782]: 6 0 19880.3 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1783]: 6 0 39758.3 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1784]: 6 0 79514.2 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1785]: 6 0 159026 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1786]: 6 0 318050 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1787]: 6 0 636097 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1788]: 6 0 1.27219e+06 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1789]: 6 0 2.54438e+06 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1790]: 6 0 5.08876e+06 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1791]: 6 0 1.01775e+07 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1792]: 6 0 2.0355e+07 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1793]: 6 0 4.07101e+07 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1794]: 6 0 8.14202e+07 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1795]: 6 0 1.6284e+08 shouldn't be
195.90/196.59	WSVECS04 Frhs2[1797]: 6 0 6.51361e+08 shouldn't be
273.08/273.94	c #Conflicts:      62000 | #Constraints:       8793
273.08/273.94	c #Conflicts:      63000 | #Constraints:       9793
273.08/273.94	c #Conflicts:      64000 | #Constraints:      10794
273.08/273.94	c #Conflicts:      65000 | #Constraints:      11794
273.08/273.94	c #Conflicts:      66000 | #Constraints:      12794
273.08/273.94	c INPROCESSING
273.08/273.94	c GARBAGE COLLECT
273.08/273.94	c #Conflicts:      67000 | #Constraints:       8590
273.08/273.94	c #Conflicts:      68000 | #Constraints:       9591
273.08/273.94	c #Conflicts:      69000 | #Constraints:      10592
273.08/273.94	c #Conflicts:      70000 | #Constraints:      11592
273.08/273.94	c #Conflicts:      71000 | #Constraints:      12592
273.08/273.94	c #Conflicts:      72000 | #Constraints:      13594
273.08/273.94	c INPROCESSING
273.08/273.94	c GARBAGE COLLECT
273.08/273.94	c #Conflicts:      73000 | #Constraints:       9192
273.08/273.94	c #Conflicts:      74000 | #Constraints:      10193
273.08/273.94	c #Conflicts:      75000 | #Constraints:      11194
273.08/273.94	c #Conflicts:      76000 | #Constraints:      12194
273.08/273.94	c #Conflicts:      77000 | #Constraints:      13195
273.08/273.94	c #Conflicts:      78000 | #Constraints:      14195
273.08/273.94	c INPROCESSING
273.08/273.94	c GARBAGE COLLECT
273.08/273.94	WSVECS04 Frhs2[26]: 6 0 2.50002 shouldn't be
273.08/273.94	WSVECS04 Frhs2[35]: 6 0 2.50002 shouldn't be
273.08/273.94	WSVECS04 Frhs2[51]: 6 0 4.60511 shouldn't be
273.08/273.94	WSVECS04 Frhs2[56]: 6 -3.03633 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[60]: 6 -2.11009 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[61]: 6 -0.99551 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[70]: 6 0 2.06657 shouldn't be
273.08/273.94	WSVECS04 Frhs2[71]: 6 0 8.79882 shouldn't be
273.08/273.94	WSVECS04 Frhs2[72]: 6 0 13.8028 shouldn't be
273.08/273.94	WSVECS04 Frhs2[73]: 6 0 6.21939 shouldn't be
273.08/273.94	WSVECS04 Frhs2[82]: 6 0 2.50114 shouldn't be
273.08/273.94	WSVECS04 Frhs2[93]: 6 0 5.67892 shouldn't be
273.08/273.94	WSVECS04 Frhs2[94]: 6 0 2.97835 shouldn't be
273.08/273.94	WSVECS04 Frhs2[96]: 6 0 23.0006 shouldn't be
273.08/273.94	WSVECS04 Frhs2[120]: 6 0 37.3156 shouldn't be
273.08/273.94	WSVECS04 Frhs2[132]: 6 0 1.76312 shouldn't be
273.08/273.94	WSVECS04 Frhs2[144]: 6 0 78.1869 shouldn't be
273.08/273.94	WSVECS04 Frhs2[151]: 6 -0.998878 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[156]: 6 0 1.28521 shouldn't be
273.08/273.94	WSVECS04 Frhs2[168]: 6 0 147.688 shouldn't be
273.08/273.94	WSVECS04 Frhs2[192]: 6 0 293.352 shouldn't be
273.08/273.94	WSVECS04 Frhs2[198]: 6 -1.49775 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[200]: 6 -1.49102 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[204]: 6 -1.73129 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[216]: 6 0 589.179 shouldn't be
273.08/273.94	WSVECS04 Frhs2[240]: 6 0 1181.91 shouldn't be
273.08/273.94	WSVECS04 Frhs2[243]: 6 -0.998878 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[246]: 6 -2.24102 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[247]: 6 -0.482036 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[248]: 6 -1.83907 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[252]: 6 -0.925143 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[264]: 6 0 2355.14 shouldn't be
273.08/273.94	WSVECS04 Frhs2[270]: 6 -1.48204 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[271]: 6 -2.08907 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[272]: 6 -1.67814 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[288]: 6 0 4713.84 shouldn't be
273.08/273.94	WSVECS04 Frhs2[293]: 6 0 1.51797 shouldn't be
273.08/273.94	WSVECS04 Frhs2[312]: 6 0 9423.07 shouldn't be
273.08/273.94	WSVECS04 Frhs2[316]: 6 0 0.517965 shouldn't be
273.08/273.94	WSVECS04 Frhs2[336]: 6 0 18837.5 shouldn't be
273.08/273.94	WSVECS04 Frhs2[345]: 6 0 0.0247158 shouldn't be
273.08/273.94	WSVECS04 Frhs2[360]: 6 0 37674.4 shouldn't be
273.08/273.94	WSVECS04 Frhs2[361]: 6 -0.991018 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[362]: 6 -1.48204 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[363]: 6 -0.964072 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[366]: 6 -2.99382 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[367]: 6 -1.98764 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[368]: 6 -0.975285 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[384]: 6 0 75348.3 shouldn't be
273.08/273.94	WSVECS04 Frhs2[385]: 6 -2.48204 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[386]: 6 -0.964072 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[387]: 6 -0.928143 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[390]: 6 -1.44077 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[391]: 6 -1.97529 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[408]: 6 0 150696 shouldn't be
273.08/273.94	WSVECS04 Frhs2[416]: 6 0 2.09886 shouldn't be
273.08/273.94	WSVECS04 Frhs2[417]: 6 0 7.19772 shouldn't be
273.08/273.94	WSVECS04 Frhs2[432]: 6 0 301392 shouldn't be
273.08/273.94	WSVECS04 Frhs2[437]: 6 0 1.02472 shouldn't be
273.08/273.94	WSVECS04 Frhs2[438]: 6 0 0.236931 shouldn't be
273.08/273.94	WSVECS04 Frhs2[440]: 6 0 6.19772 shouldn't be
273.08/273.94	WSVECS04 Frhs2[457]: 6 -8.35629 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[458]: 6 -3.71257 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[459]: 6 -1.48764 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[460]: 6 0 0.024716 shouldn't be
273.08/273.94	WSVECS04 Frhs2[486]: 6 0 6.94772 shouldn't be
273.08/273.94	WSVECS04 Frhs2[488]: 6 0 30.7909 shouldn't be
273.08/273.94	WSVECS04 Frhs2[503]: 6 0 1.20556e+06 shouldn't be
273.08/273.94	WSVECS04 Frhs2[504]: 6 0 2.41113e+06 shouldn't be
273.08/273.94	WSVECS04 Frhs2[505]: 6 -3.48764 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[528]: 6 0 4.82225e+06 shouldn't be
273.08/273.94	WSVECS04 Frhs2[529]: 6 -2.47529 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[533]: 6 0 17.3954 shouldn't be
273.08/273.94	WSVECS04 Frhs2[552]: 6 0 9.64451e+06 shouldn't be
273.08/273.94	WSVECS04 Frhs2[557]: 6 0 35.7909 shouldn't be
273.08/273.94	WSVECS04 Frhs2[558]: 6 0 69.5818 shouldn't be
273.08/273.94	WSVECS04 Frhs2[575]: 6 0 9.64451e+06 shouldn't be
273.08/273.94	WSVECS04 Frhs2[580]: 6 0 35.7909 shouldn't be
273.08/273.94	WSVECS04 Frhs2[599]: 6 0 1.9289e+07 shouldn't be
273.08/273.94	WSVECS04 Frhs2[671]: 6 -0.420657 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[687]: 6 0 0.62051 shouldn't be
273.08/273.94	WSVECS04 Frhs2[701]: 6 0 5.87806 shouldn't be
273.08/273.94	WSVECS04 Frhs2[702]: 6 0 7.37806 shouldn't be
273.08/273.94	WSVECS04 Frhs2[704]: 6 -4.24102 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[712]: 6 0 5.87806 shouldn't be
273.08/273.94	WSVECS04 Frhs2[727]: 6 -6.43607 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[756]: 6 0 3 shouldn't be
273.08/273.94	WSVECS04 Frhs2[774]: 6 -2 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[814]: 6 -3.125 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[883]: 6 0 0.71875 shouldn't be
273.08/273.94	WSVECS04 Frhs2[956]: 6 0 3.125 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1000]: 6 0 3 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1003]: 6 0 2 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1016]: 6 0 2.9375 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1026]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1027]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1039]: 6 0 1.5 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1045]: 6 0 7.5 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1050]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1070]: 6 0 1 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1073]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1087]: 6 0 1 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1092]: 6 0 3 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1096]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1113]: 6 0 5 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1114]: 6 0 5 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1178]: 6 -3 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1183]: 6 -3.11227 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1186]: 6 -3.11234 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1190]: 6 -2.11234 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1194]: 6 -2.11234 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1199]: 6 0 1.12834 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1206]: 6 0 2.7964 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1207]: 6 0 0.576027 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1209]: 6 0 1.79647 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1233]: 6 0 2.50002 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1355]: 6 -4.375 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1392]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1405]: 6 -2 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1421]: 6 -4 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1440]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1451]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1474]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1497]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1507]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1530]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1542]: 6 -2.09375 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1553]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1555]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1565]: 6 -2.90625 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1569]: 6 0 1 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1571]: 6 -2.25 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1576]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1578]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1594]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1599]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1601]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1606]: 6 0 0.49898 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1617]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1619]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1620]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1622]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1624]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1630]: 6 0 0.446844 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1634]: 6 -0.5 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1644]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1645]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1647]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1654]: 6 0 0.404927 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1663]: 6 -0.500001 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1668]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1670]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1678]: 6 0 0.321093 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1693]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1752]: 6 0 4.87806 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1753]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1759]: 6 -1 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1764]: 6 -0.999997 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1765]: 6 -3.11233 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1766]: 6 -0.999986 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1767]: 6 -0.99997 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1768]: 6 -0.99994 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1769]: 6 -0.999878 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1770]: 6 -0.999756 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1771]: 6 -0.999512 0 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1783]: 6 0 1 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1785]: 6 0 7 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1787]: 6 0 31 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1788]: 6 0 63 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1789]: 6 0 127 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1790]: 6 0 255 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1791]: 6 0 511 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1792]: 6 0 1023 shouldn't be
273.08/273.94	WSVECS04 Frhs2[1793]: 6 0 2047 shouldn't be
836.67/839.21	c #Conflicts:      79000 | #Constraints:       9593
836.67/839.21	c #Conflicts:      80000 | #Constraints:      10593
836.67/839.21	c #Conflicts:      81000 | #Constraints:      11593
836.67/839.21	c #Conflicts:      82000 | #Constraints:      12593
836.67/839.21	c #Conflicts:      83000 | #Constraints:      13593
836.67/839.21	c #Conflicts:      84000 | #Constraints:      14593
836.67/839.21	c INPROCESSING
836.67/839.21	c GARBAGE COLLECT
836.67/839.21	c #Conflicts:      85000 | #Constraints:       9793
836.67/839.21	c #Conflicts:      86000 | #Constraints:      10793
836.67/839.21	c #Conflicts:      87000 | #Constraints:      11793
836.67/839.21	c #Conflicts:      88000 | #Constraints:      12793
836.67/839.21	c #Conflicts:      89000 | #Constraints:      13793
836.67/839.21	c #Conflicts:      90000 | #Constraints:      14793
836.67/839.21	c INPROCESSING
836.67/839.21	c GARBAGE COLLECT
836.67/839.21	c #Conflicts:      91000 | #Constraints:       9794
836.67/839.21	c #Conflicts:      92000 | #Constraints:      10794
836.67/839.21	c #Conflicts:      93000 | #Constraints:      11794
836.67/839.21	c #Conflicts:      94000 | #Constraints:      12794
836.67/839.21	c #Conflicts:      95000 | #Constraints:      13794
836.67/839.21	c #Conflicts:      96000 | #Constraints:      14794
836.67/839.21	c INPROCESSING
836.67/839.21	c GARBAGE COLLECT
836.67/839.21	c #Conflicts:      97000 | #Constraints:       9597
836.67/839.21	c #Conflicts:      98000 | #Constraints:      10597
836.67/839.21	c #Conflicts:      99000 | #Constraints:      11597
836.67/839.21	c #Conflicts:     100000 | #Constraints:      12597
836.67/839.21	c #Conflicts:     101000 | #Constraints:      13597
836.67/839.21	c #Conflicts:     102000 | #Constraints:      14597
836.67/839.21	c #Conflicts:     103000 | #Constraints:      15597
836.67/839.21	c INPROCESSING
836.67/839.21	c GARBAGE COLLECT
836.67/839.21	c #Conflicts:     104000 | #Constraints:      10192
836.67/839.21	c #Conflicts:     105000 | #Constraints:      11192
836.67/839.21	c #Conflicts:     106000 | #Constraints:      12192
836.67/839.21	c #Conflicts:     107000 | #Constraints:      13192
836.67/839.21	c #Conflicts:     108000 | #Constraints:      14192
836.67/839.21	c #Conflicts:     109000 | #Constraints:      15192
836.67/839.21	c #Conflicts:     110000 | #Constraints:      16192
836.67/839.21	c INPROCESSING
836.67/839.21	c GARBAGE COLLECT
836.67/839.21	c #Conflicts:     111000 | #Constraints:      10594
836.67/839.21	c #Conflicts:     112000 | #Constraints:      11594
836.67/839.21	c #Conflicts:     113000 | #Constraints:      12594
836.67/839.21	c #Conflicts:     114000 | #Constraints:      13594
836.67/839.21	c #Conflicts:     115000 | #Constraints:      14594
836.67/839.21	c #Conflicts:     116000 | #Constraints:      15594
836.67/839.21	c #Conflicts:     117000 | #Constraints:      16594
836.67/839.21	c INPROCESSING
836.67/839.21	c GARBAGE COLLECT
836.67/839.21	c #Conflicts:     118000 | #Constraints:      10794
836.67/839.21	c #Conflicts:     119000 | #Constraints:      11794
836.67/839.21	c #Conflicts:     120000 | #Constraints:      12794
836.67/839.21	c #Conflicts:     121000 | #Constraints:      13794
836.67/839.21	c #Conflicts:     122000 | #Constraints:      14794
836.67/839.21	c #Conflicts:     123000 | #Constraints:      15794
836.67/839.21	c #Conflicts:     124000 | #Constraints:      16794
836.67/839.21	c INPROCESSING
836.67/839.21	c GARBAGE COLLECT
836.67/839.21	c #Conflicts:     125000 | #Constraints:      10794
836.67/839.21	c #Conflicts:     126000 | #Constraints:      11794
836.67/839.21	c #Conflicts:     127000 | #Constraints:      12795
836.67/839.21	c #Conflicts:     128000 | #Constraints:      13795
836.67/839.21	c #Conflicts:     129000 | #Constraints:      14795
836.67/839.21	c #Conflicts:     130000 | #Constraints:      15795
836.67/839.21	c #Conflicts:     131000 | #Constraints:      16795
836.67/839.21	c INPROCESSING
836.67/839.21	c GARBAGE COLLECT
836.67/839.21	c #Conflicts:     132000 | #Constraints:      10593
836.67/839.21	c #Conflicts:     133000 | #Constraints:      11593
836.67/839.21	c #Conflicts:     134000 | #Constraints:      12593
836.67/839.21	c #Conflicts:     135000 | #Constraints:      13593
836.67/839.21	c #Conflicts:     136000 | #Constraints:      14593
836.67/839.21	c #Conflicts:     137000 | #Constraints:      15593
836.67/839.21	c #Conflicts:     138000 | #Constraints:      16593
836.67/839.21	c #Conflicts:     139000 | #Constraints:      17593
836.67/839.21	c INPROCESSING
836.67/839.21	c GARBAGE COLLECT
836.67/839.21	c #Conflicts:     140000 | #Constraints:      11199
836.67/839.21	c #Conflicts:     141000 | #Constraints:      12199
836.67/839.21	c #Conflicts:     142000 | #Constraints:      13199
836.67/839.21	c #Conflicts:     143000 | #Constraints:      14199
836.67/839.21	c #Conflicts:     144000 | #Constraints:      15199
836.67/839.21	c #Conflicts:     145000 | #Constraints:      16199
836.67/839.21	c #Conflicts:     146000 | #Constraints:      17199
836.67/839.21	c #Conflicts:     147000 | #Constraints:      18199
836.67/839.21	c INPROCESSING
836.67/839.21	c GARBAGE COLLECT
836.67/839.21	c #Conflicts:     148000 | #Constraints:      11608
836.67/839.21	c #Conflicts:     149000 | #Constraints:      12608
836.67/839.21	c #Conflicts:     150000 | #Constraints:      13608
836.67/839.21	c #Conflicts:     151000 | #Constraints:      14608
1576.73/1581.46	c #Conflicts:     152000 | #Constraints:      15608
1576.73/1581.46	c #Conflicts:     153000 | #Constraints:      16608
1576.73/1581.46	c #Conflicts:     154000 | #Constraints:      17608
1576.73/1581.46	c #Conflicts:     155000 | #Constraints:      18608
1576.73/1581.46	c INPROCESSING
1576.73/1581.46	c GARBAGE COLLECT
1576.73/1581.46	c #Conflicts:     156000 | #Constraints:      11805
1576.73/1581.46	c #Conflicts:     157000 | #Constraints:      12806
1576.73/1581.46	c #Conflicts:     158000 | #Constraints:      13806
1576.73/1581.46	c #Conflicts:     159000 | #Constraints:      14807
1576.73/1581.46	c #Conflicts:     160000 | #Constraints:      15807
1576.73/1581.46	c #Conflicts:     161000 | #Constraints:      16807
1576.73/1581.46	c #Conflicts:     162000 | #Constraints:      17807
1576.73/1581.46	c #Conflicts:     163000 | #Constraints:      18807
1576.73/1581.46	c INPROCESSING
1576.73/1581.46	c GARBAGE COLLECT
1576.73/1581.46	c #Conflicts:     164000 | #Constraints:      11802
1576.73/1581.46	c #Conflicts:     165000 | #Constraints:      12802
1576.73/1581.46	c #Conflicts:     166000 | #Constraints:      13802
1576.73/1581.46	c #Conflicts:     167000 | #Constraints:      14802
1576.73/1581.46	c #Conflicts:     168000 | #Constraints:      15802
1576.73/1581.46	c #Conflicts:     169000 | #Constraints:      16802
1576.73/1581.46	c #Conflicts:     170000 | #Constraints:      17802
1576.73/1581.46	c #Conflicts:     171000 | #Constraints:      18803
1576.73/1581.46	c INPROCESSING
1576.73/1581.46	c GARBAGE COLLECT
1576.73/1581.46	c #Conflicts:     172000 | #Constraints:      11597
1576.73/1581.46	c #Conflicts:     173000 | #Constraints:      12597
1576.73/1581.46	c #Conflicts:     174000 | #Constraints:      13597
1576.73/1581.46	c #Conflicts:     175000 | #Constraints:      14597
1576.73/1581.46	c #Conflicts:     176000 | #Constraints:      15597
1576.73/1581.46	c #Conflicts:     177000 | #Constraints:      16597
1576.73/1581.46	c #Conflicts:     178000 | #Constraints:      17597
1576.73/1581.46	c #Conflicts:     179000 | #Constraints:      18597
1576.73/1581.46	c #Conflicts:     180000 | #Constraints:      19597
1576.73/1581.46	c INPROCESSING
1576.73/1581.46	c GARBAGE COLLECT
1576.73/1581.46	c #Conflicts:     181000 | #Constraints:      12200
1576.73/1581.46	c #Conflicts:     182000 | #Constraints:      13200
1576.73/1581.46	c #Conflicts:     183000 | #Constraints:      14200
1576.73/1581.46	c #Conflicts:     184000 | #Constraints:      15200
1576.73/1581.46	c #Conflicts:     185000 | #Constraints:      16200
1576.73/1581.46	c #Conflicts:     186000 | #Constraints:      17200
1576.73/1581.46	c #Conflicts:     187000 | #Constraints:      18200
1576.73/1581.46	c #Conflicts:     188000 | #Constraints:      19200
1576.73/1581.46	c #Conflicts:     189000 | #Constraints:      20200
1576.73/1581.46	c INPROCESSING
1576.73/1581.46	c GARBAGE COLLECT
1576.73/1581.46	c #Conflicts:     190000 | #Constraints:      12600
1576.73/1581.46	c #Conflicts:     191000 | #Constraints:      13600
1576.73/1581.46	c #Conflicts:     192000 | #Constraints:      14600
1576.73/1581.46	c #Conflicts:     193000 | #Constraints:      15600
1576.73/1581.46	c #Conflicts:     194000 | #Constraints:      16600
1576.73/1581.46	c #Conflicts:     195000 | #Constraints:      17600
1576.73/1581.46	c #Conflicts:     196000 | #Constraints:      18600
1576.73/1581.46	c #Conflicts:     197000 | #Constraints:      19600
1576.73/1581.46	c #Conflicts:     198000 | #Constraints:      20600
1576.73/1581.46	c INPROCESSING
1576.73/1581.46	c GARBAGE COLLECT
1576.73/1581.46	c #Conflicts:     199000 | #Constraints:      12802
1576.73/1581.46	c #Conflicts:     200000 | #Constraints:      13802
1576.73/1581.46	c #Conflicts:     201000 | #Constraints:      14802
1576.73/1581.46	c #Conflicts:     202000 | #Constraints:      15802
1576.73/1581.46	c #Conflicts:     203000 | #Constraints:      16802
1576.73/1581.46	c #Conflicts:     204000 | #Constraints:      17802
1576.73/1581.46	c #Conflicts:     205000 | #Constraints:      18802
1576.73/1581.46	c #Conflicts:     206000 | #Constraints:      19802
1576.73/1581.46	c #Conflicts:     207000 | #Constraints:      20802
1576.73/1581.46	c INPROCESSING
1576.73/1581.46	c GARBAGE COLLECT
1576.73/1581.46	c #Conflicts:     208000 | #Constraints:      12806
1576.73/1581.46	c #Conflicts:     209000 | #Constraints:      13806
1576.73/1581.46	c #Conflicts:     210000 | #Constraints:      14806
1576.73/1581.46	c #Conflicts:     211000 | #Constraints:      15806
1576.73/1581.46	c #Conflicts:     212000 | #Constraints:      16806
1576.73/1581.46	c #Conflicts:     213000 | #Constraints:      17806
1576.73/1581.46	c #Conflicts:     214000 | #Constraints:      18806
1576.73/1581.46	c #Conflicts:     215000 | #Constraints:      19806
1576.73/1581.46	c #Conflicts:     216000 | #Constraints:      20806
1576.73/1581.46	c INPROCESSING
1576.73/1581.46	c GARBAGE COLLECT
1576.73/1581.46	c #Conflicts:     217000 | #Constraints:      12607
1576.73/1581.46	c #Conflicts:     218000 | #Constraints:      13607
1576.73/1581.46	c #Conflicts:     219000 | #Constraints:      14607
1576.73/1581.46	c #Conflicts:     220000 | #Constraints:      15607
1576.73/1581.46	c #Conflicts:     221000 | #Constraints:      16608
1576.73/1581.46	c #Conflicts:     222000 | #Constraints:      17608
1576.73/1581.46	c #Conflicts:     223000 | #Constraints:      18609
1576.73/1581.46	c #Conflicts:     224000 | #Constraints:      19610
1576.73/1581.46	c #Conflicts:     225000 | #Constraints:      20610
1593.48/1598.27	c #Conflicts:     226000 | #Constraints:      21611
1593.48/1598.27	c INPROCESSING
1593.48/1598.27	c GARBAGE COLLECT
1593.48/1598.27	c rational objective 4.72978
2072.36/2078.52	c #Conflicts:     227000 | #Constraints:      13210
2072.36/2078.52	c #Conflicts:     228000 | #Constraints:      14210
2072.36/2078.52	c #Conflicts:     229000 | #Constraints:      15210
2072.36/2078.52	c #Conflicts:     230000 | #Constraints:      16210
2072.36/2078.52	c #Conflicts:     231000 | #Constraints:      17210
2072.36/2078.52	c #Conflicts:     232000 | #Constraints:      18210
2072.36/2078.52	c #Conflicts:     233000 | #Constraints:      19210
2072.36/2078.52	c #Conflicts:     234000 | #Constraints:      20210
2072.36/2078.52	c #Conflicts:     235000 | #Constraints:      21210
2072.36/2078.52	c #Conflicts:     236000 | #Constraints:      22210
2072.36/2078.52	c INPROCESSING
2072.36/2078.52	c GARBAGE COLLECT
2072.36/2078.52	c #Conflicts:     237000 | #Constraints:      13603
2072.36/2078.52	c #Conflicts:     238000 | #Constraints:      14603
2072.36/2078.52	c #Conflicts:     239000 | #Constraints:      15603
2072.36/2078.52	c #Conflicts:     240000 | #Constraints:      16603
2072.36/2078.52	c #Conflicts:     241000 | #Constraints:      17603
2072.36/2078.52	c #Conflicts:     242000 | #Constraints:      18603
2072.36/2078.52	c #Conflicts:     243000 | #Constraints:      19603
2072.36/2078.52	c #Conflicts:     244000 | #Constraints:      20603
2072.36/2078.52	c #Conflicts:     245000 | #Constraints:      21603
2072.36/2078.52	c #Conflicts:     246000 | #Constraints:      22603
2072.36/2078.52	c INPROCESSING
2072.36/2078.52	c GARBAGE COLLECT
2072.36/2078.52	c #Conflicts:     247000 | #Constraints:      13799
2072.36/2078.52	c #Conflicts:     248000 | #Constraints:      14799
2072.36/2078.52	c #Conflicts:     249000 | #Constraints:      15799
2072.36/2078.52	c #Conflicts:     250000 | #Constraints:      16800
2072.36/2078.52	c #Conflicts:     251000 | #Constraints:      17801
2072.36/2078.52	c #Conflicts:     252000 | #Constraints:      18802
2072.36/2078.52	c #Conflicts:     253000 | #Constraints:      19802
2072.36/2078.52	c #Conflicts:     254000 | #Constraints:      20802
2072.36/2078.52	c #Conflicts:     255000 | #Constraints:      21802
2072.36/2078.52	c #Conflicts:     256000 | #Constraints:      22802
2072.36/2078.52	c INPROCESSING
2072.36/2078.52	c GARBAGE COLLECT
2072.36/2078.52	c #Conflicts:     257000 | #Constraints:      13798
2072.36/2078.52	c #Conflicts:     258000 | #Constraints:      14798
2072.36/2078.52	c #Conflicts:     259000 | #Constraints:      15798
2072.36/2078.52	c #Conflicts:     260000 | #Constraints:      16798
2072.36/2078.52	c #Conflicts:     261000 | #Constraints:      17798
2072.36/2078.52	c #Conflicts:     262000 | #Constraints:      18798
2072.36/2078.52	c #Conflicts:     263000 | #Constraints:      19798
2072.36/2078.52	c #Conflicts:     264000 | #Constraints:      20798
2072.36/2078.52	c #Conflicts:     265000 | #Constraints:      21798
2072.36/2078.52	c #Conflicts:     266000 | #Constraints:      22798
2072.36/2078.52	c INPROCESSING
2072.36/2078.52	c GARBAGE COLLECT
2072.36/2078.52	c #Conflicts:     267000 | #Constraints:      13599
2072.36/2078.52	c #Conflicts:     268000 | #Constraints:      14599
2072.36/2078.52	c #Conflicts:     269000 | #Constraints:      15599
2072.36/2078.52	c #Conflicts:     270000 | #Constraints:      16599
2072.36/2078.52	c #Conflicts:     271000 | #Constraints:      17600
2072.36/2078.52	c #Conflicts:     272000 | #Constraints:      18600
2072.36/2078.52	c #Conflicts:     273000 | #Constraints:      19600
2072.36/2078.52	c #Conflicts:     274000 | #Constraints:      20600
2072.36/2078.52	c #Conflicts:     275000 | #Constraints:      21600
2072.36/2078.52	c #Conflicts:     276000 | #Constraints:      22600
2072.36/2078.52	c #Conflicts:     277000 | #Constraints:      23600
2072.36/2078.52	c INPROCESSING
2072.36/2078.52	c GARBAGE COLLECT
2072.36/2078.52	WSVECS04 Frhs2[10]: 6 -44.8787 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[11]: 6 -44.8787 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[13]: 6 -14.8864 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[14]: 6 -14.8864 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[19]: 6 -17.7531 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[26]: 6 -186.211 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[27]: 6 -132.285 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[28]: 6 -101.133 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[32]: 6 -113.855 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[35]: 6 -93.5281 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[37]: 6 -93.197 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[41]: 6 -70.1279 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[42]: 6 -68.6259 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[43]: 6 -68.6259 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[59]: 6 0 0.125194 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[71]: 6 0 506.01 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[139]: 6 0 254.646 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[146]: 6 -6.7825 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[147]: 6 -10.565 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[152]: 6 -1.24961 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[179]: 6 0 3.00619 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[194]: 6 -1.48435 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[200]: 6 -0.498452 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[225]: 6 0 2.25717 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[227]: 6 0 14.0287 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[241]: 6 -0.968702 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[242]: 6 -2.00379 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[243]: 6 -1.97634 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[244]: 6 -1.92143 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[249]: 6 0 5.51434 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[265]: 6 -0.937404 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[266]: 6 -2.00759 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[267]: 6 -1.95268 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[268]: 6 -1.84285 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[271]: 6 0 2.25717 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[273]: 6 0 12.0287 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[289]: 6 -0.874807 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[290]: 6 -2.01518 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[291]: 6 -1.90535 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[292]: 6 -1.68571 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[297]: 6 0 29.5574 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[313]: 6 -0.749613 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[314]: 6 -2.03035 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[315]: 6 -1.81071 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[316]: 6 -1.37142 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[317]: 6 0 0.257171 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[318]: 6 0 2.51434 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[319]: 6 0 10.0287 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[322]: 6 0 127.198 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[337]: 6 -0.499226 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[338]: 6 -2.06071 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[340]: 6 -0.74283 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[341]: 6 0 1.51434 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[362]: 6 -2.12141 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[363]: 6 -1.24283 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[365]: 6 0 8.02868 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[385]: 6 0 1.0031 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[394]: 6 0 1024.59 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[409]: 6 0 3.00619 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[410]: 6 0 7.01239 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[433]: 6 0 7.01239 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[434]: 6 0 15.0248 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[435]: 6 0 31.0496 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[457]: 6 0 15.0248 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[458]: 6 0 30.0496 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[503]: 6 0 1.34426e+08 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[505]: 6 0 63.0991 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[506]: 6 0 124.792 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[527]: 6 0 2.68851e+08 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[626]: 6 0 26.3522 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[627]: 6 0 23.9324 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[628]: 6 0 3.73258 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[630]: 6 0 15.076 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[633]: 6 0 53.116 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[636]: 6 0 15.076 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[637]: 6 0 53.9067 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[638]: 6 0 17.4643 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[641]: 6 0 59.0733 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[642]: 6 0 21.9289 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[643]: 6 0 3.73257 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[644]: 6 0 12.3364 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[646]: 6 0 3.73255 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[651]: 6 0 47.9871 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[652]: 6 0 37.9283 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[653]: 6 0 37.9283 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[655]: 6 0 61.787 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[656]: 6 0 34.6507 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[660]: 6 0 38.5082 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[661]: 6 0 22.9165 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[662]: 6 0 47.9871 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[666]: 6 0 30.325 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[667]: 6 0 37.0702 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[668]: 6 0 31.5254 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[689]: 6 0 16.1661 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[738]: 6 0 7.51525 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[739]: 6 0 17.4652 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[817]: 6 0 2.5 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[831]: 6 0 4.97622 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[839]: 6 0 3.5 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[863]: 6 0 2.96875 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[885]: 6 0 4.96875 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[930]: 6 -1.5 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[947]: 6 0 9.49805 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[991]: 6 0 8.46022 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1016]: 6 0 1 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1024]: 6 0 1 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1044]: 6 0 4 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1053]: 6 0 3.4375 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1066]: 6 0 6 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1068]: 6 0 5 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1071]: 6 0 3.77734 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1075]: 6 0 5.4375 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1088]: 6 0 8 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1097]: 6 0 7.4375 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1102]: 6 -3 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1109]: 6 0 7.5 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1110]: 6 0 10 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1118]: 6 0 7.21875 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1119]: 6 0 9.4375 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1129]: 6 0 18.1435 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1518]: 6 -1 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1541]: 6 -1 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1564]: 6 -1 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1584]: 6 -1 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1587]: 6 -1 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1630]: 6 -0.0325633 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1654]: 6 0 1.02503 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1658]: 6 -2.8125 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1664]: 6 -1 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1667]: 6 -2.77734 0 shouldn't be
2072.36/2078.52	WSVECS04 Frhs2[1673]: 6 -1.75 0 shouldn't be
2635.76/2643.93	c #Conflicts:     278000 | #Constraints:      14197
2635.76/2643.93	c #Conflicts:     279000 | #Constraints:      15197
2635.76/2643.93	c #Conflicts:     280000 | #Constraints:      16197
2635.76/2643.93	c #Conflicts:     281000 | #Constraints:      17197
2635.76/2643.93	c #Conflicts:     282000 | #Constraints:      18197
2635.76/2643.93	c #Conflicts:     283000 | #Constraints:      19197
2635.76/2643.93	c #Conflicts:     284000 | #Constraints:      20197
2635.76/2643.93	c #Conflicts:     285000 | #Constraints:      21197
2635.76/2643.93	c #Conflicts:     286000 | #Constraints:      22197
2635.76/2643.93	c #Conflicts:     287000 | #Constraints:      23197
2635.76/2643.93	c #Conflicts:     288000 | #Constraints:      24197
2635.76/2643.93	c INPROCESSING
2635.76/2643.93	c GARBAGE COLLECT
2635.76/2643.93	c #Conflicts:     289000 | #Constraints:      14597
2635.76/2643.93	c #Conflicts:     290000 | #Constraints:      15597
2635.76/2643.93	c #Conflicts:     291000 | #Constraints:      16597
2635.76/2643.93	c #Conflicts:     292000 | #Constraints:      17597
2635.76/2643.93	c #Conflicts:     293000 | #Constraints:      18597
2635.76/2643.93	c #Conflicts:     294000 | #Constraints:      19597
2635.76/2643.93	c #Conflicts:     295000 | #Constraints:      20597
2635.76/2643.93	c #Conflicts:     296000 | #Constraints:      21597
2635.76/2643.93	c #Conflicts:     297000 | #Constraints:      22597
2635.76/2643.93	c #Conflicts:     298000 | #Constraints:      23597
2635.76/2643.93	c #Conflicts:     299000 | #Constraints:      24597
2635.76/2643.93	c INPROCESSING
2635.76/2643.93	c GARBAGE COLLECT
2635.76/2643.93	c #Conflicts:     300000 | #Constraints:      14797
2635.76/2643.93	c #Conflicts:     301000 | #Constraints:      15797
2635.76/2643.93	c #Conflicts:     302000 | #Constraints:      16797
2635.76/2643.93	c #Conflicts:     303000 | #Constraints:      17797
2635.76/2643.93	c #Conflicts:     304000 | #Constraints:      18797
2635.76/2643.93	c #Conflicts:     305000 | #Constraints:      19797
2635.76/2643.93	c #Conflicts:     306000 | #Constraints:      20797
2635.76/2643.93	c #Conflicts:     307000 | #Constraints:      21797
2635.76/2643.93	c #Conflicts:     308000 | #Constraints:      22797
2635.76/2643.93	c #Conflicts:     309000 | #Constraints:      23797
2635.76/2643.93	c #Conflicts:     310000 | #Constraints:      24797
2635.76/2643.93	c INPROCESSING
2635.76/2643.93	c GARBAGE COLLECT
2635.76/2643.93	c #Conflicts:     311000 | #Constraints:      14800
2635.76/2643.93	c #Conflicts:     312000 | #Constraints:      15800
2635.76/2643.93	c #Conflicts:     313000 | #Constraints:      16800
2635.76/2643.93	c #Conflicts:     314000 | #Constraints:      17800
2635.76/2643.93	c #Conflicts:     315000 | #Constraints:      18801
2635.76/2643.93	c #Conflicts:     316000 | #Constraints:      19801
2635.76/2643.93	c #Conflicts:     317000 | #Constraints:      20801
2635.76/2643.93	c #Conflicts:     318000 | #Constraints:      21801
2635.76/2643.93	c #Conflicts:     319000 | #Constraints:      22802
2635.76/2643.93	c #Conflicts:     320000 | #Constraints:      23802
2635.76/2643.93	c #Conflicts:     321000 | #Constraints:      24802
2635.76/2643.93	c INPROCESSING
2635.76/2643.93	c GARBAGE COLLECT
2635.76/2643.93	WSVECS04 Frhs2[16]: 6 0 0.63317 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[17]: 6 0 0.633139 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[18]: 6 0 0.633137 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[19]: 6 0 0.638742 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[20]: 6 0 0.631027 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[21]: 6 0 0.633117 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[22]: 6 0 0.682766 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[30]: 6 -0.813143 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[44]: 6 0 0.0619271 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[45]: 6 0 0.0619343 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[47]: 6 0 2.30508 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[48]: 6 0 2.3763 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[52]: 6 -1.96337 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[55]: 6 -2.0804 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[57]: 6 -2.08605 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[121]: 6 -1.00006 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[125]: 6 -1.75007 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[145]: 6 -1.00004 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[148]: 6 -1.75004 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[151]: 6 -1.00007 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[153]: 6 -0.999967 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[160]: 6 0 1.20314 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[161]: 6 -0.343774 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[163]: 6 0 4.62509 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[168]: 6 0 3.35883 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[174]: 6 0 0.500122 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[179]: 6 0 0.251028 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[185]: 6 0 1.31253 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[186]: 6 0 3.62502 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[191]: 6 0 4.00007 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[203]: 6 0 0.502009 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[208]: 6 0 0.312584 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[209]: 6 0 2.62509 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[213]: 6 0 2.00004 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[221]: 6 -1.50004 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[232]: 6 0 1.62502 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[236]: 6 0 1.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[237]: 6 0 3.00006 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[240]: 6 0 29.3313 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[241]: 6 -1.00003 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[242]: 6 -1.00006 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[244]: 6 -1.00002 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[245]: 6 -0.999952 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[247]: 6 -0.999606 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[248]: 6 -2.74909 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[249]: 6 -1.49808 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[255]: 6 0 0.625082 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[257]: 6 -1.50007 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[259]: 6 0 1.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[260]: 6 0 3.00008 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[261]: 6 0 7.00003 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[264]: 6 0 62.9206 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[280]: 6 0 0.250018 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[282]: 6 0 1.00009 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[283]: 6 0 3.00007 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[284]: 6 0 7.00002 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[285]: 6 0 15 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[288]: 6 0 125.331 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[302]: 6 0 1.25003 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[306]: 6 0 3.00008 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[307]: 6 0 7.00002 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[308]: 6 0 15 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[309]: 6 0 31 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[311]: 6 0 128.562 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[325]: 6 0 0.250092 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[328]: 6 0 1.00009 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[329]: 6 0 3.00007 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[330]: 6 0 7.00002 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[331]: 6 0 15 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[332]: 6 0 31 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[333]: 6 0 63 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[352]: 6 0 3.00001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[353]: 6 0 7.00005 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[354]: 6 0 15 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[355]: 6 0 31.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[356]: 6 0 63 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[357]: 6 0 127 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[374]: 6 0 1.00007 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[375]: 6 0 3.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[376]: 6 0 7.00005 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[377]: 6 0 15 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[378]: 6 0 31 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[379]: 6 0 63 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[380]: 6 0 127 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[381]: 6 0 255 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[397]: 6 0 1.00009 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[398]: 6 0 3.00007 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[399]: 6 0 7.00003 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[400]: 6 0 15.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[401]: 6 0 31 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[402]: 6 0 63.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[403]: 6 0 127 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[404]: 6 0 255 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[405]: 6 0 511 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[408]: 6 0 4094.92 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[420]: 6 0 1.00002 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[421]: 6 0 3.00007 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[422]: 6 0 7.00005 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[423]: 6 0 15.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[424]: 6 0 31.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[425]: 6 0 63 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[426]: 6 0 127 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[427]: 6 0 255 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[428]: 6 0 511 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[429]: 6 0 1023 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[432]: 6 0 8190.91 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[443]: 6 0 1.00004 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[444]: 6 0 3.00008 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[445]: 6 0 7.00002 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[446]: 6 0 15 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[447]: 6 0 31.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[448]: 6 0 63 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[449]: 6 0 127 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[450]: 6 0 255 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[451]: 6 0 511 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[452]: 6 0 1023 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[453]: 6 0 2047 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[455]: 6 0 8192.55 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[456]: 6 0 16382.9 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[466]: 6 0 1.00009 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[467]: 6 0 3.00009 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[468]: 6 0 7.00009 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[469]: 6 0 15.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[470]: 6 0 31 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[471]: 6 0 63 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[472]: 6 0 127 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[473]: 6 0 255 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[474]: 6 0 511 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[475]: 6 0 1023 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[476]: 6 0 2047 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[477]: 6 0 4095 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[479]: 6 0 16384.5 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[489]: 6 0 1.00001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[490]: 6 0 3.00003 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[491]: 6 0 7.00006 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[492]: 6 0 15.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[493]: 6 0 31.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[494]: 6 0 63.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[495]: 6 0 127 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[496]: 6 0 255 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[497]: 6 0 511 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[498]: 6 0 1023 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[499]: 6 0 2047 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[500]: 6 0 4095 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[501]: 6 0 8191 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[502]: 6 0 16384.5 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[504]: 6 0 65535.1 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[512]: 6 0 1.00003 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[513]: 6 0 3.00002 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[514]: 6 0 7.00005 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[515]: 6 0 15 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[516]: 6 0 31 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[517]: 6 0 63.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[518]: 6 0 127 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[519]: 6 0 255 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[520]: 6 0 511 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[521]: 6 0 1023 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[522]: 6 0 2047 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[523]: 6 0 4095 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[524]: 6 0 8191 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[525]: 6 0 16383 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[528]: 6 0 131071 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[535]: 6 0 1.00006 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[536]: 6 0 3.00009 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[537]: 6 0 7.00005 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[538]: 6 0 15 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[539]: 6 0 31 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[540]: 6 0 63 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[541]: 6 0 127 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[542]: 6 0 255 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[543]: 6 0 511 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[544]: 6 0 1023 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[545]: 6 0 2047 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[546]: 6 0 4095 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[547]: 6 0 8191 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[548]: 6 0 16383 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[552]: 6 0 262143 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[558]: 6 0 1.00007 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[559]: 6 0 3.00007 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[560]: 6 0 7.00004 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[561]: 6 0 15.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[562]: 6 0 31 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[563]: 6 0 63.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[564]: 6 0 127 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[565]: 6 0 255 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[566]: 6 0 511 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[567]: 6 0 1023 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[568]: 6 0 2047 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[569]: 6 0 4095 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[570]: 6 0 8191 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[571]: 6 0 16383 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[581]: 6 0 1.00008 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[582]: 6 0 3.00008 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[583]: 6 0 7.00003 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[584]: 6 0 15 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[585]: 6 0 31 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[586]: 6 0 63 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[587]: 6 0 127 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[588]: 6 0 255 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[589]: 6 0 511 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[590]: 6 0 1023 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[591]: 6 0 2047 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[592]: 6 0 4095 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[593]: 6 0 8191 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[594]: 6 0 16383 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[601]: 6 -0.750082 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[610]: 6 0 127 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[611]: 6 0 255 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[612]: 6 0 511 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[613]: 6 0 1023 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[614]: 6 0 2047 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[615]: 6 0 4095 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[616]: 6 0 8191 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[634]: 6 0 2.99989 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[638]: 6 0 1.00004 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[648]: 6 -0.91596 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[651]: 6 -1.79095 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[662]: 6 0 1.69827 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[665]: 6 0 4.90629 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[709]: 6 -2.34377 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[710]: 6 0 2.25006 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[712]: 6 0 0.871308 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[726]: 6 0 0.250033 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[747]: 6 -1.87506 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[758]: 6 0 1.00008 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[865]: 6 0 7.00006 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[893]: 6 -1.00008 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[916]: 6 -1.00003 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[939]: 6 -1.00001 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[956]: 6 0 5.00002 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[962]: 6 -1.00008 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[985]: 6 -1.00001 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[997]: 6 0 0.500074 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1000]: 6 0 9.00002 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1043]: 6 0 7.00009 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1044]: 6 0 13.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1309]: 6 -0.0469342 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1331]: 6 -3.60159 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1349]: 6 -0.50002 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1384]: 6 -2.37506 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1408]: 6 -2.75007 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1430]: 6 -3.62502 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1439]: 6 -1.00004 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1456]: 6 -2.00009 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1480]: 6 -1.00008 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1502]: 6 -2.00007 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1503]: 6 -1.00005 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1504]: 6 -1.00003 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1525]: 6 -1.00007 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1526]: 6 -1.00005 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1527]: 6 -1.00001 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1528]: 6 -1.00008 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1531]: 6 -1.00003 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1548]: 6 -1.00009 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1549]: 6 -1.00003 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1550]: 6 -1.0001 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1551]: 6 -1.00006 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1552]: 6 -1.00004 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1554]: 6 -1.00004 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1571]: 6 -1.00008 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1572]: 6 -1.00007 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1573]: 6 -1.00005 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1574]: 6 -1.00002 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1575]: 6 -1.00003 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1576]: 6 -1.00001 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1577]: 6 -1.00009 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1584]: 6 -1.0001 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1594]: 6 -1.00005 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1595]: 6 -1.00002 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1596]: 6 -1.00003 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1597]: 6 -1.00009 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1598]: 6 -1.00004 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1599]: 6 -1.00007 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1607]: 6 -1.00003 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1617]: 6 -1.00008 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1618]: 6 -1.00009 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1619]: 6 -1.00005 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1620]: 6 -1.00003 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1621]: 6 -1.00009 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1622]: 6 -1.00007 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1640]: 6 -1.00005 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1641]: 6 -1.00002 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1642]: 6 -1.00009 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1643]: 6 -1.00005 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1644]: 6 -1.00004 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1645]: 6 -1.00003 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1664]: 6 -1.00008 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1665]: 6 -1.00001 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1666]: 6 -1.00002 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1667]: 6 -1.00009 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1668]: 6 -1.00007 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1676]: 6 -1.00007 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1678]: 6 0 0.633193 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1686]: 6 -1.00007 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1687]: 6 -1.0001 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1688]: 6 -1.00008 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1689]: 6 -1.00002 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1690]: 6 -1.00001 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1691]: 6 -1.00004 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1699]: 6 -1.00008 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1709]: 6 -1.00005 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1713]: 6 -1.00008 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1714]: 6 -1.00008 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1722]: 6 -1.00002 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1732]: 6 -1.00002 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1735]: 6 -1.00009 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1736]: 6 -1.00008 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1745]: 6 -1.00003 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1760]: 6 -1.00004 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1764]: 6 -0.999905 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1765]: 6 -0.999685 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1766]: 6 -0.999306 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1767]: 6 -0.998593 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1768]: 6 -0.997116 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1771]: 6 -0.97666 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1773]: 6 -0.906268 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1776]: 6 -0.250028 0 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1781]: 6 0 23.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1782]: 6 0 47.0001 shouldn't be
2635.76/2643.93	WSVECS04 Frhs2[1800]: 6 0 1.25829e+07 shouldn't be
3600.01/3611.60	c #Conflicts:     322000 | #Constraints:      14599
3600.01/3611.60	c #Conflicts:     323000 | #Constraints:      15599
3600.01/3611.60	c #Conflicts:     324000 | #Constraints:      16599
3600.01/3611.60	c #Conflicts:     325000 | #Constraints:      17599
3600.01/3611.60	c #Conflicts:     326000 | #Constraints:      18599
3600.01/3611.60	c #Conflicts:     327000 | #Constraints:      19599
3600.01/3611.60	c #Conflicts:     328000 | #Constraints:      20599
3600.01/3611.60	c #Conflicts:     329000 | #Constraints:      21599
3600.01/3611.60	c #Conflicts:     330000 | #Constraints:      22599
3600.01/3611.60	c #Conflicts:     331000 | #Constraints:      23599
3600.01/3611.60	c #Conflicts:     332000 | #Constraints:      24599
3600.01/3611.60	c #Conflicts:     333000 | #Constraints:      25599
3600.01/3611.60	c INPROCESSING
3600.01/3611.60	c GARBAGE COLLECT
3600.01/3611.60	c #Conflicts:     334000 | #Constraints:      15199
3600.01/3611.60	c #Conflicts:     335000 | #Constraints:      16199
3600.01/3611.60	c #Conflicts:     336000 | #Constraints:      17199
3600.01/3611.60	c #Conflicts:     337000 | #Constraints:      18199
3600.01/3611.60	c #Conflicts:     338000 | #Constraints:      19199
3600.01/3611.60	c #Conflicts:     339000 | #Constraints:      20199
3600.01/3611.60	c #Conflicts:     340000 | #Constraints:      21199
3600.01/3611.60	c #Conflicts:     341000 | #Constraints:      22199
3600.01/3611.60	c #Conflicts:     342000 | #Constraints:      23199
3600.01/3611.60	c #Conflicts:     343000 | #Constraints:      24200
3600.01/3611.60	c #Conflicts:     344000 | #Constraints:      25201
3600.01/3611.60	c #Conflicts:     345000 | #Constraints:      26201
3600.01/3611.60	c INPROCESSING
3600.01/3611.60	c GARBAGE COLLECT
3600.01/3611.60	c #Conflicts:     346000 | #Constraints:      15601
3600.01/3611.60	c #Conflicts:     347000 | #Constraints:      16601
3600.01/3611.60	c #Conflicts:     348000 | #Constraints:      17601
3600.01/3611.60	c #Conflicts:     349000 | #Constraints:      18601
3600.01/3611.60	c #Conflicts:     350000 | #Constraints:      19601
3600.01/3611.60	c #Conflicts:     351000 | #Constraints:      20601
3600.01/3611.60	c #Conflicts:     352000 | #Constraints:      21601
3600.01/3611.60	c #Conflicts:     353000 | #Constraints:      22601
3600.01/3611.60	c #Conflicts:     354000 | #Constraints:      23601
3600.01/3611.60	c #Conflicts:     355000 | #Constraints:      24601
3600.01/3611.60	c #Conflicts:     356000 | #Constraints:      25601
3600.01/3611.60	c #Conflicts:     357000 | #Constraints:      26601
3600.01/3611.60	c INPROCESSING
3600.01/3611.60	c GARBAGE COLLECT
3600.01/3611.60	c #Conflicts:     358000 | #Constraints:      15801
3600.01/3611.60	c #Conflicts:     359000 | #Constraints:      16801
3600.01/3611.60	c #Conflicts:     360000 | #Constraints:      17801
3600.01/3611.60	c #Conflicts:     361000 | #Constraints:      18801
3600.01/3611.60	c #Conflicts:     362000 | #Constraints:      19801
3600.01/3611.60	c #Conflicts:     363000 | #Constraints:      20801
3600.01/3611.60	c #Conflicts:     364000 | #Constraints:      21801
3600.01/3611.60	c #Conflicts:     365000 | #Constraints:      22801
3600.01/3611.60	c #Conflicts:     366000 | #Constraints:      23801
3600.01/3611.60	c #Conflicts:     367000 | #Constraints:      24801
3600.01/3611.60	c #Conflicts:     368000 | #Constraints:      25801
3600.01/3611.60	c #Conflicts:     369000 | #Constraints:      26801
3600.01/3611.60	c INPROCESSING
3600.01/3611.60	c GARBAGE COLLECT
3600.01/3611.60	c #Conflicts:     370000 | #Constraints:      15803
3600.01/3611.60	c #Conflicts:     371000 | #Constraints:      16803
3600.01/3611.60	c #Conflicts:     372000 | #Constraints:      17803
3600.01/3611.60	c #Conflicts:     373000 | #Constraints:      18803
3600.01/3611.60	c #Conflicts:     374000 | #Constraints:      19803
3600.01/3611.60	c #Conflicts:     375000 | #Constraints:      20803
3600.01/3611.60	c #Conflicts:     376000 | #Constraints:      21803
3600.01/3611.60	c #Conflicts:     377000 | #Constraints:      22803
3600.01/3611.60	c #Conflicts:     378000 | #Constraints:      23803
3600.01/3611.60	c #Conflicts:     379000 | #Constraints:      24803
3600.01/3611.60	c #Conflicts:     380000 | #Constraints:      25803
3600.01/3611.60	c #Conflicts:     381000 | #Constraints:      26803
3600.01/3611.60	c INPROCESSING
3600.01/3611.60	c GARBAGE COLLECT
3600.01/3611.60	c #Conflicts:     382000 | #Constraints:      15599
3600.01/3611.60	c #Conflicts:     383000 | #Constraints:      16599
3600.01/3611.60	c #Conflicts:     384000 | #Constraints:      17599
3600.01/3611.60	c #Conflicts:     385000 | #Constraints:      18599
3600.01/3611.60	c #Conflicts:     386000 | #Constraints:      19599
3600.01/3611.60	c #Conflicts:     387000 | #Constraints:      20599
3600.01/3611.60	c #Conflicts:     388000 | #Constraints:      21599
3600.01/3611.60	c #Conflicts:     389000 | #Constraints:      22599
3600.01/3611.60	c #Conflicts:     390000 | #Constraints:      23599
3600.01/3611.60	c cpu time 3589.23 s
3600.01/3611.60	c deterministic time 587697790646 5.88e+11
3600.01/3611.60	c optimization time 104.94 s
3600.01/3611.60	c total solve time 3484.28 s
3600.01/3611.60	c core-guided solve time 0 s
3600.01/3611.60	c propagation time 2636.43 s
3600.01/3611.60	c conflict analysis time 882.888 s
3600.01/3611.60	c propagations 127796446
3600.01/3611.60	c resolve steps 100188297
3600.01/3611.60	c decisions 496321
3600.01/3611.60	c conflicts 390757
3600.01/3611.60	c restarts 948
3600.01/3611.60	c inprocessing phases 53
3600.01/3611.60	c garbage collections 53 ,( 100.00 )
3600.01/3611.60	c input clauses 1872 ,( 62.84 )
3600.01/3611.60	c input cardinalities 0 ,( 0.00 )
3600.01/3611.60	c input general constraints 1107 ,( 37.16 )
3600.01/3611.60	c input average constraint length 3.74
3600.01/3611.60	c input average constraint degree 283459179786.07
3600.01/3611.60	c learned clauses 21880 ,( 5.60 )
3600.01/3611.60	c learned cardinalities 2 ,( 0.00 )
3600.01/3611.60	c learned general constraints 368927 ,( 94.40 )
3600.01/3611.60	c learned average constraint length 548.02
3600.01/3611.60	c learned average constraint degree 844067690.90
3600.01/3611.60	c watched  CF 32, 64, 128, Arb: 1530 , 0 , 0 , 0
3600.01/3611.60	c counting CF 32, 64, 128, Arb: 368501 , 3 , 0 , 0
3600.01/3611.60	c watched   constraints 1530 ,( 0.41 ) 
3600.01/3611.60	c counting  constraints 368504 ,( 99.59 ) 
3600.01/3611.60	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 52531775 , 47884 , 58748763861 ,( 7194231 , 58741569630 )
3600.01/3611.60	c gcd simplifications 2338
3600.01/3611.60	c detected cardinalities 1
3600.01/3611.60	c weakened non-implied lits 22566459
3600.01/3611.60	c weakened non-implying lits 732540
3600.01/3611.60	c original variables 1848
3600.01/3611.60	c clausal propagations 18645839
3600.01/3611.60	c cardinality propagations 1
3600.01/3611.60	c watched propagations 66768
3600.01/3611.60	c counting propagations 108701752
3600.01/3611.60	c watch lookups 59728456981
3600.01/3611.60	c watch backjump lookups 0
3600.01/3611.60	c watch checks 205455640
3600.01/3611.60	c propagation checks 526010130126
3600.01/3611.60	c constraint additions 1496701272
3600.01/3611.60	c trail pops 128682493
3600.01/3611.60	c formula constraints 2979
3600.01/3611.60	c learned constraints 390757
3600.01/3611.60	c bound constraints 0
3600.01/3611.60	c core-guided constraints 0
3600.01/3611.60	c encountered formula constraints 99245397
3600.01/3611.60	c encountered learned constraints 1294997
3600.01/3611.60	c encountered bound constraints 0
3600.01/3611.60	c encountered core-guided constraints 0
3600.01/3611.60	c LP total time 7.86513 s
3600.01/3611.60	c LP solve time 5.64 s
3600.01/3611.60	c LP constraints added 2986
3600.01/3611.60	c LP constraints removed 0
3600.01/3611.60	c LP pivots internal 39320
3600.01/3611.60	c LP pivots root 32046
3600.01/3611.60	c LP calls 159
3600.01/3611.60	c LP optimalities 32
3600.01/3611.60	c LP no pivot count 1
3600.01/3611.60	c LP infeasibilities 80
3600.01/3611.60	c LP valid Farkas constraints 46
3600.01/3611.60	c LP learned Farkas constraints 0
3600.01/3611.60	c LP basis resets 44
3600.01/3611.60	c LP cycling count 6
3600.01/3611.60	c LP singular count 21
3600.01/3611.60	c LP no primal count 0
3600.01/3611.60	c LP no farkas count 0
3600.01/3611.60	c LP other issue count 17
3600.01/3611.60	c LP Gomory cuts 6
3600.01/3611.60	c LP learned cuts 1
3600.01/3611.60	c LP deleted cuts 0
3600.01/3611.60	c LP encountered Gomory constraints 1
3600.01/3611.60	c LP encountered Farkas constraints 38659
3600.01/3611.60	c LP encountered learned Farkas constraints 0
3600.01/3611.60	c CG auxiliary variables introduced 0
3600.01/3611.60	c CG solutions found 0
3600.01/3611.60	c CG cores constructed 0
3600.01/3611.60	c CG core cardinality constraints returned 0
3600.01/3611.60	c CG unit cores 0
3600.01/3611.60	c CG single cores 0
3600.01/3611.60	c CG blocks removed during cardinality reduction 0
3600.01/3611.60	c CG first core best 0
3600.01/3611.60	c CG decision core best 0
3600.01/3611.60	c CG core reduction tie 0
3600.01/3611.60	c CG core degree average 0.00
3600.01/3611.60	c CG core slack average 0.00
3600.01/3611.60	c CG core upper bound improvements 0
3600.01/3611.60	c STR number of successful calls 0
3600.01/3611.60	c STR number of unsuccessful calls 0
3600.01/3611.60	c STR number of inconclusive calls 0
3600.01/3611.60	c STR number of successful attempts 0
3600.01/3611.60	c STR number of unsuccessful attempts 0
3600.01/3611.60	c STR number of inconclusive attempts 0
3600.01/3611.60	c STR average degree increase per successful call inf
3600.01/3611.60	c STR average degree increase per successful attempt inf
3600.01/3611.60	c STR total number of conflicts for successful attempts 0
3600.01/3611.60	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3611.60	c STR total number of conflicts for inconclusive attempts 0
3600.01/3611.60	c STR average number of conflicts per successful attempt inf
3600.01/3611.60	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3611.60	c STR average number of conflicts per inconclusive attempt inf
3600.01/3611.60	c AVG.sumWPerc 99.00 
3600.01/3611.60	c bigint constraints 3 
3600.01/3611.60	s UNKNOWN
3600.01/3611.60	c Program interrupted by user.

Verifier Data

ERROR: no interpretation found !

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541961-1753206209/watcher-4541961-1753206209 -o /tmp/evaluation-result-4541961-1753206209/solver-4541961-1753206209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753198973-165677 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4541961-1753206209.opb /tmp/proof-4541961-1753206209 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100058 s]*
/proc/loadavg: 4.12 4.16 4.17 5/268 166488
/proc/meminfo: memFree=124388432/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=61228 memory=15268 CPUtime=0.06 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 2272 0 0 0 6 0 0 0 20 0 1 0 236299499 62697472 3817 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 15307 3817 2304 1147 0 2734 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 65420 KiB
Current children cumulated memory: 18340 KiB

[startup+0.205412 s]*
/proc/loadavg: 4.12 4.16 4.17 5/268 166488
/proc/meminfo: memFree=124384160/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=61228 memory=15268 CPUtime=0.17 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 2272 0 0 0 17 0 0 0 20 0 1 0 236299499 62697472 3817 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 15307 3817 2304 1147 0 2734 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 65420 KiB
Current children cumulated memory: 18340 KiB

[startup+0.304754 s]*
/proc/loadavg: 4.12 4.16 4.17 5/268 166488
/proc/meminfo: memFree=124384160/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=61228 memory=15268 CPUtime=0.27 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 2272 0 0 0 27 0 0 0 20 0 1 0 236299499 62697472 3817 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 15307 3817 2304 1147 0 2734 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 65420 KiB
Current children cumulated memory: 18340 KiB

[startup+0.700131 s]
/proc/loadavg: 4.12 4.16 4.17 5/268 166488
/proc/meminfo: memFree=124375340/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=65316 memory=20388 CPUtime=0.66 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 3550 0 0 0 65 1 0 0 20 0 1 0 236299499 66883584 5097 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 16329 5097 2336 1147 0 3756 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 69508 KiB
Current children cumulated memory: 23460 KiB

[startup+1.50015 s]
/proc/loadavg: 4.12 4.16 4.17 5/268 166488
/proc/meminfo: memFree=124354360/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=69384 memory=27300 CPUtime=1.45 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 4753 0 0 0 143 2 0 0 20 0 1 0 236299499 71049216 6825 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 17346 6825 2336 1147 0 4773 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 73576 KiB
Current children cumulated memory: 30372 KiB

[startup+3.10496 s]
/proc/loadavg: 4.11 4.15 4.17 5/268 166488
/proc/meminfo: memFree=124286304/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=79480 memory=35108 CPUtime=3.06 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 6698 0 0 0 302 4 0 0 20 0 1 0 236299499 81387520 8777 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 19870 8777 2336 1147 0 7297 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 83672 KiB
Current children cumulated memory: 38180 KiB

[startup+6.30018 s]
/proc/loadavg: 4.11 4.15 4.17 5/268 166488
/proc/meminfo: memFree=124169380/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=93796 memory=48824 CPUtime=6.24 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 9618 0 0 0 618 6 0 0 20 0 1 0 236299499 96047104 12206 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 23449 12206 2336 1147 0 10876 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 97988 KiB
Current children cumulated memory: 51896 KiB

[startup+12.7002 s]
/proc/loadavg: 4.10 4.15 4.17 5/267 166489
/proc/meminfo: memFree=123980312/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=122520 memory=75456 CPUtime=12.63 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 15253 0 0 0 1250 13 0 0 20 0 1 0 236299499 125460480 18864 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 30630 18864 2336 1147 0 18057 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 126712 KiB
Current children cumulated memory: 78528 KiB

[startup+25.5002 s]
/proc/loadavg: 4.23 4.18 4.18 5/267 166489
/proc/meminfo: memFree=123639580/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=167848 memory=102956 CPUtime=25.39 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 21618 0 0 0 2519 20 0 0 20 0 1 0 236299499 171876352 25739 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 41962 25739 2336 1147 0 29389 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 172040 KiB
Current children cumulated memory: 106028 KiB

[startup+51.1054 s]
/proc/loadavg: 4.15 4.16 4.17 5/267 166489
/proc/meminfo: memFree=123092360/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=177536 memory=120448 CPUtime=50.93 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 24365 0 0 0 5058 35 0 0 20 0 1 0 236299499 181796864 30112 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 44384 30112 2464 1147 0 31811 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 181728 KiB
Current children cumulated memory: 123520 KiB

[startup+102.3 s]
/proc/loadavg: 4.26 4.20 4.18 5/267 166491
/proc/meminfo: memFree=122176988/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=203656 memory=144724 CPUtime=101.97 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 29924 0 0 0 10137 60 0 0 20 0 1 0 236299499 208543744 36181 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 50914 36181 2464 1147 0 38341 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 207848 KiB
Current children cumulated memory: 147796 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.19 4.18 5/267 166493
/proc/meminfo: memFree=121100840/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=232876 memory=161840 CPUtime=161.8 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 33178 0 0 0 16097 83 0 0 20 0 1 0 236299499 238465024 40460 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 58219 40460 2464 1147 0 45646 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 237068 KiB
Current children cumulated memory: 164912 KiB

[startup+222.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/267 166495
/proc/meminfo: memFree=120264476/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=238016 memory=175308 CPUtime=221.63 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 35527 0 0 0 22056 107 0 0 20 0 1 0 236299499 243728384 43827 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0

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

/proc/166488/statm: 130159 105722 2464 1147 0 117586 0
Current children cumulated CPU time: 3032.69 s
Current children cumulated vsize: 524828 KiB
Current children cumulated memory: 425960 KiB

[startup+3102.3 s]
/proc/loadavg: 4.19 4.18 4.18 5/267 166644
/proc/meminfo: memFree=94859264/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=520636 memory=422888 CPUtime=3092.48 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 71642 0 0 0 308305 943 0 0 20 0 1 0 236299499 533131264 105722 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 130159 105722 2464 1147 0 117586 0
Current children cumulated CPU time: 3092.48 s
Current children cumulated vsize: 524828 KiB
Current children cumulated memory: 425960 KiB

[startup+3162.3 s]
/proc/loadavg: 4.32 4.23 4.20 5/266 166646
/proc/meminfo: memFree=94538024/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=520892 memory=423016 CPUtime=3152.26 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 71677 0 0 0 314271 955 0 0 20 0 1 0 236299499 533393408 105754 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 130223 105754 2464 1147 0 117650 0
Current children cumulated CPU time: 3152.26 s
Current children cumulated vsize: 525084 KiB
Current children cumulated memory: 426088 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.22 4.19 5/266 166648
/proc/meminfo: memFree=94155972/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=524568 memory=427656 CPUtime=3212.03 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 72315 0 0 0 320231 972 0 0 20 0 1 0 236299499 537157632 106914 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 131142 106914 2464 1147 0 118569 0
Current children cumulated CPU time: 3212.03 s
Current children cumulated vsize: 528760 KiB
Current children cumulated memory: 430728 KiB

[startup+3282.3 s]
/proc/loadavg: 4.20 4.21 4.19 5/266 166650
/proc/meminfo: memFree=93953892/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=524568 memory=427656 CPUtime=3271.81 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 72315 0 0 0 326193 988 0 0 20 0 1 0 236299499 537157632 106914 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 131142 106914 2464 1147 0 118569 0
Current children cumulated CPU time: 3271.81 s
Current children cumulated vsize: 528760 KiB
Current children cumulated memory: 430728 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.20 4.18 5/266 166652
/proc/meminfo: memFree=93792740/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=524988 memory=427784 CPUtime=3331.59 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 72359 0 0 0 332158 1001 0 0 20 0 1 0 236299499 537587712 106946 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 131247 106946 2464 1147 0 118674 0
Current children cumulated CPU time: 3331.59 s
Current children cumulated vsize: 529180 KiB
Current children cumulated memory: 430856 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.18 4.18 5/266 166654
/proc/meminfo: memFree=93595252/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=526104 memory=428680 CPUtime=3391.37 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 72584 0 0 0 338117 1020 0 0 20 0 1 0 236299499 538730496 107170 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 131526 107170 2464 1147 0 118953 0
Current children cumulated CPU time: 3391.37 s
Current children cumulated vsize: 530296 KiB
Current children cumulated memory: 431752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.18 4.18 5/266 166656
/proc/meminfo: memFree=93375576/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=526104 memory=443528 CPUtime=3451.17 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 72605 0 0 0 344080 1037 0 0 20 0 1 0 236299499 538730496 110882 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 131526 110882 2464 1147 0 118953 0
Current children cumulated CPU time: 3451.17 s
Current children cumulated vsize: 530296 KiB
Current children cumulated memory: 446600 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.17 5/266 166658
/proc/meminfo: memFree=93233244/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=527548 memory=444552 CPUtime=3510.98 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 72888 0 0 0 350046 1052 0 0 20 0 1 0 236299499 540209152 111138 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 131887 111138 2464 1147 0 119314 0
Current children cumulated CPU time: 3510.98 s
Current children cumulated vsize: 531740 KiB
Current children cumulated memory: 447624 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.14 4.16 5/266 166660
/proc/meminfo: memFree=93027620/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=528152 memory=445064 CPUtime=3570.8 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 73039 0 0 0 356008 1072 0 0 20 0 1 0 236299499 540827648 111266 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 132038 111266 2464 1147 0 119465 0
Current children cumulated CPU time: 3570.8 s
Current children cumulated vsize: 532344 KiB
Current children cumulated memory: 448136 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 4.19 4.16 4.17 2/252 166692
/proc/meminfo: memFree=95257624/131249988 swapFree=33010416/33010684
[pid=166485] ppid=166482 vsize=4192 memory=3072 CPUtime=0 cores=5,7
/proc/166485/stat : 166485 (run-dec-break-l) S 166482 166485 165659 0 -1 4194304 237 1102 0 0 0 0 0 0 20 0 1 0 236299497 4292608 768 18446744073709551615 93897580802048 93897581696581 140735485288112 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 93897581935632 93897581983376 93897609994240 140735485290809 140735485290972 140735485290972 140735485296576 0
/proc/166485/statm: 1048 768 704 219 0 110 0
[pid=166488] ppid=166485 vsize=528152 memory=445064 CPUtime=3600.01 cores=5,7
/proc/166488/stat : 166488 (roundingsat) R 166485 166485 165659 0 -1 4194304 73039 0 0 0 358922 1079 0 0 20 0 1 0 236299499 540827648 111266 18446744073709551615 4227072 8923433 140728128546880 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 32833536 140728128551192 140728128551462 140728128551462 140728128557034 0
/proc/166488/statm: 132038 111266 2464 1147 0 119465 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 532344 KiB
Current children cumulated memory: 448136 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3611.6 s]
# the end of solver process 166485 was just reported to runsolver
# Child ended because it received signal 15 (SIGTERM)

# cumulated CPU time of all completed processes:  user=0.003421 s, system=0.00593 s

[startup+3611.6 s]
# the end of solver process 166488 was just reported to runsolver
# Child status: 2

# cumulated CPU time of all completed processes:  user=3589.24 s, system=10.801 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 2

Real time (s): 3611.6
CPU time (s): 3600.04
CPU user time (s): 3589.24
CPU system time (s): 10.801
CPU usage (%): 99.6797
Max. virtual memory (cumulated for all children) (KiB): 532344
Max. memory (cumulated for all children) (KiB): 448136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.24
system time used= 10.801
maximum resident set size= 445320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74396
page faults= 0
swaps= 0
block input operations= 0
block output operations= 13476280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 299
involuntary context switches= 21996


# summary of solver processes directly reported to runsolver:
#   pid: 166485,166488
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3589.24
#   total CPU system time (s): 10.801

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88457 second user time and 16.215 second system time

The end

Launcher Data

Begin job on nodeC031 at 2025-07-22 19:43:29
IDJOB=4541961
IDBENCH=163695
IDSOLVER=3358
FILE ID=nodeC031/4541961-1753206209
RUNJOBID= nodeC031-1753198973-165677
SLURM_JOB_ID= 9687764
Free space on /tmp= 432888 MiB

SOLVER NAME= roundingsat+pbsuma-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/diag_spec/normalized-24diag_spec_greater.opb
COMMAND LINE= run-dec-break-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541961-1753206209/watcher-4541961-1753206209 -o /tmp/evaluation-result-4541961-1753206209/solver-4541961-1753206209 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC031-1753198973-165677 --watchdog 3760 --file-size-limit 100000 run-dec-break-log.sh HOME/instance-4541961-1753206209.opb /tmp/proof-4541961-1753206209

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

MD5SUM BENCH= 873561b121a1050aedee7e68f97b01fd
RANDOM SEED=2091113130

nodeC031 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.911
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.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        124388324 kB
MemAvailable:   129546300 kB
Buffers:            2128 kB
Cached:          5843228 kB
SwapCached:            8 kB
Active:          1279652 kB
Inactive:        4709092 kB
Active(anon):     159240 kB
Inactive(anon):    10464 kB
Active(file):    1120412 kB
Inactive(file):  4698628 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             60908 kB
Writeback:             0 kB
AnonPages:        146568 kB
Mapped:           122376 kB
Shmem:             26248 kB
KReclaimable:     356352 kB
Slab:             454804 kB
SReclaimable:     356352 kB
SUnreclaim:        98452 kB
KernelStack:        4352 kB
PageTables:         3492 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     502548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150584 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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:      191188 kB
DirectMap2M:     9017344 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 396056 MiB
End job on nodeC031 at 2025-07-22 20:43:41