Trace number 4493302

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NamePB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin18.opb
MD5SUM524c0290a9c7ac599d8004695d4c7f99
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark21643.2
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables23409
Total number of constraints1386
Number of constraints which are clauses612
Number of constraints which are cardinality constraints (but not clauses)774
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint153
Maximum length of a constraint289
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 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 291
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch pb25
0.00/0.01	c commit 63f22ad
0.08/0.11	c #variables 23409 #constraints 1386
422.14/423.24	c #Conflicts:       1000 | #Constraints:       2385
422.14/423.24	c #Conflicts:       2000 | #Constraints:       3385
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:       3000 | #Constraints:       3418
422.14/423.24	c #Conflicts:       4000 | #Constraints:       4418
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:       5000 | #Constraints:       3851
422.14/423.24	c #Conflicts:       6000 | #Constraints:       4851
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:       7000 | #Constraints:       3870
422.14/423.24	c #Conflicts:       8000 | #Constraints:       4870
422.14/423.24	c #Conflicts:       9000 | #Constraints:       5870
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:      10000 | #Constraints:       4586
422.14/423.24	c #Conflicts:      11000 | #Constraints:       5586
422.14/423.24	c #Conflicts:      12000 | #Constraints:       6586
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:      13000 | #Constraints:       5039
422.14/423.24	c #Conflicts:      14000 | #Constraints:       6039
422.14/423.24	c #Conflicts:      15000 | #Constraints:       7039
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:      16000 | #Constraints:       5297
422.14/423.24	c #Conflicts:      17000 | #Constraints:       6297
422.14/423.24	c #Conflicts:      18000 | #Constraints:       7297
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:      19000 | #Constraints:       5338
422.14/423.24	c #Conflicts:      20000 | #Constraints:       6338
422.14/423.24	c #Conflicts:      21000 | #Constraints:       7338
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:      22000 | #Constraints:       5128
422.14/423.24	c #Conflicts:      23000 | #Constraints:       6128
422.14/423.24	c #Conflicts:      24000 | #Constraints:       7128
422.14/423.24	c #Conflicts:      25000 | #Constraints:       8128
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:      26000 | #Constraints:       5735
422.14/423.24	c #Conflicts:      27000 | #Constraints:       6735
422.14/423.24	c #Conflicts:      28000 | #Constraints:       7735
422.14/423.24	c #Conflicts:      29000 | #Constraints:       8735
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:      30000 | #Constraints:       6132
422.14/423.24	c #Conflicts:      31000 | #Constraints:       7132
422.14/423.24	c #Conflicts:      32000 | #Constraints:       8132
422.14/423.24	c #Conflicts:      33000 | #Constraints:       9132
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:      34000 | #Constraints:       6337
422.14/423.24	c #Conflicts:      35000 | #Constraints:       7337
422.14/423.24	c #Conflicts:      36000 | #Constraints:       8337
422.14/423.24	c #Conflicts:      37000 | #Constraints:       9337
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:      38000 | #Constraints:       6374
422.14/423.24	c #Conflicts:      39000 | #Constraints:       7374
422.14/423.24	c #Conflicts:      40000 | #Constraints:       8374
422.14/423.24	c #Conflicts:      41000 | #Constraints:       9374
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:      42000 | #Constraints:       6186
422.14/423.24	c #Conflicts:      43000 | #Constraints:       7186
422.14/423.24	c #Conflicts:      44000 | #Constraints:       8186
422.14/423.24	c #Conflicts:      45000 | #Constraints:       9186
422.14/423.24	c #Conflicts:      46000 | #Constraints:      10186
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:      47000 | #Constraints:       6742
422.14/423.24	c #Conflicts:      48000 | #Constraints:       7742
422.14/423.24	c #Conflicts:      49000 | #Constraints:       8742
422.14/423.24	c #Conflicts:      50000 | #Constraints:       9742
422.14/423.24	c #Conflicts:      51000 | #Constraints:      10742
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:      52000 | #Constraints:       7160
422.14/423.24	c #Conflicts:      53000 | #Constraints:       8160
422.14/423.24	c #Conflicts:      54000 | #Constraints:       9160
422.14/423.24	c #Conflicts:      55000 | #Constraints:      10160
422.14/423.24	c #Conflicts:      56000 | #Constraints:      11160
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:      57000 | #Constraints:       7387
422.14/423.24	c #Conflicts:      58000 | #Constraints:       8387
422.14/423.24	c #Conflicts:      59000 | #Constraints:       9387
422.14/423.24	c #Conflicts:      60000 | #Constraints:      10387
422.14/423.24	c #Conflicts:      61000 | #Constraints:      11387
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:      62000 | #Constraints:       7380
422.14/423.24	c #Conflicts:      63000 | #Constraints:       8380
422.14/423.24	c #Conflicts:      64000 | #Constraints:       9380
422.14/423.24	c #Conflicts:      65000 | #Constraints:      10380
422.14/423.24	c #Conflicts:      66000 | #Constraints:      11380
422.14/423.24	c INPROCESSING
422.14/423.24	c GARBAGE COLLECT
422.14/423.24	c #Conflicts:      67000 | #Constraints:       7159
422.14/423.24	c #Conflicts:      68000 | #Constraints:       8159
769.00/771.10	c #Conflicts:      69000 | #Constraints:       9159
769.00/771.10	c #Conflicts:      70000 | #Constraints:      10159
769.00/771.10	c #Conflicts:      71000 | #Constraints:      11159
769.00/771.10	c #Conflicts:      72000 | #Constraints:      12159
769.00/771.10	c INPROCESSING
769.00/771.10	c GARBAGE COLLECT
769.00/771.10	c #Conflicts:      73000 | #Constraints:       7757
769.00/771.10	c #Conflicts:      74000 | #Constraints:       8757
769.00/771.10	c #Conflicts:      75000 | #Constraints:       9757
769.00/771.10	c #Conflicts:      76000 | #Constraints:      10757
769.00/771.10	c #Conflicts:      77000 | #Constraints:      11757
769.00/771.10	c #Conflicts:      78000 | #Constraints:      12757
769.00/771.10	c INPROCESSING
769.00/771.10	c GARBAGE COLLECT
769.00/771.10	c #Conflicts:      79000 | #Constraints:       8166
769.00/771.10	c #Conflicts:      80000 | #Constraints:       9166
769.00/771.10	c #Conflicts:      81000 | #Constraints:      10166
769.00/771.10	c #Conflicts:      82000 | #Constraints:      11166
769.00/771.10	c #Conflicts:      83000 | #Constraints:      12166
769.00/771.10	c #Conflicts:      84000 | #Constraints:      13166
769.00/771.10	c INPROCESSING
769.00/771.10	c GARBAGE COLLECT
769.00/771.10	c #Conflicts:      85000 | #Constraints:       8369
769.00/771.10	c #Conflicts:      86000 | #Constraints:       9369
769.00/771.10	c #Conflicts:      87000 | #Constraints:      10369
769.00/771.10	c #Conflicts:      88000 | #Constraints:      11369
769.00/771.10	c #Conflicts:      89000 | #Constraints:      12369
769.00/771.10	c #Conflicts:      90000 | #Constraints:      13369
769.00/771.10	c INPROCESSING
769.00/771.10	c GARBAGE COLLECT
769.00/771.10	c #Conflicts:      91000 | #Constraints:       8372
769.00/771.10	c #Conflicts:      92000 | #Constraints:       9372
769.00/771.10	c #Conflicts:      93000 | #Constraints:      10372
769.00/771.10	c #Conflicts:      94000 | #Constraints:      11372
769.00/771.10	c #Conflicts:      95000 | #Constraints:      12372
769.00/771.10	c #Conflicts:      96000 | #Constraints:      13372
769.00/771.10	c INPROCESSING
769.00/771.10	c GARBAGE COLLECT
769.00/771.10	c #Conflicts:      97000 | #Constraints:       8195
769.00/771.10	c #Conflicts:      98000 | #Constraints:       9195
769.00/771.10	c #Conflicts:      99000 | #Constraints:      10195
769.00/771.10	c #Conflicts:     100000 | #Constraints:      11195
769.00/771.10	c #Conflicts:     101000 | #Constraints:      12196
769.00/771.10	c #Conflicts:     102000 | #Constraints:      13196
769.00/771.10	c #Conflicts:     103000 | #Constraints:      14196
769.00/771.10	c INPROCESSING
769.00/771.10	c GARBAGE COLLECT
769.00/771.10	c #Conflicts:     104000 | #Constraints:       8768
769.00/771.10	c #Conflicts:     105000 | #Constraints:       9768
769.00/771.10	c #Conflicts:     106000 | #Constraints:      10768
769.00/771.10	c #Conflicts:     107000 | #Constraints:      11768
769.00/771.10	c #Conflicts:     108000 | #Constraints:      12768
769.00/771.10	c #Conflicts:     109000 | #Constraints:      13768
769.00/771.10	c #Conflicts:     110000 | #Constraints:      14768
769.00/771.10	c INPROCESSING
769.00/771.10	c GARBAGE COLLECT
769.00/771.10	c #Conflicts:     111000 | #Constraints:       9195
769.00/771.10	c #Conflicts:     112000 | #Constraints:      10195
769.00/771.10	c #Conflicts:     113000 | #Constraints:      11195
769.00/771.10	c #Conflicts:     114000 | #Constraints:      12195
769.00/771.10	c #Conflicts:     115000 | #Constraints:      13195
769.00/771.10	c #Conflicts:     116000 | #Constraints:      14195
769.00/771.10	c #Conflicts:     117000 | #Constraints:      15195
769.00/771.10	c INPROCESSING
769.00/771.10	c GARBAGE COLLECT
769.00/771.10	c #Conflicts:     118000 | #Constraints:       9387
769.00/771.10	c #Conflicts:     119000 | #Constraints:      10387
769.00/771.10	c #Conflicts:     120000 | #Constraints:      11387
769.00/771.10	c #Conflicts:     121000 | #Constraints:      12387
769.00/771.10	c #Conflicts:     122000 | #Constraints:      13387
769.00/771.10	c #Conflicts:     123000 | #Constraints:      14387
769.00/771.10	c #Conflicts:     124000 | #Constraints:      15387
769.00/771.10	c INPROCESSING
769.00/771.10	c GARBAGE COLLECT
769.00/771.10	c #Conflicts:     125000 | #Constraints:       9379
769.00/771.10	c #Conflicts:     126000 | #Constraints:      10379
769.00/771.10	c #Conflicts:     127000 | #Constraints:      11379
769.00/771.10	c #Conflicts:     128000 | #Constraints:      12379
769.00/771.10	c #Conflicts:     129000 | #Constraints:      13379
769.00/771.10	c #Conflicts:     130000 | #Constraints:      14379
769.00/771.10	c #Conflicts:     131000 | #Constraints:      15379
769.00/771.10	c INPROCESSING
769.00/771.10	c GARBAGE COLLECT
769.00/771.10	c #Conflicts:     132000 | #Constraints:       9176
769.00/771.10	c #Conflicts:     133000 | #Constraints:      10176
769.00/771.10	c #Conflicts:     134000 | #Constraints:      11176
769.00/771.10	c #Conflicts:     135000 | #Constraints:      12176
769.00/771.10	c #Conflicts:     136000 | #Constraints:      13176
769.00/771.10	c #Conflicts:     137000 | #Constraints:      14176
769.00/771.10	c #Conflicts:     138000 | #Constraints:      15176
769.00/771.10	c #Conflicts:     139000 | #Constraints:      16176
769.00/771.10	c INPROCESSING
769.00/771.10	c GARBAGE COLLECT
769.00/771.10	c #Conflicts:     140000 | #Constraints:       9794
1120.12/1123.07	c #Conflicts:     141000 | #Constraints:      10794
1120.12/1123.07	c #Conflicts:     142000 | #Constraints:      11794
1120.12/1123.07	c #Conflicts:     143000 | #Constraints:      12794
1120.12/1123.07	c #Conflicts:     144000 | #Constraints:      13794
1120.12/1123.07	c #Conflicts:     145000 | #Constraints:      14794
1120.12/1123.07	c #Conflicts:     146000 | #Constraints:      15794
1120.12/1123.07	c #Conflicts:     147000 | #Constraints:      16794
1120.12/1123.07	c INPROCESSING
1120.12/1123.07	c GARBAGE COLLECT
1120.12/1123.07	c #Conflicts:     148000 | #Constraints:      10199
1120.12/1123.07	c #Conflicts:     149000 | #Constraints:      11199
1120.12/1123.07	c #Conflicts:     150000 | #Constraints:      12199
1120.12/1123.07	c #Conflicts:     151000 | #Constraints:      13199
1120.12/1123.07	c #Conflicts:     152000 | #Constraints:      14199
1120.12/1123.07	c #Conflicts:     153000 | #Constraints:      15199
1120.12/1123.07	c #Conflicts:     154000 | #Constraints:      16199
1120.12/1123.07	c #Conflicts:     155000 | #Constraints:      17199
1120.12/1123.07	c INPROCESSING
1120.12/1123.07	c GARBAGE COLLECT
1120.12/1123.07	c #Conflicts:     156000 | #Constraints:      10397
1120.12/1123.07	c #Conflicts:     157000 | #Constraints:      11397
1120.12/1123.07	c #Conflicts:     158000 | #Constraints:      12397
1120.12/1123.07	c #Conflicts:     159000 | #Constraints:      13397
1120.12/1123.07	c #Conflicts:     160000 | #Constraints:      14397
1120.12/1123.07	c #Conflicts:     161000 | #Constraints:      15397
1120.12/1123.07	c #Conflicts:     162000 | #Constraints:      16397
1120.12/1123.07	c #Conflicts:     163000 | #Constraints:      17397
1120.12/1123.07	c INPROCESSING
1120.12/1123.07	c GARBAGE COLLECT
1120.12/1123.07	c #Conflicts:     164000 | #Constraints:      10390
1120.12/1123.07	c #Conflicts:     165000 | #Constraints:      11390
1120.12/1123.07	c #Conflicts:     166000 | #Constraints:      12390
1120.12/1123.07	c #Conflicts:     167000 | #Constraints:      13390
1120.12/1123.07	c #Conflicts:     168000 | #Constraints:      14390
1120.12/1123.07	c #Conflicts:     169000 | #Constraints:      15390
1120.12/1123.07	c #Conflicts:     170000 | #Constraints:      16390
1120.12/1123.07	c #Conflicts:     171000 | #Constraints:      17390
1120.12/1123.07	c INPROCESSING
1120.12/1123.07	c GARBAGE COLLECT
1120.12/1123.07	c #Conflicts:     172000 | #Constraints:      10168
1120.12/1123.07	c #Conflicts:     173000 | #Constraints:      11168
1120.12/1123.07	c #Conflicts:     174000 | #Constraints:      12168
1120.12/1123.07	c #Conflicts:     175000 | #Constraints:      13168
1120.12/1123.07	c #Conflicts:     176000 | #Constraints:      14168
1120.12/1123.07	c #Conflicts:     177000 | #Constraints:      15168
1120.12/1123.07	c #Conflicts:     178000 | #Constraints:      16168
1120.12/1123.07	c #Conflicts:     179000 | #Constraints:      17168
1120.12/1123.07	c #Conflicts:     180000 | #Constraints:      18168
1120.12/1123.07	c INPROCESSING
1120.12/1123.07	c GARBAGE COLLECT
1120.12/1123.07	c #Conflicts:     181000 | #Constraints:      10756
1120.12/1123.07	c #Conflicts:     182000 | #Constraints:      11756
1120.12/1123.07	c #Conflicts:     183000 | #Constraints:      12756
1120.12/1123.07	c #Conflicts:     184000 | #Constraints:      13756
1120.12/1123.07	c #Conflicts:     185000 | #Constraints:      14756
1120.12/1123.07	c #Conflicts:     186000 | #Constraints:      15756
1120.12/1123.07	c #Conflicts:     187000 | #Constraints:      16756
1120.12/1123.07	c #Conflicts:     188000 | #Constraints:      17756
1120.12/1123.07	c #Conflicts:     189000 | #Constraints:      18756
1120.12/1123.07	c INPROCESSING
1120.12/1123.07	c GARBAGE COLLECT
1120.12/1123.07	c #Conflicts:     190000 | #Constraints:      11191
1120.12/1123.07	c #Conflicts:     191000 | #Constraints:      12191
1120.12/1123.07	c #Conflicts:     192000 | #Constraints:      13191
1120.12/1123.07	c #Conflicts:     193000 | #Constraints:      14191
1120.12/1123.07	c #Conflicts:     194000 | #Constraints:      15191
1120.12/1123.07	c #Conflicts:     195000 | #Constraints:      16191
1120.12/1123.07	c #Conflicts:     196000 | #Constraints:      17191
1120.12/1123.07	c #Conflicts:     197000 | #Constraints:      18191
1120.12/1123.07	c #Conflicts:     198000 | #Constraints:      19191
1120.12/1123.07	c INPROCESSING
1120.12/1123.07	c GARBAGE COLLECT
1120.12/1123.07	c #Conflicts:     199000 | #Constraints:      11417
1120.12/1123.07	c #Conflicts:     200000 | #Constraints:      12417
1120.12/1123.07	c #Conflicts:     201000 | #Constraints:      13417
1120.12/1123.07	c #Conflicts:     202000 | #Constraints:      14417
1120.12/1123.07	c #Conflicts:     203000 | #Constraints:      15417
1120.12/1123.07	c #Conflicts:     204000 | #Constraints:      16417
1120.12/1123.07	c #Conflicts:     205000 | #Constraints:      17417
1120.12/1123.07	c #Conflicts:     206000 | #Constraints:      18417
1120.12/1123.07	c #Conflicts:     207000 | #Constraints:      19417
1120.12/1123.07	c INPROCESSING
1120.12/1123.07	c GARBAGE COLLECT
1120.12/1123.07	c #Conflicts:     208000 | #Constraints:      11424
1120.12/1123.07	c #Conflicts:     209000 | #Constraints:      12424
1120.12/1123.07	c #Conflicts:     210000 | #Constraints:      13425
1120.12/1123.07	c #Conflicts:     211000 | #Constraints:      14425
1120.12/1123.07	c #Conflicts:     212000 | #Constraints:      15425
1120.12/1123.07	c #Conflicts:     213000 | #Constraints:      16425
1527.96/1531.92	c #Conflicts:     214000 | #Constraints:      17425
1527.96/1531.92	c #Conflicts:     215000 | #Constraints:      18425
1527.96/1531.92	c #Conflicts:     216000 | #Constraints:      19425
1527.96/1531.92	c INPROCESSING
1527.96/1531.92	c GARBAGE COLLECT
1527.96/1531.92	c #Conflicts:     217000 | #Constraints:      11255
1527.96/1531.92	c #Conflicts:     218000 | #Constraints:      12255
1527.96/1531.92	c #Conflicts:     219000 | #Constraints:      13255
1527.96/1531.92	c #Conflicts:     220000 | #Constraints:      14255
1527.96/1531.92	c #Conflicts:     221000 | #Constraints:      15255
1527.96/1531.92	c #Conflicts:     222000 | #Constraints:      16255
1527.96/1531.92	c #Conflicts:     223000 | #Constraints:      17255
1527.96/1531.92	c #Conflicts:     224000 | #Constraints:      18255
1527.96/1531.92	c #Conflicts:     225000 | #Constraints:      19255
1527.96/1531.92	c #Conflicts:     226000 | #Constraints:      20255
1527.96/1531.92	c INPROCESSING
1527.96/1531.92	c GARBAGE COLLECT
1527.96/1531.92	c #Conflicts:     227000 | #Constraints:      11865
1527.96/1531.92	c #Conflicts:     228000 | #Constraints:      12865
1527.96/1531.92	c #Conflicts:     229000 | #Constraints:      13865
1527.96/1531.92	c #Conflicts:     230000 | #Constraints:      14865
1527.96/1531.92	c #Conflicts:     231000 | #Constraints:      15865
1527.96/1531.92	c #Conflicts:     232000 | #Constraints:      16865
1527.96/1531.92	c #Conflicts:     233000 | #Constraints:      17865
1527.96/1531.92	c #Conflicts:     234000 | #Constraints:      18865
1527.96/1531.92	c #Conflicts:     235000 | #Constraints:      19865
1527.96/1531.92	c #Conflicts:     236000 | #Constraints:      20865
1527.96/1531.92	c INPROCESSING
1527.96/1531.92	c GARBAGE COLLECT
1527.96/1531.92	c #Conflicts:     237000 | #Constraints:      12249
1527.96/1531.92	c #Conflicts:     238000 | #Constraints:      13249
1527.96/1531.92	c #Conflicts:     239000 | #Constraints:      14249
1527.96/1531.92	c #Conflicts:     240000 | #Constraints:      15249
1527.96/1531.92	c #Conflicts:     241000 | #Constraints:      16249
1527.96/1531.92	c #Conflicts:     242000 | #Constraints:      17249
1527.96/1531.92	c #Conflicts:     243000 | #Constraints:      18249
1527.96/1531.92	c #Conflicts:     244000 | #Constraints:      19249
1527.96/1531.92	c #Conflicts:     245000 | #Constraints:      20249
1527.96/1531.92	c #Conflicts:     246000 | #Constraints:      21249
1527.96/1531.92	c INPROCESSING
1527.96/1531.92	c GARBAGE COLLECT
1527.96/1531.92	c #Conflicts:     247000 | #Constraints:      12406
1527.96/1531.92	c #Conflicts:     248000 | #Constraints:      13406
1527.96/1531.92	c #Conflicts:     249000 | #Constraints:      14406
1527.96/1531.92	c #Conflicts:     250000 | #Constraints:      15406
1527.96/1531.92	c #Conflicts:     251000 | #Constraints:      16406
1527.96/1531.92	c #Conflicts:     252000 | #Constraints:      17406
1527.96/1531.92	c #Conflicts:     253000 | #Constraints:      18406
1527.96/1531.92	c #Conflicts:     254000 | #Constraints:      19406
1527.96/1531.92	c #Conflicts:     255000 | #Constraints:      20406
1527.96/1531.92	c #Conflicts:     256000 | #Constraints:      21406
1527.96/1531.92	c INPROCESSING
1527.96/1531.92	c GARBAGE COLLECT
1527.96/1531.92	c #Conflicts:     257000 | #Constraints:      12399
1527.96/1531.92	c #Conflicts:     258000 | #Constraints:      13399
1527.96/1531.92	c #Conflicts:     259000 | #Constraints:      14399
1527.96/1531.92	c #Conflicts:     260000 | #Constraints:      15399
1527.96/1531.92	c #Conflicts:     261000 | #Constraints:      16399
1527.96/1531.92	c #Conflicts:     262000 | #Constraints:      17399
1527.96/1531.92	c #Conflicts:     263000 | #Constraints:      18399
1527.96/1531.92	c #Conflicts:     264000 | #Constraints:      19399
1527.96/1531.92	c #Conflicts:     265000 | #Constraints:      20399
1527.96/1531.92	c #Conflicts:     266000 | #Constraints:      21399
1527.96/1531.92	c INPROCESSING
1527.96/1531.92	c GARBAGE COLLECT
1527.96/1531.92	c #Conflicts:     267000 | #Constraints:      12207
1527.96/1531.92	c #Conflicts:     268000 | #Constraints:      13207
1527.96/1531.92	c #Conflicts:     269000 | #Constraints:      14207
1527.96/1531.92	c #Conflicts:     270000 | #Constraints:      15207
1527.96/1531.92	c #Conflicts:     271000 | #Constraints:      16207
1527.96/1531.92	c #Conflicts:     272000 | #Constraints:      17207
1527.96/1531.92	c #Conflicts:     273000 | #Constraints:      18207
1527.96/1531.92	c #Conflicts:     274000 | #Constraints:      19207
1527.96/1531.92	c #Conflicts:     275000 | #Constraints:      20207
1527.96/1531.92	c #Conflicts:     276000 | #Constraints:      21207
1527.96/1531.92	c #Conflicts:     277000 | #Constraints:      22207
1527.96/1531.92	c INPROCESSING
1527.96/1531.92	c GARBAGE COLLECT
1527.96/1531.92	c #Conflicts:     278000 | #Constraints:      12780
1527.96/1531.92	c #Conflicts:     279000 | #Constraints:      13780
1527.96/1531.92	c #Conflicts:     280000 | #Constraints:      14780
1527.96/1531.92	c #Conflicts:     281000 | #Constraints:      15780
1527.96/1531.92	c #Conflicts:     282000 | #Constraints:      16781
1527.96/1531.92	c #Conflicts:     283000 | #Constraints:      17781
1527.96/1531.92	c #Conflicts:     284000 | #Constraints:      18781
1527.96/1531.92	c #Conflicts:     285000 | #Constraints:      19781
1527.96/1531.92	c #Conflicts:     286000 | #Constraints:      20781
1527.96/1531.92	c #Conflicts:     287000 | #Constraints:      21781
1527.96/1531.92	c #Conflicts:     288000 | #Constraints:      22781
1892.85/1897.78	c INPROCESSING
1892.85/1897.78	c GARBAGE COLLECT
1892.85/1897.78	c #Conflicts:     289000 | #Constraints:      13183
1892.85/1897.78	c #Conflicts:     290000 | #Constraints:      14183
1892.85/1897.78	c #Conflicts:     291000 | #Constraints:      15183
1892.85/1897.78	c #Conflicts:     292000 | #Constraints:      16183
1892.85/1897.78	c #Conflicts:     293000 | #Constraints:      17183
1892.85/1897.78	c #Conflicts:     294000 | #Constraints:      18183
1892.85/1897.78	c #Conflicts:     295000 | #Constraints:      19183
1892.85/1897.78	c #Conflicts:     296000 | #Constraints:      20183
1892.85/1897.78	c #Conflicts:     297000 | #Constraints:      21183
1892.85/1897.78	c #Conflicts:     298000 | #Constraints:      22183
1892.85/1897.78	c #Conflicts:     299000 | #Constraints:      23183
1892.85/1897.78	c INPROCESSING
1892.85/1897.78	c GARBAGE COLLECT
1892.85/1897.78	c #Conflicts:     300000 | #Constraints:      13389
1892.85/1897.78	c #Conflicts:     301000 | #Constraints:      14389
1892.85/1897.78	c #Conflicts:     302000 | #Constraints:      15389
1892.85/1897.78	c #Conflicts:     303000 | #Constraints:      16389
1892.85/1897.78	c #Conflicts:     304000 | #Constraints:      17389
1892.85/1897.78	c #Conflicts:     305000 | #Constraints:      18389
1892.85/1897.78	c #Conflicts:     306000 | #Constraints:      19389
1892.85/1897.78	c #Conflicts:     307000 | #Constraints:      20389
1892.85/1897.78	c #Conflicts:     308000 | #Constraints:      21389
1892.85/1897.78	c #Conflicts:     309000 | #Constraints:      22389
1892.85/1897.78	c #Conflicts:     310000 | #Constraints:      23389
1892.85/1897.78	c INPROCESSING
1892.85/1897.78	c GARBAGE COLLECT
1892.85/1897.78	c #Conflicts:     311000 | #Constraints:      13407
1892.85/1897.78	c #Conflicts:     312000 | #Constraints:      14407
1892.85/1897.78	c #Conflicts:     313000 | #Constraints:      15407
1892.85/1897.78	c #Conflicts:     314000 | #Constraints:      16407
1892.85/1897.78	c #Conflicts:     315000 | #Constraints:      17407
1892.85/1897.78	c #Conflicts:     316000 | #Constraints:      18407
1892.85/1897.78	c #Conflicts:     317000 | #Constraints:      19407
1892.85/1897.78	c #Conflicts:     318000 | #Constraints:      20407
1892.85/1897.78	c #Conflicts:     319000 | #Constraints:      21407
1892.85/1897.78	c #Conflicts:     320000 | #Constraints:      22407
1892.85/1897.78	c #Conflicts:     321000 | #Constraints:      23407
1892.85/1897.78	c INPROCESSING
1892.85/1897.78	c GARBAGE COLLECT
1892.85/1897.78	c #Conflicts:     322000 | #Constraints:      13226
1892.85/1897.78	c #Conflicts:     323000 | #Constraints:      14226
1892.85/1897.78	c #Conflicts:     324000 | #Constraints:      15226
1892.85/1897.78	c #Conflicts:     325000 | #Constraints:      16226
1892.85/1897.78	c #Conflicts:     326000 | #Constraints:      17226
1892.85/1897.78	c #Conflicts:     327000 | #Constraints:      18226
1892.85/1897.78	c #Conflicts:     328000 | #Constraints:      19226
1892.85/1897.78	c #Conflicts:     329000 | #Constraints:      20226
1892.85/1897.78	c #Conflicts:     330000 | #Constraints:      21226
1892.85/1897.78	c #Conflicts:     331000 | #Constraints:      22226
1892.85/1897.78	c #Conflicts:     332000 | #Constraints:      23226
1892.85/1897.78	c #Conflicts:     333000 | #Constraints:      24226
1892.85/1897.78	c INPROCESSING
1892.85/1897.78	c GARBAGE COLLECT
1892.85/1897.78	c #Conflicts:     334000 | #Constraints:      13798
1892.85/1897.78	c #Conflicts:     335000 | #Constraints:      14798
1892.85/1897.78	c #Conflicts:     336000 | #Constraints:      15798
1892.85/1897.78	c #Conflicts:     337000 | #Constraints:      16798
1892.85/1897.78	c #Conflicts:     338000 | #Constraints:      17798
1892.85/1897.78	c #Conflicts:     339000 | #Constraints:      18798
1892.85/1897.78	c #Conflicts:     340000 | #Constraints:      19798
1892.85/1897.78	c #Conflicts:     341000 | #Constraints:      20798
1892.85/1897.78	c #Conflicts:     342000 | #Constraints:      21798
1892.85/1897.78	c #Conflicts:     343000 | #Constraints:      22798
1892.85/1897.78	c #Conflicts:     344000 | #Constraints:      23798
1892.85/1897.78	c #Conflicts:     345000 | #Constraints:      24798
1892.85/1897.78	c INPROCESSING
1892.85/1897.78	c GARBAGE COLLECT
1892.85/1897.78	c #Conflicts:     346000 | #Constraints:      14195
1892.85/1897.78	c #Conflicts:     347000 | #Constraints:      15195
1892.85/1897.78	c #Conflicts:     348000 | #Constraints:      16195
1892.85/1897.78	c #Conflicts:     349000 | #Constraints:      17195
1892.85/1897.78	c #Conflicts:     350000 | #Constraints:      18195
1892.85/1897.78	c #Conflicts:     351000 | #Constraints:      19195
1892.85/1897.78	c #Conflicts:     352000 | #Constraints:      20195
1892.85/1897.78	c #Conflicts:     353000 | #Constraints:      21195
1892.85/1897.78	c #Conflicts:     354000 | #Constraints:      22195
1892.85/1897.78	c #Conflicts:     355000 | #Constraints:      23195
1892.85/1897.78	c #Conflicts:     356000 | #Constraints:      24195
1892.85/1897.78	c #Conflicts:     357000 | #Constraints:      25195
1892.85/1897.78	c INPROCESSING
1892.85/1897.78	c GARBAGE COLLECT
1892.85/1897.78	c #Conflicts:     358000 | #Constraints:      14393
1892.85/1897.78	c #Conflicts:     359000 | #Constraints:      15393
1892.85/1897.78	c #Conflicts:     360000 | #Constraints:      16393
1892.85/1897.78	c #Conflicts:     361000 | #Constraints:      17393
1892.85/1897.78	c #Conflicts:     362000 | #Constraints:      18393
2241.60/2247.34	c #Conflicts:     363000 | #Constraints:      19393
2241.60/2247.34	c #Conflicts:     364000 | #Constraints:      20393
2241.60/2247.34	c #Conflicts:     365000 | #Constraints:      21393
2241.60/2247.34	c #Conflicts:     366000 | #Constraints:      22393
2241.60/2247.34	c #Conflicts:     367000 | #Constraints:      23393
2241.60/2247.34	c #Conflicts:     368000 | #Constraints:      24393
2241.60/2247.34	c #Conflicts:     369000 | #Constraints:      25393
2241.60/2247.34	c INPROCESSING
2241.60/2247.34	c GARBAGE COLLECT
2241.60/2247.34	c #Conflicts:     370000 | #Constraints:      14421
2241.60/2247.34	c #Conflicts:     371000 | #Constraints:      15421
2241.60/2247.34	c #Conflicts:     372000 | #Constraints:      16421
2241.60/2247.34	c #Conflicts:     373000 | #Constraints:      17421
2241.60/2247.34	c #Conflicts:     374000 | #Constraints:      18421
2241.60/2247.34	c #Conflicts:     375000 | #Constraints:      19421
2241.60/2247.34	c #Conflicts:     376000 | #Constraints:      20421
2241.60/2247.34	c #Conflicts:     377000 | #Constraints:      21421
2241.60/2247.34	c #Conflicts:     378000 | #Constraints:      22421
2241.60/2247.34	c #Conflicts:     379000 | #Constraints:      23421
2241.60/2247.34	c #Conflicts:     380000 | #Constraints:      24421
2241.60/2247.34	c #Conflicts:     381000 | #Constraints:      25421
2241.60/2247.34	c INPROCESSING
2241.60/2247.34	c GARBAGE COLLECT
2241.60/2247.34	c #Conflicts:     382000 | #Constraints:      14229
2241.60/2247.34	c #Conflicts:     383000 | #Constraints:      15229
2241.60/2247.34	c #Conflicts:     384000 | #Constraints:      16229
2241.60/2247.34	c #Conflicts:     385000 | #Constraints:      17229
2241.60/2247.34	c #Conflicts:     386000 | #Constraints:      18229
2241.60/2247.34	c #Conflicts:     387000 | #Constraints:      19229
2241.60/2247.34	c #Conflicts:     388000 | #Constraints:      20229
2241.60/2247.34	c #Conflicts:     389000 | #Constraints:      21229
2241.60/2247.34	c #Conflicts:     390000 | #Constraints:      22229
2241.60/2247.34	c #Conflicts:     391000 | #Constraints:      23229
2241.60/2247.34	c #Conflicts:     392000 | #Constraints:      24229
2241.60/2247.34	c #Conflicts:     393000 | #Constraints:      25229
2241.60/2247.34	c #Conflicts:     394000 | #Constraints:      26229
2241.60/2247.34	c INPROCESSING
2241.60/2247.34	c GARBAGE COLLECT
2241.60/2247.34	c #Conflicts:     395000 | #Constraints:      14821
2241.60/2247.34	c #Conflicts:     396000 | #Constraints:      15821
2241.60/2247.34	c #Conflicts:     397000 | #Constraints:      16822
2241.60/2247.34	c #Conflicts:     398000 | #Constraints:      17822
2241.60/2247.34	c #Conflicts:     399000 | #Constraints:      18822
2241.60/2247.34	c #Conflicts:     400000 | #Constraints:      19822
2241.60/2247.34	c #Conflicts:     401000 | #Constraints:      20822
2241.60/2247.34	c #Conflicts:     402000 | #Constraints:      21822
2241.60/2247.34	c #Conflicts:     403000 | #Constraints:      22822
2241.60/2247.34	c #Conflicts:     404000 | #Constraints:      23822
2241.60/2247.34	c #Conflicts:     405000 | #Constraints:      24822
2241.60/2247.34	c #Conflicts:     406000 | #Constraints:      25822
2241.60/2247.34	c #Conflicts:     407000 | #Constraints:      26822
2241.60/2247.34	c INPROCESSING
2241.60/2247.34	c GARBAGE COLLECT
2241.60/2247.34	c #Conflicts:     408000 | #Constraints:      15203
2241.60/2247.34	c #Conflicts:     409000 | #Constraints:      16203
2241.60/2247.34	c #Conflicts:     410000 | #Constraints:      17203
2241.60/2247.34	c #Conflicts:     411000 | #Constraints:      18203
2241.60/2247.34	c #Conflicts:     412000 | #Constraints:      19203
2241.60/2247.34	c #Conflicts:     413000 | #Constraints:      20203
2241.60/2247.34	c #Conflicts:     414000 | #Constraints:      21203
2241.60/2247.34	c #Conflicts:     415000 | #Constraints:      22203
2241.60/2247.34	c #Conflicts:     416000 | #Constraints:      23203
2241.60/2247.34	c #Conflicts:     417000 | #Constraints:      24203
2241.60/2247.34	c #Conflicts:     418000 | #Constraints:      25203
2241.60/2247.34	c #Conflicts:     419000 | #Constraints:      26203
2241.60/2247.34	c #Conflicts:     420000 | #Constraints:      27203
2241.60/2247.34	c INPROCESSING
2241.60/2247.34	c GARBAGE COLLECT
2241.60/2247.34	c #Conflicts:     421000 | #Constraints:      15434
2241.60/2247.34	c #Conflicts:     422000 | #Constraints:      16434
2241.60/2247.34	c #Conflicts:     423000 | #Constraints:      17434
2241.60/2247.34	c #Conflicts:     424000 | #Constraints:      18434
2241.60/2247.34	c #Conflicts:     425000 | #Constraints:      19434
2241.60/2247.34	c #Conflicts:     426000 | #Constraints:      20434
2241.60/2247.34	c #Conflicts:     427000 | #Constraints:      21434
2241.60/2247.34	c #Conflicts:     428000 | #Constraints:      22434
2241.60/2247.34	c #Conflicts:     429000 | #Constraints:      23434
2241.60/2247.34	c #Conflicts:     430000 | #Constraints:      24434
2241.60/2247.34	c #Conflicts:     431000 | #Constraints:      25434
2241.60/2247.34	c #Conflicts:     432000 | #Constraints:      26434
2241.60/2247.34	c #Conflicts:     433000 | #Constraints:      27434
2241.60/2247.34	c INPROCESSING
2241.60/2247.34	c GARBAGE COLLECT
2241.60/2247.34	c #Conflicts:     434000 | #Constraints:      15464
2241.60/2247.34	c #Conflicts:     435000 | #Constraints:      16464
2241.60/2247.34	c #Conflicts:     436000 | #Constraints:      17464
2241.60/2247.34	c #Conflicts:     437000 | #Constraints:      18464
2619.79/2626.43	c #Conflicts:     438000 | #Constraints:      19464
2619.79/2626.43	c #Conflicts:     439000 | #Constraints:      20464
2619.79/2626.43	c #Conflicts:     440000 | #Constraints:      21464
2619.79/2626.43	c #Conflicts:     441000 | #Constraints:      22464
2619.79/2626.43	c #Conflicts:     442000 | #Constraints:      23464
2619.79/2626.43	c #Conflicts:     443000 | #Constraints:      24464
2619.79/2626.43	c #Conflicts:     444000 | #Constraints:      25464
2619.79/2626.43	c #Conflicts:     445000 | #Constraints:      26464
2619.79/2626.43	c #Conflicts:     446000 | #Constraints:      27464
2619.79/2626.43	c INPROCESSING
2619.79/2626.43	c GARBAGE COLLECT
2619.79/2626.43	c #Conflicts:     447000 | #Constraints:      15283
2619.79/2626.43	c #Conflicts:     448000 | #Constraints:      16283
2619.79/2626.43	c #Conflicts:     449000 | #Constraints:      17283
2619.79/2626.43	c #Conflicts:     450000 | #Constraints:      18283
2619.79/2626.43	c #Conflicts:     451000 | #Constraints:      19283
2619.79/2626.43	c #Conflicts:     452000 | #Constraints:      20283
2619.79/2626.43	c #Conflicts:     453000 | #Constraints:      21283
2619.79/2626.43	c #Conflicts:     454000 | #Constraints:      22283
2619.79/2626.43	c #Conflicts:     455000 | #Constraints:      23283
2619.79/2626.43	c #Conflicts:     456000 | #Constraints:      24283
2619.79/2626.43	c #Conflicts:     457000 | #Constraints:      25283
2619.79/2626.43	c #Conflicts:     458000 | #Constraints:      26283
2619.79/2626.43	c #Conflicts:     459000 | #Constraints:      27283
2619.79/2626.43	c #Conflicts:     460000 | #Constraints:      28283
2619.79/2626.43	c INPROCESSING
2619.79/2626.43	c GARBAGE COLLECT
2619.79/2626.43	c #Conflicts:     461000 | #Constraints:      15871
2619.79/2626.43	c #Conflicts:     462000 | #Constraints:      16871
2619.79/2626.43	c #Conflicts:     463000 | #Constraints:      17871
2619.79/2626.43	c #Conflicts:     464000 | #Constraints:      18871
2619.79/2626.43	c #Conflicts:     465000 | #Constraints:      19871
2619.79/2626.43	c #Conflicts:     466000 | #Constraints:      20871
2619.79/2626.43	c #Conflicts:     467000 | #Constraints:      21871
2619.79/2626.43	c #Conflicts:     468000 | #Constraints:      22871
2619.79/2626.43	c #Conflicts:     469000 | #Constraints:      23871
2619.79/2626.43	c #Conflicts:     470000 | #Constraints:      24871
2619.79/2626.43	c #Conflicts:     471000 | #Constraints:      25871
2619.79/2626.43	c #Conflicts:     472000 | #Constraints:      26871
2619.79/2626.43	c #Conflicts:     473000 | #Constraints:      27871
2619.79/2626.43	c #Conflicts:     474000 | #Constraints:      28871
2619.79/2626.43	c INPROCESSING
2619.79/2626.43	c GARBAGE COLLECT
2619.79/2626.43	c #Conflicts:     475000 | #Constraints:      16278
2619.79/2626.43	c #Conflicts:     476000 | #Constraints:      17278
2619.79/2626.43	c #Conflicts:     477000 | #Constraints:      18278
2619.79/2626.43	c #Conflicts:     478000 | #Constraints:      19278
2619.79/2626.43	c #Conflicts:     479000 | #Constraints:      20278
2619.79/2626.43	c #Conflicts:     480000 | #Constraints:      21278
2619.79/2626.43	c #Conflicts:     481000 | #Constraints:      22278
2619.79/2626.43	c #Conflicts:     482000 | #Constraints:      23278
2619.79/2626.43	c #Conflicts:     483000 | #Constraints:      24278
2619.79/2626.43	c #Conflicts:     484000 | #Constraints:      25278
2619.79/2626.43	c #Conflicts:     485000 | #Constraints:      26278
2619.79/2626.43	c #Conflicts:     486000 | #Constraints:      27278
2619.79/2626.43	c #Conflicts:     487000 | #Constraints:      28278
2619.79/2626.43	c #Conflicts:     488000 | #Constraints:      29278
2619.79/2626.43	c INPROCESSING
2619.79/2626.43	c GARBAGE COLLECT
2619.79/2626.43	c #Conflicts:     489000 | #Constraints:      16489
2619.79/2626.43	c #Conflicts:     490000 | #Constraints:      17489
2619.79/2626.43	c #Conflicts:     491000 | #Constraints:      18489
2619.79/2626.43	c #Conflicts:     492000 | #Constraints:      19489
2619.79/2626.43	c #Conflicts:     493000 | #Constraints:      20489
2619.79/2626.43	c #Conflicts:     494000 | #Constraints:      21489
2619.79/2626.43	c #Conflicts:     495000 | #Constraints:      22489
2619.79/2626.43	c #Conflicts:     496000 | #Constraints:      23489
2619.79/2626.43	c #Conflicts:     497000 | #Constraints:      24489
2619.79/2626.43	c #Conflicts:     498000 | #Constraints:      25489
2619.79/2626.43	c #Conflicts:     499000 | #Constraints:      26489
2619.79/2626.43	c #Conflicts:     500000 | #Constraints:      27489
2619.79/2626.43	c #Conflicts:     501000 | #Constraints:      28489
2619.79/2626.43	c #Conflicts:     502000 | #Constraints:      29489
2619.79/2626.43	c INPROCESSING
2619.79/2626.43	c GARBAGE COLLECT
2619.79/2626.43	c #Conflicts:     503000 | #Constraints:      16504
2619.79/2626.43	c #Conflicts:     504000 | #Constraints:      17504
2619.79/2626.43	c #Conflicts:     505000 | #Constraints:      18504
2619.79/2626.43	c #Conflicts:     506000 | #Constraints:      19504
2619.79/2626.43	c #Conflicts:     507000 | #Constraints:      20504
2619.79/2626.43	c #Conflicts:     508000 | #Constraints:      21504
2619.79/2626.43	c #Conflicts:     509000 | #Constraints:      22504
2619.79/2626.43	c #Conflicts:     510000 | #Constraints:      23504
2619.79/2626.43	c #Conflicts:     511000 | #Constraints:      24504
2619.79/2626.43	c #Conflicts:     512000 | #Constraints:      25504
2619.79/2626.43	c #Conflicts:     513000 | #Constraints:      26504
2692.33/2699.16	c #Conflicts:     514000 | #Constraints:      27504
2692.33/2699.16	c #Conflicts:     515000 | #Constraints:      28504
2692.33/2699.16	c #Conflicts:     516000 | #Constraints:      29504
2692.33/2699.16	c INPROCESSING
2692.33/2699.16	c GARBAGE COLLECT
2692.33/2699.16	c #Conflicts:     517000 | #Constraints:      16257
2692.33/2699.16	c #Conflicts:     518000 | #Constraints:      17257
2692.33/2699.16	c #Conflicts:     519000 | #Constraints:      18257
2692.33/2699.16	c #Conflicts:     520000 | #Constraints:      19257
2692.33/2699.16	c #Conflicts:     521000 | #Constraints:      20257
2692.33/2699.16	c #Conflicts:     522000 | #Constraints:      21257
2692.33/2699.16	c #Conflicts:     523000 | #Constraints:      22257
2692.33/2699.16	c #Conflicts:     524000 | #Constraints:      23257
2692.33/2699.16	c #Conflicts:     525000 | #Constraints:      24257
2692.33/2699.16	c #Conflicts:     526000 | #Constraints:      25257
2692.33/2699.16	c #Conflicts:     527000 | #Constraints:      26257
2692.33/2699.16	c #Conflicts:     528000 | #Constraints:      27257
2692.33/2699.16	c #Conflicts:     529000 | #Constraints:      28257
2692.33/2699.16	c #Conflicts:     530000 | #Constraints:      29257
2692.33/2699.16	c #Conflicts:     531000 | #Constraints:      30257
2692.33/2699.16	c INPROCESSING
2692.33/2699.16	c GARBAGE COLLECT
2692.33/2699.16	c rational objective 153
2842.68/2849.83	c #Conflicts:     532000 | #Constraints:      16850
2842.68/2849.83	c #Conflicts:     533000 | #Constraints:      17850
2842.68/2849.83	c #Conflicts:     534000 | #Constraints:      18850
2842.68/2849.83	c #Conflicts:     535000 | #Constraints:      19850
2842.68/2849.83	c #Conflicts:     536000 | #Constraints:      20850
2842.68/2849.83	c #Conflicts:     537000 | #Constraints:      21850
2842.68/2849.83	c #Conflicts:     538000 | #Constraints:      22850
2842.68/2849.83	c #Conflicts:     539000 | #Constraints:      23850
2842.68/2849.83	c #Conflicts:     540000 | #Constraints:      24850
2842.68/2849.83	c #Conflicts:     541000 | #Constraints:      25850
2842.68/2849.83	c #Conflicts:     542000 | #Constraints:      26850
2842.68/2849.83	c #Conflicts:     543000 | #Constraints:      27850
2842.68/2849.83	c #Conflicts:     544000 | #Constraints:      28850
2842.68/2849.83	c #Conflicts:     545000 | #Constraints:      29850
2842.68/2849.83	c #Conflicts:     546000 | #Constraints:      30850
2842.68/2849.83	c INPROCESSING
2842.68/2849.83	c GARBAGE COLLECT
2842.68/2849.83	c #Conflicts:     547000 | #Constraints:      17249
2842.68/2849.83	c #Conflicts:     548000 | #Constraints:      18249
2842.68/2849.83	c #Conflicts:     549000 | #Constraints:      19249
2842.68/2849.83	c #Conflicts:     550000 | #Constraints:      20249
2842.68/2849.83	c #Conflicts:     551000 | #Constraints:      21249
2842.68/2849.83	c #Conflicts:     552000 | #Constraints:      22249
2842.68/2849.83	c #Conflicts:     553000 | #Constraints:      23249
2842.68/2849.83	c #Conflicts:     554000 | #Constraints:      24249
2842.68/2849.83	c #Conflicts:     555000 | #Constraints:      25249
2842.68/2849.83	c #Conflicts:     556000 | #Constraints:      26249
2842.68/2849.83	c #Conflicts:     557000 | #Constraints:      27249
2842.68/2849.83	c #Conflicts:     558000 | #Constraints:      28249
2842.68/2849.83	c #Conflicts:     559000 | #Constraints:      29249
2842.68/2849.83	c #Conflicts:     560000 | #Constraints:      30249
2842.68/2849.83	c #Conflicts:     561000 | #Constraints:      31249
2842.68/2849.83	c INPROCESSING
2842.68/2849.83	c GARBAGE COLLECT
2842.68/2849.83	c rational objective 153
3207.10/3215.19	c #Conflicts:     562000 | #Constraints:      17411
3207.10/3215.19	c #Conflicts:     563000 | #Constraints:      18411
3207.10/3215.19	c #Conflicts:     564000 | #Constraints:      19411
3207.10/3215.19	c #Conflicts:     565000 | #Constraints:      20411
3207.10/3215.19	c #Conflicts:     566000 | #Constraints:      21411
3207.10/3215.19	c #Conflicts:     567000 | #Constraints:      22411
3207.10/3215.19	c #Conflicts:     568000 | #Constraints:      23411
3207.10/3215.19	c #Conflicts:     569000 | #Constraints:      24411
3207.10/3215.19	c #Conflicts:     570000 | #Constraints:      25411
3207.10/3215.19	c #Conflicts:     571000 | #Constraints:      26411
3207.10/3215.19	c #Conflicts:     572000 | #Constraints:      27411
3207.10/3215.19	c #Conflicts:     573000 | #Constraints:      28411
3207.10/3215.19	c #Conflicts:     574000 | #Constraints:      29411
3207.10/3215.19	c #Conflicts:     575000 | #Constraints:      30411
3207.10/3215.19	c #Conflicts:     576000 | #Constraints:      31411
3207.10/3215.19	c INPROCESSING
3207.10/3215.19	c GARBAGE COLLECT
3207.10/3215.19	c #Conflicts:     577000 | #Constraints:      17445
3207.10/3215.19	c #Conflicts:     578000 | #Constraints:      18445
3207.10/3215.19	c #Conflicts:     579000 | #Constraints:      19445
3207.10/3215.19	c #Conflicts:     580000 | #Constraints:      20445
3207.10/3215.19	c #Conflicts:     581000 | #Constraints:      21445
3207.10/3215.19	c #Conflicts:     582000 | #Constraints:      22445
3207.10/3215.19	c #Conflicts:     583000 | #Constraints:      23445
3207.10/3215.19	c #Conflicts:     584000 | #Constraints:      24445
3207.10/3215.19	c #Conflicts:     585000 | #Constraints:      25445
3207.10/3215.19	c #Conflicts:     586000 | #Constraints:      26445
3207.10/3215.19	c #Conflicts:     587000 | #Constraints:      27445
3207.10/3215.19	c #Conflicts:     588000 | #Constraints:      28445
3207.10/3215.19	c #Conflicts:     589000 | #Constraints:      29445
3207.10/3215.19	c #Conflicts:     590000 | #Constraints:      30445
3207.10/3215.19	c #Conflicts:     591000 | #Constraints:      31445
3207.10/3215.19	c INPROCESSING
3207.10/3215.19	c GARBAGE COLLECT
3207.10/3215.19	c #Conflicts:     592000 | #Constraints:      17254
3207.10/3215.19	c #Conflicts:     593000 | #Constraints:      18254
3207.10/3215.19	c #Conflicts:     594000 | #Constraints:      19254
3207.10/3215.19	c #Conflicts:     595000 | #Constraints:      20254
3207.10/3215.19	c #Conflicts:     596000 | #Constraints:      21254
3207.10/3215.19	c #Conflicts:     597000 | #Constraints:      22254
3207.10/3215.19	c #Conflicts:     598000 | #Constraints:      23254
3207.10/3215.19	c #Conflicts:     599000 | #Constraints:      24254
3207.10/3215.19	c #Conflicts:     600000 | #Constraints:      25254
3207.10/3215.19	c #Conflicts:     601000 | #Constraints:      26254
3207.10/3215.19	c #Conflicts:     602000 | #Constraints:      27254
3207.10/3215.19	c #Conflicts:     603000 | #Constraints:      28254
3207.10/3215.19	c #Conflicts:     604000 | #Constraints:      29254
3207.10/3215.19	c #Conflicts:     605000 | #Constraints:      30254
3207.10/3215.19	c #Conflicts:     606000 | #Constraints:      31254
3207.10/3215.19	c #Conflicts:     607000 | #Constraints:      32254
3207.10/3215.19	c INPROCESSING
3207.10/3215.19	c GARBAGE COLLECT
3207.10/3215.19	c #Conflicts:     608000 | #Constraints:      17863
3207.10/3215.19	c #Conflicts:     609000 | #Constraints:      18863
3207.10/3215.19	c #Conflicts:     610000 | #Constraints:      19863
3207.10/3215.19	c #Conflicts:     611000 | #Constraints:      20863
3207.10/3215.19	c #Conflicts:     612000 | #Constraints:      21863
3207.10/3215.19	c #Conflicts:     613000 | #Constraints:      22863
3207.10/3215.19	c #Conflicts:     614000 | #Constraints:      23863
3207.10/3215.19	c #Conflicts:     615000 | #Constraints:      24863
3207.10/3215.19	c #Conflicts:     616000 | #Constraints:      25863
3207.10/3215.19	c #Conflicts:     617000 | #Constraints:      26863
3207.10/3215.19	c #Conflicts:     618000 | #Constraints:      27863
3207.10/3215.19	c #Conflicts:     619000 | #Constraints:      28863
3207.10/3215.19	c #Conflicts:     620000 | #Constraints:      29863
3207.10/3215.19	c #Conflicts:     621000 | #Constraints:      30863
3207.10/3215.19	c #Conflicts:     622000 | #Constraints:      31864
3207.10/3215.19	c #Conflicts:     623000 | #Constraints:      32864
3207.10/3215.19	c INPROCESSING
3207.10/3215.19	c GARBAGE COLLECT
3207.10/3215.19	c #Conflicts:     624000 | #Constraints:      18257
3207.10/3215.19	c #Conflicts:     625000 | #Constraints:      19257
3207.10/3215.19	c #Conflicts:     626000 | #Constraints:      20257
3207.10/3215.19	c #Conflicts:     627000 | #Constraints:      21257
3207.10/3215.19	c #Conflicts:     628000 | #Constraints:      22257
3207.10/3215.19	c #Conflicts:     629000 | #Constraints:      23257
3207.10/3215.19	c #Conflicts:     630000 | #Constraints:      24257
3207.10/3215.19	c #Conflicts:     631000 | #Constraints:      25257
3207.10/3215.19	c #Conflicts:     632000 | #Constraints:      26257
3207.10/3215.19	c #Conflicts:     633000 | #Constraints:      27257
3207.10/3215.19	c #Conflicts:     634000 | #Constraints:      28257
3207.10/3215.19	c #Conflicts:     635000 | #Constraints:      29257
3207.10/3215.19	c #Conflicts:     636000 | #Constraints:      30257
3207.10/3215.19	c #Conflicts:     637000 | #Constraints:      31257
3207.10/3215.19	c #Conflicts:     638000 | #Constraints:      32257
3600.06/3609.10	c #Conflicts:     639000 | #Constraints:      33257
3600.06/3609.10	c INPROCESSING
3600.06/3609.10	c GARBAGE COLLECT
3600.06/3609.10	c #Conflicts:     640000 | #Constraints:      18420
3600.06/3609.10	c #Conflicts:     641000 | #Constraints:      19420
3600.06/3609.10	c #Conflicts:     642000 | #Constraints:      20420
3600.06/3609.10	c #Conflicts:     643000 | #Constraints:      21420
3600.06/3609.10	c #Conflicts:     644000 | #Constraints:      22420
3600.06/3609.10	c #Conflicts:     645000 | #Constraints:      23420
3600.06/3609.10	c #Conflicts:     646000 | #Constraints:      24420
3600.06/3609.10	c #Conflicts:     647000 | #Constraints:      25420
3600.06/3609.10	c #Conflicts:     648000 | #Constraints:      26420
3600.06/3609.10	c #Conflicts:     649000 | #Constraints:      27420
3600.06/3609.10	c #Conflicts:     650000 | #Constraints:      28420
3600.06/3609.10	c #Conflicts:     651000 | #Constraints:      29420
3600.06/3609.10	c #Conflicts:     652000 | #Constraints:      30420
3600.06/3609.10	c #Conflicts:     653000 | #Constraints:      31420
3600.06/3609.10	c #Conflicts:     654000 | #Constraints:      32420
3600.06/3609.10	c #Conflicts:     655000 | #Constraints:      33420
3600.06/3609.10	c INPROCESSING
3600.06/3609.10	c GARBAGE COLLECT
3600.06/3609.10	c #Conflicts:     656000 | #Constraints:      18446
3600.06/3609.10	c #Conflicts:     657000 | #Constraints:      19446
3600.06/3609.10	c #Conflicts:     658000 | #Constraints:      20446
3600.06/3609.10	c #Conflicts:     659000 | #Constraints:      21446
3600.06/3609.10	c #Conflicts:     660000 | #Constraints:      22446
3600.06/3609.10	c #Conflicts:     661000 | #Constraints:      23446
3600.06/3609.10	c #Conflicts:     662000 | #Constraints:      24446
3600.06/3609.10	c #Conflicts:     663000 | #Constraints:      25446
3600.06/3609.10	c #Conflicts:     664000 | #Constraints:      26446
3600.06/3609.10	c #Conflicts:     665000 | #Constraints:      27446
3600.06/3609.10	c #Conflicts:     666000 | #Constraints:      28446
3600.06/3609.10	c #Conflicts:     667000 | #Constraints:      29446
3600.06/3609.10	c #Conflicts:     668000 | #Constraints:      30446
3600.06/3609.10	c #Conflicts:     669000 | #Constraints:      31446
3600.06/3609.10	c #Conflicts:     670000 | #Constraints:      32446
3600.06/3609.10	c #Conflicts:     671000 | #Constraints:      33446
3600.06/3609.10	c INPROCESSING
3600.06/3609.10	c GARBAGE COLLECT
3600.06/3609.10	c #Conflicts:     672000 | #Constraints:      18196
3600.06/3609.10	c #Conflicts:     673000 | #Constraints:      19196
3600.06/3609.10	c #Conflicts:     674000 | #Constraints:      20196
3600.06/3609.10	c #Conflicts:     675000 | #Constraints:      21196
3600.06/3609.10	c #Conflicts:     676000 | #Constraints:      22196
3600.06/3609.10	c #Conflicts:     677000 | #Constraints:      23196
3600.06/3609.10	c #Conflicts:     678000 | #Constraints:      24196
3600.06/3609.10	c #Conflicts:     679000 | #Constraints:      25196
3600.06/3609.10	c #Conflicts:     680000 | #Constraints:      26196
3600.06/3609.10	c #Conflicts:     681000 | #Constraints:      27196
3600.06/3609.10	c #Conflicts:     682000 | #Constraints:      28196
3600.06/3609.10	c #Conflicts:     683000 | #Constraints:      29196
3600.06/3609.10	c #Conflicts:     684000 | #Constraints:      30196
3600.06/3609.10	c #Conflicts:     685000 | #Constraints:      31196
3600.06/3609.10	c #Conflicts:     686000 | #Constraints:      32196
3600.06/3609.10	c #Conflicts:     687000 | #Constraints:      33196
3600.06/3609.10	c #Conflicts:     688000 | #Constraints:      34196
3600.06/3609.10	c INPROCESSING
3600.06/3609.10	c GARBAGE COLLECT
3600.06/3609.10	c #Conflicts:     689000 | #Constraints:      18828
3600.06/3609.10	c #Conflicts:     690000 | #Constraints:      19828
3600.06/3609.10	c #Conflicts:     691000 | #Constraints:      20828
3600.06/3609.10	c #Conflicts:     692000 | #Constraints:      21828
3600.06/3609.10	c #Conflicts:     693000 | #Constraints:      22828
3600.06/3609.10	c #Conflicts:     694000 | #Constraints:      23828
3600.06/3609.10	c #Conflicts:     695000 | #Constraints:      24828
3600.06/3609.10	c #Conflicts:     696000 | #Constraints:      25828
3600.06/3609.10	c #Conflicts:     697000 | #Constraints:      26828
3600.06/3609.10	c #Conflicts:     698000 | #Constraints:      27828
3600.06/3609.10	c #Conflicts:     699000 | #Constraints:      28828
3600.06/3609.10	c #Conflicts:     700000 | #Constraints:      29828
3600.06/3609.10	c #Conflicts:     701000 | #Constraints:      30828
3600.06/3609.10	c #Conflicts:     702000 | #Constraints:      31828
3600.06/3609.10	c #Conflicts:     703000 | #Constraints:      32828
3600.06/3609.10	c #Conflicts:     704000 | #Constraints:      33828
3600.06/3609.10	c #Conflicts:     705000 | #Constraints:      34828
3600.06/3609.10	c INPROCESSING
3600.06/3609.10	c GARBAGE COLLECT
3600.06/3609.10	c #Conflicts:     706000 | #Constraints:      19252
3600.06/3609.10	c #Conflicts:     707000 | #Constraints:      20252
3600.06/3609.10	c #Conflicts:     708000 | #Constraints:      21252
3600.06/3609.10	c #Conflicts:     709000 | #Constraints:      22252
3600.06/3609.10	c cpu time 3589.1 s
3600.06/3609.10	c deterministic time 235649696541 2.36e+11
3600.06/3609.10	c optimization time 30.2299 s
3600.06/3609.10	c total solve time 3558.79 s
3600.06/3609.10	c core-guided solve time 0 s
3600.06/3609.10	c propagation time 1190.1 s
3600.06/3609.10	c conflict analysis time 909.696 s
3600.06/3609.10	c propagations 208438761
3600.06/3609.10	c resolve steps 7511825
3600.06/3609.10	c decisions 9237524
3600.06/3609.10	c conflicts 709569
3600.06/3609.10	c restarts 1532
3600.06/3609.10	c inprocessing phases 75
3600.06/3609.10	c garbage collections 75 ,( 100.00 )
3600.06/3609.10	c input clauses 612 ,( 44.16 )
3600.06/3609.10	c input cardinalities 774 ,( 55.84 )
3600.06/3609.10	c input general constraints 0 ,( 0.00 )
3600.06/3609.10	c input average constraint length 168.90
3600.06/3609.10	c input average constraint degree 101.10
3600.06/3609.10	c learned clauses 75729 ,( 10.67 )
3600.06/3609.10	c learned cardinalities 49305 ,( 6.95 )
3600.06/3609.10	c learned general constraints 584541 ,( 82.38 )
3600.06/3609.10	c learned average constraint length 2225.85
3600.06/3609.10	c learned average constraint degree 5782623.78
3600.06/3609.10	c watched  CF 32, 64, 128, Arb: 304244 , 0 , 0 , 0
3600.06/3609.10	c counting CF 32, 64, 128, Arb: 280297 , 0 , 0 , 0
3600.06/3609.10	c watched   constraints 304244 ,( 52.05 ) 
3600.06/3609.10	c counting  constraints 280297 ,( 47.95 ) 
3600.06/3609.10	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 44945509 , 543166115 , 402639116 ,( 107734109 , 294905007 )
3600.06/3609.10	c gcd simplifications 44
3600.06/3609.10	c detected cardinalities 0
3600.06/3609.10	c weakened non-implied lits 1263794367
3600.06/3609.10	c weakened non-implying lits 356251
3600.06/3609.10	c original variables 23409
3600.06/3609.10	c clausal propagations 1167018
3600.06/3609.10	c cardinality propagations 164620312
3600.06/3609.10	c watched propagations 3115082
3600.06/3609.10	c counting propagations 35645176
3600.06/3609.10	c watch lookups 22070904208
3600.06/3609.10	c watch backjump lookups 0
3600.06/3609.10	c watch checks 66365571516
3600.06/3609.10	c propagation checks 141681324099
3600.06/3609.10	c constraint additions 5095655653
3600.06/3609.10	c trail pops 218363339
3600.06/3609.10	c formula constraints 1386
3600.06/3609.10	c learned constraints 709563
3600.06/3609.10	c bound constraints 0
3600.06/3609.10	c core-guided constraints 0
3600.06/3609.10	c encountered formula constraints 3076749
3600.06/3609.10	c encountered learned constraints 5144622
3600.06/3609.10	c encountered bound constraints 0
3600.06/3609.10	c encountered core-guided constraints 0
3600.06/3609.10	c LP total time 184.972 s
3600.06/3609.10	c LP solve time 176.17 s
3600.06/3609.10	c LP constraints added 1389
3600.06/3609.10	c LP constraints removed 1
3600.06/3609.10	c LP pivots internal 73117
3600.06/3609.10	c LP pivots root 128323
3600.06/3609.10	c LP calls 15
3600.06/3609.10	c LP optimalities 3
3600.06/3609.10	c LP no pivot count 0
3600.06/3609.10	c LP infeasibilities 5
3600.06/3609.10	c LP valid Farkas constraints 5
3600.06/3609.10	c LP learned Farkas constraints 5
3600.06/3609.10	c LP basis resets 0
3600.06/3609.10	c LP cycling count 0
3600.06/3609.10	c LP singular count 0
3600.06/3609.10	c LP no primal count 0
3600.06/3609.10	c LP no farkas count 0
3600.06/3609.10	c LP other issue count 0
3600.06/3609.10	c LP Gomory cuts 2
3600.06/3609.10	c LP learned cuts 1
3600.06/3609.10	c LP deleted cuts 1
3600.06/3609.10	c LP encountered Gomory constraints 0
3600.06/3609.10	c LP encountered Farkas constraints 14
3600.06/3609.10	c LP encountered learned Farkas constraints 4
3600.06/3609.10	c CG auxiliary variables introduced 0
3600.06/3609.10	c CG solutions found 0
3600.06/3609.10	c CG cores constructed 0
3600.06/3609.10	c CG core cardinality constraints returned 0
3600.06/3609.10	c CG unit cores 0
3600.06/3609.10	c CG single cores 0
3600.06/3609.10	c CG blocks removed during cardinality reduction 0
3600.06/3609.10	c CG first core best 0
3600.06/3609.10	c CG decision core best 0
3600.06/3609.10	c CG core reduction tie 0
3600.06/3609.10	c CG core degree average 0.00
3600.06/3609.10	c CG core slack average 0.00
3600.06/3609.10	c CG core upper bound improvements 0
3600.06/3609.10	c STR number of successful calls 0
3600.06/3609.10	c STR number of unsuccessful calls 0
3600.06/3609.10	c STR number of inconclusive calls 0
3600.06/3609.10	c STR number of successful attempts 0
3600.06/3609.10	c STR number of unsuccessful attempts 0
3600.06/3609.10	c STR number of inconclusive attempts 0
3600.06/3609.10	c STR average degree increase per successful call inf
3600.06/3609.10	c STR average degree increase per successful attempt inf
3600.06/3609.10	c STR total number of conflicts for successful attempts 0
3600.06/3609.10	c STR total number of conflicts for unsuccessful attempts 0
3600.06/3609.10	c STR total number of conflicts for inconclusive attempts 0
3600.06/3609.10	c STR average number of conflicts per successful attempt inf
3600.06/3609.10	c STR average number of conflicts per unsuccessful attempt inf
3600.06/3609.10	c STR average number of conflicts per inconclusive attempt inf
3600.06/3609.10	c AVG.sumWPerc 40.74 
3600.06/3609.10	c bigint constraints 0 
3600.06/3609.10	s UNKNOWN
3600.06/3609.10	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 (63049 MiB free)
  memory of node 1: 64465 MiB (62750 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100039 s]*
