Trace number 4541610

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 3610.2

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-31array_alg_ineq6.opb
MD5SUM21d0ffe78b9aba15f7c4d4a17a4e20d2
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 benchmark0.454795
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2170
Total number of constraints5893
Number of constraints which are clauses5859
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints3
Minimum length of a constraint1
Maximum length of a constraint1023
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 2305843009213693952
Number of bits of the biggest number in a constraint 62
Biggest sum of numbers in a constraint 9223372036854775807
Number of bits of the biggest sum of numbers63
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.03	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.03	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.03	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.03	c │      (c) 2025 Markus Anders                                    │
0.00/0.03	c └────────────────────────────────────────────────────────────────┘
0.00/0.03	c parse 'HOME/instance-4541610-1753198973.opb'
0.00/0.04	c 	read 0.19MB  (3.08ms)
0.00/0.04	c	 [cnf: #variables 2170 #clauses 5893 #duplicates 0 #arr 15872]
0.00/0.04	c output proof to '/tmp/proof-4541610-1753198973'
0.00/0.04	c 
0.00/0.04	c make graph and approximate orbits
0.00/0.04	c	 [group: #orbits ~= 0] (3.70ms)
0.00/0.04	c 
0.00/0.04	c detect special group actions
0.00/0.04	c 	probe for Johnson action (limit=64)
0.00/0.04	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.04	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.04	c 	 (0.68ms)
0.00/0.04	c 
0.00/0.04	c detect symmetries on remainder
0.00/0.04	c 	[graph: #vertices 16431 #edges 48480]
0.00/0.04	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.04	c 	 [group: #symmetries 1.00*10^0 #generators 0] (1.00ms)
0.00/0.04	c 
0.00/0.04	c finalize break order and special generators
0.00/0.04	c 
0.00/0.04	c generation finished
0.00/0.04	c 	[sbp: #constraints 0 #add_vars 0]
0.00/0.04	c 
0.00/0.04	c write result to 'HOME/instance-4541610-1753198973.opb.pre'
0.00/0.04	c 	wrote 0.19MB (0.52ms)
0.00/0.04	c ------------------------------------------------------------------
0.00/0.04	c                   3.70ms 39.48% approx_orbits
0.00/0.04	c                   3.08ms 32.85% parse
0.00/0.04	c                   1.00ms 10.66% detect_generic
0.00/0.04	c                   0.68ms  7.28% detect_special
0.00/0.04	c                   0.52ms  5.55% output
0.00/0.04	c                   0.32ms  3.47% other
0.00/0.04	c                   0.07ms  0.71% finalize_order
0.00/0.04	c         ───────────────────────────────────────────────
0.00/0.04	c                   9.37ms   100% total
0.00/0.04	c ------------------------------------------------------------------
0.00/0.07	c RoundingSat 2
0.00/0.07	c branch pb25
0.00/0.07	c commit 63f22ad
0.02/0.10	c #variables 2170 #constraints 3973
0.02/0.11	c rational objective 30
4.50/4.64	c #Conflicts:       1000 | #Constraints:       4972
4.50/4.64	c #Conflicts:       2000 | #Constraints:       5972
4.50/4.64	c INPROCESSING
4.50/4.64	c GARBAGE COLLECT
4.50/4.64	c rational objective 30
11.79/11.91	c #Conflicts:       3000 | #Constraints:       5395
11.79/11.91	c #Conflicts:       4000 | #Constraints:       6395
11.79/11.91	c INPROCESSING
11.79/11.91	c GARBAGE COLLECT
11.79/11.91	c rational objective 30
20.27/20.45	c #Conflicts:       5000 | #Constraints:       5797
20.27/20.45	c #Conflicts:       6000 | #Constraints:       6797
20.27/20.45	c INPROCESSING
20.27/20.45	c GARBAGE COLLECT
20.27/20.45	c rational objective 30
30.04/30.29	c #Conflicts:       7000 | #Constraints:       5798
30.04/30.29	c #Conflicts:       8000 | #Constraints:       6798
30.04/30.29	c #Conflicts:       9000 | #Constraints:       7798
30.04/30.29	c INPROCESSING
30.04/30.29	c GARBAGE COLLECT
30.04/30.29	c rational objective 30
40.21/40.46	c #Conflicts:      10000 | #Constraints:       6499
40.21/40.46	c #Conflicts:      11000 | #Constraints:       7499
40.21/40.46	c #Conflicts:      12000 | #Constraints:       8499
40.21/40.46	c INPROCESSING
40.21/40.46	c GARBAGE COLLECT
40.21/40.46	c rational objective 30
52.68/52.97	c #Conflicts:      13000 | #Constraints:       6950
52.68/52.97	c #Conflicts:      14000 | #Constraints:       7950
52.68/52.97	c #Conflicts:      15000 | #Constraints:       8950
52.68/52.97	c INPROCESSING
52.68/52.97	c GARBAGE COLLECT
52.68/52.97	c rational objective 30
66.64/66.97	c #Conflicts:      16000 | #Constraints:       7177
66.64/66.97	c #Conflicts:      17000 | #Constraints:       8177
66.64/66.97	c #Conflicts:      18000 | #Constraints:       9177
66.64/66.97	c INPROCESSING
66.64/66.97	c GARBAGE COLLECT
66.64/66.97	c rational objective 30
81.80/82.15	c #Conflicts:      19000 | #Constraints:       7185
81.80/82.15	c #Conflicts:      20000 | #Constraints:       8185
81.80/82.15	c #Conflicts:      21000 | #Constraints:       9185
81.80/82.15	c INPROCESSING
81.80/82.15	c GARBAGE COLLECT
81.80/82.15	c rational objective 30
98.36/98.75	c #Conflicts:      22000 | #Constraints:       6997
98.36/98.75	c #Conflicts:      23000 | #Constraints:       7997
98.36/98.75	c #Conflicts:      24000 | #Constraints:       8997
98.36/98.75	c #Conflicts:      25000 | #Constraints:       9997
98.36/98.75	c INPROCESSING
98.36/98.75	c GARBAGE COLLECT
98.36/98.75	c rational objective 30
117.50/118.00	c #Conflicts:      26000 | #Constraints:       7600
117.50/118.00	c #Conflicts:      27000 | #Constraints:       8600
117.50/118.00	c #Conflicts:      28000 | #Constraints:       9600
117.50/118.00	c #Conflicts:      29000 | #Constraints:      10600
117.50/118.00	c INPROCESSING
117.50/118.00	c GARBAGE COLLECT
117.50/118.00	c rational objective 30
137.85/138.35	c #Conflicts:      30000 | #Constraints:       8002
137.85/138.35	c #Conflicts:      31000 | #Constraints:       9002
137.85/138.35	c #Conflicts:      32000 | #Constraints:      10002
137.85/138.35	c #Conflicts:      33000 | #Constraints:      11002
137.85/138.35	c INPROCESSING
137.85/138.35	c GARBAGE COLLECT
137.85/138.35	c rational objective 30
158.99/159.57	c #Conflicts:      34000 | #Constraints:       8204
158.99/159.57	c #Conflicts:      35000 | #Constraints:       9204
158.99/159.57	c #Conflicts:      36000 | #Constraints:      10204
158.99/159.57	c #Conflicts:      37000 | #Constraints:      11204
158.99/159.57	c INPROCESSING
158.99/159.57	c GARBAGE COLLECT
158.99/159.57	c rational objective 30
181.73/182.39	c #Conflicts:      38000 | #Constraints:       8204
181.73/182.39	c #Conflicts:      39000 | #Constraints:       9204
181.73/182.39	c #Conflicts:      40000 | #Constraints:      10204
181.73/182.39	c #Conflicts:      41000 | #Constraints:      11204
181.73/182.39	c INPROCESSING
181.73/182.39	c GARBAGE COLLECT
181.73/182.39	c rational objective 30
206.17/206.88	c #Conflicts:      42000 | #Constraints:       8003
206.17/206.88	c #Conflicts:      43000 | #Constraints:       9003
206.17/206.88	c #Conflicts:      44000 | #Constraints:      10003
206.17/206.88	c #Conflicts:      45000 | #Constraints:      11003
206.17/206.88	c #Conflicts:      46000 | #Constraints:      12003
206.17/206.88	c INPROCESSING
206.17/206.88	c GARBAGE COLLECT
206.17/206.88	c rational objective 30
233.39/234.17	c #Conflicts:      47000 | #Constraints:       8600
233.39/234.17	c #Conflicts:      48000 | #Constraints:       9600
233.39/234.17	c #Conflicts:      49000 | #Constraints:      10600
233.39/234.17	c #Conflicts:      50000 | #Constraints:      11600
233.39/234.17	c #Conflicts:      51000 | #Constraints:      12600
233.39/234.17	c INPROCESSING
233.39/234.17	c GARBAGE COLLECT
233.39/234.17	c rational objective 30
261.81/262.62	c #Conflicts:      52000 | #Constraints:       9001
261.81/262.62	c #Conflicts:      53000 | #Constraints:      10001
261.81/262.62	c #Conflicts:      54000 | #Constraints:      11001
261.81/262.62	c #Conflicts:      55000 | #Constraints:      12001
261.81/262.62	c #Conflicts:      56000 | #Constraints:      13001
261.81/262.62	c INPROCESSING
261.81/262.62	c GARBAGE COLLECT
261.81/262.62	c rational objective 31.0002
293.23/294.12	c #Conflicts:      57000 | #Constraints:       9205
293.23/294.12	c #Conflicts:      58000 | #Constraints:      10205
293.23/294.12	c #Conflicts:      59000 | #Constraints:      11205
293.23/294.12	c #Conflicts:      60000 | #Constraints:      12205
293.23/294.12	c #Conflicts:      61000 | #Constraints:      13205
293.23/294.12	c INPROCESSING
293.23/294.12	c GARBAGE COLLECT
293.23/294.12	c rational objective 34.8382
396.65/397.87	c #Conflicts:      62000 | #Constraints:       9205
396.65/397.87	c #Conflicts:      63000 | #Constraints:      10205
396.65/397.87	c #Conflicts:      64000 | #Constraints:      11205
396.65/397.87	c #Conflicts:      65000 | #Constraints:      12205
396.65/397.87	c #Conflicts:      66000 | #Constraints:      13205
396.65/397.87	c INPROCESSING
396.65/397.87	c GARBAGE COLLECT
396.65/397.87	c #Conflicts:      67000 | #Constraints:       9005
396.65/397.87	c #Conflicts:      68000 | #Constraints:      10005
396.65/397.87	c #Conflicts:      69000 | #Constraints:      11005
396.65/397.87	c #Conflicts:      70000 | #Constraints:      12005
396.65/397.87	c #Conflicts:      71000 | #Constraints:      13005
396.65/397.87	c #Conflicts:      72000 | #Constraints:      14005
396.65/397.87	c INPROCESSING
396.65/397.87	c GARBAGE COLLECT
396.65/397.87	c #Conflicts:      73000 | #Constraints:       9606
396.65/397.87	c #Conflicts:      74000 | #Constraints:      10606
396.65/397.87	c #Conflicts:      75000 | #Constraints:      11606
396.65/397.87	c #Conflicts:      76000 | #Constraints:      12606
396.65/397.87	c #Conflicts:      77000 | #Constraints:      13606
396.65/397.87	c #Conflicts:      78000 | #Constraints:      14606
396.65/397.87	c INPROCESSING
396.65/397.87	c GARBAGE COLLECT
396.65/397.87	c rational objective 35.1983
514.04/515.53	c #Conflicts:      79000 | #Constraints:      10009
514.04/515.53	c #Conflicts:      80000 | #Constraints:      11009
514.04/515.53	c #Conflicts:      81000 | #Constraints:      12009
514.04/515.53	c #Conflicts:      82000 | #Constraints:      13009
514.04/515.53	c #Conflicts:      83000 | #Constraints:      14009
514.04/515.53	c #Conflicts:      84000 | #Constraints:      15009
514.04/515.53	c INPROCESSING
514.04/515.53	c GARBAGE COLLECT
514.04/515.53	c #Conflicts:      85000 | #Constraints:      10211
514.04/515.53	c #Conflicts:      86000 | #Constraints:      11211
514.04/515.53	c #Conflicts:      87000 | #Constraints:      12211
514.04/515.53	c #Conflicts:      88000 | #Constraints:      13211
514.04/515.53	c #Conflicts:      89000 | #Constraints:      14211
514.04/515.53	c #Conflicts:      90000 | #Constraints:      15211
514.04/515.53	c INPROCESSING
514.04/515.53	c GARBAGE COLLECT
514.04/515.53	c #Conflicts:      91000 | #Constraints:      10208
514.04/515.53	c #Conflicts:      92000 | #Constraints:      11208
514.04/515.53	c #Conflicts:      93000 | #Constraints:      12208
514.04/515.53	c #Conflicts:      94000 | #Constraints:      13208
514.04/515.53	c #Conflicts:      95000 | #Constraints:      14208
514.04/515.53	c #Conflicts:      96000 | #Constraints:      15208
514.04/515.53	c INPROCESSING
514.04/515.53	c GARBAGE COLLECT
514.04/515.53	c rational objective 35.2455
821.83/824.17	c #Conflicts:      97000 | #Constraints:      10012
821.83/824.17	c #Conflicts:      98000 | #Constraints:      11012
821.83/824.17	c #Conflicts:      99000 | #Constraints:      12012
821.83/824.17	c #Conflicts:     100000 | #Constraints:      13012
821.83/824.17	c #Conflicts:     101000 | #Constraints:      14012
821.83/824.17	c #Conflicts:     102000 | #Constraints:      15012
821.83/824.17	c #Conflicts:     103000 | #Constraints:      16012
821.83/824.17	c INPROCESSING
821.83/824.17	c GARBAGE COLLECT
821.83/824.17	c #Conflicts:     104000 | #Constraints:      10611
821.83/824.17	c #Conflicts:     105000 | #Constraints:      11611
821.83/824.17	c #Conflicts:     106000 | #Constraints:      12611
821.83/824.17	c #Conflicts:     107000 | #Constraints:      13611
821.83/824.17	c #Conflicts:     108000 | #Constraints:      14611
821.83/824.17	c #Conflicts:     109000 | #Constraints:      15611
821.83/824.17	c #Conflicts:     110000 | #Constraints:      16611
821.83/824.17	c INPROCESSING
821.83/824.17	c GARBAGE COLLECT
821.83/824.17	c #Conflicts:     111000 | #Constraints:      11010
821.83/824.17	c #Conflicts:     112000 | #Constraints:      12010
821.83/824.17	c #Conflicts:     113000 | #Constraints:      13010
821.83/824.17	c #Conflicts:     114000 | #Constraints:      14010
821.83/824.17	c #Conflicts:     115000 | #Constraints:      15010
821.83/824.17	c #Conflicts:     116000 | #Constraints:      16010
821.83/824.17	c #Conflicts:     117000 | #Constraints:      17010
821.83/824.17	c INPROCESSING
821.83/824.17	c GARBAGE COLLECT
821.83/824.17	c #Conflicts:     118000 | #Constraints:      11208
821.83/824.17	c #Conflicts:     119000 | #Constraints:      12208
821.83/824.17	c #Conflicts:     120000 | #Constraints:      13208
821.83/824.17	c #Conflicts:     121000 | #Constraints:      14208
821.83/824.17	c #Conflicts:     122000 | #Constraints:      15208
821.83/824.17	c #Conflicts:     123000 | #Constraints:      16208
821.83/824.17	c #Conflicts:     124000 | #Constraints:      17208
821.83/824.17	c INPROCESSING
821.83/824.17	c GARBAGE COLLECT
821.83/824.17	c #Conflicts:     125000 | #Constraints:      11206
821.83/824.17	c #Conflicts:     126000 | #Constraints:      12206
821.83/824.17	c #Conflicts:     127000 | #Constraints:      13206
821.83/824.17	c #Conflicts:     128000 | #Constraints:      14206
821.83/824.17	c #Conflicts:     129000 | #Constraints:      15206
821.83/824.17	c #Conflicts:     130000 | #Constraints:      16206
821.83/824.17	c #Conflicts:     131000 | #Constraints:      17206
821.83/824.17	c INPROCESSING
821.83/824.17	c GARBAGE COLLECT
821.83/824.17	c #Conflicts:     132000 | #Constraints:      11007
821.83/824.17	c #Conflicts:     133000 | #Constraints:      12007
821.83/824.17	c #Conflicts:     134000 | #Constraints:      13007
821.83/824.17	c #Conflicts:     135000 | #Constraints:      14007
821.83/824.17	c #Conflicts:     136000 | #Constraints:      15007
821.83/824.17	c #Conflicts:     137000 | #Constraints:      16007
821.83/824.17	c #Conflicts:     138000 | #Constraints:      17008
821.83/824.17	c #Conflicts:     139000 | #Constraints:      18008
821.83/824.17	c INPROCESSING
821.83/824.17	c GARBAGE COLLECT
821.83/824.17	c rational objective 36.0495
1413.15/1417.19	c #Conflicts:     140000 | #Constraints:      11613
1413.15/1417.19	c #Conflicts:     141000 | #Constraints:      12613
1413.15/1417.19	c #Conflicts:     142000 | #Constraints:      13613
1413.15/1417.19	c #Conflicts:     143000 | #Constraints:      14613
1413.15/1417.19	c #Conflicts:     144000 | #Constraints:      15613
1413.15/1417.19	c #Conflicts:     145000 | #Constraints:      16613
1413.15/1417.19	c #Conflicts:     146000 | #Constraints:      17613
1413.15/1417.19	c #Conflicts:     147000 | #Constraints:      18613
1413.15/1417.19	c INPROCESSING
1413.15/1417.19	c GARBAGE COLLECT
1413.15/1417.19	c #Conflicts:     148000 | #Constraints:      12012
1413.15/1417.19	c #Conflicts:     149000 | #Constraints:      13012
1413.15/1417.19	c #Conflicts:     150000 | #Constraints:      14012
1413.15/1417.19	c #Conflicts:     151000 | #Constraints:      15013
1413.15/1417.19	c #Conflicts:     152000 | #Constraints:      16013
1413.15/1417.19	c #Conflicts:     153000 | #Constraints:      17013
1413.15/1417.19	c #Conflicts:     154000 | #Constraints:      18013
1413.15/1417.19	c #Conflicts:     155000 | #Constraints:      19013
1413.15/1417.19	c INPROCESSING
1413.15/1417.19	c GARBAGE COLLECT
1413.15/1417.19	c #Conflicts:     156000 | #Constraints:      12213
1413.15/1417.19	c #Conflicts:     157000 | #Constraints:      13213
1413.15/1417.19	c #Conflicts:     158000 | #Constraints:      14213
1413.15/1417.19	c #Conflicts:     159000 | #Constraints:      15213
1413.15/1417.19	c #Conflicts:     160000 | #Constraints:      16213
1413.15/1417.19	c #Conflicts:     161000 | #Constraints:      17213
1413.15/1417.19	c #Conflicts:     162000 | #Constraints:      18213
1413.15/1417.19	c #Conflicts:     163000 | #Constraints:      19213
1413.15/1417.19	c INPROCESSING
1413.15/1417.19	c GARBAGE COLLECT
1413.15/1417.19	c #Conflicts:     164000 | #Constraints:      12210
1413.15/1417.19	c #Conflicts:     165000 | #Constraints:      13210
1413.15/1417.19	c #Conflicts:     166000 | #Constraints:      14210
1413.15/1417.19	c #Conflicts:     167000 | #Constraints:      15211
1413.15/1417.19	c #Conflicts:     168000 | #Constraints:      16211
1413.15/1417.19	c #Conflicts:     169000 | #Constraints:      17211
1413.15/1417.19	c #Conflicts:     170000 | #Constraints:      18211
1413.15/1417.19	c #Conflicts:     171000 | #Constraints:      19211
1413.15/1417.19	c INPROCESSING
1413.15/1417.19	c GARBAGE COLLECT
1413.15/1417.19	c #Conflicts:     172000 | #Constraints:      12010
1413.15/1417.19	c #Conflicts:     173000 | #Constraints:      13010
1413.15/1417.19	c #Conflicts:     174000 | #Constraints:      14010
1413.15/1417.19	c #Conflicts:     175000 | #Constraints:      15010
1413.15/1417.19	c #Conflicts:     176000 | #Constraints:      16010
1413.15/1417.19	c #Conflicts:     177000 | #Constraints:      17010
1413.15/1417.19	c #Conflicts:     178000 | #Constraints:      18010
1413.15/1417.19	c #Conflicts:     179000 | #Constraints:      19010
1413.15/1417.19	c #Conflicts:     180000 | #Constraints:      20010
1413.15/1417.19	c INPROCESSING
1413.15/1417.19	c GARBAGE COLLECT
1413.15/1417.19	c #Conflicts:     181000 | #Constraints:      12612
1413.15/1417.19	c #Conflicts:     182000 | #Constraints:      13612
1413.15/1417.19	c #Conflicts:     183000 | #Constraints:      14612
1413.15/1417.19	c #Conflicts:     184000 | #Constraints:      15612
1413.15/1417.19	c #Conflicts:     185000 | #Constraints:      16612
1413.15/1417.19	c #Conflicts:     186000 | #Constraints:      17612
1413.15/1417.19	c #Conflicts:     187000 | #Constraints:      18612
1413.15/1417.19	c #Conflicts:     188000 | #Constraints:      19612
1413.15/1417.19	c #Conflicts:     189000 | #Constraints:      20612
1413.15/1417.19	c INPROCESSING
1413.15/1417.19	c GARBAGE COLLECT
1413.15/1417.19	c #Conflicts:     190000 | #Constraints:      13009
1413.15/1417.19	c #Conflicts:     191000 | #Constraints:      14009
1413.15/1417.19	c #Conflicts:     192000 | #Constraints:      15009
1413.15/1417.19	c #Conflicts:     193000 | #Constraints:      16009
1413.15/1417.19	c #Conflicts:     194000 | #Constraints:      17009
1413.15/1417.19	c #Conflicts:     195000 | #Constraints:      18009
1413.15/1417.19	c #Conflicts:     196000 | #Constraints:      19009
1413.15/1417.19	c #Conflicts:     197000 | #Constraints:      20009
1413.15/1417.19	c #Conflicts:     198000 | #Constraints:      21009
1413.15/1417.19	c INPROCESSING
1413.15/1417.19	c GARBAGE COLLECT
1413.15/1417.19	c #Conflicts:     199000 | #Constraints:      13212
1413.15/1417.19	c #Conflicts:     200000 | #Constraints:      14212
1413.15/1417.19	c #Conflicts:     201000 | #Constraints:      15212
1413.15/1417.19	c #Conflicts:     202000 | #Constraints:      16212
1413.15/1417.19	c #Conflicts:     203000 | #Constraints:      17212
1413.15/1417.19	c #Conflicts:     204000 | #Constraints:      18212
1413.15/1417.19	c #Conflicts:     205000 | #Constraints:      19212
1413.15/1417.19	c #Conflicts:     206000 | #Constraints:      20212
1413.15/1417.19	c #Conflicts:     207000 | #Constraints:      21212
1413.15/1417.19	c INPROCESSING
1413.15/1417.19	c GARBAGE COLLECT
1413.15/1417.19	c rational objective 36.0495
1627.69/1632.30	c #Conflicts:     208000 | #Constraints:      13214
1627.69/1632.30	c #Conflicts:     209000 | #Constraints:      14214
1627.69/1632.30	c #Conflicts:     210000 | #Constraints:      15214
1627.69/1632.30	c #Conflicts:     211000 | #Constraints:      16214
1627.69/1632.30	c #Conflicts:     212000 | #Constraints:      17214
1627.69/1632.30	c #Conflicts:     213000 | #Constraints:      18214
1627.69/1632.30	c #Conflicts:     214000 | #Constraints:      19214
1627.69/1632.30	c #Conflicts:     215000 | #Constraints:      20214
1627.69/1632.30	c #Conflicts:     216000 | #Constraints:      21214
1627.69/1632.30	c INPROCESSING
1627.69/1632.30	c GARBAGE COLLECT
1627.69/1632.30	c #Conflicts:     217000 | #Constraints:      13012
1627.69/1632.30	c #Conflicts:     218000 | #Constraints:      14012
1627.69/1632.30	c #Conflicts:     219000 | #Constraints:      15012
1627.69/1632.30	c #Conflicts:     220000 | #Constraints:      16012
1627.69/1632.30	c #Conflicts:     221000 | #Constraints:      17012
1627.69/1632.30	c #Conflicts:     222000 | #Constraints:      18012
1627.69/1632.30	c #Conflicts:     223000 | #Constraints:      19012
1627.69/1632.30	c #Conflicts:     224000 | #Constraints:      20012
1627.69/1632.30	c #Conflicts:     225000 | #Constraints:      21012
1627.69/1632.30	c #Conflicts:     226000 | #Constraints:      22012
1627.69/1632.30	c INPROCESSING
1627.69/1632.30	c GARBAGE COLLECT
1627.69/1632.30	WSVECS04 Frhs2[111]: 6 0 2.42523 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[124]: 6 -28.5974 0 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[125]: 6 0 0.222904 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[127]: 6 0 0.222925 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[128]: 6 0 0.222907 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[132]: 6 0 0.222957 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[133]: 6 0 0.222936 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[134]: 6 0 0.222942 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[135]: 6 0 0.222909 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[136]: 6 0 0.222924 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[138]: 6 0 0.22294 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[139]: 6 0 0.222924 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[140]: 6 0 0.222907 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[144]: 6 0 0.222946 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[145]: 6 0 0.222903 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[147]: 6 0 0.222941 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[148]: 6 0 0.222944 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[149]: 6 0 0.222957 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[150]: 6 0 0.222954 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[151]: 6 0 0.222917 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[152]: 6 0 0.222915 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[162]: 6 0 0.222958 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[163]: 6 0 0.222929 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[168]: 6 0 0.262535 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[169]: 6 0 0.222926 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[170]: 6 0 0.22295 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[171]: 6 0 0.222917 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[172]: 6 0 0.250728 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[175]: 6 0 0.222905 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[176]: 6 0 0.222923 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[177]: 6 0 0.222953 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[179]: 6 0 0.222908 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[180]: 6 0 0.222949 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[184]: 6 0 0.222934 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[188]: 6 0 0.222933 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[189]: 6 0 0.222905 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[190]: 6 0 0.222961 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[191]: 6 0 0.22295 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[193]: 6 0 0.222907 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[194]: 6 0 0.222902 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[195]: 6 0 0.222905 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[196]: 6 0 0.222925 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[197]: 6 0 0.222944 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[198]: 6 0 0.222931 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[199]: 6 0 0.222949 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[200]: 6 0 0.222922 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[203]: 6 0 0.222934 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[204]: 6 0 0.222904 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[205]: 6 0 0.222924 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[206]: 6 0 0.222915 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[207]: 6 0 0.222939 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[210]: 6 0 0.222907 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[212]: 6 0 0.222908 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[225]: 6 0 0.222903 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[230]: 6 0 0.222986 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[233]: 6 0 0.222952 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[234]: 6 0 0.222933 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[236]: 6 0 0.222937 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[237]: 6 0 0.222951 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[239]: 6 0 0.222949 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[240]: 6 0 0.222954 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[242]: 6 0 0.222918 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[246]: 6 0 0.222993 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[249]: 6 0 0.222949 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[250]: 6 0 0.22291 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[251]: 6 0 0.22291 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[253]: 6 0 0.22294 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[255]: 6 0 0.222961 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[256]: 6 0 0.222951 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[257]: 6 0 0.222942 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[260]: 6 0 0.222932 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[262]: 6 0 0.222955 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[263]: 6 0 0.222908 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[264]: 6 0 0.222942 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[266]: 6 0 0.222928 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[267]: 6 0 0.222957 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[268]: 6 0 0.222929 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[269]: 6 0 0.222953 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[270]: 6 0 0.222943 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[271]: 6 0 0.222916 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[272]: 6 0 0.22294 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[286]: 6 0 0.222907 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[287]: 6 0 0.222929 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[291]: 6 0 0.222957 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[292]: 6 0 0.222965 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[295]: 6 0 0.222932 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[296]: 6 0 0.222917 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[298]: 6 0 0.222911 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[301]: 6 0 0.222909 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[302]: 6 0 0.222958 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[305]: 6 0 0.294885 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[308]: 6 0 0.223254 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[311]: 6 0 0.22295 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[312]: 6 0 0.222951 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[313]: 6 0 0.222954 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[314]: 6 0 0.222948 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[315]: 6 0 0.222936 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[316]: 6 0 0.222912 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[317]: 6 0 0.222905 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[318]: 6 0 0.222957 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[319]: 6 0 0.222939 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[320]: 6 0 0.222935 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[321]: 6 0 0.222942 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[323]: 6 0 0.222946 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[324]: 6 0 0.222926 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[327]: 6 0 0.222951 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[328]: 6 0 0.222916 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[330]: 6 0 0.222933 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[332]: 6 0 0.22293 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[348]: 6 0 0.222954 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[353]: 6 0 0.222939 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[354]: 6 0 0.222963 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[355]: 6 0 0.222932 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[356]: 6 0 0.222962 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[357]: 6 0 0.222981 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[358]: 6 0 0.222972 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[361]: 6 0 0.222984 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[362]: 6 0 0.222964 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[370]: 6 0 0.224241 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[373]: 6 0 0.222914 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[375]: 6 0 0.222954 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[376]: 6 0 0.222919 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[377]: 6 0 0.222923 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[378]: 6 0 0.222938 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[379]: 6 0 0.222908 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[380]: 6 0 0.222912 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[381]: 6 0 0.222919 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[382]: 6 0 0.222939 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[383]: 6 0 0.222943 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[384]: 6 0 0.222927 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[385]: 6 0 0.222931 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[386]: 6 0 0.22293 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[387]: 6 0 0.222914 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[388]: 6 0 0.222946 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[389]: 6 0 0.222954 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[391]: 6 0 0.222908 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[392]: 6 0 0.222957 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[410]: 6 0 0.222947 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[411]: 6 0 0.222904 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[415]: 6 0 0.222931 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[417]: 6 0 0.222953 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[418]: 6 0 0.222943 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[419]: 6 0 0.222931 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[420]: 6 0 0.222931 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[422]: 6 0 0.222934 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[432]: 6 0 0.229251 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[439]: 6 0 0.22293 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[440]: 6 0 0.222955 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[441]: 6 0 0.222942 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[442]: 6 0 0.222904 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[448]: 6 0 0.222902 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[449]: 6 0 0.222928 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[450]: 6 0 0.222952 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[451]: 6 0 0.222913 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[452]: 6 0 0.222931 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[472]: 6 0 0.222904 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[473]: 6 0 0.222949 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[478]: 6 0 0.222962 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[481]: 6 0 0.222974 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[482]: 6 0 0.222938 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[488]: 6 0 0.295081 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[494]: 6 0 0.248148 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[497]: 6 0 0.222961 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[498]: 6 0 0.222911 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[499]: 6 0 0.222927 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[501]: 6 0 0.222927 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[502]: 6 0 0.222949 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[504]: 6 0 0.222907 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[506]: 6 0 0.222935 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[507]: 6 0 0.222962 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[508]: 6 0 0.222919 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[509]: 6 0 0.222947 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[531]: 6 0 0.222923 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[534]: 6 0 0.22294 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[535]: 6 0 0.222937 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[539]: 6 0 0.22292 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[540]: 6 0 0.222912 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[556]: 6 0 0.323823 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[559]: 6 0 0.222903 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[560]: 6 0 0.222928 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[561]: 6 0 0.222945 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[562]: 6 0 0.222914 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[564]: 6 0 0.222929 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[565]: 6 0 0.222945 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[567]: 6 0 0.222944 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[572]: 6 0 0.222938 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[593]: 6 0 0.22296 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[596]: 6 0 0.222906 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[597]: 6 0 0.222943 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[600]: 6 0 0.222972 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[601]: 6 0 0.222932 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[602]: 6 0 0.222972 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[612]: 6 0 0.229241 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[613]: 6 0 0.235582 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[618]: 6 0 0.48873 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[621]: 6 0 0.222962 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[623]: 6 0 0.222954 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[625]: 6 0 0.22294 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[626]: 6 0 0.222914 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[629]: 6 0 0.222932 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[630]: 6 0 0.22296 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[631]: 6 0 0.222955 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[655]: 6 0 0.222944 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[659]: 6 0 0.222958 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[661]: 6 0 0.222976 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[680]: 6 0 1.37261 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[687]: 6 0 0.222958 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[688]: 6 0 0.222904 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[689]: 6 0 0.222929 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[690]: 6 0 0.222912 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[691]: 6 0 0.222952 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[692]: 6 0 0.22295 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[717]: 6 0 0.222951 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[720]: 6 0 0.222932 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[721]: 6 0 0.222953 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[742]: 6 0 2.74988 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[746]: 6 0 0.222947 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[747]: 6 0 0.222908 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[748]: 6 0 0.222918 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[749]: 6 0 0.222958 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[750]: 6 0 0.222955 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[751]: 6 0 0.222936 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[752]: 6 0 0.222938 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[776]: 6 0 0.222962 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[779]: 6 0 0.222913 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[798]: 6 0 0.488757 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[803]: 6 0 0.757823 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[808]: 6 0 0.22291 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[811]: 6 0 0.222916 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[838]: 6 0 0.222963 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[841]: 6 0 0.222957 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[850]: 6 0 0.22665 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[869]: 6 0 0.222941 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[870]: 6 0 0.222943 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[871]: 6 0 0.222938 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[872]: 6 0 0.222931 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[900]: 6 0 0.222962 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[908]: 6 0 0.223311 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[931]: 6 0 0.222944 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[932]: 6 0 0.222921 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[962]: 6 0 0.22299 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[965]: 6 0 0.222983 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[966]: 6 0 0.223004 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[977]: 6 0 0.37374 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[991]: 6 -4.72598 0 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[992]: 6 -8.34576 0 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1024]: 6 0 0.222987 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1025]: 6 0 0.223009 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1032]: 6 0 0.228111 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1054]: 6 -42.8626 0 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1135]: 6 0 0.072059 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1145]: 6 0 0.00451706 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1202]: 6 0 0.000174364 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1207]: 6 0 0.0178607 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1269]: 6 0 0.0714885 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1322]: 6 0 0.00020345 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1331]: 6 0 0.240996 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1384]: 6 0 0.00230849 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1393]: 6 0 0.748087 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1443]: 6 0 0.00115481 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1450]: 6 0 0.142894 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1455]: 6 0 0.875848 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1512]: 6 0 0.410028 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1517]: 6 0 1.2382 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1563]: 6 0 0.000290362 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1568]: 6 0 0.0357923 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1574]: 6 0 1.38655 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1576]: 6 0 0.133492 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1579]: 6 0 2.38454 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1622]: 6 0 0.000169778 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1625]: 6 0 0.000982082 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1630]: 6 0 0.142863 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1685]: 6 0 0.000996296 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1687]: 6 0 0.00382399 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1692]: 6 0 0.410024 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1742]: 6 0 0.00017425 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1745]: 6 0 0.000900494 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1746]: 6 0 0.0019546 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1747]: 6 0 0.00386314 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1749]: 6 0 0.0156153 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1754]: 6 0 1.39069 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1802]: 6 0 0.000187367 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1803]: 6 0 0.000242153 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1807]: 6 0 0.00340762 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1808]: 6 0 0.00671452 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1809]: 6 0 0.0156353 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1862]: 6 0 0.000164212 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1863]: 6 0 0.000242574 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1865]: 6 0 0.000855791 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1866]: 6 0 0.00174315 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1869]: 6 0 0.0136266 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1870]: 6 0 0.0311978 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1876]: 6 0 0.117252 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1878]: 6 0 2.45428 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1881]: 6 0 2.0371 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1887]: 6 0 1.27434 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1923]: 6 0 0.000256142 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1924]: 6 0 0.000482355 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1925]: 6 0 0.000912513 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1926]: 6 0 0.00175959 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1927]: 6 0 0.00336512 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1928]: 6 0 0.00674521 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1931]: 6 0 0.0542975 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1940]: 6 0 2.22359 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1952]: 6 -15.8184 0 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1953]: 6 -31.5313 0 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1985]: 6 0 0.000903204 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1986]: 6 0 0.00169564 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1987]: 6 0 0.00340045 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1988]: 6 0 0.00667496 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1989]: 6 0 0.0156635 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1990]: 6 0 0.0271322 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1994]: 6 0 0.498272 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[1995]: 6 0 0.867585 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[2002]: 6 0 2.46037 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[2015]: 6 -120.922 0 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[2106]: 6 0 0.0365747 shouldn't be
1627.69/1632.30	WSVECS04 Frhs2[2107]: 6 0 0.0754531 shouldn't be
2440.38/2447.39	c #Conflicts:     227000 | #Constraints:      13611
2440.38/2447.39	c #Conflicts:     228000 | #Constraints:      14611
2440.38/2447.39	c #Conflicts:     229000 | #Constraints:      15611
2440.38/2447.39	c #Conflicts:     230000 | #Constraints:      16611
2440.38/2447.39	c #Conflicts:     231000 | #Constraints:      17611
2440.38/2447.39	c #Conflicts:     232000 | #Constraints:      18611
2440.38/2447.39	c #Conflicts:     233000 | #Constraints:      19611
2440.38/2447.39	c #Conflicts:     234000 | #Constraints:      20611
2440.38/2447.39	c #Conflicts:     235000 | #Constraints:      21611
2440.38/2447.39	c #Conflicts:     236000 | #Constraints:      22611
2440.38/2447.39	c INPROCESSING
2440.38/2447.39	c GARBAGE COLLECT
2440.38/2447.39	c #Conflicts:     237000 | #Constraints:      14015
2440.38/2447.39	c #Conflicts:     238000 | #Constraints:      15015
2440.38/2447.39	c #Conflicts:     239000 | #Constraints:      16015
2440.38/2447.39	c #Conflicts:     240000 | #Constraints:      17015
2440.38/2447.39	c #Conflicts:     241000 | #Constraints:      18015
2440.38/2447.39	c #Conflicts:     242000 | #Constraints:      19015
2440.38/2447.39	c #Conflicts:     243000 | #Constraints:      20015
2440.38/2447.39	c #Conflicts:     244000 | #Constraints:      21015
2440.38/2447.39	c #Conflicts:     245000 | #Constraints:      22015
2440.38/2447.39	c #Conflicts:     246000 | #Constraints:      23015
2440.38/2447.39	c INPROCESSING
2440.38/2447.39	c GARBAGE COLLECT
2440.38/2447.39	c #Conflicts:     247000 | #Constraints:      14219
2440.38/2447.39	c #Conflicts:     248000 | #Constraints:      15219
2440.38/2447.39	c #Conflicts:     249000 | #Constraints:      16219
2440.38/2447.39	c #Conflicts:     250000 | #Constraints:      17219
2440.38/2447.39	c #Conflicts:     251000 | #Constraints:      18219
2440.38/2447.39	c #Conflicts:     252000 | #Constraints:      19219
2440.38/2447.39	c #Conflicts:     253000 | #Constraints:      20219
2440.38/2447.39	c #Conflicts:     254000 | #Constraints:      21219
2440.38/2447.39	c #Conflicts:     255000 | #Constraints:      22219
2440.38/2447.39	c #Conflicts:     256000 | #Constraints:      23219
2440.38/2447.39	c INPROCESSING
2440.38/2447.39	c GARBAGE COLLECT
2440.38/2447.39	c #Conflicts:     257000 | #Constraints:      14218
2440.38/2447.39	c #Conflicts:     258000 | #Constraints:      15218
2440.38/2447.39	c #Conflicts:     259000 | #Constraints:      16218
2440.38/2447.39	c #Conflicts:     260000 | #Constraints:      17218
2440.38/2447.39	c #Conflicts:     261000 | #Constraints:      18218
2440.38/2447.39	c #Conflicts:     262000 | #Constraints:      19218
2440.38/2447.39	c #Conflicts:     263000 | #Constraints:      20218
2440.38/2447.39	c #Conflicts:     264000 | #Constraints:      21218
2440.38/2447.39	c #Conflicts:     265000 | #Constraints:      22218
2440.38/2447.39	c #Conflicts:     266000 | #Constraints:      23218
2440.38/2447.39	c INPROCESSING
2440.38/2447.39	c GARBAGE COLLECT
2440.38/2447.39	c #Conflicts:     267000 | #Constraints:      14014
2440.38/2447.39	c #Conflicts:     268000 | #Constraints:      15014
2440.38/2447.39	c #Conflicts:     269000 | #Constraints:      16014
2440.38/2447.39	c #Conflicts:     270000 | #Constraints:      17014
2440.38/2447.39	c #Conflicts:     271000 | #Constraints:      18014
2440.38/2447.39	c #Conflicts:     272000 | #Constraints:      19014
2440.38/2447.39	c #Conflicts:     273000 | #Constraints:      20014
2440.38/2447.39	c #Conflicts:     274000 | #Constraints:      21014
2440.38/2447.39	c #Conflicts:     275000 | #Constraints:      22014
2440.38/2447.39	c #Conflicts:     276000 | #Constraints:      23014
2440.38/2447.39	c #Conflicts:     277000 | #Constraints:      24014
2440.38/2447.39	c INPROCESSING
2440.38/2447.39	c GARBAGE COLLECT
2440.38/2447.39	c #Conflicts:     278000 | #Constraints:      14615
2440.38/2447.39	c #Conflicts:     279000 | #Constraints:      15616
2440.38/2447.39	c #Conflicts:     280000 | #Constraints:      16616
2440.38/2447.39	c #Conflicts:     281000 | #Constraints:      17616
2440.38/2447.39	c #Conflicts:     282000 | #Constraints:      18616
2440.38/2447.39	c #Conflicts:     283000 | #Constraints:      19616
2440.38/2447.39	c #Conflicts:     284000 | #Constraints:      20616
2440.38/2447.39	c #Conflicts:     285000 | #Constraints:      21616
2440.38/2447.39	c #Conflicts:     286000 | #Constraints:      22616
2440.38/2447.39	c #Conflicts:     287000 | #Constraints:      23616
2440.38/2447.39	c #Conflicts:     288000 | #Constraints:      24616
2440.38/2447.39	c INPROCESSING
2440.38/2447.39	c GARBAGE COLLECT
2440.38/2447.39	c #Conflicts:     289000 | #Constraints:      15012
2440.38/2447.39	c #Conflicts:     290000 | #Constraints:      16012
2440.38/2447.39	c #Conflicts:     291000 | #Constraints:      17012
2440.38/2447.39	c #Conflicts:     292000 | #Constraints:      18012
2440.38/2447.39	c #Conflicts:     293000 | #Constraints:      19012
2440.38/2447.39	c #Conflicts:     294000 | #Constraints:      20012
2440.38/2447.39	c #Conflicts:     295000 | #Constraints:      21012
2440.38/2447.39	c #Conflicts:     296000 | #Constraints:      22012
2440.38/2447.39	c #Conflicts:     297000 | #Constraints:      23012
2440.38/2447.39	c #Conflicts:     298000 | #Constraints:      24012
2440.38/2447.39	c #Conflicts:     299000 | #Constraints:      25012
2440.38/2447.39	c INPROCESSING
2440.38/2447.39	c GARBAGE COLLECT
2440.38/2447.39	c #Conflicts:     300000 | #Constraints:      15219
2440.38/2447.39	c #Conflicts:     301000 | #Constraints:      16219
2675.25/2682.89	c #Conflicts:     302000 | #Constraints:      17219
2675.25/2682.89	c #Conflicts:     303000 | #Constraints:      18219
2675.25/2682.89	c #Conflicts:     304000 | #Constraints:      19219
2675.25/2682.89	c #Conflicts:     305000 | #Constraints:      20219
2675.25/2682.89	c #Conflicts:     306000 | #Constraints:      21219
2675.25/2682.89	c #Conflicts:     307000 | #Constraints:      22219
2675.25/2682.89	c #Conflicts:     308000 | #Constraints:      23220
2675.25/2682.89	c #Conflicts:     309000 | #Constraints:      24221
2675.25/2682.89	c #Conflicts:     310000 | #Constraints:      25221
2675.25/2682.89	c INPROCESSING
2675.25/2682.89	c GARBAGE COLLECT
2675.25/2682.89	c #Conflicts:     311000 | #Constraints:      15221
2675.25/2682.89	c #Conflicts:     312000 | #Constraints:      16221
2675.25/2682.89	c #Conflicts:     313000 | #Constraints:      17222
2675.25/2682.89	c #Conflicts:     314000 | #Constraints:      18222
2675.25/2682.89	c #Conflicts:     315000 | #Constraints:      19222
2675.25/2682.89	c #Conflicts:     316000 | #Constraints:      20222
2675.25/2682.89	c #Conflicts:     317000 | #Constraints:      21222
2675.25/2682.89	c #Conflicts:     318000 | #Constraints:      22222
2675.25/2682.89	c #Conflicts:     319000 | #Constraints:      23222
2675.25/2682.89	c #Conflicts:     320000 | #Constraints:      24222
2675.25/2682.89	c #Conflicts:     321000 | #Constraints:      25222
2675.25/2682.89	c INPROCESSING
2675.25/2682.89	c GARBAGE COLLECT
2675.25/2682.89	c rational objective 36.0495
3554.44/3564.59	c #Conflicts:     322000 | #Constraints:      15016
3554.44/3564.59	c #Conflicts:     323000 | #Constraints:      16017
3554.44/3564.59	c #Conflicts:     324000 | #Constraints:      17017
3554.44/3564.59	c #Conflicts:     325000 | #Constraints:      18018
3554.44/3564.59	c #Conflicts:     326000 | #Constraints:      19018
3554.44/3564.59	c #Conflicts:     327000 | #Constraints:      20018
3554.44/3564.59	c #Conflicts:     328000 | #Constraints:      21018
3554.44/3564.59	c #Conflicts:     329000 | #Constraints:      22018
3554.44/3564.59	c #Conflicts:     330000 | #Constraints:      23018
3554.44/3564.59	c #Conflicts:     331000 | #Constraints:      24018
3554.44/3564.59	c #Conflicts:     332000 | #Constraints:      25018
3554.44/3564.59	c #Conflicts:     333000 | #Constraints:      26018
3554.44/3564.59	c INPROCESSING
3554.44/3564.59	c GARBAGE COLLECT
3554.44/3564.59	c #Conflicts:     334000 | #Constraints:      15606
3554.44/3564.59	c #Conflicts:     335000 | #Constraints:      16606
3554.44/3564.59	c #Conflicts:     336000 | #Constraints:      17606
3554.44/3564.59	c #Conflicts:     337000 | #Constraints:      18606
3554.44/3564.59	c #Conflicts:     338000 | #Constraints:      19606
3554.44/3564.59	c #Conflicts:     339000 | #Constraints:      20606
3554.44/3564.59	c #Conflicts:     340000 | #Constraints:      21607
3554.44/3564.59	c #Conflicts:     341000 | #Constraints:      22607
3554.44/3564.59	c #Conflicts:     342000 | #Constraints:      23607
3554.44/3564.59	c #Conflicts:     343000 | #Constraints:      24607
3554.44/3564.59	c #Conflicts:     344000 | #Constraints:      25607
3554.44/3564.59	c #Conflicts:     345000 | #Constraints:      26607
3554.44/3564.59	c INPROCESSING
3554.44/3564.59	c GARBAGE COLLECT
3554.44/3564.59	c #Conflicts:     346000 | #Constraints:      16004
3554.44/3564.59	c #Conflicts:     347000 | #Constraints:      17004
3554.44/3564.59	c #Conflicts:     348000 | #Constraints:      18004
3554.44/3564.59	c #Conflicts:     349000 | #Constraints:      19004
3554.44/3564.59	c #Conflicts:     350000 | #Constraints:      20004
3554.44/3564.59	c #Conflicts:     351000 | #Constraints:      21005
3554.44/3564.59	c #Conflicts:     352000 | #Constraints:      22005
3554.44/3564.59	c #Conflicts:     353000 | #Constraints:      23005
3554.44/3564.59	c #Conflicts:     354000 | #Constraints:      24005
3554.44/3564.59	c #Conflicts:     355000 | #Constraints:      25005
3554.44/3564.59	c #Conflicts:     356000 | #Constraints:      26006
3554.44/3564.59	c #Conflicts:     357000 | #Constraints:      27006
3554.44/3564.59	c INPROCESSING
3554.44/3564.59	c GARBAGE COLLECT
3554.44/3564.59	c #Conflicts:     358000 | #Constraints:      16204
3554.44/3564.59	c #Conflicts:     359000 | #Constraints:      17204
3554.44/3564.59	c #Conflicts:     360000 | #Constraints:      18204
3554.44/3564.59	c #Conflicts:     361000 | #Constraints:      19204
3554.44/3564.59	c #Conflicts:     362000 | #Constraints:      20204
3554.44/3564.59	c #Conflicts:     363000 | #Constraints:      21204
3554.44/3564.59	c #Conflicts:     364000 | #Constraints:      22204
3554.44/3564.59	c #Conflicts:     365000 | #Constraints:      23204
3554.44/3564.59	c #Conflicts:     366000 | #Constraints:      24204
3554.44/3564.59	c #Conflicts:     367000 | #Constraints:      25204
3554.44/3564.59	c #Conflicts:     368000 | #Constraints:      26204
3554.44/3564.59	c #Conflicts:     369000 | #Constraints:      27204
3554.44/3564.59	c INPROCESSING
3554.44/3564.59	c GARBAGE COLLECT
3554.44/3564.59	c #Conflicts:     370000 | #Constraints:      16205
3554.44/3564.59	c #Conflicts:     371000 | #Constraints:      17205
3554.44/3564.59	c #Conflicts:     372000 | #Constraints:      18205
3554.44/3564.59	c #Conflicts:     373000 | #Constraints:      19205
3554.44/3564.59	c #Conflicts:     374000 | #Constraints:      20205
3554.44/3564.59	c #Conflicts:     375000 | #Constraints:      21205
3554.44/3564.59	c #Conflicts:     376000 | #Constraints:      22205
3554.44/3564.59	c #Conflicts:     377000 | #Constraints:      23205
3554.44/3564.59	c #Conflicts:     378000 | #Constraints:      24205
3554.44/3564.59	c #Conflicts:     379000 | #Constraints:      25205
3554.44/3564.59	c #Conflicts:     380000 | #Constraints:      26205
3554.44/3564.59	c #Conflicts:     381000 | #Constraints:      27205
3554.44/3564.59	c INPROCESSING
3554.44/3564.59	c GARBAGE COLLECT
3554.44/3564.59	c #Conflicts:     382000 | #Constraints:      16008
3554.44/3564.59	c #Conflicts:     383000 | #Constraints:      17008
3554.44/3564.59	c #Conflicts:     384000 | #Constraints:      18008
3554.44/3564.59	c #Conflicts:     385000 | #Constraints:      19008
3554.44/3564.59	c #Conflicts:     386000 | #Constraints:      20008
3554.44/3564.59	c #Conflicts:     387000 | #Constraints:      21008
3554.44/3564.59	c #Conflicts:     388000 | #Constraints:      22008
3554.44/3564.59	c #Conflicts:     389000 | #Constraints:      23008
3554.44/3564.59	c #Conflicts:     390000 | #Constraints:      24008
3554.44/3564.59	c #Conflicts:     391000 | #Constraints:      25008
3554.44/3564.59	c #Conflicts:     392000 | #Constraints:      26008
3554.44/3564.59	c #Conflicts:     393000 | #Constraints:      27008
3554.44/3564.59	c #Conflicts:     394000 | #Constraints:      28008
3554.44/3564.59	c INPROCESSING
3554.44/3564.59	c GARBAGE COLLECT
3554.44/3564.59	c #Conflicts:     395000 | #Constraints:      16609
3554.44/3564.59	c #Conflicts:     396000 | #Constraints:      17609
3600.01/3610.20	c #Conflicts:     397000 | #Constraints:      18609
3600.01/3610.20	c #Conflicts:     398000 | #Constraints:      19609
3600.01/3610.20	c #Conflicts:     399000 | #Constraints:      20609
3600.01/3610.20	c #Conflicts:     400000 | #Constraints:      21609
3600.01/3610.20	c cpu time 3579.17 s
3600.01/3610.20	c deterministic time 818418120980 8.18e+11
3600.01/3610.20	c optimization time 63.5553 s
3600.01/3610.20	c total solve time 3515.58 s
3600.01/3610.20	c core-guided solve time 0 s
3600.01/3610.20	c propagation time 2653.78 s
3600.01/3610.20	c conflict analysis time 799.195 s
3600.01/3610.20	c propagations 62600637
3600.01/3610.20	c resolve steps 17853443
3600.01/3610.20	c decisions 481213
3600.01/3610.20	c conflicts 400071
3600.01/3610.20	c restarts 970
3600.01/3610.20	c inprocessing phases 54
3600.01/3610.20	c garbage collections 54 ,( 100.00 )
3600.01/3610.20	c input clauses 3968 ,( 99.87 )
3600.01/3610.20	c input cardinalities 0 ,( 0.00 )
3600.01/3610.20	c input general constraints 5 ,( 0.13 )
3600.01/3610.20	c input average constraint length 3.06
3600.01/3610.20	c input average constraint degree 5803783056518250.00
3600.01/3610.20	c learned clauses 848 ,( 0.21 )
3600.01/3610.20	c learned cardinalities 2 ,( 0.00 )
3600.01/3610.20	c learned general constraints 399240 ,( 99.79 )
3600.01/3610.20	c learned average constraint length 539.20
3600.01/3610.20	c learned average constraint degree 1088358319.85
3600.01/3610.20	c watched  CF 32, 64, 128, Arb: 121 , 0 , 0 , 0
3600.01/3610.20	c counting CF 32, 64, 128, Arb: 399119 , 0 , 5 , 0
3600.01/3610.20	c watched   constraints 121 ,( 0.03 ) 
3600.01/3610.20	c counting  constraints 399124 ,( 99.97 ) 
3600.01/3610.20	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 48322004 , 171129 , 51147281529 ,( 169471 , 51147112058 )
3600.01/3610.20	c gcd simplifications 64
3600.01/3610.20	c detected cardinalities 2
3600.01/3610.20	c weakened non-implied lits 13047452
3600.01/3610.20	c weakened non-implying lits 27502
3600.01/3610.20	c original variables 2170
3600.01/3610.20	c clausal propagations 46158865
3600.01/3610.20	c cardinality propagations 90383
3600.01/3610.20	c watched propagations 51
3600.01/3610.20	c counting propagations 16010777
3600.01/3610.20	c watch lookups 51251054616
3600.01/3610.20	c watch backjump lookups 0
3600.01/3610.20	c watch checks 4879011
3600.01/3610.20	c propagation checks 765136260656
3600.01/3610.20	c constraint additions 1899295453
3600.01/3610.20	c trail pops 63480064
3600.01/3610.20	c formula constraints 3973
3600.01/3610.20	c learned constraints 400071
3600.01/3610.20	c bound constraints 0
3600.01/3610.20	c core-guided constraints 0
3600.01/3610.20	c encountered formula constraints 17613431
3600.01/3610.20	c encountered learned constraints 589365
3600.01/3610.20	c encountered bound constraints 0
3600.01/3610.20	c encountered core-guided constraints 0
3600.01/3610.20	c LP total time 14.0796 s
3600.01/3610.20	c LP solve time 5.1 s
3600.01/3610.20	c LP constraints added 3979
3600.01/3610.20	c LP constraints removed 1
3600.01/3610.20	c LP pivots internal 40096
3600.01/3610.20	c LP pivots root 29233
3600.01/3610.20	c LP calls 415
3600.01/3610.20	c LP optimalities 306
3600.01/3610.20	c LP no pivot count 84
3600.01/3610.20	c LP infeasibilities 32
3600.01/3610.20	c LP valid Farkas constraints 14
3600.01/3610.20	c LP learned Farkas constraints 0
3600.01/3610.20	c LP basis resets 92
3600.01/3610.20	c LP cycling count 30
3600.01/3610.20	c LP singular count 18
3600.01/3610.20	c LP no primal count 0
3600.01/3610.20	c LP no farkas count 18
3600.01/3610.20	c LP other issue count 26
3600.01/3610.20	c LP Gomory cuts 5
3600.01/3610.20	c LP learned cuts 1
3600.01/3610.20	c LP deleted cuts 1
3600.01/3610.20	c LP encountered Gomory constraints 0
3600.01/3610.20	c LP encountered Farkas constraints 50718
3600.01/3610.20	c LP encountered learned Farkas constraints 0
3600.01/3610.20	c CG auxiliary variables introduced 0
3600.01/3610.20	c CG solutions found 0
3600.01/3610.20	c CG cores constructed 0
3600.01/3610.20	c CG core cardinality constraints returned 0
3600.01/3610.20	c CG unit cores 0
3600.01/3610.20	c CG single cores 0
3600.01/3610.20	c CG blocks removed during cardinality reduction 0
3600.01/3610.20	c CG first core best 0
3600.01/3610.20	c CG decision core best 0
3600.01/3610.20	c CG core reduction tie 0
3600.01/3610.20	c CG core degree average 0.00
3600.01/3610.20	c CG core slack average 0.00
3600.01/3610.20	c CG core upper bound improvements 0
3600.01/3610.20	c STR number of successful calls 0
3600.01/3610.20	c STR number of unsuccessful calls 0
3600.01/3610.20	c STR number of inconclusive calls 0
3600.01/3610.20	c STR number of successful attempts 0
3600.01/3610.20	c STR number of unsuccessful attempts 0
3600.01/3610.20	c STR number of inconclusive attempts 0
3600.01/3610.20	c STR average degree increase per successful call inf
3600.01/3610.20	c STR average degree increase per successful attempt inf
3600.01/3610.20	c STR total number of conflicts for successful attempts 0
3600.01/3610.20	c STR total number of conflicts for unsuccessful attempts 0
3600.01/3610.20	c STR total number of conflicts for inconclusive attempts 0
3600.01/3610.20	c STR average number of conflicts per successful attempt inf
3600.01/3610.20	c STR average number of conflicts per unsuccessful attempt inf
3600.01/3610.20	c STR average number of conflicts per inconclusive attempt inf
3600.01/3610.20	c AVG.sumWPerc 99.71 
3600.01/3610.20	c bigint constraints 5 
3600.01/3610.20	s UNKNOWN
3600.01/3610.20	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 (62107 MiB free)
  memory of node 1: 64465 MiB (59464 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=165726, runsolver pid=165723

[startup+0.100061 s]*
/proc/loadavg: 0.06 0.08 0.09 5/269 165741
/proc/meminfo: memFree=124465404/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=60704 memory=14500 CPUtime=0.02 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 2046 0 0 0 2 0 0 0 20 0 1 0 235575958 62160896 3625 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 15176 3625 2272 1147 0 2603 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 64896 KiB
Current children cumulated memory: 17444 KiB

[startup+0.205204 s]*
/proc/loadavg: 0.06 0.08 0.09 5/269 165741
/proc/meminfo: memFree=124444856/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=62472 memory=16932 CPUtime=0.12 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 2638 0 0 0 12 0 0 0 20 0 1 0 235575958 63971328 4233 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 15618 4233 2304 1147 0 3045 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 66664 KiB
Current children cumulated memory: 19876 KiB

[startup+0.304566 s]*
/proc/loadavg: 0.06 0.08 0.09 5/269 165741
/proc/meminfo: memFree=124439816/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=62472 memory=16932 CPUtime=0.22 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 2638 0 0 0 22 0 0 0 20 0 1 0 235575958 63971328 4233 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 15618 4233 2304 1147 0 3045 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 66664 KiB
Current children cumulated memory: 19876 KiB

[startup+0.700144 s]
/proc/loadavg: 0.06 0.08 0.09 5/269 165741
/proc/meminfo: memFree=124439568/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=62472 memory=16932 CPUtime=0.61 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 2638 0 0 0 61 0 0 0 20 0 1 0 235575958 63971328 4233 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 15618 4233 2304 1147 0 3045 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 66664 KiB
Current children cumulated memory: 19876 KiB

[startup+1.50015 s]
/proc/loadavg: 0.06 0.08 0.09 5/269 165741
/proc/meminfo: memFree=124419912/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=67404 memory=23928 CPUtime=1.41 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 3869 0 0 0 139 2 0 0 20 0 1 0 235575958 69021696 5982 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 16851 5982 2336 1147 0 4278 0
Current children cumulated CPU time: 1.41 s
Current children cumulated vsize: 71596 KiB
Current children cumulated memory: 26872 KiB

[startup+3.10528 s]
/proc/loadavg: 0.37 0.15 0.11 5/269 165741
/proc/meminfo: memFree=124300456/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=82052 memory=38856 CPUtime=3.02 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 7095 0 0 0 296 6 0 0 20 0 1 0 235575958 84021248 9714 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 20513 9714 2336 1147 0 7940 0
Current children cumulated CPU time: 3.02 s
Current children cumulated vsize: 86244 KiB
Current children cumulated memory: 41800 KiB

[startup+6.30015 s]
/proc/loadavg: 0.37 0.15 0.11 5/269 165741
/proc/meminfo: memFree=124180644/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=99732 memory=54472 CPUtime=6.2 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 10501 0 0 0 611 9 0 0 20 0 1 0 235575958 102125568 13618 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 24933 13618 2336 1147 0 12360 0
Current children cumulated CPU time: 6.2 s
Current children cumulated vsize: 103924 KiB
Current children cumulated memory: 57416 KiB

[startup+12.7001 s]
/proc/loadavg: 1.01 0.29 0.16 5/269 165741
/proc/meminfo: memFree=123924272/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=120016 memory=70708 CPUtime=12.58 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 14055 0 0 0 1239 19 0 0 20 0 1 0 235575958 122896384 17677 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 30004 17677 2336 1147 0 17431 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 124208 KiB
Current children cumulated memory: 73652 KiB

[startup+25.5002 s]
/proc/loadavg: 1.55 0.43 0.20 5/269 165741
/proc/meminfo: memFree=123454588/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=133752 memory=84652 CPUtime=25.35 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 17000 0 0 0 2502 33 0 0 20 0 1 0 235575958 136962048 21163 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 33438 21163 2336 1147 0 20865 0
Current children cumulated CPU time: 25.35 s
Current children cumulated vsize: 137944 KiB
Current children cumulated memory: 87596 KiB

[startup+51.1055 s]
/proc/loadavg: 2.47 0.73 0.31 5/270 165742
/proc/meminfo: memFree=122727688/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=162220 memory=107836 CPUtime=50.89 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 21292 0 0 0 5027 62 0 0 20 0 1 0 235575958 166113280 26959 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 40555 26959 2336 1147 0 27982 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 166412 KiB
Current children cumulated memory: 110780 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 1.35 0.55 5/270 165744
/proc/meminfo: memFree=121396648/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=207392 memory=133232 CPUtime=101.95 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 26525 0 0 0 10078 117 0 0 20 0 1 0 235575958 212369408 33308 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 51848 33308 2432 1147 0 39275 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 211584 KiB
Current children cumulated memory: 136176 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 1.89 0.79 5/270 165746
/proc/meminfo: memFree=120104296/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=224072 memory=155168 CPUtime=161.79 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 30489 0 0 0 16008 171 0 0 20 0 1 0 235575958 229449728 38792 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 56018 38792 2432 1147 0 43445 0
Current children cumulated CPU time: 161.79 s
Current children cumulated vsize: 228264 KiB
Current children cumulated memory: 158112 KiB

[startup+222.3 s]
/proc/loadavg: 4.18 2.32 1.01 5/270 165748
/proc/meminfo: memFree=118940896/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=230352 memory=167700 CPUtime=221.62 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 32566 0 0 0 21940 222 0 0 20 0 1 0 235575958 235880448 41925 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0

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

/proc/165739/statm: 144482 120306 2464 1147 0 131909 0
Current children cumulated CPU time: 3033.74 s
Current children cumulated vsize: 582120 KiB
Current children cumulated memory: 484168 KiB

[startup+3102.3 s]
/proc/loadavg: 4.20 4.17 4.07 5/267 165900
/proc/meminfo: memFree=88494976/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=583024 memory=486440 CPUtime=3093.57 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 78475 0 0 0 307511 1846 0 0 20 0 1 0 235575958 597016576 121610 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 145756 121610 2464 1147 0 133183 0
Current children cumulated CPU time: 3093.57 s
Current children cumulated vsize: 587216 KiB
Current children cumulated memory: 489384 KiB

[startup+3162.3 s]
/proc/loadavg: 4.21 4.18 4.08 5/267 165902
/proc/meminfo: memFree=87914696/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=583560 memory=486952 CPUtime=3153.39 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 78609 0 0 0 313464 1875 0 0 20 0 1 0 235575958 597565440 121738 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 145890 121738 2464 1147 0 133317 0
Current children cumulated CPU time: 3153.39 s
Current children cumulated vsize: 587752 KiB
Current children cumulated memory: 489896 KiB

[startup+3222.3 s]
/proc/loadavg: 4.24 4.20 4.09 5/267 165904
/proc/meminfo: memFree=87414576/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=583560 memory=486952 CPUtime=3213.22 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 78615 0 0 0 319423 1899 0 0 20 0 1 0 235575958 597565440 121738 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 145890 121738 2464 1147 0 133317 0
Current children cumulated CPU time: 3213.22 s
Current children cumulated vsize: 587752 KiB
Current children cumulated memory: 489896 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.17 4.09 5/267 165906
/proc/meminfo: memFree=86865752/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=599432 memory=498092 CPUtime=3273.05 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 80880 0 0 0 325378 1927 0 0 20 0 1 0 235575958 613818368 124523 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 149858 124523 2464 1147 0 137285 0
Current children cumulated CPU time: 3273.05 s
Current children cumulated vsize: 603624 KiB
Current children cumulated memory: 501036 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.17 4.09 5/267 165909
/proc/meminfo: memFree=86415156/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=599432 memory=522028 CPUtime=3332.88 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 80880 0 0 0 331331 1957 0 0 20 0 1 0 235575958 613818368 130507 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 149858 130507 2464 1147 0 137285 0
Current children cumulated CPU time: 3332.88 s
Current children cumulated vsize: 603624 KiB
Current children cumulated memory: 524972 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/271 165915
/proc/meminfo: memFree=85887464/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=605040 memory=550000 CPUtime=3392.71 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 81598 0 0 0 337287 1984 0 0 20 0 1 0 235575958 619560960 137500 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 151260 137500 2464 1147 0 138687 0
Current children cumulated CPU time: 3392.71 s
Current children cumulated vsize: 609232 KiB
Current children cumulated memory: 552944 KiB

[startup+3462.3 s]
/proc/loadavg: 4.13 4.15 4.09 5/271 165917
/proc/meminfo: memFree=85420360/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=605576 memory=550512 CPUtime=3452.54 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 81732 0 0 0 343239 2015 0 0 20 0 1 0 235575958 620109824 137628 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 151394 137628 2464 1147 0 138821 0
Current children cumulated CPU time: 3452.54 s
Current children cumulated vsize: 609768 KiB
Current children cumulated memory: 553456 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.14 4.09 5/271 165919
/proc/meminfo: memFree=84992324/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=605576 memory=550512 CPUtime=3512.36 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 81732 0 0 0 349195 2041 0 0 20 0 1 0 235575958 620109824 137628 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 151394 137628 2464 1147 0 138821 0
Current children cumulated CPU time: 3512.36 s
Current children cumulated vsize: 609768 KiB
Current children cumulated memory: 553456 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.13 4.09 5/271 165921
/proc/meminfo: memFree=84572564/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=611720 memory=556028 CPUtime=3572.19 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 82600 0 0 0 355149 2070 0 0 20 0 1 0 235575958 626401280 139007 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 152930 139007 2464 1147 0 140357 0
Current children cumulated CPU time: 3572.19 s
Current children cumulated vsize: 615912 KiB
Current children cumulated memory: 558972 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.2 s]
/proc/loadavg: 4.12 4.13 4.09 3/267 165941
/proc/meminfo: memFree=85158712/131249988 swapFree=33010416/33010684
[pid=165726] ppid=165723 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/165726/stat : 165726 (run-dec-break-l) S 165723 165726 165659 0 -1 4194304 238 1929 0 0 0 0 0 0 20 0 1 0 235575953 4292608 736 18446744073709551615 94692591435776 94692592330309 140723353385536 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94692592569360 94692592617104 94692610486272 140723353389369 140723353389532 140723353389532 140723353395136 0
/proc/165726/statm: 1048 736 672 219 0 110 0
[pid=165739] ppid=165726 vsize=611720 memory=556028 CPUtime=3600.01 cores=0,2
/proc/165739/stat : 165739 (roundingsat) R 165726 165726 165659 0 -1 4194304 82644 0 0 0 357916 2085 0 0 20 0 1 0 235575958 626401280 139007 18446744073709551615 4227072 8923433 140723535946512 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 33697792 140723535952152 140723535952422 140723535952422 140723535957994 0
/proc/165739/statm: 152930 139007 2464 1147 0 140357 0
Current children cumulated CPU time: 3600.01 s
Current children cumulated vsize: 615912 KiB
Current children cumulated memory: 558972 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.008706 s, system=0.005741 s

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

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

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

