Trace number 4541609

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 63f22ad? (TO) 3600.1 3609.91

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.06	c ┌────────────────────────────────────────────────────────────────┐
0.00/0.06	c │      pbsuma -- a PB interface for satsuma                      │
0.00/0.06	c │      satsuma_version=1.2, dejavu_version=2.1                   │
0.00/0.06	c │      (c) 2025 Markus Anders                                    │
0.00/0.06	c └────────────────────────────────────────────────────────────────┘
0.00/0.06	c parse 'HOME/instance-4541609-1753198973.opb'
0.00/0.06	c 	read 0.19MB  (2.94ms)
0.00/0.06	c	 [cnf: #variables 2170 #clauses 5893 #duplicates 0 #arr 15872]
0.00/0.06	c 
0.00/0.06	c make graph and approximate orbits
0.00/0.07	c	 [group: #orbits ~= 0] (3.57ms)
0.00/0.07	c 
0.00/0.07	c detect special group actions
0.00/0.07	c 	probe for Johnson action (limit=64)
0.00/0.07	c 	probe for row-column symmetry (limit=64, splits=16.78M)
0.00/0.07	c 	probe for row symmetry (limit=64, splits=16.78M)
0.00/0.07	c 	 (0.68ms)
0.00/0.07	c 
0.00/0.07	c detect symmetries on remainder
0.00/0.07	c 	[graph: #vertices 16431 #edges 48480]
0.00/0.07	c 	dejavu (support_limit=2048.00MB, budget_limit=64)
0.00/0.07	c 	 [group: #symmetries 1.00*10^0 #generators 0] (1.01ms)
0.00/0.07	c 
0.00/0.07	c finalize break order and special generators
0.00/0.07	c 
0.00/0.07	c generation finished
0.00/0.07	c 	[sbp: #constraints 0 #add_vars 0]
0.00/0.07	c 
0.00/0.07	c write result to 'HOME/instance-4541609-1753198973.opb.pre'
0.00/0.07	c 	wrote 0.19MB (0.52ms)
0.00/0.07	c ------------------------------------------------------------------
0.00/0.07	c                   3.57ms 39.45% approx_orbits
0.00/0.07	c                   2.94ms 32.54% parse
0.00/0.07	c                   1.01ms 11.15% detect_generic
0.00/0.07	c                   0.68ms  7.49% detect_special
0.00/0.07	c                   0.52ms  5.71% output
0.00/0.07	c                   0.26ms  2.91% other
0.00/0.07	c                   0.07ms  0.73% finalize_order
0.00/0.07	c         ───────────────────────────────────────────────
0.00/0.07	c                   9.04ms   100% total
0.00/0.07	c ------------------------------------------------------------------
0.00/0.08	c RoundingSat 2
0.00/0.08	c branch pb25
0.00/0.08	c commit 63f22ad
0.01/0.11	c #variables 2170 #constraints 3973
0.01/0.11	c rational objective 30
2.79/2.97	c #Conflicts:       1000 | #Constraints:       4972
2.79/2.97	c #Conflicts:       2000 | #Constraints:       5972
2.79/2.97	c INPROCESSING
2.79/2.97	c GARBAGE COLLECT
2.79/2.97	c rational objective 30
7.08/7.22	c #Conflicts:       3000 | #Constraints:       5395
7.08/7.22	c #Conflicts:       4000 | #Constraints:       6395
7.08/7.22	c INPROCESSING
7.08/7.22	c GARBAGE COLLECT
7.08/7.22	c rational objective 30
12.37/12.53	c #Conflicts:       5000 | #Constraints:       5797
12.37/12.53	c #Conflicts:       6000 | #Constraints:       6797
12.37/12.53	c INPROCESSING
12.37/12.53	c GARBAGE COLLECT
12.37/12.53	c rational objective 30
18.75/18.91	c #Conflicts:       7000 | #Constraints:       5798
18.75/18.91	c #Conflicts:       8000 | #Constraints:       6798
18.75/18.91	c #Conflicts:       9000 | #Constraints:       7798
18.75/18.91	c INPROCESSING
18.75/18.91	c GARBAGE COLLECT
18.75/18.91	c rational objective 30
26.23/26.40	c #Conflicts:      10000 | #Constraints:       6499
26.23/26.40	c #Conflicts:      11000 | #Constraints:       7499
26.23/26.40	c #Conflicts:      12000 | #Constraints:       8499
26.23/26.40	c INPROCESSING
26.23/26.40	c GARBAGE COLLECT
26.23/26.40	c rational objective 30
34.81/35.03	c #Conflicts:      13000 | #Constraints:       6950
34.81/35.03	c #Conflicts:      14000 | #Constraints:       7950
34.81/35.03	c #Conflicts:      15000 | #Constraints:       8950
34.81/35.03	c INPROCESSING
34.81/35.03	c GARBAGE COLLECT
34.81/35.03	c rational objective 30
44.28/44.60	c #Conflicts:      16000 | #Constraints:       7177
44.28/44.60	c #Conflicts:      17000 | #Constraints:       8177
44.28/44.60	c #Conflicts:      18000 | #Constraints:       9177
44.28/44.60	c INPROCESSING
44.28/44.60	c GARBAGE COLLECT
44.28/44.60	c rational objective 30
55.15/55.48	c #Conflicts:      19000 | #Constraints:       7185
55.15/55.48	c #Conflicts:      20000 | #Constraints:       8185
55.15/55.48	c #Conflicts:      21000 | #Constraints:       9185
55.15/55.48	c INPROCESSING
55.15/55.48	c GARBAGE COLLECT
55.15/55.48	c rational objective 30
67.12/67.45	c #Conflicts:      22000 | #Constraints:       6997
67.12/67.45	c #Conflicts:      23000 | #Constraints:       7997
67.12/67.45	c #Conflicts:      24000 | #Constraints:       8997
67.12/67.45	c #Conflicts:      25000 | #Constraints:       9997
67.12/67.45	c INPROCESSING
67.12/67.45	c GARBAGE COLLECT
67.12/67.45	c rational objective 30
81.69/82.07	c #Conflicts:      26000 | #Constraints:       7600
81.69/82.07	c #Conflicts:      27000 | #Constraints:       8600
81.69/82.07	c #Conflicts:      28000 | #Constraints:       9600
81.69/82.07	c #Conflicts:      29000 | #Constraints:      10600
81.69/82.07	c INPROCESSING
81.69/82.07	c GARBAGE COLLECT
81.69/82.07	c rational objective 30
96.84/97.24	c #Conflicts:      30000 | #Constraints:       8002
96.84/97.24	c #Conflicts:      31000 | #Constraints:       9002
96.84/97.24	c #Conflicts:      32000 | #Constraints:      10002
96.84/97.24	c #Conflicts:      33000 | #Constraints:      11002
96.84/97.24	c INPROCESSING
96.84/97.24	c GARBAGE COLLECT
96.84/97.24	c rational objective 30
112.20/112.67	c #Conflicts:      34000 | #Constraints:       8204
112.20/112.67	c #Conflicts:      35000 | #Constraints:       9204
112.20/112.67	c #Conflicts:      36000 | #Constraints:      10204
112.20/112.67	c #Conflicts:      37000 | #Constraints:      11204
112.20/112.67	c INPROCESSING
112.20/112.67	c GARBAGE COLLECT
112.20/112.67	c rational objective 30
129.07/129.59	c #Conflicts:      38000 | #Constraints:       8204
129.07/129.59	c #Conflicts:      39000 | #Constraints:       9204
129.07/129.59	c #Conflicts:      40000 | #Constraints:      10204
129.07/129.59	c #Conflicts:      41000 | #Constraints:      11204
129.07/129.59	c INPROCESSING
129.07/129.59	c GARBAGE COLLECT
129.07/129.59	c rational objective 30
149.01/149.55	c #Conflicts:      42000 | #Constraints:       8003
149.01/149.55	c #Conflicts:      43000 | #Constraints:       9003
149.01/149.55	c #Conflicts:      44000 | #Constraints:      10003
149.01/149.55	c #Conflicts:      45000 | #Constraints:      11003
149.01/149.55	c #Conflicts:      46000 | #Constraints:      12003
149.01/149.55	c INPROCESSING
149.01/149.55	c GARBAGE COLLECT
149.01/149.55	c rational objective 30
170.26/170.82	c #Conflicts:      47000 | #Constraints:       8600
170.26/170.82	c #Conflicts:      48000 | #Constraints:       9600
170.26/170.82	c #Conflicts:      49000 | #Constraints:      10600
170.26/170.82	c #Conflicts:      50000 | #Constraints:      11600
170.26/170.82	c #Conflicts:      51000 | #Constraints:      12600
170.26/170.82	c INPROCESSING
170.26/170.82	c GARBAGE COLLECT
170.26/170.82	c rational objective 30
193.70/194.33	c #Conflicts:      52000 | #Constraints:       9001
193.70/194.33	c #Conflicts:      53000 | #Constraints:      10001
193.70/194.33	c #Conflicts:      54000 | #Constraints:      11001
193.70/194.33	c #Conflicts:      55000 | #Constraints:      12001
193.70/194.33	c #Conflicts:      56000 | #Constraints:      13001
193.70/194.33	c INPROCESSING
193.70/194.33	c GARBAGE COLLECT
193.70/194.33	c rational objective 31.0002
218.63/219.37	c #Conflicts:      57000 | #Constraints:       9205
218.63/219.37	c #Conflicts:      58000 | #Constraints:      10205
218.63/219.37	c #Conflicts:      59000 | #Constraints:      11205
218.63/219.37	c #Conflicts:      60000 | #Constraints:      12205
218.63/219.37	c #Conflicts:      61000 | #Constraints:      13205
218.63/219.37	c INPROCESSING
218.63/219.37	c GARBAGE COLLECT
218.63/219.37	c rational objective 34.8382
307.69/308.67	c #Conflicts:      62000 | #Constraints:       9205
307.69/308.67	c #Conflicts:      63000 | #Constraints:      10205
307.69/308.67	c #Conflicts:      64000 | #Constraints:      11205
307.69/308.67	c #Conflicts:      65000 | #Constraints:      12205
307.69/308.67	c #Conflicts:      66000 | #Constraints:      13205
307.69/308.67	c INPROCESSING
307.69/308.67	c GARBAGE COLLECT
307.69/308.67	c #Conflicts:      67000 | #Constraints:       9005
307.69/308.67	c #Conflicts:      68000 | #Constraints:      10005
307.69/308.67	c #Conflicts:      69000 | #Constraints:      11005
307.69/308.67	c #Conflicts:      70000 | #Constraints:      12005
307.69/308.67	c #Conflicts:      71000 | #Constraints:      13005
307.69/308.67	c #Conflicts:      72000 | #Constraints:      14005
307.69/308.67	c INPROCESSING
307.69/308.67	c GARBAGE COLLECT
307.69/308.67	c #Conflicts:      73000 | #Constraints:       9606
307.69/308.67	c #Conflicts:      74000 | #Constraints:      10606
307.69/308.67	c #Conflicts:      75000 | #Constraints:      11606
307.69/308.67	c #Conflicts:      76000 | #Constraints:      12606
307.69/308.67	c #Conflicts:      77000 | #Constraints:      13606
307.69/308.67	c #Conflicts:      78000 | #Constraints:      14606
307.69/308.67	c INPROCESSING
307.69/308.67	c GARBAGE COLLECT
307.69/308.67	c rational objective 35.1983
407.53/408.73	c #Conflicts:      79000 | #Constraints:      10009
407.53/408.73	c #Conflicts:      80000 | #Constraints:      11009
407.53/408.73	c #Conflicts:      81000 | #Constraints:      12009
407.53/408.73	c #Conflicts:      82000 | #Constraints:      13009
407.53/408.73	c #Conflicts:      83000 | #Constraints:      14009
407.53/408.73	c #Conflicts:      84000 | #Constraints:      15009
407.53/408.73	c INPROCESSING
407.53/408.73	c GARBAGE COLLECT
407.53/408.73	c #Conflicts:      85000 | #Constraints:      10211
407.53/408.73	c #Conflicts:      86000 | #Constraints:      11211
407.53/408.73	c #Conflicts:      87000 | #Constraints:      12211
407.53/408.73	c #Conflicts:      88000 | #Constraints:      13211
407.53/408.73	c #Conflicts:      89000 | #Constraints:      14211
407.53/408.73	c #Conflicts:      90000 | #Constraints:      15211
407.53/408.73	c INPROCESSING
407.53/408.73	c GARBAGE COLLECT
407.53/408.73	c #Conflicts:      91000 | #Constraints:      10208
407.53/408.73	c #Conflicts:      92000 | #Constraints:      11208
407.53/408.73	c #Conflicts:      93000 | #Constraints:      12208
407.53/408.73	c #Conflicts:      94000 | #Constraints:      13208
407.53/408.73	c #Conflicts:      95000 | #Constraints:      14208
407.53/408.73	c #Conflicts:      96000 | #Constraints:      15208
407.53/408.73	c INPROCESSING
407.53/408.73	c GARBAGE COLLECT
407.53/408.73	c rational objective 35.2455
664.39/666.39	c #Conflicts:      97000 | #Constraints:      10012
664.39/666.39	c #Conflicts:      98000 | #Constraints:      11012
664.39/666.39	c #Conflicts:      99000 | #Constraints:      12012
664.39/666.39	c #Conflicts:     100000 | #Constraints:      13012
664.39/666.39	c #Conflicts:     101000 | #Constraints:      14012
664.39/666.39	c #Conflicts:     102000 | #Constraints:      15012
664.39/666.39	c #Conflicts:     103000 | #Constraints:      16012
664.39/666.39	c INPROCESSING
664.39/666.39	c GARBAGE COLLECT
664.39/666.39	c #Conflicts:     104000 | #Constraints:      10611
664.39/666.39	c #Conflicts:     105000 | #Constraints:      11611
664.39/666.39	c #Conflicts:     106000 | #Constraints:      12611
664.39/666.39	c #Conflicts:     107000 | #Constraints:      13611
664.39/666.39	c #Conflicts:     108000 | #Constraints:      14611
664.39/666.39	c #Conflicts:     109000 | #Constraints:      15611
664.39/666.39	c #Conflicts:     110000 | #Constraints:      16611
664.39/666.39	c INPROCESSING
664.39/666.39	c GARBAGE COLLECT
664.39/666.39	c #Conflicts:     111000 | #Constraints:      11010
664.39/666.39	c #Conflicts:     112000 | #Constraints:      12010
664.39/666.39	c #Conflicts:     113000 | #Constraints:      13010
664.39/666.39	c #Conflicts:     114000 | #Constraints:      14010
664.39/666.39	c #Conflicts:     115000 | #Constraints:      15010
664.39/666.39	c #Conflicts:     116000 | #Constraints:      16010
664.39/666.39	c #Conflicts:     117000 | #Constraints:      17010
664.39/666.39	c INPROCESSING
664.39/666.39	c GARBAGE COLLECT
664.39/666.39	c #Conflicts:     118000 | #Constraints:      11208
664.39/666.39	c #Conflicts:     119000 | #Constraints:      12208
664.39/666.39	c #Conflicts:     120000 | #Constraints:      13208
664.39/666.39	c #Conflicts:     121000 | #Constraints:      14208
664.39/666.39	c #Conflicts:     122000 | #Constraints:      15208
664.39/666.39	c #Conflicts:     123000 | #Constraints:      16208
664.39/666.39	c #Conflicts:     124000 | #Constraints:      17208
664.39/666.39	c INPROCESSING
664.39/666.39	c GARBAGE COLLECT
664.39/666.39	c #Conflicts:     125000 | #Constraints:      11206
664.39/666.39	c #Conflicts:     126000 | #Constraints:      12206
664.39/666.39	c #Conflicts:     127000 | #Constraints:      13206
664.39/666.39	c #Conflicts:     128000 | #Constraints:      14206
664.39/666.39	c #Conflicts:     129000 | #Constraints:      15206
664.39/666.39	c #Conflicts:     130000 | #Constraints:      16206
664.39/666.39	c #Conflicts:     131000 | #Constraints:      17206
664.39/666.39	c INPROCESSING
664.39/666.39	c GARBAGE COLLECT
664.39/666.39	c #Conflicts:     132000 | #Constraints:      11007
664.39/666.39	c #Conflicts:     133000 | #Constraints:      12007
664.39/666.39	c #Conflicts:     134000 | #Constraints:      13007
664.39/666.39	c #Conflicts:     135000 | #Constraints:      14007
664.39/666.39	c #Conflicts:     136000 | #Constraints:      15007
664.39/666.39	c #Conflicts:     137000 | #Constraints:      16007
664.39/666.39	c #Conflicts:     138000 | #Constraints:      17008
664.39/666.39	c #Conflicts:     139000 | #Constraints:      18008
664.39/666.39	c INPROCESSING
664.39/666.39	c GARBAGE COLLECT
664.39/666.39	c rational objective 36.0495
1173.21/1176.63	c #Conflicts:     140000 | #Constraints:      11613
1173.21/1176.63	c #Conflicts:     141000 | #Constraints:      12613
1173.21/1176.63	c #Conflicts:     142000 | #Constraints:      13613
1173.21/1176.63	c #Conflicts:     143000 | #Constraints:      14613
1173.21/1176.63	c #Conflicts:     144000 | #Constraints:      15613
1173.21/1176.63	c #Conflicts:     145000 | #Constraints:      16613
1173.21/1176.63	c #Conflicts:     146000 | #Constraints:      17613
1173.21/1176.63	c #Conflicts:     147000 | #Constraints:      18613
1173.21/1176.63	c INPROCESSING
1173.21/1176.63	c GARBAGE COLLECT
1173.21/1176.63	c #Conflicts:     148000 | #Constraints:      12012
1173.21/1176.63	c #Conflicts:     149000 | #Constraints:      13012
1173.21/1176.63	c #Conflicts:     150000 | #Constraints:      14012
1173.21/1176.63	c #Conflicts:     151000 | #Constraints:      15013
1173.21/1176.63	c #Conflicts:     152000 | #Constraints:      16013
1173.21/1176.63	c #Conflicts:     153000 | #Constraints:      17013
1173.21/1176.63	c #Conflicts:     154000 | #Constraints:      18013
1173.21/1176.63	c #Conflicts:     155000 | #Constraints:      19013
1173.21/1176.63	c INPROCESSING
1173.21/1176.63	c GARBAGE COLLECT
1173.21/1176.63	c #Conflicts:     156000 | #Constraints:      12213
1173.21/1176.63	c #Conflicts:     157000 | #Constraints:      13213
1173.21/1176.63	c #Conflicts:     158000 | #Constraints:      14213
1173.21/1176.63	c #Conflicts:     159000 | #Constraints:      15213
1173.21/1176.63	c #Conflicts:     160000 | #Constraints:      16213
1173.21/1176.63	c #Conflicts:     161000 | #Constraints:      17213
1173.21/1176.63	c #Conflicts:     162000 | #Constraints:      18213
1173.21/1176.63	c #Conflicts:     163000 | #Constraints:      19213
1173.21/1176.63	c INPROCESSING
1173.21/1176.63	c GARBAGE COLLECT
1173.21/1176.63	c #Conflicts:     164000 | #Constraints:      12210
1173.21/1176.63	c #Conflicts:     165000 | #Constraints:      13210
1173.21/1176.63	c #Conflicts:     166000 | #Constraints:      14210
1173.21/1176.63	c #Conflicts:     167000 | #Constraints:      15211
1173.21/1176.63	c #Conflicts:     168000 | #Constraints:      16211
1173.21/1176.63	c #Conflicts:     169000 | #Constraints:      17211
1173.21/1176.63	c #Conflicts:     170000 | #Constraints:      18211
1173.21/1176.63	c #Conflicts:     171000 | #Constraints:      19211
1173.21/1176.63	c INPROCESSING
1173.21/1176.63	c GARBAGE COLLECT
1173.21/1176.63	c #Conflicts:     172000 | #Constraints:      12010
1173.21/1176.63	c #Conflicts:     173000 | #Constraints:      13010
1173.21/1176.63	c #Conflicts:     174000 | #Constraints:      14010
1173.21/1176.63	c #Conflicts:     175000 | #Constraints:      15010
1173.21/1176.63	c #Conflicts:     176000 | #Constraints:      16010
1173.21/1176.63	c #Conflicts:     177000 | #Constraints:      17010
1173.21/1176.63	c #Conflicts:     178000 | #Constraints:      18010
1173.21/1176.63	c #Conflicts:     179000 | #Constraints:      19010
1173.21/1176.63	c #Conflicts:     180000 | #Constraints:      20010
1173.21/1176.63	c INPROCESSING
1173.21/1176.63	c GARBAGE COLLECT
1173.21/1176.63	c #Conflicts:     181000 | #Constraints:      12612
1173.21/1176.63	c #Conflicts:     182000 | #Constraints:      13612
1173.21/1176.63	c #Conflicts:     183000 | #Constraints:      14612
1173.21/1176.63	c #Conflicts:     184000 | #Constraints:      15612
1173.21/1176.63	c #Conflicts:     185000 | #Constraints:      16612
1173.21/1176.63	c #Conflicts:     186000 | #Constraints:      17612
1173.21/1176.63	c #Conflicts:     187000 | #Constraints:      18612
1173.21/1176.63	c #Conflicts:     188000 | #Constraints:      19612
1173.21/1176.63	c #Conflicts:     189000 | #Constraints:      20612
1173.21/1176.63	c INPROCESSING
1173.21/1176.63	c GARBAGE COLLECT
1173.21/1176.63	c #Conflicts:     190000 | #Constraints:      13009
1173.21/1176.63	c #Conflicts:     191000 | #Constraints:      14009
1173.21/1176.63	c #Conflicts:     192000 | #Constraints:      15009
1173.21/1176.63	c #Conflicts:     193000 | #Constraints:      16009
1173.21/1176.63	c #Conflicts:     194000 | #Constraints:      17009
1173.21/1176.63	c #Conflicts:     195000 | #Constraints:      18009
1173.21/1176.63	c #Conflicts:     196000 | #Constraints:      19009
1173.21/1176.63	c #Conflicts:     197000 | #Constraints:      20009
1173.21/1176.63	c #Conflicts:     198000 | #Constraints:      21009
1173.21/1176.63	c INPROCESSING
1173.21/1176.63	c GARBAGE COLLECT
1173.21/1176.63	c #Conflicts:     199000 | #Constraints:      13212
1173.21/1176.63	c #Conflicts:     200000 | #Constraints:      14212
1173.21/1176.63	c #Conflicts:     201000 | #Constraints:      15212
1173.21/1176.63	c #Conflicts:     202000 | #Constraints:      16212
1173.21/1176.63	c #Conflicts:     203000 | #Constraints:      17212
1173.21/1176.63	c #Conflicts:     204000 | #Constraints:      18212
1173.21/1176.63	c #Conflicts:     205000 | #Constraints:      19212
1173.21/1176.63	c #Conflicts:     206000 | #Constraints:      20212
1173.21/1176.63	c #Conflicts:     207000 | #Constraints:      21212
1173.21/1176.63	c INPROCESSING
1173.21/1176.63	c GARBAGE COLLECT
1173.21/1176.63	c rational objective 36.0495
1342.29/1346.17	c #Conflicts:     208000 | #Constraints:      13214
1342.29/1346.17	c #Conflicts:     209000 | #Constraints:      14214
1342.29/1346.17	c #Conflicts:     210000 | #Constraints:      15214
1342.29/1346.17	c #Conflicts:     211000 | #Constraints:      16214
1342.29/1346.17	c #Conflicts:     212000 | #Constraints:      17214
1342.29/1346.17	c #Conflicts:     213000 | #Constraints:      18214
1342.29/1346.17	c #Conflicts:     214000 | #Constraints:      19214
1342.29/1346.17	c #Conflicts:     215000 | #Constraints:      20214
1342.29/1346.17	c #Conflicts:     216000 | #Constraints:      21214
1342.29/1346.17	c INPROCESSING
1342.29/1346.17	c GARBAGE COLLECT
1342.29/1346.17	c #Conflicts:     217000 | #Constraints:      13012
1342.29/1346.17	c #Conflicts:     218000 | #Constraints:      14012
1342.29/1346.17	c #Conflicts:     219000 | #Constraints:      15012
1342.29/1346.17	c #Conflicts:     220000 | #Constraints:      16012
1342.29/1346.17	c #Conflicts:     221000 | #Constraints:      17012
1342.29/1346.17	c #Conflicts:     222000 | #Constraints:      18012
1342.29/1346.17	c #Conflicts:     223000 | #Constraints:      19012
1342.29/1346.17	c #Conflicts:     224000 | #Constraints:      20012
1342.29/1346.17	c #Conflicts:     225000 | #Constraints:      21012
1342.29/1346.17	c #Conflicts:     226000 | #Constraints:      22012
1342.29/1346.17	c INPROCESSING
1342.29/1346.17	c GARBAGE COLLECT
1342.29/1346.17	WSVECS04 Frhs2[111]: 6 0 2.42523 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[124]: 6 -28.5974 0 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[125]: 6 0 0.222904 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[127]: 6 0 0.222925 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[128]: 6 0 0.222907 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[132]: 6 0 0.222957 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[133]: 6 0 0.222936 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[134]: 6 0 0.222942 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[135]: 6 0 0.222909 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[136]: 6 0 0.222924 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[138]: 6 0 0.22294 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[139]: 6 0 0.222924 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[140]: 6 0 0.222907 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[144]: 6 0 0.222946 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[145]: 6 0 0.222903 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[147]: 6 0 0.222941 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[148]: 6 0 0.222944 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[149]: 6 0 0.222957 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[150]: 6 0 0.222954 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[151]: 6 0 0.222917 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[152]: 6 0 0.222915 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[162]: 6 0 0.222958 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[163]: 6 0 0.222929 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[168]: 6 0 0.262535 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[169]: 6 0 0.222926 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[170]: 6 0 0.22295 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[171]: 6 0 0.222917 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[172]: 6 0 0.250728 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[175]: 6 0 0.222905 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[176]: 6 0 0.222923 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[177]: 6 0 0.222953 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[179]: 6 0 0.222908 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[180]: 6 0 0.222949 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[184]: 6 0 0.222934 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[188]: 6 0 0.222933 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[189]: 6 0 0.222905 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[190]: 6 0 0.222961 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[191]: 6 0 0.22295 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[193]: 6 0 0.222907 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[194]: 6 0 0.222902 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[195]: 6 0 0.222905 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[196]: 6 0 0.222925 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[197]: 6 0 0.222944 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[198]: 6 0 0.222931 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[199]: 6 0 0.222949 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[200]: 6 0 0.222922 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[203]: 6 0 0.222934 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[204]: 6 0 0.222904 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[205]: 6 0 0.222924 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[206]: 6 0 0.222915 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[207]: 6 0 0.222939 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[210]: 6 0 0.222907 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[212]: 6 0 0.222908 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[225]: 6 0 0.222903 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[230]: 6 0 0.222986 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[233]: 6 0 0.222952 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[234]: 6 0 0.222933 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[236]: 6 0 0.222937 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[237]: 6 0 0.222951 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[239]: 6 0 0.222949 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[240]: 6 0 0.222954 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[242]: 6 0 0.222918 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[246]: 6 0 0.222993 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[249]: 6 0 0.222949 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[250]: 6 0 0.22291 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[251]: 6 0 0.22291 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[253]: 6 0 0.22294 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[255]: 6 0 0.222961 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[256]: 6 0 0.222951 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[257]: 6 0 0.222942 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[260]: 6 0 0.222932 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[262]: 6 0 0.222955 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[263]: 6 0 0.222908 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[264]: 6 0 0.222942 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[266]: 6 0 0.222928 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[267]: 6 0 0.222957 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[268]: 6 0 0.222929 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[269]: 6 0 0.222953 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[270]: 6 0 0.222943 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[271]: 6 0 0.222916 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[272]: 6 0 0.22294 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[286]: 6 0 0.222907 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[287]: 6 0 0.222929 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[291]: 6 0 0.222957 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[292]: 6 0 0.222965 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[295]: 6 0 0.222932 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[296]: 6 0 0.222917 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[298]: 6 0 0.222911 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[301]: 6 0 0.222909 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[302]: 6 0 0.222958 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[305]: 6 0 0.294885 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[308]: 6 0 0.223254 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[311]: 6 0 0.22295 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[312]: 6 0 0.222951 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[313]: 6 0 0.222954 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[314]: 6 0 0.222948 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[315]: 6 0 0.222936 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[316]: 6 0 0.222912 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[317]: 6 0 0.222905 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[318]: 6 0 0.222957 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[319]: 6 0 0.222939 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[320]: 6 0 0.222935 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[321]: 6 0 0.222942 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[323]: 6 0 0.222946 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[324]: 6 0 0.222926 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[327]: 6 0 0.222951 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[328]: 6 0 0.222916 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[330]: 6 0 0.222933 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[332]: 6 0 0.22293 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[348]: 6 0 0.222954 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[353]: 6 0 0.222939 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[354]: 6 0 0.222963 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[355]: 6 0 0.222932 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[356]: 6 0 0.222962 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[357]: 6 0 0.222981 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[358]: 6 0 0.222972 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[361]: 6 0 0.222984 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[362]: 6 0 0.222964 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[370]: 6 0 0.224241 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[373]: 6 0 0.222914 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[375]: 6 0 0.222954 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[376]: 6 0 0.222919 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[377]: 6 0 0.222923 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[378]: 6 0 0.222938 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[379]: 6 0 0.222908 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[380]: 6 0 0.222912 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[381]: 6 0 0.222919 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[382]: 6 0 0.222939 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[383]: 6 0 0.222943 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[384]: 6 0 0.222927 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[385]: 6 0 0.222931 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[386]: 6 0 0.22293 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[387]: 6 0 0.222914 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[388]: 6 0 0.222946 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[389]: 6 0 0.222954 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[391]: 6 0 0.222908 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[392]: 6 0 0.222957 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[410]: 6 0 0.222947 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[411]: 6 0 0.222904 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[415]: 6 0 0.222931 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[417]: 6 0 0.222953 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[418]: 6 0 0.222943 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[419]: 6 0 0.222931 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[420]: 6 0 0.222931 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[422]: 6 0 0.222934 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[432]: 6 0 0.229251 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[439]: 6 0 0.22293 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[440]: 6 0 0.222955 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[441]: 6 0 0.222942 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[442]: 6 0 0.222904 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[448]: 6 0 0.222902 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[449]: 6 0 0.222928 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[450]: 6 0 0.222952 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[451]: 6 0 0.222913 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[452]: 6 0 0.222931 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[472]: 6 0 0.222904 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[473]: 6 0 0.222949 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[478]: 6 0 0.222962 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[481]: 6 0 0.222974 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[482]: 6 0 0.222938 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[488]: 6 0 0.295081 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[494]: 6 0 0.248148 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[497]: 6 0 0.222961 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[498]: 6 0 0.222911 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[499]: 6 0 0.222927 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[501]: 6 0 0.222927 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[502]: 6 0 0.222949 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[504]: 6 0 0.222907 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[506]: 6 0 0.222935 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[507]: 6 0 0.222962 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[508]: 6 0 0.222919 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[509]: 6 0 0.222947 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[531]: 6 0 0.222923 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[534]: 6 0 0.22294 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[535]: 6 0 0.222937 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[539]: 6 0 0.22292 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[540]: 6 0 0.222912 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[556]: 6 0 0.323823 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[559]: 6 0 0.222903 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[560]: 6 0 0.222928 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[561]: 6 0 0.222945 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[562]: 6 0 0.222914 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[564]: 6 0 0.222929 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[565]: 6 0 0.222945 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[567]: 6 0 0.222944 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[572]: 6 0 0.222938 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[593]: 6 0 0.22296 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[596]: 6 0 0.222906 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[597]: 6 0 0.222943 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[600]: 6 0 0.222972 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[601]: 6 0 0.222932 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[602]: 6 0 0.222972 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[612]: 6 0 0.229241 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[613]: 6 0 0.235582 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[618]: 6 0 0.48873 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[621]: 6 0 0.222962 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[623]: 6 0 0.222954 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[625]: 6 0 0.22294 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[626]: 6 0 0.222914 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[629]: 6 0 0.222932 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[630]: 6 0 0.22296 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[631]: 6 0 0.222955 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[655]: 6 0 0.222944 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[659]: 6 0 0.222958 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[661]: 6 0 0.222976 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[680]: 6 0 1.37261 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[687]: 6 0 0.222958 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[688]: 6 0 0.222904 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[689]: 6 0 0.222929 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[690]: 6 0 0.222912 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[691]: 6 0 0.222952 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[692]: 6 0 0.22295 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[717]: 6 0 0.222951 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[720]: 6 0 0.222932 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[721]: 6 0 0.222953 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[742]: 6 0 2.74988 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[746]: 6 0 0.222947 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[747]: 6 0 0.222908 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[748]: 6 0 0.222918 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[749]: 6 0 0.222958 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[750]: 6 0 0.222955 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[751]: 6 0 0.222936 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[752]: 6 0 0.222938 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[776]: 6 0 0.222962 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[779]: 6 0 0.222913 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[798]: 6 0 0.488757 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[803]: 6 0 0.757823 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[808]: 6 0 0.22291 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[811]: 6 0 0.222916 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[838]: 6 0 0.222963 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[841]: 6 0 0.222957 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[850]: 6 0 0.22665 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[869]: 6 0 0.222941 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[870]: 6 0 0.222943 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[871]: 6 0 0.222938 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[872]: 6 0 0.222931 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[900]: 6 0 0.222962 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[908]: 6 0 0.223311 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[931]: 6 0 0.222944 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[932]: 6 0 0.222921 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[962]: 6 0 0.22299 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[965]: 6 0 0.222983 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[966]: 6 0 0.223004 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[977]: 6 0 0.37374 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[991]: 6 -4.72598 0 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[992]: 6 -8.34576 0 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1024]: 6 0 0.222987 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1025]: 6 0 0.223009 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1032]: 6 0 0.228111 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1054]: 6 -42.8626 0 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1135]: 6 0 0.072059 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1145]: 6 0 0.00451706 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1202]: 6 0 0.000174364 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1207]: 6 0 0.0178607 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1269]: 6 0 0.0714885 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1322]: 6 0 0.00020345 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1331]: 6 0 0.240996 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1384]: 6 0 0.00230849 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1393]: 6 0 0.748087 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1443]: 6 0 0.00115481 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1450]: 6 0 0.142894 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1455]: 6 0 0.875848 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1512]: 6 0 0.410028 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1517]: 6 0 1.2382 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1563]: 6 0 0.000290362 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1568]: 6 0 0.0357923 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1574]: 6 0 1.38655 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1576]: 6 0 0.133492 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1579]: 6 0 2.38454 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1622]: 6 0 0.000169778 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1625]: 6 0 0.000982082 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1630]: 6 0 0.142863 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1685]: 6 0 0.000996296 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1687]: 6 0 0.00382399 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1692]: 6 0 0.410024 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1742]: 6 0 0.00017425 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1745]: 6 0 0.000900494 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1746]: 6 0 0.0019546 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1747]: 6 0 0.00386314 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1749]: 6 0 0.0156153 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1754]: 6 0 1.39069 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1802]: 6 0 0.000187367 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1803]: 6 0 0.000242153 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1807]: 6 0 0.00340762 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1808]: 6 0 0.00671452 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1809]: 6 0 0.0156353 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1862]: 6 0 0.000164212 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1863]: 6 0 0.000242574 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1865]: 6 0 0.000855791 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1866]: 6 0 0.00174315 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1869]: 6 0 0.0136266 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1870]: 6 0 0.0311978 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1876]: 6 0 0.117252 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1878]: 6 0 2.45428 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1881]: 6 0 2.0371 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1887]: 6 0 1.27434 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1923]: 6 0 0.000256142 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1924]: 6 0 0.000482355 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1925]: 6 0 0.000912513 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1926]: 6 0 0.00175959 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1927]: 6 0 0.00336512 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1928]: 6 0 0.00674521 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1931]: 6 0 0.0542975 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1940]: 6 0 2.22359 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1952]: 6 -15.8184 0 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1953]: 6 -31.5313 0 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1985]: 6 0 0.000903204 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1986]: 6 0 0.00169564 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1987]: 6 0 0.00340045 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1988]: 6 0 0.00667496 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1989]: 6 0 0.0156635 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1990]: 6 0 0.0271322 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1994]: 6 0 0.498272 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[1995]: 6 0 0.867585 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[2002]: 6 0 2.46037 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[2015]: 6 -120.922 0 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[2106]: 6 0 0.0365747 shouldn't be
1342.29/1346.17	WSVECS04 Frhs2[2107]: 6 0 0.0754531 shouldn't be
2029.62/2035.29	c #Conflicts:     227000 | #Constraints:      13611
2029.62/2035.29	c #Conflicts:     228000 | #Constraints:      14611
2029.62/2035.29	c #Conflicts:     229000 | #Constraints:      15611
2029.62/2035.29	c #Conflicts:     230000 | #Constraints:      16611
2029.62/2035.29	c #Conflicts:     231000 | #Constraints:      17611
2029.62/2035.29	c #Conflicts:     232000 | #Constraints:      18611
2029.62/2035.29	c #Conflicts:     233000 | #Constraints:      19611
2029.62/2035.29	c #Conflicts:     234000 | #Constraints:      20611
2029.62/2035.29	c #Conflicts:     235000 | #Constraints:      21611
2029.62/2035.29	c #Conflicts:     236000 | #Constraints:      22611
2029.62/2035.29	c INPROCESSING
2029.62/2035.29	c GARBAGE COLLECT
2029.62/2035.29	c #Conflicts:     237000 | #Constraints:      14015
2029.62/2035.29	c #Conflicts:     238000 | #Constraints:      15015
2029.62/2035.29	c #Conflicts:     239000 | #Constraints:      16015
2029.62/2035.29	c #Conflicts:     240000 | #Constraints:      17015
2029.62/2035.29	c #Conflicts:     241000 | #Constraints:      18015
2029.62/2035.29	c #Conflicts:     242000 | #Constraints:      19015
2029.62/2035.29	c #Conflicts:     243000 | #Constraints:      20015
2029.62/2035.29	c #Conflicts:     244000 | #Constraints:      21015
2029.62/2035.29	c #Conflicts:     245000 | #Constraints:      22015
2029.62/2035.29	c #Conflicts:     246000 | #Constraints:      23015
2029.62/2035.29	c INPROCESSING
2029.62/2035.29	c GARBAGE COLLECT
2029.62/2035.29	c #Conflicts:     247000 | #Constraints:      14219
2029.62/2035.29	c #Conflicts:     248000 | #Constraints:      15219
2029.62/2035.29	c #Conflicts:     249000 | #Constraints:      16219
2029.62/2035.29	c #Conflicts:     250000 | #Constraints:      17219
2029.62/2035.29	c #Conflicts:     251000 | #Constraints:      18219
2029.62/2035.29	c #Conflicts:     252000 | #Constraints:      19219
2029.62/2035.29	c #Conflicts:     253000 | #Constraints:      20219
2029.62/2035.29	c #Conflicts:     254000 | #Constraints:      21219
2029.62/2035.29	c #Conflicts:     255000 | #Constraints:      22219
2029.62/2035.29	c #Conflicts:     256000 | #Constraints:      23219
2029.62/2035.29	c INPROCESSING
2029.62/2035.29	c GARBAGE COLLECT
2029.62/2035.29	c #Conflicts:     257000 | #Constraints:      14218
2029.62/2035.29	c #Conflicts:     258000 | #Constraints:      15218
2029.62/2035.29	c #Conflicts:     259000 | #Constraints:      16218
2029.62/2035.29	c #Conflicts:     260000 | #Constraints:      17218
2029.62/2035.29	c #Conflicts:     261000 | #Constraints:      18218
2029.62/2035.29	c #Conflicts:     262000 | #Constraints:      19218
2029.62/2035.29	c #Conflicts:     263000 | #Constraints:      20218
2029.62/2035.29	c #Conflicts:     264000 | #Constraints:      21218
2029.62/2035.29	c #Conflicts:     265000 | #Constraints:      22218
2029.62/2035.29	c #Conflicts:     266000 | #Constraints:      23218
2029.62/2035.29	c INPROCESSING
2029.62/2035.29	c GARBAGE COLLECT
2029.62/2035.29	c #Conflicts:     267000 | #Constraints:      14014
2029.62/2035.29	c #Conflicts:     268000 | #Constraints:      15014
2029.62/2035.29	c #Conflicts:     269000 | #Constraints:      16014
2029.62/2035.29	c #Conflicts:     270000 | #Constraints:      17014
2029.62/2035.29	c #Conflicts:     271000 | #Constraints:      18014
2029.62/2035.29	c #Conflicts:     272000 | #Constraints:      19014
2029.62/2035.29	c #Conflicts:     273000 | #Constraints:      20014
2029.62/2035.29	c #Conflicts:     274000 | #Constraints:      21014
2029.62/2035.29	c #Conflicts:     275000 | #Constraints:      22014
2029.62/2035.29	c #Conflicts:     276000 | #Constraints:      23014
2029.62/2035.29	c #Conflicts:     277000 | #Constraints:      24014
2029.62/2035.29	c INPROCESSING
2029.62/2035.29	c GARBAGE COLLECT
2029.62/2035.29	c #Conflicts:     278000 | #Constraints:      14615
2029.62/2035.29	c #Conflicts:     279000 | #Constraints:      15616
2029.62/2035.29	c #Conflicts:     280000 | #Constraints:      16616
2029.62/2035.29	c #Conflicts:     281000 | #Constraints:      17616
2029.62/2035.29	c #Conflicts:     282000 | #Constraints:      18616
2029.62/2035.29	c #Conflicts:     283000 | #Constraints:      19616
2029.62/2035.29	c #Conflicts:     284000 | #Constraints:      20616
2029.62/2035.29	c #Conflicts:     285000 | #Constraints:      21616
2029.62/2035.29	c #Conflicts:     286000 | #Constraints:      22616
2029.62/2035.29	c #Conflicts:     287000 | #Constraints:      23616
2029.62/2035.29	c #Conflicts:     288000 | #Constraints:      24616
2029.62/2035.29	c INPROCESSING
2029.62/2035.29	c GARBAGE COLLECT
2029.62/2035.29	c #Conflicts:     289000 | #Constraints:      15012
2029.62/2035.29	c #Conflicts:     290000 | #Constraints:      16012
2029.62/2035.29	c #Conflicts:     291000 | #Constraints:      17012
2029.62/2035.29	c #Conflicts:     292000 | #Constraints:      18012
2029.62/2035.29	c #Conflicts:     293000 | #Constraints:      19012
2029.62/2035.29	c #Conflicts:     294000 | #Constraints:      20012
2029.62/2035.29	c #Conflicts:     295000 | #Constraints:      21012
2029.62/2035.29	c #Conflicts:     296000 | #Constraints:      22012
2029.62/2035.29	c #Conflicts:     297000 | #Constraints:      23012
2029.62/2035.29	c #Conflicts:     298000 | #Constraints:      24012
2029.62/2035.29	c #Conflicts:     299000 | #Constraints:      25012
2029.62/2035.29	c INPROCESSING
2029.62/2035.29	c GARBAGE COLLECT
2029.62/2035.29	c #Conflicts:     300000 | #Constraints:      15219
2029.62/2035.29	c #Conflicts:     301000 | #Constraints:      16219
2237.59/2243.72	c #Conflicts:     302000 | #Constraints:      17219
2237.59/2243.72	c #Conflicts:     303000 | #Constraints:      18219
2237.59/2243.72	c #Conflicts:     304000 | #Constraints:      19219
2237.59/2243.72	c #Conflicts:     305000 | #Constraints:      20219
2237.59/2243.72	c #Conflicts:     306000 | #Constraints:      21219
2237.59/2243.72	c #Conflicts:     307000 | #Constraints:      22219
2237.59/2243.72	c #Conflicts:     308000 | #Constraints:      23220
2237.59/2243.72	c #Conflicts:     309000 | #Constraints:      24221
2237.59/2243.72	c #Conflicts:     310000 | #Constraints:      25221
2237.59/2243.72	c INPROCESSING
2237.59/2243.72	c GARBAGE COLLECT
2237.59/2243.72	c #Conflicts:     311000 | #Constraints:      15221
2237.59/2243.72	c #Conflicts:     312000 | #Constraints:      16221
2237.59/2243.72	c #Conflicts:     313000 | #Constraints:      17222
2237.59/2243.72	c #Conflicts:     314000 | #Constraints:      18222
2237.59/2243.72	c #Conflicts:     315000 | #Constraints:      19222
2237.59/2243.72	c #Conflicts:     316000 | #Constraints:      20222
2237.59/2243.72	c #Conflicts:     317000 | #Constraints:      21222
2237.59/2243.72	c #Conflicts:     318000 | #Constraints:      22222
2237.59/2243.72	c #Conflicts:     319000 | #Constraints:      23222
2237.59/2243.72	c #Conflicts:     320000 | #Constraints:      24222
2237.59/2243.72	c #Conflicts:     321000 | #Constraints:      25222
2237.59/2243.72	c INPROCESSING
2237.59/2243.72	c GARBAGE COLLECT
2237.59/2243.72	c rational objective 36.0495
3029.23/3037.45	c #Conflicts:     322000 | #Constraints:      15016
3029.23/3037.45	c #Conflicts:     323000 | #Constraints:      16017
3029.23/3037.45	c #Conflicts:     324000 | #Constraints:      17017
3029.23/3037.45	c #Conflicts:     325000 | #Constraints:      18018
3029.23/3037.45	c #Conflicts:     326000 | #Constraints:      19018
3029.23/3037.45	c #Conflicts:     327000 | #Constraints:      20018
3029.23/3037.45	c #Conflicts:     328000 | #Constraints:      21018
3029.23/3037.45	c #Conflicts:     329000 | #Constraints:      22018
3029.23/3037.45	c #Conflicts:     330000 | #Constraints:      23018
3029.23/3037.45	c #Conflicts:     331000 | #Constraints:      24018
3029.23/3037.45	c #Conflicts:     332000 | #Constraints:      25018
3029.23/3037.45	c #Conflicts:     333000 | #Constraints:      26018
3029.23/3037.45	c INPROCESSING
3029.23/3037.45	c GARBAGE COLLECT
3029.23/3037.45	c #Conflicts:     334000 | #Constraints:      15606
3029.23/3037.45	c #Conflicts:     335000 | #Constraints:      16606
3029.23/3037.45	c #Conflicts:     336000 | #Constraints:      17606
3029.23/3037.45	c #Conflicts:     337000 | #Constraints:      18606
3029.23/3037.45	c #Conflicts:     338000 | #Constraints:      19606
3029.23/3037.45	c #Conflicts:     339000 | #Constraints:      20606
3029.23/3037.45	c #Conflicts:     340000 | #Constraints:      21607
3029.23/3037.45	c #Conflicts:     341000 | #Constraints:      22607
3029.23/3037.45	c #Conflicts:     342000 | #Constraints:      23607
3029.23/3037.45	c #Conflicts:     343000 | #Constraints:      24607
3029.23/3037.45	c #Conflicts:     344000 | #Constraints:      25607
3029.23/3037.45	c #Conflicts:     345000 | #Constraints:      26607
3029.23/3037.45	c INPROCESSING
3029.23/3037.45	c GARBAGE COLLECT
3029.23/3037.45	c #Conflicts:     346000 | #Constraints:      16004
3029.23/3037.45	c #Conflicts:     347000 | #Constraints:      17004
3029.23/3037.45	c #Conflicts:     348000 | #Constraints:      18004
3029.23/3037.45	c #Conflicts:     349000 | #Constraints:      19004
3029.23/3037.45	c #Conflicts:     350000 | #Constraints:      20004
3029.23/3037.45	c #Conflicts:     351000 | #Constraints:      21005
3029.23/3037.45	c #Conflicts:     352000 | #Constraints:      22005
3029.23/3037.45	c #Conflicts:     353000 | #Constraints:      23005
3029.23/3037.45	c #Conflicts:     354000 | #Constraints:      24005
3029.23/3037.45	c #Conflicts:     355000 | #Constraints:      25005
3029.23/3037.45	c #Conflicts:     356000 | #Constraints:      26006
3029.23/3037.45	c #Conflicts:     357000 | #Constraints:      27006
3029.23/3037.45	c INPROCESSING
3029.23/3037.45	c GARBAGE COLLECT
3029.23/3037.45	c #Conflicts:     358000 | #Constraints:      16204
3029.23/3037.45	c #Conflicts:     359000 | #Constraints:      17204
3029.23/3037.45	c #Conflicts:     360000 | #Constraints:      18204
3029.23/3037.45	c #Conflicts:     361000 | #Constraints:      19204
3029.23/3037.45	c #Conflicts:     362000 | #Constraints:      20204
3029.23/3037.45	c #Conflicts:     363000 | #Constraints:      21204
3029.23/3037.45	c #Conflicts:     364000 | #Constraints:      22204
3029.23/3037.45	c #Conflicts:     365000 | #Constraints:      23204
3029.23/3037.45	c #Conflicts:     366000 | #Constraints:      24204
3029.23/3037.45	c #Conflicts:     367000 | #Constraints:      25204
3029.23/3037.45	c #Conflicts:     368000 | #Constraints:      26204
3029.23/3037.45	c #Conflicts:     369000 | #Constraints:      27204
3029.23/3037.45	c INPROCESSING
3029.23/3037.45	c GARBAGE COLLECT
3029.23/3037.45	c #Conflicts:     370000 | #Constraints:      16205
3029.23/3037.45	c #Conflicts:     371000 | #Constraints:      17205
3029.23/3037.45	c #Conflicts:     372000 | #Constraints:      18205
3029.23/3037.45	c #Conflicts:     373000 | #Constraints:      19205
3029.23/3037.45	c #Conflicts:     374000 | #Constraints:      20205
3029.23/3037.45	c #Conflicts:     375000 | #Constraints:      21205
3029.23/3037.45	c #Conflicts:     376000 | #Constraints:      22205
3029.23/3037.45	c #Conflicts:     377000 | #Constraints:      23205
3029.23/3037.45	c #Conflicts:     378000 | #Constraints:      24205
3029.23/3037.45	c #Conflicts:     379000 | #Constraints:      25205
3029.23/3037.45	c #Conflicts:     380000 | #Constraints:      26205
3029.23/3037.45	c #Conflicts:     381000 | #Constraints:      27205
3029.23/3037.45	c INPROCESSING
3029.23/3037.45	c GARBAGE COLLECT
3029.23/3037.45	c #Conflicts:     382000 | #Constraints:      16008
3029.23/3037.45	c #Conflicts:     383000 | #Constraints:      17008
3029.23/3037.45	c #Conflicts:     384000 | #Constraints:      18008
3029.23/3037.45	c #Conflicts:     385000 | #Constraints:      19008
3029.23/3037.45	c #Conflicts:     386000 | #Constraints:      20008
3029.23/3037.45	c #Conflicts:     387000 | #Constraints:      21008
3029.23/3037.45	c #Conflicts:     388000 | #Constraints:      22008
3029.23/3037.45	c #Conflicts:     389000 | #Constraints:      23008
3029.23/3037.45	c #Conflicts:     390000 | #Constraints:      24008
3029.23/3037.45	c #Conflicts:     391000 | #Constraints:      25008
3029.23/3037.45	c #Conflicts:     392000 | #Constraints:      26008
3029.23/3037.45	c #Conflicts:     393000 | #Constraints:      27008
3029.23/3037.45	c #Conflicts:     394000 | #Constraints:      28008
3029.23/3037.45	c INPROCESSING
3029.23/3037.45	c GARBAGE COLLECT
3029.23/3037.45	c #Conflicts:     395000 | #Constraints:      16609
3029.23/3037.45	c #Conflicts:     396000 | #Constraints:      17609
3158.57/3167.15	c #Conflicts:     397000 | #Constraints:      18609
3158.57/3167.15	c #Conflicts:     398000 | #Constraints:      19609
3158.57/3167.15	c #Conflicts:     399000 | #Constraints:      20609
3158.57/3167.15	c #Conflicts:     400000 | #Constraints:      21609
3158.57/3167.15	c #Conflicts:     401000 | #Constraints:      22610
3158.57/3167.15	c #Conflicts:     402000 | #Constraints:      23610
3158.57/3167.15	c #Conflicts:     403000 | #Constraints:      24610
3158.57/3167.15	c #Conflicts:     404000 | #Constraints:      25610
3158.57/3167.15	c #Conflicts:     405000 | #Constraints:      26610
3158.57/3167.15	c #Conflicts:     406000 | #Constraints:      27610
3158.57/3167.15	c #Conflicts:     407000 | #Constraints:      28610
3158.57/3167.15	c INPROCESSING
3158.57/3167.15	c GARBAGE COLLECT
3158.57/3167.15	c rational objective 36.0495
3305.14/3314.12	c #Conflicts:     408000 | #Constraints:      17006
3305.14/3314.12	c #Conflicts:     409000 | #Constraints:      18006
3305.14/3314.12	c #Conflicts:     410000 | #Constraints:      19006
3305.14/3314.12	c #Conflicts:     411000 | #Constraints:      20006
3305.14/3314.12	c #Conflicts:     412000 | #Constraints:      21006
3305.14/3314.12	c #Conflicts:     413000 | #Constraints:      22007
3305.14/3314.12	c #Conflicts:     414000 | #Constraints:      23007
3305.14/3314.12	c #Conflicts:     415000 | #Constraints:      24007
3305.14/3314.12	c #Conflicts:     416000 | #Constraints:      25007
3305.14/3314.12	c #Conflicts:     417000 | #Constraints:      26007
3305.14/3314.12	c #Conflicts:     418000 | #Constraints:      27007
3305.14/3314.12	c #Conflicts:     419000 | #Constraints:      28007
3305.14/3314.12	c #Conflicts:     420000 | #Constraints:      29007
3305.14/3314.12	c INPROCESSING
3305.14/3314.12	c GARBAGE COLLECT
3305.14/3314.12	c rational objective 36.0495
3335.64/3344.79	c #Conflicts:     421000 | #Constraints:      17209
3335.64/3344.79	c #Conflicts:     422000 | #Constraints:      18209
3335.64/3344.79	WSVECS04 Frhs2[99]: 6 -1.00006 0 shouldn't be
3335.64/3344.79	WSVECS04 Frhs2[102]: 6 -1.00004 0 shouldn't be
3335.64/3344.79	WSVECS04 Frhs2[105]: 6 -0.867784 0 shouldn't be
3335.64/3344.79	WSVECS04 Frhs2[119]: 6 0 0.254973 shouldn't be
3335.64/3344.79	WSVECS04 Frhs2[1139]: 6 0 1.83734e-05 shouldn't be
3335.64/3344.79	WSVECS04 Frhs2[1201]: 6 0 3.94354e-05 shouldn't be
3335.64/3344.79	WSVECS04 Frhs2[1444]: 6 0 0.00015 shouldn't be
3335.64/3344.79	WSVECS04 Frhs2[2106]: 6 -0.00626942 0 shouldn't be
3336.04/3345.18	WSVECS04 Frhs2[119]: 6 0 0.253653 shouldn't be
3600.06/3609.90	c #Conflicts:     423000 | #Constraints:      19210
3600.06/3609.90	c #Conflicts:     424000 | #Constraints:      20210
3600.06/3609.90	c #Conflicts:     425000 | #Constraints:      21210
3600.06/3609.90	c #Conflicts:     426000 | #Constraints:      22210
3600.06/3609.90	c #Conflicts:     427000 | #Constraints:      23210
3600.06/3609.90	c #Conflicts:     428000 | #Constraints:      24210
3600.06/3609.90	c #Conflicts:     429000 | #Constraints:      25210
3600.06/3609.90	c #Conflicts:     430000 | #Constraints:      26210
3600.06/3609.90	c #Conflicts:     431000 | #Constraints:      27210
3600.06/3609.90	c #Conflicts:     432000 | #Constraints:      28210
3600.06/3609.90	c #Conflicts:     433000 | #Constraints:      29210
3600.06/3609.90	c INPROCESSING
3600.06/3609.90	c GARBAGE COLLECT
3600.06/3609.90	c #Conflicts:     434000 | #Constraints:      17201
3600.06/3609.90	c #Conflicts:     435000 | #Constraints:      18201
3600.06/3609.90	c #Conflicts:     436000 | #Constraints:      19201
3600.06/3609.90	c #Conflicts:     437000 | #Constraints:      20201
3600.06/3609.90	c #Conflicts:     438000 | #Constraints:      21201
3600.06/3609.90	c #Conflicts:     439000 | #Constraints:      22201
3600.06/3609.90	c #Conflicts:     440000 | #Constraints:      23201
3600.06/3609.90	c #Conflicts:     441000 | #Constraints:      24201
3600.06/3609.90	c #Conflicts:     442000 | #Constraints:      25201
3600.06/3609.90	c #Conflicts:     443000 | #Constraints:      26201
3600.06/3609.90	c cpu time 3597.26 s
3600.06/3609.90	c deterministic time 961527510501 9.62e+11
3600.06/3609.90	c optimization time 122.965 s
3600.06/3609.90	c total solve time 3474.28 s
3600.06/3609.90	c core-guided solve time 0 s
3600.06/3609.90	c propagation time 3062.14 s
3600.06/3609.90	c conflict analysis time 436.237 s
3600.06/3609.90	c propagations 69311550
3600.06/3609.90	c resolve steps 19885739
3600.06/3609.90	c decisions 532694
3600.06/3609.90	c conflicts 443908
3600.06/3609.90	c restarts 1021
3600.06/3609.90	c inprocessing phases 57
3600.06/3609.90	c garbage collections 57 ,( 100.00 )
3600.06/3609.90	c input clauses 3968 ,( 99.87 )
3600.06/3609.90	c input cardinalities 0 ,( 0.00 )
3600.06/3609.90	c input general constraints 5 ,( 0.13 )
3600.06/3609.90	c input average constraint length 3.06
3600.06/3609.90	c input average constraint degree 5803783056518250.00
3600.06/3609.90	c learned clauses 1228 ,( 0.28 )
3600.06/3609.90	c learned cardinalities 3 ,( 0.00 )
3600.06/3609.90	c learned general constraints 442700 ,( 99.72 )
3600.06/3609.90	c learned average constraint length 538.65
3600.06/3609.90	c learned average constraint degree 1064904209.46
3600.06/3609.90	c watched  CF 32, 64, 128, Arb: 144 , 0 , 0 , 0
3600.06/3609.90	c counting CF 32, 64, 128, Arb: 442556 , 0 , 5 , 0
3600.06/3609.90	c watched   constraints 144 ,( 0.03 ) 
3600.06/3609.90	c counting  constraints 442561 ,( 99.97 ) 
3600.06/3609.90	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 53524732 , 191397 , 60615985766 ,( 425905 , 60615559861 )
3600.06/3609.90	c gcd simplifications 74
3600.06/3609.90	c detected cardinalities 2
3600.06/3609.90	c weakened non-implied lits 14455867
3600.06/3609.90	c weakened non-implying lits 31105
3600.06/3609.90	c original variables 2170
3600.06/3609.90	c clausal propagations 51178252
3600.06/3609.90	c cardinality propagations 100996
3600.06/3609.90	c watched propagations 53
3600.06/3609.90	c counting propagations 17654269
3600.06/3609.90	c watch lookups 60747356123
3600.06/3609.90	c watch backjump lookups 0
3600.06/3609.90	c watch checks 5390253
3600.06/3609.90	c propagation checks 898523802561
3600.06/3609.90	c constraint additions 2110750042
3600.06/3609.90	c trail pops 70286004
3600.06/3609.90	c formula constraints 3973
3600.06/3609.90	c learned constraints 443907
3600.06/3609.90	c bound constraints 0
3600.06/3609.90	c core-guided constraints 0
3600.06/3609.90	c encountered formula constraints 19607362
3600.06/3609.90	c encountered learned constraints 660438
3600.06/3609.90	c encountered bound constraints 0
3600.06/3609.90	c encountered core-guided constraints 0
3600.06/3609.90	c LP total time 13.7843 s
3600.06/3609.90	c LP solve time 7.17 s
3600.06/3609.90	c LP constraints added 3979
3600.06/3609.90	c LP constraints removed 1
3600.06/3609.90	c LP pivots internal 47977
3600.06/3609.90	c LP pivots root 33296
3600.06/3609.90	c LP calls 428
3600.06/3609.90	c LP optimalities 308
3600.06/3609.90	c LP no pivot count 84
3600.06/3609.90	c LP infeasibilities 38
3600.06/3609.90	c LP valid Farkas constraints 19
3600.06/3609.90	c LP learned Farkas constraints 0
3600.06/3609.90	c LP basis resets 98
3600.06/3609.90	c LP cycling count 31
3600.06/3609.90	c LP singular count 22
3600.06/3609.90	c LP no primal count 0
3600.06/3609.90	c LP no farkas count 19
3600.06/3609.90	c LP other issue count 26
3600.06/3609.90	c LP Gomory cuts 5
3600.06/3609.90	c LP learned cuts 1
3600.06/3609.90	c LP deleted cuts 1
3600.06/3609.90	c LP encountered Gomory constraints 0
3600.06/3609.90	c LP encountered Farkas constraints 61847
3600.06/3609.90	c LP encountered learned Farkas constraints 0
3600.06/3609.90	c CG auxiliary variables introduced 0
3600.06/3609.90	c CG solutions found 0
3600.06/3609.90	c CG cores constructed 0
3600.06/3609.90	c CG core cardinality constraints returned 0
3600.06/3609.90	c CG unit cores 0
3600.06/3609.90	c CG single cores 0
3600.06/3609.90	c CG blocks removed during cardinality reduction 0
3600.06/3609.90	c CG first core best 0
3600.06/3609.90	c CG decision core best 0
3600.06/3609.90	c CG core reduction tie 0
3600.06/3609.90	c CG core degree average 0.00
3600.06/3609.90	c CG core slack average 0.00
3600.06/3609.90	c CG core upper bound improvements 0
3600.06/3609.90	c STR number of successful calls 0
3600.06/3609.90	c STR number of unsuccessful calls 0
3600.06/3609.90	c STR number of inconclusive calls 0
3600.06/3609.90	c STR number of successful attempts 0
3600.06/3609.90	c STR number of unsuccessful attempts 0
3600.06/3609.90	c STR number of inconclusive attempts 0
3600.06/3609.90	c STR average degree increase per successful call inf
3600.06/3609.90	c STR average degree increase per successful attempt inf
3600.06/3609.90	c STR total number of conflicts for successful attempts 0
3600.06/3609.90	c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.90	c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.90	c STR average number of conflicts per successful attempt inf
3600.06/3609.90	c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.90	c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.90	c AVG.sumWPerc 99.71 
3600.06/3609.90	c bigint constraints 5 
3600.06/3609.90	s UNKNOWN
3600.06/3609.90	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: 63665 MiB (62499 MiB free)
  memory of node 1: 64507 MiB (63534 MiB free)
  node distances:
     10  21
     21  10

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

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 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=164347, runsolver pid=164338