/proc/loadavg: 3.98 4.08 4.08 4/265 17066
/proc/meminfo: memFree=128794900/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=74740 memory=30524 CPUtime=0.08 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 6358 0 0 0 7 1 0 0 20 0 1 0 30700443 76533760 7631 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 18685 7631 2240 1147 0 6112 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 78932 KiB
Current children cumulated memory: 33468 KiB

[startup+0.205613 s]*
/proc/loadavg: 3.98 4.08 4.08 4/265 17066
/proc/meminfo: memFree=128786332/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=92392 memory=47688 CPUtime=0.18 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 13598 0 0 0 16 2 0 0 20 0 1 0 30700443 94609408 11922 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 23098 11922 2240 1147 0 10525 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 96584 KiB
Current children cumulated memory: 50632 KiB

[startup+0.305507 s]*
/proc/loadavg: 3.98 4.08 4.08 4/265 17066
/proc/meminfo: memFree=128786332/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=93468 memory=49096 CPUtime=0.28 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 13928 0 0 0 26 2 0 0 20 0 1 0 30700443 95711232 12274 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 23367 12274 2272 1147 0 10794 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 97660 KiB
Current children cumulated memory: 52040 KiB

[startup+0.700159 s]
/proc/loadavg: 3.98 4.08 4.08 4/267 17072
/proc/meminfo: memFree=128781572/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=93468 memory=49096 CPUtime=0.67 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 13928 0 0 0 65 2 0 0 20 0 1 0 30700443 95711232 12274 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 23367 12274 2272 1147 0 10794 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 97660 KiB
Current children cumulated memory: 52040 KiB

