Trace number 4541607

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
roundingsat-ls 63f22ad? (TO) 3600.12 3609.12

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

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

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

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

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.10006 s]*
/proc/loadavg: 0.11 0.10 0.09 6/269 157169
/proc/meminfo: memFree=127492392/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=62120 memory=16504 CPUtime=0.05 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 2566 0 0 0 4 1 0 0 20 0 1 0 235571946 63610880 4126 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 15530 4126 2272 1147 0 2957 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 66312 KiB
Current children cumulated memory: 19448 KiB

[startup+0.204637 s]*
/proc/loadavg: 0.11 0.10 0.09 6/269 157169
/proc/meminfo: memFree=127492392/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=62120 memory=16504 CPUtime=0.16 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 2566 0 0 0 15 1 0 0 20 0 1 0 235571946 63610880 4126 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 15530 4126 2272 1147 0 2957 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 66312 KiB
Current children cumulated memory: 19448 KiB

[startup+0.304486 s]*
/proc/loadavg: 0.11 0.10 0.09 6/269 157169
/proc/meminfo: memFree=127491888/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=62120 memory=16504 CPUtime=0.25 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 2566 0 0 0 24 1 0 0 20 0 1 0 235571946 63610880 4126 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 15530 4126 2272 1147 0 2957 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 66312 KiB
Current children cumulated memory: 19448 KiB

[startup+0.700119 s]
/proc/loadavg: 0.11 0.10 0.09 6/269 157169
/proc/meminfo: memFree=127492064/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=62120 memory=16504 CPUtime=0.65 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 2567 0 0 0 64 1 0 0 20 0 1 0 235571946 63610880 4126 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 15530 4126 2272 1147 0 2957 0
Current children cumulated CPU time: 0.65 s
Current children cumulated vsize: 66312 KiB
Current children cumulated memory: 19448 KiB

[startup+1.50014 s]
/proc/loadavg: 0.11 0.10 0.09 6/269 157169
/proc/meminfo: memFree=127489040/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=73352 memory=31804 CPUtime=1.44 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 5333 0 0 0 143 1 0 0 20 0 1 0 235571946 75112448 7951 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 18338 7951 2336 1147 0 5765 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 77544 KiB
Current children cumulated memory: 34748 KiB

[startup+3.10449 s]
/proc/loadavg: 0.42 0.16 0.11 6/269 157169
/proc/meminfo: memFree=127448128/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=99144 memory=52520 CPUtime=3.04 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 10003 0 0 0 302 2 0 0 20 0 1 0 235571946 101523456 13130 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 24786 13130 2336 1147 0 12213 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 103336 KiB
Current children cumulated memory: 55464 KiB

[startup+6.30015 s]
/proc/loadavg: 0.42 0.16 0.11 6/269 157169
/proc/meminfo: memFree=127426916/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=114500 memory=65520 CPUtime=6.23 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 12745 0 0 0 619 4 0 0 20 0 1 0 235571946 117248000 16380 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 28625 16380 2336 1147 0 16052 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 118692 KiB
Current children cumulated memory: 68464 KiB

[startup+12.7001 s]
/proc/loadavg: 0.97 0.29 0.15 6/269 157169
/proc/meminfo: memFree=127389088/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=133144 memory=84320 CPUtime=12.62 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 16411 0 0 0 1256 6 0 0 20 0 1 0 235571946 136339456 21080 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 33286 21080 2336 1147 0 20713 0
Current children cumulated CPU time: 12.62 s
Current children cumulated vsize: 137336 KiB
Current children cumulated memory: 87264 KiB

[startup+25.5002 s]
/proc/loadavg: 1.51 0.43 0.20 6/269 157169
/proc/meminfo: memFree=127311092/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=158264 memory=103616 CPUtime=25.38 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 20222 0 0 0 2530 8 0 0 20 0 1 0 235571946 162062336 25904 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 39566 25904 2336 1147 0 26993 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 162456 KiB
Current children cumulated memory: 106560 KiB

[startup+51.1054 s]
/proc/loadavg: 2.36 0.71 0.30 6/269 157170
/proc/meminfo: memFree=127246876/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=178276 memory=122148 CPUtime=50.92 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 23751 0 0 0 5079 13 0 0 20 0 1 0 235571946 182554624 30537 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 44569 30537 2432 1147 0 31996 0
Current children cumulated CPU time: 50.92 s
Current children cumulated vsize: 182468 KiB
Current children cumulated memory: 125092 KiB