[startup+0.100059 s]*
/proc/loadavg: 0.12 0.10 0.09 5/267 164356
/proc/meminfo: memFree=129036364/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=56960 memory=10240 CPUtime=0.01 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 797 0 0 0 1 0 0 0 20 0 1 0 235576263 58327040 2560 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 14240 2560 2016 1147 0 1667 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 61152 KiB
Current children cumulated memory: 13312 KiB

[startup+0.205044 s]*
/proc/loadavg: 0.12 0.10 0.09 5/267 164357
/proc/meminfo: memFree=129026500/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=62120 memory=16552 CPUtime=0.11 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 2564 0 0 0 11 0 0 0 20 0 1 0 235576263 63610880 4138 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 15530 4138 2304 1147 0 2957 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 66312 KiB
Current children cumulated memory: 19624 KiB

[startup+0.304627 s]*
/proc/loadavg: 0.12 0.10 0.09 5/267 164357
/proc/meminfo: memFree=129026676/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=62120 memory=16552 CPUtime=0.21 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 2564 0 0 0 21 0 0 0 20 0 1 0 235576263 63610880 4138 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 15530 4138 2304 1147 0 2957 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 66312 KiB
Current children cumulated memory: 19624 KiB

[startup+0.700126 s]
/proc/loadavg: 0.12 0.10 0.09 5/267 164357
/proc/meminfo: memFree=129023904/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=62120 memory=16552 CPUtime=0.6 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 2564 0 0 0 60 0 0 0 20 0 1 0 235576263 63610880 4138 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 15530 4138 2304 1147 0 2957 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 66312 KiB
Current children cumulated memory: 19624 KiB