[startup+1.50014 s]
/proc/loadavg: 3.98 4.08 4.08 4/267 17104
/proc/meminfo: memFree=130067828/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=93468 memory=49096 CPUtime=1.46 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 13928 0 0 0 144 2 0 0 20 0 1 0 30700443 95711232 12274 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 23367 12274 2272 1147 0 10794 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 97660 KiB
Current children cumulated memory: 52040 KiB

[startup+3.10526 s]
/proc/loadavg: 3.98 4.08 4.08 4/265 17158
/proc/meminfo: memFree=130085392/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=93468 memory=49096 CPUtime=3.07 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 13928 0 0 0 305 2 0 0 20 0 1 0 30700443 95711232 12274 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 23367 12274 2272 1147 0 10794 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 97660 KiB
Current children cumulated memory: 52040 KiB

[startup+6.30014 s]
/proc/loadavg: 3.98 4.08 4.08 5/270 17242
/proc/meminfo: memFree=130036112/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=93468 memory=49096 CPUtime=6.25 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 13928 0 0 0 623 2 0 0 20 0 1 0 30700443 95711232 12274 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 23367 12274 2272 1147 0 10794 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 97660 KiB
Current children cumulated memory: 52040 KiB

[startup+12.7001 s]
/proc/loadavg: 3.98 4.08 4.08 5/270 17242
/proc/meminfo: memFree=130013532/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=93468 memory=49096 CPUtime=12.64 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 13928 0 0 0 1262 2 0 0 20 0 1 0 30700443 95711232 12274 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 23367 12274 2272 1147 0 10794 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 97660 KiB
Current children cumulated memory: 52040 KiB

