Trace number 4493303

Some explanations

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

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

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

Solver answer on this benchmark

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

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

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=15125, runsolver pid=15122

[startup+0.100062 s]*
/proc/loadavg: 4.09 4.10 4.05 5/269 15135
/proc/meminfo: memFree=127310772/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=74940 memory=31052 CPUtime=0.09 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 6421 0 0 0 8 1 0 0 20 0 1 0 30699601 76738560 7763 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 18735 7763 2272 1147 0 6162 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 79132 KiB
Current children cumulated memory: 34124 KiB

[startup+0.205906 s]*
/proc/loadavg: 4.09 4.10 4.05 4/266 15135
/proc/meminfo: memFree=127289520/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=92460 memory=48080 CPUtime=0.19 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 14647 0 0 0 17 2 0 0 20 0 1 0 30699601 94679040 12020 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 23115 12020 2304 1147 0 10542 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 96652 KiB
Current children cumulated memory: 51152 KiB

[startup+0.305569 s]*
/proc/loadavg: 4.09 4.10 4.05 4/266 15135
/proc/meminfo: memFree=127289520/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=93672 memory=49488 CPUtime=0.29 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 14991 0 0 0 27 2 0 0 20 0 1 0 30699601 95920128 12372 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 23418 12372 2304 1147 0 10845 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 97864 KiB
Current children cumulated memory: 52560 KiB

[startup+0.700216 s]
/proc/loadavg: 4.08 4.10 4.05 4/266 15135
/proc/meminfo: memFree=127289016/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=93672 memory=49488 CPUtime=0.67 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 14991 0 0 0 65 2 0 0 20 0 1 0 30699601 95920128 12372 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 23418 12372 2304 1147 0 10845 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 97864 KiB
Current children cumulated memory: 52560 KiB

[startup+1.50017 s]
/proc/loadavg: 4.08 4.10 4.05 4/266 15157
/proc/meminfo: memFree=127304872/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=93672 memory=49488 CPUtime=1.47 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 14991 0 0 0 145 2 0 0 20 0 1 0 30699601 95920128 12372 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 23418 12372 2304 1147 0 10845 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 97864 KiB
Current children cumulated memory: 52560 KiB

[startup+3.10529 s]
/proc/loadavg: 4.08 4.10 4.05 4/271 15219
/proc/meminfo: memFree=129832504/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=93672 memory=49488 CPUtime=3.06 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 14991 0 0 0 302 4 0 0 20 0 1 0 30699601 95920128 12372 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 23418 12372 2304 1147 0 10845 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 97864 KiB
Current children cumulated memory: 52560 KiB

[startup+6.30016 s]
/proc/loadavg: 3.99 4.08 4.04 4/266 15227
/proc/meminfo: memFree=129791740/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=93672 memory=49488 CPUtime=6.24 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 14991 0 0 0 619 5 0 0 20 0 1 0 30699601 95920128 12372 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 23418 12372 2304 1147 0 10845 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 97864 KiB
Current children cumulated memory: 52560 KiB

[startup+12.7001 s]
/proc/loadavg: 4.07 4.10 4.05 5/271 15311
/proc/meminfo: memFree=129727376/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=93672 memory=49488 CPUtime=12.6 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 14991 0 0 0 1254 6 0 0 20 0 1 0 30699601 95920128 12372 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 23418 12372 2304 1147 0 10845 0
Current children cumulated CPU time: 12.6 s
Current children cumulated vsize: 97864 KiB
Current children cumulated memory: 52560 KiB

[startup+25.5002 s]
/proc/loadavg: 4.06 4.09 4.05 5/271 15403
/proc/meminfo: memFree=129654580/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=135324 memory=88476 CPUtime=25.38 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 23169 0 0 0 2522 16 0 0 20 0 1 0 30699601 138571776 22119 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 33831 22119 2368 1147 0 21258 0
Current children cumulated CPU time: 25.38 s
Current children cumulated vsize: 139516 KiB
Current children cumulated memory: 91548 KiB

[startup+51.1047 s]
/proc/loadavg: 3.96 4.07 4.04 5/271 15496
/proc/meminfo: memFree=129521468/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=149088 memory=106416 CPUtime=50.89 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 26629 0 0 0 5065 24 0 0 20 0 1 0 30699601 152666112 26604 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 37272 26604 2368 1147 0 24699 0
Current children cumulated CPU time: 50.89 s
Current children cumulated vsize: 153280 KiB
Current children cumulated memory: 109488 KiB

