Trace number 4541608

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=183355, runsolver pid=183346

[startup+0.10006 s]*
/proc/loadavg: 0.13 0.10 0.09 3/264 183366
/proc/meminfo: memFree=126690436/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=59652 memory=13548 CPUtime=0.01 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 1554 0 0 0 1 0 0 0 20 0 1 0 235575831 61083648 3387 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 14913 3387 2272 1147 0 2340 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 63844 KiB
Current children cumulated memory: 16492 KiB

[startup+0.204892 s]*
/proc/loadavg: 0.13 0.10 0.09 5/267 183372
/proc/meminfo: memFree=126672580/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=62476 memory=16892 CPUtime=0.12 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 2639 0 0 0 12 0 0 0 20 0 1 0 235575831 63975424 4223 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 15619 4223 2304 1147 0 3046 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 66668 KiB
Current children cumulated memory: 19836 KiB

[startup+0.30452 s]*
/proc/loadavg: 0.13 0.10 0.09 5/267 183372
/proc/meminfo: memFree=126659696/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=62476 memory=16892 CPUtime=0.22 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 2639 0 0 0 22 0 0 0 20 0 1 0 235575831 63975424 4223 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 15619 4223 2304 1147 0 3046 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 66668 KiB
Current children cumulated memory: 19836 KiB

[startup+0.700125 s]
/proc/loadavg: 0.13 0.10 0.09 5/267 183372
/proc/meminfo: memFree=126648864/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=62476 memory=16892 CPUtime=0.61 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 2639 0 0 0 61 0 0 0 20 0 1 0 235575831 63975424 4223 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 15619 4223 2304 1147 0 3046 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 66668 KiB
Current children cumulated memory: 19836 KiB

[startup+1.50015 s]
/proc/loadavg: 0.13 0.10 0.09 5/267 183372
/proc/meminfo: memFree=126630976/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=67812 memory=24344 CPUtime=1.4 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 3963 0 0 0 139 1 0 0 20 0 1 0 235575831 69439488 6086 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 16953 6086 2336 1147 0 4380 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 72004 KiB
Current children cumulated memory: 27288 KiB

[startup+3.10484 s]
/proc/loadavg: 0.44 0.17 0.11 5/267 183372
/proc/meminfo: memFree=126511092/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=82352 memory=39400 CPUtime=3 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 7233 0 0 0 297 3 0 0 20 0 1 0 235575831 84328448 9850 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 20588 9850 2336 1147 0 8015 0
Current children cumulated CPU time: 3 s
Current children cumulated vsize: 86544 KiB
Current children cumulated memory: 42344 KiB

[startup+6.30014 s]
/proc/loadavg: 0.44 0.17 0.11 5/267 183372
/proc/meminfo: memFree=126381624/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=99940 memory=53400 CPUtime=6.19 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 10172 0 0 0 613 6 0 0 20 0 1 0 235575831 102338560 13350 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 24985 13350 2368 1147 0 12412 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 104132 KiB
Current children cumulated memory: 56344 KiB

[startup+12.7002 s]
/proc/loadavg: 0.72 0.23 0.13 5/267 183372
/proc/meminfo: memFree=126136448/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=119996 memory=72004 CPUtime=12.58 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 13823 0 0 0 1242 16 0 0 20 0 1 0 235575831 122875904 18001 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 29999 18001 2368 1147 0 17426 0
Current children cumulated CPU time: 12.58 s
Current children cumulated vsize: 124188 KiB
Current children cumulated memory: 74948 KiB

[startup+25.5002 s]
/proc/loadavg: 1.52 0.43 0.20 5/267 183372
/proc/meminfo: memFree=125676664/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=134044 memory=85532 CPUtime=25.34 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 16680 0 0 0 2503 31 0 0 20 0 1 0 235575831 137261056 21383 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 33511 21383 2368 1147 0 20938 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 138236 KiB
Current children cumulated memory: 88476 KiB

[startup+51.1055 s]
/proc/loadavg: 2.51 0.75 0.31 5/267 183372
/proc/meminfo: memFree=125006788/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=164624 memory=111136 CPUtime=50.88 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 21552 0 0 0 5029 59 0 0 20 0 1 0 235575831 168574976 27784 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 41156 27784 2368 1147 0 28583 0
Current children cumulated CPU time: 50.88 s
Current children cumulated vsize: 168816 KiB
Current children cumulated memory: 114080 KiB