Child status: 2

Real time (s): 3610.2
CPU time (s): 3600.04
CPU user time (s): 3579.18
CPU system time (s): 20.861
CPU usage (%): 99.7184
Max. virtual memory (cumulated for all children) (KiB): 615912
Max. memory (cumulated for all children) (KiB): 558972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.18
system time used= 20.861
maximum resident set size= 556284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84829
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40761560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 306
involuntary context switches= 8126


# summary of solver processes directly reported to runsolver:
#   pid: 165726,165739
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3579.18
#   total CPU system time (s): 20.861

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.21052 second user time and 16.3962 second system time

The end

Launcher Data 

Begin job on nodeC031 at 2025-07-22 17:42:54
IDJOB=4541610
IDBENCH=163199
IDSOLVER=3358
FILE ID=nodeC031/4541610-1753198973
RUNJOBID= nodeC031-1753198973-165674
SLURM_JOB_ID= 9687764
Free space on /tmp= 432944 MiB

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

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

MD5SUM BENCH= 21d0ffe78b9aba15f7c4d4a17a4e20d2
RANDOM SEED=1581860338

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		: 3664.176
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		: 1760.834
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		: 3599.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		: 2571.083
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		: 3602.513
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		: 1822.974
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		: 3607.696
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		: 1959.666
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:        124502828 kB
MemAvailable:   129626300 kB
Buffers:            2128 kB
Cached:          5808736 kB
SwapCached:            8 kB
Active:          1216020 kB
Inactive:        4674672 kB
Active(anon):      95624 kB
Inactive(anon):    10464 kB
Active(file):    1120396 kB
Inactive(file):  4664208 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29756 kB
Writeback:             0 kB
AnonPages:         83104 kB
Mapped:           108892 kB
Shmem:             26248 kB
KReclaimable:     356212 kB
Slab:             454468 kB
SReclaimable:     356212 kB
SUnreclaim:        98256 kB
KernelStack:        4176 kB
PageTables:         3096 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     360732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150408 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 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= 387864 MiB
End job on nodeC031 at 2025-07-22 18:43:04