[startup+1.50015 s]
/proc/loadavg: 0.12 0.10 0.09 5/267 164357
/proc/meminfo: memFree=129020880/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=72768 memory=31184 CPUtime=1.4 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 5172 0 0 0 139 1 0 0 20 0 1 0 235576263 74514432 7796 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 18192 7796 2336 1147 0 5619 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 76960 KiB
Current children cumulated memory: 34256 KiB

[startup+3.1053 s]
/proc/loadavg: 0.12 0.10 0.09 5/267 164357
/proc/meminfo: memFree=128972152/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=99200 memory=53732 CPUtime=3 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 10258 0 0 0 298 2 0 0 20 0 1 0 235576263 101580800 13433 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 24800 13433 2368 1147 0 12227 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 103392 KiB
Current children cumulated memory: 56804 KiB

[startup+6.30017 s]
/proc/loadavg: 0.43 0.16 0.11 5/268 164358
/proc/meminfo: memFree=128950800/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=114216 memory=63332 CPUtime=6.18 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 12673 0 0 0 615 3 0 0 20 0 1 0 235576263 116957184 15833 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 28554 15833 2368 1147 0 15981 0
Current children cumulated CPU time: 6.18 s
Current children cumulated vsize: 118408 KiB
Current children cumulated memory: 66404 KiB