[startup+102.3 s]
/proc/loadavg: 4.05 4.07 4.04 5/271 15772
/proc/meminfo: memFree=129355040/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=210964 memory=154848 CPUtime=101.91 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 34977 0 0 0 10138 53 0 0 20 0 1 0 30699601 216027136 38712 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 52741 38712 2368 1147 0 40168 0
Current children cumulated CPU time: 101.91 s
Current children cumulated vsize: 215156 KiB
Current children cumulated memory: 157920 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.07 4.04 5/272 16098
/proc/meminfo: memFree=128341548/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=235476 memory=191548 CPUtime=161.68 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 41090 0 0 0 16078 90 0 0 20 0 1 0 30699601 241127424 47887 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 58869 47887 2368 1147 0 46296 0
Current children cumulated CPU time: 161.68 s
Current children cumulated vsize: 239668 KiB
Current children cumulated memory: 194620 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 4.08 4.05 5/272 16237
/proc/meminfo: memFree=127145468/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=248076 memory=204092 CPUtime=221.49 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 44247 0 0 0 22027 122 0 0 20 0 1 0 30699601 254029824 51023 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 62019 51023 2368 1147 0 49446 0

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

/proc/15127/statm: 384823 321541 2400 1147 0 372250 0
Current children cumulated CPU time: 3093.66 s
Current children cumulated vsize: 1543484 KiB
Current children cumulated memory: 1289236 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/272 16857
/proc/meminfo: memFree=109762852/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=1540764 memory=1287700 CPUtime=3153.49 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 262371 0 0 0 313556 1793 0 0 20 0 1 0 30699601 1577742336 321925 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 385191 321925 2400 1147 0 372618 0
Current children cumulated CPU time: 3153.49 s
Current children cumulated vsize: 1544956 KiB
Current children cumulated memory: 1290772 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/272 16862
/proc/meminfo: memFree=109426664/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=1546568 memory=1293204 CPUtime=3213.32 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 263750 0 0 0 319497 1835 0 0 20 0 1 0 30699601 1583685632 323301 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 386642 323301 2400 1147 0 374069 0
Current children cumulated CPU time: 3213.32 s
Current children cumulated vsize: 1550760 KiB
Current children cumulated memory: 1296276 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/271 16864
/proc/meminfo: memFree=109100152/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=1548864 memory=1295508 CPUtime=3273.15 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 264324 0 0 0 325449 1866 0 0 20 0 1 0 30699601 1586036736 323877 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 387216 323877 2400 1147 0 374643 0
Current children cumulated CPU time: 3273.15 s
Current children cumulated vsize: 1553056 KiB
Current children cumulated memory: 1298580 KiB