[startup+25.5001 s]
/proc/loadavg: 3.98 4.08 4.08 5/270 17334
/proc/meminfo: memFree=129934944/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=134436 memory=87928 CPUtime=25.41 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 21529 0 0 0 2530 11 0 0 20 0 1 0 30700443 137662464 21982 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 33609 21982 2336 1147 0 21036 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 138628 KiB
Current children cumulated memory: 90872 KiB

[startup+51.1054 s]
/proc/loadavg: 4.05 4.09 4.08 5/269 17519
/proc/meminfo: memFree=129954424/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=148064 memory=105656 CPUtime=50.94 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 24951 0 0 0 5078 16 0 0 20 0 1 0 30700443 151617536 26414 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 37016 26414 2336 1147 0 24443 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 152256 KiB
Current children cumulated memory: 108600 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.09 4.08 5/268 17842
/proc/meminfo: memFree=128423148/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=209640 memory=153968 CPUtime=102.02 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 33731 0 0 0 10167 35 0 0 20 0 1 0 30700443 214671360 38492 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 52410 38492 2336 1147 0 39837 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 213832 KiB
Current children cumulated memory: 156912 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.08 4.08 5/269 18076
/proc/meminfo: memFree=128888608/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=237708 memory=194256 CPUtime=161.88 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 40741 0 0 0 16133 55 0 0 20 0 1 0 30700443 243412992 48564 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 59427 48564 2336 1147 0 46854 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 241900 KiB
Current children cumulated memory: 197200 KiB