[startup+12.7002 s]
/proc/loadavg: 0.72 0.23 0.13 5/268 164358
/proc/meminfo: memFree=128912620/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=132984 memory=84068 CPUtime=12.56 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 16835 0 0 0 1251 5 0 0 20 0 1 0 235576263 136175616 21017 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 33246 21017 2368 1147 0 20673 0
Current children cumulated CPU time: 12.56 s
Current children cumulated vsize: 137176 KiB
Current children cumulated memory: 87140 KiB

[startup+25.5002 s]
/proc/loadavg: 1.44 0.41 0.20 5/268 164358
/proc/meminfo: memFree=128824756/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=157724 memory=102084 CPUtime=25.34 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 20302 0 0 0 2525 9 0 0 20 0 1 0 235576263 161509376 25521 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 39431 25521 2368 1147 0 26858 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 161916 KiB
Current children cumulated memory: 105156 KiB

[startup+51.1055 s]
/proc/loadavg: 2.37 0.72 0.30 5/268 164358
/proc/meminfo: memFree=128760636/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=178344 memory=121400 CPUtime=50.87 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 24036 0 0 0 5073 14 0 0 20 0 1 0 235576263 182624256 30350 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 44586 30350 2464 1147 0 32013 0
Current children cumulated CPU time: 50.87 s
Current children cumulated vsize: 182536 KiB
Current children cumulated memory: 124472 KiB