[startup+102.3 s]
/proc/loadavg: 3.59 1.32 0.53 5/267 183374
/proc/meminfo: memFree=123695872/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=206824 memory=133064 CPUtime=101.93 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 26472 0 0 0 10085 108 0 0 20 0 1 0 235575831 211787776 33266 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 51706 33266 2432 1147 0 39133 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 211016 KiB
Current children cumulated memory: 136008 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 1.87 0.77 5/267 183376
/proc/meminfo: memFree=122288868/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=223916 memory=157080 CPUtime=161.77 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 30056 0 0 0 16015 162 0 0 20 0 1 0 235575831 229289984 39270 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 55979 39270 2432 1147 0 43406 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 228108 KiB
Current children cumulated memory: 160024 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 2.31 0.99 5/268 183379
/proc/meminfo: memFree=121158012/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=230056 memory=178676 CPUtime=221.61 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 31078 0 0 0 21953 208 0 0 20 0 1 0 235575831 235577344 44669 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0

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

/proc/183358/statm: 146948 128868 2464 1147 0 134375 0
Current children cumulated CPU time: 3093.79 s
Current children cumulated vsize: 591984 KiB
Current children cumulated memory: 518416 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.14 4.05 5/268 183537
/proc/meminfo: memFree=90481272/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=587792 memory=530192 CPUtime=3153.64 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 77488 0 0 0 313644 1720 0 0 20 0 1 0 235575831 601899008 132548 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 146948 132548 2464 1147 0 134375 0
Current children cumulated CPU time: 3153.64 s
Current children cumulated vsize: 591984 KiB
Current children cumulated memory: 533136 KiB

[startup+3222.3 s]
/proc/loadavg: 4.20 4.16 4.06 5/268 183539
/proc/meminfo: memFree=89980496/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=602128 memory=541808 CPUtime=3213.48 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 79393 0 0 0 319605 1743 0 0 20 0 1 0 235575831 616579072 135452 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 150532 135452 2464 1147 0 137959 0
Current children cumulated CPU time: 3213.48 s
Current children cumulated vsize: 606320 KiB
Current children cumulated memory: 544752 KiB

[startup+3282.3 s]
/proc/loadavg: 4.18 4.16 4.07 5/267 183541
/proc/meminfo: memFree=89530660/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=602128 memory=541808 CPUtime=3273.33 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 79393 0 0 0 325564 1769 0 0 20 0 1 0 235575831 616579072 135452 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 150532 135452 2464 1147 0 137959 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 606320 KiB
Current children cumulated memory: 544752 KiB

[startup+3342.3 s]
/proc/loadavg: 4.11 4.14 4.07 5/266 183543
/proc/meminfo: memFree=89111352/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=606200 memory=546184 CPUtime=3333.17 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 79948 0 0 0 331530 1787 0 0 20 0 1 0 235575831 620748800 136546 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 151550 136546 2464 1147 0 138977 0
Current children cumulated CPU time: 3333.17 s
Current children cumulated vsize: 610392 KiB
Current children cumulated memory: 549128 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.16 4.08 5/266 183545
/proc/meminfo: memFree=88661936/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=606736 memory=546696 CPUtime=3393.02 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 80082 0 0 0 337484 1818 0 0 20 0 1 0 235575831 621297664 136674 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 151684 136674 2464 1147 0 139111 0
Current children cumulated CPU time: 3393.02 s
Current children cumulated vsize: 610928 KiB
Current children cumulated memory: 549640 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.16 4.08 5/266 183547
/proc/meminfo: memFree=88303516/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=606736 memory=546696 CPUtime=3452.85 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 80082 0 0 0 343440 1845 0 0 20 0 1 0 235575831 621297664 136674 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 151684 136674 2464 1147 0 139111 0
Current children cumulated CPU time: 3452.85 s
Current children cumulated vsize: 610928 KiB
Current children cumulated memory: 549640 KiB