[startup+3342.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/271 16866
/proc/meminfo: memFree=108652084/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=1554888 memory=1301524 CPUtime=3332.98 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 265965 0 0 0 331387 1911 0 0 20 0 1 0 30699601 1592205312 325381 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 388722 325381 2400 1147 0 376149 0
Current children cumulated CPU time: 3332.98 s
Current children cumulated vsize: 1559080 KiB
Current children cumulated memory: 1304596 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/271 16869
/proc/meminfo: memFree=108566272/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=1559944 memory=1305236 CPUtime=3392.81 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 266918 0 0 0 337347 1934 0 0 20 0 1 0 30699601 1597382656 326309 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 389986 326309 2400 1147 0 377413 0
Current children cumulated CPU time: 3392.81 s
Current children cumulated vsize: 1564136 KiB
Current children cumulated memory: 1308308 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/271 16871
/proc/meminfo: memFree=108185756/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=1559944 memory=1305236 CPUtime=3452.65 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 266919 0 0 0 343297 1968 0 0 20 0 1 0 30699601 1597382656 326309 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 389986 326309 2400 1147 0 377413 0
Current children cumulated CPU time: 3452.65 s
Current children cumulated vsize: 1564136 KiB
Current children cumulated memory: 1308308 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/271 16873
/proc/meminfo: memFree=107800448/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=1562372 memory=1309076 CPUtime=3512.49 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 267869 0 0 0 349237 2012 0 0 20 0 1 0 30699601 1599868928 327269 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 390593 327269 2400 1147 0 378020 0
Current children cumulated CPU time: 3512.49 s
Current children cumulated vsize: 1566564 KiB
Current children cumulated memory: 1312148 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/273 16879
/proc/meminfo: memFree=107326524/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=1565064 memory=1311764 CPUtime=3572.33 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 268542 0 0 0 355180 2053 0 0 20 0 1 0 30699601 1602625536 327941 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 391266 327941 2400 1147 0 378693 0
Current children cumulated CPU time: 3572.33 s
Current children cumulated vsize: 1569256 KiB
Current children cumulated memory: 1314836 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.07 4.09 4.09 6/273 16926
/proc/meminfo: memFree=109605080/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=1565332 memory=1312020 CPUtime=3600.05 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 268627 0 0 0 357932 2073 0 0 20 0 1 0 30699601 1602899968 328005 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 391333 328005 2400 1147 0 378760 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1569524 KiB
Current children cumulated memory: 1315092 KiB

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

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

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

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

# cumulated CPU time of all completed processes:  user=3579.33 s, system=20.7539 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+3610.11 s]
/proc/loadavg: 4.07 4.09 4.09 6/273 16926
/proc/meminfo: memFree=109605080/131249988 swapFree=33010684/33010684
[pid=15125] ppid=15122 vsize=4192 memory=3072 CPUtime=0 cores=0,2
/proc/15125/stat : 15125 (run-dec-ls-log.) S 15122 15125 14359 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 30699601 4292608 768 18446744073709551615 94181801480192 94181802374725 140725824077152 0 0 0 65536 4 65538 1 0 0 17 0 0 0 0 0 0 94181802613776 94181802661520 94181809745920 140725824084251 140725824084449 140725824084449 140725824090051 0
/proc/15125/statm: 1048 768 704 219 0 110 0
[pid=15127] ppid=15125 vsize=1565332 memory=1312020 CPUtime=3600.05 cores=0,2
/proc/15127/stat : 15127 (roundingsat) R 15125 15125 14359 0 -1 4194304 268627 0 0 0 357932 2073 0 0 20 0 1 0 30699601 1602899968 328005 18446744073709551615 4227072 8923433 140728996951600 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 37920768 140728996956496 140728996956712 140728996956712 140728996962282 0
/proc/15127/statm: 391333 328005 2400 1147 0 378760 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1569524 KiB
Current children cumulated memory: 1315092 KiB

Child status: 2

Real time (s): 3610.17
CPU time (s): 3600.09
CPU user time (s): 3579.33
CPU system time (s): 20.7539
CPU usage (%): 99.7208
Max. virtual memory (cumulated for all children) (KiB): 1569524
Max. memory (cumulated for all children) (KiB): 1315092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.33
system time used= 20.7539
maximum resident set size= 1312276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268854
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28709824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 729
involuntary context switches= 5108


# summary of solver processes directly reported to runsolver:
#   pid: 15125,15127
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3579.33
#   total CPU system time (s): 20.7539

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.09752 second user time and 16.4312 second system time

The end

Launcher Data 

Begin job on nodeC020 at 2025-06-29 00:37:00
IDJOB=4493303
IDBENCH=147859
IDSOLVER=3354
FILE ID=nodeC020/4493303-1751150220
RUNJOBID= nodeC020-1751146607-14372
SLURM_JOB_ID= 9587464
Free space on /tmp= 433028 MiB

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

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

MD5SUM BENCH= 524c0290a9c7ac599d8004695d4c7f99
RANDOM SEED=1415884218

nodeC020 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.573
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.79
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.891
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.79
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.886
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.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       131249988 kB
MemFree:        127323260 kB
MemAvailable:   128480468 kB
Buffers:            3280 kB
Cached:          1964840 kB
SwapCached:            0 kB
Active:          1630556 kB
Inactive:        1707832 kB
Active(anon):    1388656 kB
Inactive(anon):        0 kB
Active(file):     241900 kB
Inactive(file):  1707832 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             29396 kB
Writeback:            12 kB
AnonPages:       1374056 kB
Mapped:           113380 kB
Shmem:             18056 kB
KReclaimable:      93432 kB
Slab:             179008 kB
SReclaimable:      93432 kB
SUnreclaim:        85576 kB
KernelStack:        4368 kB
PageTables:         5848 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635676 kB
Committed_AS:    1888820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150616 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1163264 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:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433020 MiB
End job on nodeC020 at 2025-06-29 01:37:11