[startup+102.3 s]
/proc/loadavg: 3.35 1.24 0.50 5/268 164360
/proc/meminfo: memFree=128641404/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=218572 memory=147452 CPUtime=101.94 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 29026 0 0 0 10170 24 0 0 20 0 1 0 235576263 223817728 36863 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 54643 36863 2464 1147 0 42070 0
Current children cumulated CPU time: 101.94 s
Current children cumulated vsize: 222764 KiB
Current children cumulated memory: 150524 KiB

[startup+162.3 s]
/proc/loadavg: 3.87 1.78 0.74 5/268 164362
/proc/meminfo: memFree=128590476/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=228368 memory=166028 CPUtime=161.78 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 32114 0 0 0 16144 34 0 0 20 0 1 0 235576263 233848832 41507 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 57092 41507 2464 1147 0 44519 0
Current children cumulated CPU time: 161.78 s
Current children cumulated vsize: 232560 KiB
Current children cumulated memory: 169100 KiB

[startup+222.3 s]
/proc/loadavg: 4.01 2.20 0.95 5/268 164364
/proc/meminfo: memFree=128467400/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=248556 memory=185832 CPUtime=221.62 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 36067 0 0 0 22121 41 0 0 20 0 1 0 235576263 254521344 46458 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 62139 46458 2464 1147 0 49566 0

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