[startup+222.3 s]
/proc/loadavg: 4.07 4.08 4.08 6/268 18261
/proc/meminfo: memFree=129203856/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=250588 memory=207184 CPUtime=221.75 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 43998 0 0 0 22099 76 0 0 20 0 1 0 30700443 256602112 51796 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 62647 51796 2336 1147 0 50074 0
Current children cumulated CPU time: 221.75 s

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

/proc/17066/statm: 355558 298891 2336 1147 0 342985 0
Current children cumulated CPU time: 3094.57 s
Current children cumulated vsize: 1426424 KiB
Current children cumulated memory: 1198508 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/267 18780
/proc/meminfo: memFree=127589852/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=1429408 memory=1202476 CPUtime=3154.43 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 214247 0 0 0 314489 954 0 0 20 0 1 0 30700443 1463713792 300619 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 357352 300619 2336 1147 0 344779 0
Current children cumulated CPU time: 3154.43 s
Current children cumulated vsize: 1433600 KiB
Current children cumulated memory: 1205420 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/267 18783
/proc/meminfo: memFree=127584684/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=1431752 memory=1204780 CPUtime=3214.28 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 214944 0 0 0 320450 978 0 0 20 0 1 0 30700443 1466114048 301195 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 357938 301195 2336 1147 0 345365 0
Current children cumulated CPU time: 3214.28 s
Current children cumulated vsize: 1435944 KiB
Current children cumulated memory: 1207724 KiB