[startup+102.3 s]
/proc/loadavg: 3.39 1.28 0.52 6/269 157173
/proc/meminfo: memFree=127102848/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=218496 memory=146100 CPUtime=102 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 28713 0 0 0 10178 22 0 0 20 0 1 0 235571946 223739904 36525 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 54624 36525 2432 1147 0 42051 0
Current children cumulated CPU time: 102 s
Current children cumulated vsize: 222688 KiB
Current children cumulated memory: 149044 KiB

[startup+162.3 s]
/proc/loadavg: 3.88 1.81 0.75 6/269 157175
/proc/meminfo: memFree=127060188/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=228812 memory=165020 CPUtime=161.85 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 31925 0 0 0 16153 32 0 0 20 0 1 0 235571946 234303488 41255 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 57203 41255 2432 1147 0 44630 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 233004 KiB
Current children cumulated memory: 167964 KiB

[startup+222.3 s]
/proc/loadavg: 4.00 2.23 0.96 6/269 157176
/proc/meminfo: memFree=126927812/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=249044 memory=186984 CPUtime=221.7 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 35884 0 0 0 22130 40 0 0 20 0 1 0 235571946 255021056 46746 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 62261 46746 2432 1147 0 49688 0
Current children cumulated CPU time: 221.7 s

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

/proc/157164/statm: 151115 128986 2464 1147 0 138542 0
Current children cumulated CPU time: 3094.51 s
Current children cumulated vsize: 608652 KiB
Current children cumulated memory: 518888 KiB

[startup+3162.3 s]
/proc/loadavg: 4.07 4.08 4.00 6/268 157338
/proc/meminfo: memFree=125479012/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=604460 memory=516072 CPUtime=3154.37 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 81201 0 0 0 315191 246 0 0 20 0 1 0 235571946 618967040 129018 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 151115 129018 2464 1147 0 138542 0
Current children cumulated CPU time: 3154.37 s
Current children cumulated vsize: 608652 KiB
Current children cumulated memory: 519016 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.09 4.01 6/268 157340
/proc/meminfo: memFree=125483152/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=607508 memory=520164 CPUtime=3214.22 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 81716 0 0 0 321172 250 0 0 20 0 1 0 235571946 622088192 130041 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 151877 130041 2464 1147 0 139304 0
Current children cumulated CPU time: 3214.22 s
Current children cumulated vsize: 611700 KiB
Current children cumulated memory: 523108 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.01 6/268 157342
/proc/meminfo: memFree=125476488/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=608044 memory=520676 CPUtime=3274.08 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 81851 0 0 0 327155 253 0 0 20 0 1 0 235571946 622637056 130169 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 152011 130169 2464 1147 0 139438 0
Current children cumulated CPU time: 3274.08 s
Current children cumulated vsize: 612236 KiB
Current children cumulated memory: 523620 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.10 4.02 6/268 157345
/proc/meminfo: memFree=125453908/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=616212 memory=530264 CPUtime=3333.93 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 83203 0 0 0 333138 255 0 0 20 0 1 0 235571946 631001088 132566 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 154053 132566 2464 1147 0 141480 0
Current children cumulated CPU time: 3333.93 s
Current children cumulated vsize: 620404 KiB
Current children cumulated memory: 533208 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.02 6/269 157349
/proc/meminfo: memFree=125424752/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=616212 memory=530264 CPUtime=3393.79 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 83203 0 0 0 339120 259 0 0 20 0 1 0 235571946 631001088 132566 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 154053 132566 2464 1147 0 141480 0
Current children cumulated CPU time: 3393.79 s
Current children cumulated vsize: 620404 KiB
Current children cumulated memory: 533208 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.11 4.02 6/269 157351
/proc/meminfo: memFree=125428628/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=617236 memory=530776 CPUtime=3453.64 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 83339 0 0 0 345103 261 0 0 20 0 1 0 235571946 632049664 132694 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 154309 132694 2464 1147 0 141736 0
Current children cumulated CPU time: 3453.64 s
Current children cumulated vsize: 621428 KiB
Current children cumulated memory: 533720 KiB

[startup+3522.3 s]
/proc/loadavg: 4.39 4.18 4.05 6/269 157353
/proc/meminfo: memFree=125391680/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=623352 memory=534232 CPUtime=3513.5 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 84220 0 0 0 351086 264 0 0 20 0 1 0 235571946 638312448 133558 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 155838 133558 2464 1147 0 143265 0
Current children cumulated CPU time: 3513.5 s
Current children cumulated vsize: 627544 KiB
Current children cumulated memory: 537176 KiB