/proc/164355/statm: 151202 128340 2496 1147 0 138629 0
Current children cumulated CPU time: 3093.96 s
Current children cumulated vsize: 609000 KiB
Current children cumulated memory: 516432 KiB

[startup+3162.3 s]
/proc/loadavg: 4.11 4.13 4.02 5/267 164513
/proc/meminfo: memFree=126987824/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=604808 memory=513744 CPUtime=3153.78 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 82694 0 0 0 315125 253 0 0 20 0 1 0 235576263 619323392 128436 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 151202 128436 2496 1147 0 138629 0
Current children cumulated CPU time: 3153.78 s
Current children cumulated vsize: 609000 KiB
Current children cumulated memory: 516816 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.14 4.03 5/267 164515
/proc/meminfo: memFree=126997612/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=607856 memory=517752 CPUtime=3213.6 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 83196 0 0 0 321103 257 0 0 20 0 1 0 235576263 622444544 129438 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 151964 129438 2496 1147 0 139391 0
Current children cumulated CPU time: 3213.6 s
Current children cumulated vsize: 612048 KiB
Current children cumulated memory: 520824 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.13 4.03 5/267 164517
/proc/meminfo: memFree=126989084/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=608392 memory=518264 CPUtime=3273.43 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 83331 0 0 0 327081 262 0 0 20 0 1 0 235576263 622993408 129566 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 152098 129566 2496 1147 0 139525 0
Current children cumulated CPU time: 3273.43 s
Current children cumulated vsize: 612584 KiB
Current children cumulated memory: 521336 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.03 5/267 164520
/proc/meminfo: memFree=126987768/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=617072 memory=525976 CPUtime=3333.25 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 84747 0 0 0 333059 266 0 0 20 0 1 0 235576263 631881728 131494 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 154268 131494 2496 1147 0 141695 0
Current children cumulated CPU time: 3333.25 s
Current children cumulated vsize: 621264 KiB
Current children cumulated memory: 529048 KiB