[startup+3282.3 s]
/proc/loadavg: 4.11 4.09 4.09 5/268 18788
/proc/meminfo: memFree=127583852/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=1433516 memory=1206700 CPUtime=3274.13 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 215409 0 0 0 326417 996 0 0 20 0 1 0 30700443 1467920384 301675 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 358379 301675 2336 1147 0 345806 0
Current children cumulated CPU time: 3274.13 s
Current children cumulated vsize: 1437708 KiB
Current children cumulated memory: 1209644 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/268 18790
/proc/meminfo: memFree=127563300/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=1442416 memory=1214252 CPUtime=3333.98 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 217302 0 0 0 332382 1016 0 0 20 0 1 0 30700443 1477033984 303563 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 360604 303563 2336 1147 0 348031 0
Current children cumulated CPU time: 3333.98 s
Current children cumulated vsize: 1446608 KiB
Current children cumulated memory: 1217196 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/268 18793
/proc/meminfo: memFree=127555860/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=1442416 memory=1214252 CPUtime=3393.84 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 217303 0 0 0 338354 1030 0 0 20 0 1 0 30700443 1477033984 303563 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 360604 303563 2336 1147 0 348031 0
Current children cumulated CPU time: 3393.84 s
Current children cumulated vsize: 1446608 KiB
Current children cumulated memory: 1217196 KiB