[startup+3522.3 s]
/proc/loadavg: 4.17 4.16 4.09 5/267 183550
/proc/meminfo: memFree=87910868/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=612344 memory=549768 CPUtime=3512.69 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 80847 0 0 0 349397 1872 0 0 20 0 1 0 235575831 627040256 137442 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 153086 137442 2464 1147 0 140513 0
Current children cumulated CPU time: 3512.69 s
Current children cumulated vsize: 616536 KiB
Current children cumulated memory: 552712 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.16 4.09 5/267 183552
/proc/meminfo: memFree=87416540/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=612344 memory=549768 CPUtime=3572.53 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 80847 0 0 0 355353 1900 0 0 20 0 1 0 235575831 627040256 137442 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 153086 137442 2464 1147 0 140513 0
Current children cumulated CPU time: 3572.53 s
Current children cumulated vsize: 616536 KiB
Current children cumulated memory: 552712 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.25 4.18 4.10 5/268 183560
/proc/meminfo: memFree=87231164/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=612344 memory=549768 CPUtime=3600.06 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 80847 0 0 0 358096 1910 0 0 20 0 1 0 235575831 627040256 137442 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 153086 137442 2464 1147 0 140513 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 616536 KiB
Current children cumulated memory: 552712 KiB

Sending SIGTERM to process tree (bottom up)

[startup+3609.9 s]
# the end of solver process 183355 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.002495 s
Sleeping 2 seconds

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

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

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

[startup+3609.9 s]
/proc/loadavg: 4.25 4.18 4.10 5/268 183560
/proc/meminfo: memFree=87231164/131249996 swapFree=33010160/33010684
[pid=183355] ppid=183346 vsize=4192 memory=2944 CPUtime=0 cores=0,2
/proc/183355/stat : 183355 (run-dec-ls-log.) S 183346 183355 183292 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 235575829 4292608 736 18446744073709551615 94467300425728 94467301320261 140734656575696 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94467301559312 94467301607056 94467321217024 140734656579903 140734656580063 140734656580063 140734656585667 0
/proc/183355/statm: 1048 736 672 219 0 110 0
[pid=183358] ppid=183355 vsize=612344 memory=549768 CPUtime=3600.06 cores=0,2
/proc/183358/stat : 183358 (roundingsat) R 183355 183355 183292 0 -1 4194304 80847 0 0 0 358096 1910 0 0 20 0 1 0 235575831 627040256 137442 18446744073709551615 4227072 8923433 140721396968592 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 39735296 140721396975988 140721396976166 140721396976166 140721396981738 0
/proc/183358/statm: 153086 137442 2464 1147 0 140513 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 616536 KiB
Current children cumulated memory: 552712 KiB

Child status: 2

Real time (s): 3609.93
CPU time (s): 3600.1
CPU user time (s): 3580.99
CPU system time (s): 19.11
CPU usage (%): 99.7277
Max. virtual memory (cumulated for all children) (KiB): 616536
Max. memory (cumulated for all children) (KiB): 552712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.99
system time used= 19.11
maximum resident set size= 550024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81070
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40311648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 249
involuntary context switches= 8173


# summary of solver processes directly reported to runsolver:
#   pid: 183355,183358
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3580.99
#   total CPU system time (s): 19.11

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.83456 second user time and 15.7383 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-07-22 17:42:54
IDJOB=4541608
IDBENCH=163199
IDSOLVER=3354
FILE ID=nodeC029/4541608-1753198973
RUNJOBID= nodeC029-1753198973-183309
SLURM_JOB_ID= 9687762
Free space on /tmp= 433020 MiB

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

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

MD5SUM BENCH= 21d0ffe78b9aba15f7c4d4a17a4e20d2
RANDOM SEED=1581860338

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131249996 kB
MemFree:        126710136 kB
MemAvailable:   129734684 kB
Buffers:            2128 kB
Cached:          3785920 kB
SwapCached:           36 kB
Active:          1306160 kB
Inactive:        2546148 kB
Active(anon):      85760 kB
Inactive(anon):     4716 kB
Active(file):    1220400 kB
Inactive(file):  2541432 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             22504 kB
Writeback:             0 kB
AnonPages:         67404 kB
Mapped:           109496 kB
Shmem:             26216 kB
KReclaimable:     203908 kB
Slab:             300712 kB
SReclaimable:     203908 kB
SUnreclaim:        96804 kB
KernelStack:        4064 kB
PageTables:         2932 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:     342124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150376 kB
VmallocChunk:          0 kB
Percpu:             3968 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      193236 kB
DirectMap2M:    11112448 kB
DirectMap1G:    124780544 kB

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