[startup+3402.3 s]
/proc/loadavg: 4.12 4.12 4.03 5/267 164522
/proc/meminfo: memFree=126994700/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=617072 memory=525976 CPUtime=3393.07 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 84747 0 0 0 339036 271 0 0 20 0 1 0 235576263 631881728 131494 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 154268 131494 2496 1147 0 141695 0
Current children cumulated CPU time: 3393.07 s
Current children cumulated vsize: 621264 KiB
Current children cumulated memory: 529048 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.11 4.03 5/267 164524
/proc/meminfo: memFree=126961860/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=618096 memory=526616 CPUtime=3452.9 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 84898 0 0 0 345017 273 0 0 20 0 1 0 235576263 632930304 131654 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 154524 131654 2496 1147 0 141951 0
Current children cumulated CPU time: 3452.9 s
Current children cumulated vsize: 622288 KiB
Current children cumulated memory: 529688 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.04 5/267 164526
/proc/meminfo: memFree=126945724/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=624212 memory=530200 CPUtime=3512.73 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 85809 0 0 0 350995 278 0 0 20 0 1 0 235576263 639193088 132550 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 156053 132550 2496 1147 0 143480 0
Current children cumulated CPU time: 3512.73 s
Current children cumulated vsize: 628404 KiB
Current children cumulated memory: 533272 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.11 4.04 5/267 164528
/proc/meminfo: memFree=126913084/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=624212 memory=530200 CPUtime=3572.55 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 85809 0 0 0 356975 280 0 0 20 0 1 0 235576263 639193088 132550 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 156053 132550 2496 1147 0 143480 0
Current children cumulated CPU time: 3572.55 s
Current children cumulated vsize: 628404 KiB
Current children cumulated memory: 533272 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.14 4.12 4.04 5/268 164536
/proc/meminfo: memFree=126883840/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=624212 memory=530200 CPUtime=3600.06 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 85809 0 0 0 359725 281 0 0 20 0 1 0 235576263 639193088 132550 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 156053 132550 2496 1147 0 143480 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 628404 KiB
Current children cumulated memory: 533272 KiB