[startup+3462.3 s]
/proc/loadavg: 4.37 4.18 4.12 5/269 18796
/proc/meminfo: memFree=127486968/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=1445004 memory=1218092 CPUtime=3453.69 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 218294 0 0 0 344315 1054 0 0 20 0 1 0 30700443 1479684096 304523 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 361251 304523 2336 1147 0 348678 0
Current children cumulated CPU time: 3453.69 s
Current children cumulated vsize: 1449196 KiB
Current children cumulated memory: 1221036 KiB

[startup+3522.3 s]
/proc/loadavg: 4.25 4.18 4.12 5/269 18798
/proc/meminfo: memFree=127399312/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=1448100 memory=1221164 CPUtime=3513.52 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 219190 0 0 0 350277 1075 0 0 20 0 1 0 30700443 1482854400 305291 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 362025 305291 2336 1147 0 349452 0
Current children cumulated CPU time: 3513.52 s
Current children cumulated vsize: 1452292 KiB
Current children cumulated memory: 1224108 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.16 4.12 5/268 18800
/proc/meminfo: memFree=127364648/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=1463396 memory=1236396 CPUtime=3573.33 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 222999 0 0 0 356241 1092 0 0 20 0 1 0 30700443 1498517504 309099 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 365849 309099 2336 1147 0 353276 0
Current children cumulated CPU time: 3573.33 s
Current children cumulated vsize: 1467588 KiB
Current children cumulated memory: 1239340 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.11 s]
/proc/loadavg: 4.16 4.16 4.12 5/269 18853
/proc/meminfo: memFree=128366500/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=1463396 memory=1236396 CPUtime=3600.06 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 222999 0 0 0 358909 1097 0 0 20 0 1 0 30700443 1498517504 309099 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 365849 309099 2336 1147 0 353276 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1467588 KiB
Current children cumulated memory: 1239340 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000727 s, system=0.001595 s

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

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

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