[startup+3582.3 s]
/proc/loadavg: 4.19 4.16 4.05 6/269 157355
/proc/meminfo: memFree=125355680/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=623352 memory=534232 CPUtime=3573.35 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 84425 0 0 0 357068 267 0 0 20 0 1 0 235571946 638312448 133558 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 155838 133558 2464 1147 0 143265 0
Current children cumulated CPU time: 3573.35 s
Current children cumulated vsize: 627544 KiB
Current children cumulated memory: 537176 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.18 4.16 4.05 6/270 157364
/proc/meminfo: memFree=125343932/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=623352 memory=534232 CPUtime=3600.08 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 84439 0 0 0 359740 268 0 0 20 0 1 0 235571946 638312448 133558 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 155838 133558 2464 1147 0 143265 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 627544 KiB
Current children cumulated memory: 537176 KiB

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

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

# cumulated CPU time of all completed processes:  user=0 s, system=0.002901 s

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

# cumulated CPU time of all completed processes:  user=3597.42 s, system=2.69721 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.11 s]
/proc/loadavg: 4.18 4.16 4.05 6/270 157364
/proc/meminfo: memFree=125343932/131249992 swapFree=33009392/33010684
[pid=157161] ppid=157153 vsize=4192 memory=2944 CPUtime=0 cores=1,3
/proc/157161/stat : 157161 (run-dec-ls.sh) S 157153 157161 157089 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235571944 4292608 736 18446744073709551615 94124335476736 94124336371269 140728422493296 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94124336610320 94124336658064 94124350226432 140728422500709 140728422500835 140728422500835 140728422506439 0
/proc/157161/statm: 1048 736 672 219 0 110 0
[pid=157164] ppid=157161 vsize=623352 memory=534232 CPUtime=3600.08 cores=1,3
/proc/157164/stat : 157164 (roundingsat) R 157161 157161 157089 0 -1 4194304 84439 0 0 0 359740 268 0 0 20 0 1 0 235571946 638312448 133558 18446744073709551615 4227072 8923433 140727431983808 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 22941696 140727431989662 140727431989798 140727431989798 140727431995370 0
/proc/157164/statm: 155838 133558 2464 1147 0 143265 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 627544 KiB
Current children cumulated memory: 537176 KiB

Child status: 2

Real time (s): 3609.12
CPU time (s): 3600.12
CPU user time (s): 3597.42
CPU system time (s): 2.69721
CPU usage (%): 99.7505
Max. virtual memory (cumulated for all children) (KiB): 627544
Max. memory (cumulated for all children) (KiB): 537176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.42
system time used= 2.69721
maximum resident set size= 534488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84662
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 248
involuntary context switches= 2033


# summary of solver processes directly reported to runsolver:
#   pid: 157161,157164
#   total CPU time (s): 3600.12
#   total CPU user time (s): 3597.42
#   total CPU system time (s): 2.69721

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63141 second user time and 14.6297 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-22 17:42:54
IDJOB=4541607
IDBENCH=163199
IDSOLVER=3353
FILE ID=nodeC035/4541607-1753198973
RUNJOBID= nodeC035-1753198973-157108
SLURM_JOB_ID= 9687768
Free space on /tmp= 432456 MiB

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

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

MD5SUM BENCH= 21d0ffe78b9aba15f7c4d4a17a4e20d2
RANDOM SEED=1581860338

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        127522520 kB
MemAvailable:   129705524 kB
Buffers:             664 kB
Cached:          2934444 kB
SwapCached:          336 kB
Active:           958016 kB
Inactive:        2064192 kB
Active(anon):      94104 kB
Inactive(anon):    18908 kB
Active(file):     863912 kB
Inactive(file):  2045284 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33009392 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22300 kB
Writeback:             0 kB
AnonPages:         89960 kB
Mapped:           114372 kB
Shmem:             25904 kB
KReclaimable:     226092 kB
Slab:             321300 kB
SReclaimable:     226092 kB
SUnreclaim:        95208 kB
KernelStack:        4192 kB
PageTables:         3056 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     396676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150424 kB
VmallocChunk:          0 kB
Percpu:             3872 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432436 MiB
End job on nodeC035 at 2025-07-22 18:43:03