Sending SIGTERM to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=0.008241 s, system=0.006116 s
Sleeping 2 seconds

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

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

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

[startup+3609.9 s]
/proc/loadavg: 4.14 4.12 4.04 5/268 164536
/proc/meminfo: memFree=126883840/131249988 swapFree=33010160/33010684
[pid=164347] ppid=164338 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/164347/stat : 164347 (run-dec-break.s) S 164338 164347 164273 0 -1 4194304 236 1910 0 0 0 0 0 0 20 0 1 0 235576256 4292608 768 18446744073709551615 93886075133952 93886076028485 140724166328432 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 93886076267536 93886076315280 93886088974336 140724166334815 140724166334944 140724166334944 140724166340548 0
/proc/164347/statm: 1048 768 704 219 0 110 0
[pid=164355] ppid=164347 vsize=624212 memory=530200 CPUtime=3600.06 cores=0,2
/proc/164355/stat : 164355 (roundingsat) R 164347 164347 164273 0 -1 4194304 85809 0 0 0 359725 281 0 0 20 0 1 0 235576263 639193088 132550 18446744073709551615 4227072 8923433 140725068617232 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 21581824 140725068622146 140725068622374 140725068622374 140725068627946 0
/proc/164355/statm: 156053 132550 2496 1147 0 143480 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 628404 KiB
Current children cumulated memory: 533272 KiB

Child status: 2

Real time (s): 3609.91
CPU time (s): 3600.1
CPU user time (s): 3597.27
CPU system time (s): 2.83045
CPU usage (%): 99.7282
Max. virtual memory (cumulated for all children) (KiB): 628404
Max. memory (cumulated for all children) (KiB): 533272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.27
system time used= 2.83045
maximum resident set size= 530328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87973
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 330
involuntary context switches= 8074


# summary of solver processes directly reported to runsolver:
#   pid: 164347,164355
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3597.27
#   total CPU system time (s): 2.83045

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.38143 second user time and 16.1432 second system time

The end

Launcher Data 

Begin job on nodeC034 at 2025-07-22 17:42:54
IDJOB=4541609
IDBENCH=163199
IDSOLVER=3357
FILE ID=nodeC034/4541609-1753198973
RUNJOBID= nodeC034-1753198973-164290
SLURM_JOB_ID= 9687767
Free space on /tmp= 433032 MiB

SOLVER NAME= roundingsat+pbsuma 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.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4541609-1753198973/watcher-4541609-1753198973 -o /tmp/evaluation-result-4541609-1753198973/solver-4541609-1753198973 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC034-1753198973-164290 --watchdog 3760  run-dec-break.sh HOME/instance-4541609-1753198973.opb

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

MD5SUM BENCH= 21d0ffe78b9aba15f7c4d4a17a4e20d2
RANDOM SEED=1581860338

nodeC034 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		: 3600.220
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.53
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		: 2537.638
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.53
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.913
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.53
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		: 2070.431
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.875
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.53
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		: 2082.101
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.53
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		: 3604.484
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.53
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		: 2584.397
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.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        129053088 kB
MemAvailable:   129659940 kB
Buffers:            2128 kB
Cached:          1346056 kB
SwapCached:           32 kB
Active:          1203308 kB
Inactive:         225428 kB
Active(anon):     104664 kB
Inactive(anon):     2152 kB
Active(file):    1098644 kB
Inactive(file):   223276 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22496 kB
Writeback:             0 kB
AnonPages:         83748 kB
Mapped:           108852 kB
Shmem:             26264 kB
KReclaimable:     247940 kB
Slab:             346092 kB
SReclaimable:     247940 kB
SUnreclaim:        98152 kB
KernelStack:        4192 kB
PageTables:         3084 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:     352088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      189140 kB
DirectMap2M:     7970816 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433008 MiB
End job on nodeC034 at 2025-07-22 18:43:04