[startup+3609.11 s]
/proc/loadavg: 4.16 4.16 4.12 5/269 18853
/proc/meminfo: memFree=128366500/131249996 swapFree=33010684/33010684
[pid=17064] ppid=17061 vsize=4192 memory=2944 CPUtime=0 cores=5,7
/proc/17064/stat : 17064 (run-dec-ls.sh) S 17061 17064 16308 0 -1 4194304 203 0 0 0 0 0 0 0 20 0 1 0 30700443 4292608 736 18446744073709551615 94802377801728 94802378696261 140732337547424 0 0 0 65536 4 65538 1 0 0 17 5 0 0 0 0 0 94802378935312 94802378983056 94802412019712 140732337551719 140732337551845 140732337551845 140732337557447 0
/proc/17064/statm: 1048 736 672 219 0 110 0
[pid=17066] ppid=17064 vsize=1463396 memory=1236396 CPUtime=3600.06 cores=5,7
/proc/17066/stat : 17066 (roundingsat) R 17064 17064 16308 0 -1 4194304 222999 0 0 0 358909 1097 0 0 20 0 1 0 30700443 1498517504 309099 18446744073709551615 4227072 8923433 140727053398720 0 0 0 0 0 8405026 0 0 0 17 5 0 0 0 0 0 9823104 9832592 18141184 140727053400480 140727053400616 140727053400616 140727053406186 0
/proc/17066/statm: 365849 309099 2336 1147 0 353276 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1467588 KiB
Current children cumulated memory: 1239340 KiB

Child status: 2

Real time (s): 3609.12
CPU time (s): 3600.09
CPU user time (s): 3589.11
CPU system time (s): 10.9844
CPU usage (%): 99.7498
Max. virtual memory (cumulated for all children) (KiB): 1467588
Max. memory (cumulated for all children) (KiB): 1239340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.11
system time used= 10.9844
maximum resident set size= 1236780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 223222
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 242
involuntary context switches= 2920


# summary of solver processes directly reported to runsolver:
#   pid: 17064,17066
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3589.11
#   total CPU system time (s): 10.9844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.13343 second user time and 16.0956 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2025-06-29 00:37:00
IDJOB=4493302
IDBENCH=147859
IDSOLVER=3353
FILE ID=nodeC029/4493302-1751150220
RUNJOBID= nodeC029-1751146607-16321
SLURM_JOB_ID= 9587465
Free space on /tmp= 433028 MiB

SOLVER NAME= roundingsat-ls 63f22ad
BENCH NAME= PB24/normalized-PB06/DEC-LIN/submitted-PB06/prestwich/robin/normalized-robin18.opb
COMMAND LINE= run-dec-ls.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4493302-1751150220/watcher-4493302-1751150220 -o /tmp/evaluation-result-4493302-1751150220/solver-4493302-1751150220 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1751146607-16321 --watchdog 3760  run-dec-ls.sh HOME/instance-4493302-1751150220.opb

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

MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99
RANDOM SEED=1415884218

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.783
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		: 3599.717
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.757
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		: 3638.060
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.733
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		: 3599.706
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.885
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		: 3596.574
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:        128820108 kB
MemAvailable:   128455800 kB
Buffers:            3280 kB
Cached:           436052 kB
SwapCached:            0 kB
Active:          1624680 kB
Inactive:         217140 kB
Active(anon):    1420552 kB
Inactive(anon):        0 kB
Active(file):     204128 kB
Inactive(file):   217140 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             26168 kB
Writeback:            28 kB
AnonPages:       1403416 kB
Mapped:           110188 kB
Shmem:             18060 kB
KReclaimable:      85472 kB
Slab:             168792 kB
SReclaimable:      85472 kB
SUnreclaim:        83320 kB
KernelStack:        4336 kB
PageTables:         6060 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1860376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150568 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1196032 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= 433020 MiB
End job on nodeC029 at 2025-06-29 01:37:09