Trace number 4515203

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-log 63f22ad? (TO) 3602.33 3621.83

General information on the benchmark

NamePB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-t1722.0.s.opb
MD5SUM39768e28ba132eeb426131d5bb977045
Bench CategoryDEC-LIN (decision problem, linear constraints, no UNSAT certificate)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36630
Total number of constraints339
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)338
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint389
Maximum length of a constraint36630
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 114245
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 85902757
Number of bits of the biggest sum of numbers27
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.02	c RoundingSat 2
0.00/0.02	c branch pb25
0.00/0.02	c commit 63f22ad
0.18/0.28	c #variables 36630 #constraints 677
1120.58/1124.20	c #Conflicts:       1000 | #Constraints:       1676
1120.58/1124.20	c #Conflicts:       2000 | #Constraints:       2676
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:       3000 | #Constraints:       2689
1120.58/1124.20	c #Conflicts:       4000 | #Constraints:       3689
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:       5000 | #Constraints:       3101
1120.58/1124.20	c #Conflicts:       6000 | #Constraints:       4101
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:       7000 | #Constraints:       3109
1120.58/1124.20	c #Conflicts:       8000 | #Constraints:       4109
1120.58/1124.20	c #Conflicts:       9000 | #Constraints:       5109
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:      10000 | #Constraints:       3799
1120.58/1124.20	c #Conflicts:      11000 | #Constraints:       4799
1120.58/1124.20	c #Conflicts:      12000 | #Constraints:       5799
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:      13000 | #Constraints:       4247
1120.58/1124.20	c #Conflicts:      14000 | #Constraints:       5247
1120.58/1124.20	c #Conflicts:      15000 | #Constraints:       6247
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:      16000 | #Constraints:       4472
1120.58/1124.20	c #Conflicts:      17000 | #Constraints:       5472
1120.58/1124.20	c #Conflicts:      18000 | #Constraints:       6472
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:      19000 | #Constraints:       4489
1120.58/1124.20	c #Conflicts:      20000 | #Constraints:       5489
1120.58/1124.20	c #Conflicts:      21000 | #Constraints:       6490
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:      22000 | #Constraints:       4302
1120.58/1124.20	c #Conflicts:      23000 | #Constraints:       5302
1120.58/1124.20	c #Conflicts:      24000 | #Constraints:       6302
1120.58/1124.20	c #Conflicts:      25000 | #Constraints:       7302
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:      26000 | #Constraints:       4925
1120.58/1124.20	c #Conflicts:      27000 | #Constraints:       5925
1120.58/1124.20	c #Conflicts:      28000 | #Constraints:       6925
1120.58/1124.20	c #Conflicts:      29000 | #Constraints:       7925
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:      30000 | #Constraints:       5335
1120.58/1124.20	c #Conflicts:      31000 | #Constraints:       6335
1120.58/1124.20	c #Conflicts:      32000 | #Constraints:       7335
1120.58/1124.20	c #Conflicts:      33000 | #Constraints:       8335
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:      34000 | #Constraints:       5558
1120.58/1124.20	c #Conflicts:      35000 | #Constraints:       6559
1120.58/1124.20	c #Conflicts:      36000 | #Constraints:       7561
1120.58/1124.20	c #Conflicts:      37000 | #Constraints:       8562
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:      38000 | #Constraints:       5545
1120.58/1124.20	c #Conflicts:      39000 | #Constraints:       6546
1120.58/1124.20	c #Conflicts:      40000 | #Constraints:       7546
1120.58/1124.20	c #Conflicts:      41000 | #Constraints:       8546
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:      42000 | #Constraints:       5349
1120.58/1124.20	c #Conflicts:      43000 | #Constraints:       6349
1120.58/1124.20	c #Conflicts:      44000 | #Constraints:       7349
1120.58/1124.20	c #Conflicts:      45000 | #Constraints:       8349
1120.58/1124.20	c #Conflicts:      46000 | #Constraints:       9349
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:      47000 | #Constraints:       5951
1120.58/1124.20	c #Conflicts:      48000 | #Constraints:       6952
1120.58/1124.20	c #Conflicts:      49000 | #Constraints:       7954
1120.58/1124.20	c #Conflicts:      50000 | #Constraints:       8954
1120.58/1124.20	c #Conflicts:      51000 | #Constraints:       9955
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:      52000 | #Constraints:       6355
1120.58/1124.20	c #Conflicts:      53000 | #Constraints:       7356
1120.58/1124.20	c #Conflicts:      54000 | #Constraints:       8356
1120.58/1124.20	c #Conflicts:      55000 | #Constraints:       9356
1120.58/1124.20	c #Conflicts:      56000 | #Constraints:      10356
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:      57000 | #Constraints:       6558
1120.58/1124.20	c #Conflicts:      58000 | #Constraints:       7558
1120.58/1124.20	c #Conflicts:      59000 | #Constraints:       8558
1120.58/1124.20	c #Conflicts:      60000 | #Constraints:       9558
1120.58/1124.20	c #Conflicts:      61000 | #Constraints:      10558
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:      62000 | #Constraints:       6573
1120.58/1124.20	c #Conflicts:      63000 | #Constraints:       7573
1120.58/1124.20	c #Conflicts:      64000 | #Constraints:       8573
1120.58/1124.20	c #Conflicts:      65000 | #Constraints:       9573
1120.58/1124.20	c #Conflicts:      66000 | #Constraints:      10573
1120.58/1124.20	c INPROCESSING
1120.58/1124.20	c GARBAGE COLLECT
1120.58/1124.20	c #Conflicts:      67000 | #Constraints:       6356
1120.58/1124.20	c #Conflicts:      68000 | #Constraints:       7356
2471.15/2479.10	c #Conflicts:      69000 | #Constraints:       8356
2471.15/2479.10	c #Conflicts:      70000 | #Constraints:       9356
2471.15/2479.10	c #Conflicts:      71000 | #Constraints:      10356
2471.15/2479.10	c #Conflicts:      72000 | #Constraints:      11356
2471.15/2479.10	c INPROCESSING
2471.15/2479.10	c GARBAGE COLLECT
2471.15/2479.10	c #Conflicts:      73000 | #Constraints:       6964
2471.15/2479.10	c #Conflicts:      74000 | #Constraints:       7964
2471.15/2479.10	c #Conflicts:      75000 | #Constraints:       8965
2471.15/2479.10	c #Conflicts:      76000 | #Constraints:       9966
2471.15/2479.10	c #Conflicts:      77000 | #Constraints:      10966
2471.15/2479.10	c #Conflicts:      78000 | #Constraints:      11968
2471.15/2479.10	c INPROCESSING
2471.15/2479.10	c GARBAGE COLLECT
2471.15/2479.10	c #Conflicts:      79000 | #Constraints:       7367
2471.15/2479.10	c #Conflicts:      80000 | #Constraints:       8367
2471.15/2479.10	c #Conflicts:      81000 | #Constraints:       9367
2471.15/2479.10	c #Conflicts:      82000 | #Constraints:      10367
2471.15/2479.10	c #Conflicts:      83000 | #Constraints:      11367
2471.15/2479.10	c #Conflicts:      84000 | #Constraints:      12367
2471.15/2479.10	c INPROCESSING
2471.15/2479.10	c GARBAGE COLLECT
2471.15/2479.10	c #Conflicts:      85000 | #Constraints:       7578
2471.15/2479.10	c #Conflicts:      86000 | #Constraints:       8578
2471.15/2479.10	c #Conflicts:      87000 | #Constraints:       9579
2471.15/2479.10	c #Conflicts:      88000 | #Constraints:      10579
2471.15/2479.10	c #Conflicts:      89000 | #Constraints:      11579
2471.15/2479.10	c #Conflicts:      90000 | #Constraints:      12579
2471.15/2479.10	c INPROCESSING
2471.15/2479.10	c GARBAGE COLLECT
2471.15/2479.10	c #Conflicts:      91000 | #Constraints:       7575
2471.15/2479.10	c #Conflicts:      92000 | #Constraints:       8576
2471.15/2479.10	c #Conflicts:      93000 | #Constraints:       9576
2471.15/2479.10	c #Conflicts:      94000 | #Constraints:      10577
2471.15/2479.10	c #Conflicts:      95000 | #Constraints:      11577
2471.15/2479.10	c #Conflicts:      96000 | #Constraints:      12577
2471.15/2479.10	c INPROCESSING
2471.15/2479.10	c GARBAGE COLLECT
2471.15/2479.10	c #Conflicts:      97000 | #Constraints:       7369
2471.15/2479.10	c #Conflicts:      98000 | #Constraints:       8369
2471.15/2479.10	c #Conflicts:      99000 | #Constraints:       9369
2471.15/2479.10	c #Conflicts:     100000 | #Constraints:      10369
2471.15/2479.10	c #Conflicts:     101000 | #Constraints:      11370
2471.15/2479.10	c #Conflicts:     102000 | #Constraints:      12371
2471.15/2479.10	c #Conflicts:     103000 | #Constraints:      13371
2471.15/2479.10	c INPROCESSING
2471.15/2479.10	c GARBAGE COLLECT
2471.15/2479.10	c #Conflicts:     104000 | #Constraints:       7958
2471.15/2479.10	c #Conflicts:     105000 | #Constraints:       8959
2471.15/2479.10	c #Conflicts:     106000 | #Constraints:       9960
2471.15/2479.10	c #Conflicts:     107000 | #Constraints:      10960
2471.15/2479.10	c #Conflicts:     108000 | #Constraints:      11960
2471.15/2479.10	c #Conflicts:     109000 | #Constraints:      12960
2471.15/2479.10	c #Conflicts:     110000 | #Constraints:      13960
2471.15/2479.10	c INPROCESSING
2471.15/2479.10	c GARBAGE COLLECT
2471.15/2479.10	c #Conflicts:     111000 | #Constraints:       8363
2471.15/2479.10	c #Conflicts:     112000 | #Constraints:       9363
2471.15/2479.10	c #Conflicts:     113000 | #Constraints:      10363
2471.15/2479.10	c #Conflicts:     114000 | #Constraints:      11364
2471.15/2479.10	c #Conflicts:     115000 | #Constraints:      12367
2471.15/2479.10	c #Conflicts:     116000 | #Constraints:      13367
2471.15/2479.10	c #Conflicts:     117000 | #Constraints:      14368
2471.15/2479.10	c INPROCESSING
2471.15/2479.10	c GARBAGE COLLECT
2471.15/2479.10	c #Conflicts:     118000 | #Constraints:       8581
2471.15/2479.10	c #Conflicts:     119000 | #Constraints:       9581
2471.15/2479.10	c #Conflicts:     120000 | #Constraints:      10581
2471.15/2479.10	c #Conflicts:     121000 | #Constraints:      11581
2471.15/2479.10	c #Conflicts:     122000 | #Constraints:      12581
2471.15/2479.10	c #Conflicts:     123000 | #Constraints:      13581
2471.15/2479.10	c #Conflicts:     124000 | #Constraints:      14581
2471.15/2479.10	c INPROCESSING
2471.15/2479.10	c GARBAGE COLLECT
2471.15/2479.10	c #Conflicts:     125000 | #Constraints:       8583
2471.15/2479.10	c #Conflicts:     126000 | #Constraints:       9583
2471.15/2479.10	c #Conflicts:     127000 | #Constraints:      10583
2471.15/2479.10	c #Conflicts:     128000 | #Constraints:      11583
2471.15/2479.10	c #Conflicts:     129000 | #Constraints:      12583
2471.15/2479.10	c #Conflicts:     130000 | #Constraints:      13583
2471.15/2479.10	c #Conflicts:     131000 | #Constraints:      14583
2471.15/2479.10	c INPROCESSING
2471.15/2479.10	c GARBAGE COLLECT
2471.15/2479.10	c #Conflicts:     132000 | #Constraints:       8378
2471.15/2479.10	c #Conflicts:     133000 | #Constraints:       9378
2471.15/2479.10	c #Conflicts:     134000 | #Constraints:      10378
2471.15/2479.10	c #Conflicts:     135000 | #Constraints:      11378
2471.15/2479.10	c #Conflicts:     136000 | #Constraints:      12378
2471.15/2479.10	c #Conflicts:     137000 | #Constraints:      13378
2471.15/2479.10	c #Conflicts:     138000 | #Constraints:      14378
2471.15/2479.10	c #Conflicts:     139000 | #Constraints:      15379
2471.15/2479.10	c INPROCESSING
2471.15/2479.10	c GARBAGE COLLECT
2471.15/2479.10	c #Conflicts:     140000 | #Constraints:       8978
3600.08/3611.65	c #Conflicts:     141000 | #Constraints:       9978
3600.08/3611.65	c #Conflicts:     142000 | #Constraints:      10978
3600.08/3611.65	c #Conflicts:     143000 | #Constraints:      11978
3600.08/3611.65	c #Conflicts:     144000 | #Constraints:      12978
3600.08/3611.65	c #Conflicts:     145000 | #Constraints:      13978
3600.08/3611.65	c #Conflicts:     146000 | #Constraints:      14978
3600.08/3611.65	c #Conflicts:     147000 | #Constraints:      15978
3600.08/3611.65	c INPROCESSING
3600.08/3611.65	c GARBAGE COLLECT
3600.08/3611.65	c #Conflicts:     148000 | #Constraints:       9388
3600.08/3611.65	c #Conflicts:     149000 | #Constraints:      10388
3600.08/3611.65	c #Conflicts:     150000 | #Constraints:      11388
3600.08/3611.65	c #Conflicts:     151000 | #Constraints:      12388
3600.08/3611.65	c #Conflicts:     152000 | #Constraints:      13388
3600.08/3611.65	c #Conflicts:     153000 | #Constraints:      14388
3600.08/3611.65	c #Conflicts:     154000 | #Constraints:      15388
3600.08/3611.65	c #Conflicts:     155000 | #Constraints:      16388
3600.08/3611.65	c INPROCESSING
3600.08/3611.65	c GARBAGE COLLECT
3600.08/3611.65	c #Conflicts:     156000 | #Constraints:       9577
3600.08/3611.65	c #Conflicts:     157000 | #Constraints:      10578
3600.08/3611.65	c #Conflicts:     158000 | #Constraints:      11579
3600.08/3611.65	c #Conflicts:     159000 | #Constraints:      12580
3600.08/3611.65	c #Conflicts:     160000 | #Constraints:      13581
3600.08/3611.65	c #Conflicts:     161000 | #Constraints:      14582
3600.08/3611.65	c #Conflicts:     162000 | #Constraints:      15582
3600.08/3611.65	c #Conflicts:     163000 | #Constraints:      16582
3600.08/3611.65	c INPROCESSING
3600.08/3611.65	c GARBAGE COLLECT
3600.08/3611.65	c #Conflicts:     164000 | #Constraints:       9579
3600.08/3611.65	c #Conflicts:     165000 | #Constraints:      10579
3600.08/3611.65	c #Conflicts:     166000 | #Constraints:      11579
3600.08/3611.65	c #Conflicts:     167000 | #Constraints:      12579
3600.08/3611.65	c #Conflicts:     168000 | #Constraints:      13579
3600.08/3611.65	c #Conflicts:     169000 | #Constraints:      14579
3600.08/3611.65	c #Conflicts:     170000 | #Constraints:      15580
3600.08/3611.65	c #Conflicts:     171000 | #Constraints:      16580
3600.08/3611.65	c INPROCESSING
3600.08/3611.65	c GARBAGE COLLECT
3600.08/3611.65	c #Conflicts:     172000 | #Constraints:       9379
3600.08/3611.65	c #Conflicts:     173000 | #Constraints:      10380
3600.08/3611.65	c #Conflicts:     174000 | #Constraints:      11380
3600.08/3611.65	c #Conflicts:     175000 | #Constraints:      12380
3600.08/3611.65	c #Conflicts:     176000 | #Constraints:      13380
3600.08/3611.65	c #Conflicts:     177000 | #Constraints:      14380
3600.08/3611.65	c #Conflicts:     178000 | #Constraints:      15380
3600.08/3611.65	c #Conflicts:     179000 | #Constraints:      16380
3600.08/3611.65	c #Conflicts:     180000 | #Constraints:      17380
3600.08/3611.65	c INPROCESSING
3600.08/3611.65	c GARBAGE COLLECT
3600.08/3611.65	c #Conflicts:     181000 | #Constraints:       9989
3600.08/3611.65	c #Conflicts:     182000 | #Constraints:      10989
3600.08/3611.65	c #Conflicts:     183000 | #Constraints:      11989
3600.08/3611.65	c #Conflicts:     184000 | #Constraints:      12989
3600.08/3611.65	c #Conflicts:     185000 | #Constraints:      13989
3600.08/3611.65	c #Conflicts:     186000 | #Constraints:      14989
3600.08/3611.65	c #Conflicts:     187000 | #Constraints:      15989
3600.08/3611.65	c #Conflicts:     188000 | #Constraints:      16989
3600.08/3611.65	c #Conflicts:     189000 | #Constraints:      17989
3600.08/3611.65	c INPROCESSING
3600.08/3611.65	c GARBAGE COLLECT
3600.08/3611.65	c #Conflicts:     190000 | #Constraints:      10408
3600.08/3611.65	c #Conflicts:     191000 | #Constraints:      11408
3600.08/3611.65	c #Conflicts:     192000 | #Constraints:      12408
3600.08/3611.65	c #Conflicts:     193000 | #Constraints:      13408
3600.08/3611.65	c #Conflicts:     194000 | #Constraints:      14408
3600.08/3611.65	c #Conflicts:     195000 | #Constraints:      15408
3600.08/3611.65	c #Conflicts:     196000 | #Constraints:      16408
3600.08/3611.65	c #Conflicts:     197000 | #Constraints:      17408
3600.08/3611.65	c #Conflicts:     198000 | #Constraints:      18408
3600.08/3611.65	c INPROCESSING
3600.08/3611.65	c GARBAGE COLLECT
3600.08/3611.65	c #Conflicts:     199000 | #Constraints:      10628
3600.08/3611.65	c cpu time 3531.35 s
3600.08/3611.65	c deterministic time 78036874631 7.80e+10
3600.08/3611.65	c optimization time 32.8089 s
3600.08/3611.65	c total solve time 3498.33 s
3600.08/3611.65	c core-guided solve time 0 s
3600.08/3611.65	c propagation time 1315.06 s
3600.08/3611.65	c conflict analysis time 1960.37 s
3600.08/3611.65	c propagations 962542384
3600.08/3611.65	c resolve steps 816908
3600.08/3611.65	c decisions 20651465
3600.08/3611.65	c conflicts 199904
3600.08/3611.65	c restarts 509
3600.08/3611.65	c inprocessing phases 36
3600.08/3611.65	c garbage collections 36 ,( 100.00 )
3600.08/3611.65	c input clauses 338 ,( 49.93 )
3600.08/3611.65	c input cardinalities 338 ,( 49.93 )
3600.08/3611.65	c input general constraints 1 ,( 0.15 )
3600.08/3611.65	c input average constraint length 447.30
3600.08/3611.65	c input average constraint degree 126746.47
3600.08/3611.65	c learned clauses 13823 ,( 6.91 )
3600.08/3611.65	c learned cardinalities 3651 ,( 1.83 )
3600.08/3611.65	c learned general constraints 182469 ,( 91.26 )
3600.08/3611.65	c learned average constraint length 9415.36
3600.08/3611.65	c learned average constraint degree 80840488880.35
3600.08/3611.65	c watched  CF 32, 64, 128, Arb: 32222 , 0 , 0 , 0
3600.08/3611.65	c counting CF 32, 64, 128, Arb: 150248 , 0 , 0 , 0
3600.08/3611.65	c watched   constraints 32222 ,( 17.66 ) 
3600.08/3611.65	c counting  constraints 150248 ,( 82.34 ) 
3600.08/3611.65	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 3535890 , 16934478 , 59993947 ,( 10644203 , 49349744 )
3600.08/3611.65	c gcd simplifications 92
3600.08/3611.65	c detected cardinalities 0
3600.08/3611.65	c weakened non-implied lits 2291811616
3600.08/3611.65	c weakened non-implying lits 128223
3600.08/3611.65	c original variables 36630
3600.08/3611.65	c clausal propagations 111696
3600.08/3611.65	c cardinality propagations 110432274
3600.08/3611.65	c watched propagations 2653574
3600.08/3611.65	c counting propagations 779085138
3600.08/3611.65	c watch lookups 22390662709
3600.08/3611.65	c watch backjump lookups 0
3600.08/3611.65	c watch checks 10331870132
3600.08/3611.65	c propagation checks 35806865646
3600.08/3611.65	c constraint additions 7540861165
3600.08/3611.65	c trail pops 983371934
3600.08/3611.65	c formula constraints 677
3600.08/3611.65	c learned constraints 199865
3600.08/3611.65	c bound constraints 0
3600.08/3611.65	c core-guided constraints 0
3600.08/3611.65	c encountered formula constraints 305163
3600.08/3611.65	c encountered learned constraints 697142
3600.08/3611.65	c encountered bound constraints 0
3600.08/3611.65	c encountered core-guided constraints 0
3600.08/3611.65	c LP total time 37.1138 s
3600.08/3611.65	c LP solve time 35.79 s
3600.08/3611.65	c LP constraints added 677
3600.08/3611.65	c LP constraints removed 0
3600.08/3611.65	c LP pivots internal 20195
3600.08/3611.65	c LP pivots root 29000
3600.08/3611.65	c LP calls 44
3600.08/3611.65	c LP optimalities 0
3600.08/3611.65	c LP no pivot count 0
3600.08/3611.65	c LP infeasibilities 39
3600.08/3611.65	c LP valid Farkas constraints 39
3600.08/3611.65	c LP learned Farkas constraints 39
3600.08/3611.65	c LP basis resets 0
3600.08/3611.65	c LP cycling count 0
3600.08/3611.65	c LP singular count 0
3600.08/3611.65	c LP no primal count 0
3600.08/3611.65	c LP no farkas count 0
3600.08/3611.65	c LP other issue count 0
3600.08/3611.65	c LP Gomory cuts 0
3600.08/3611.65	c LP learned cuts 0
3600.08/3611.65	c LP deleted cuts 0
3600.08/3611.65	c LP encountered Gomory constraints 0
3600.08/3611.65	c LP encountered Farkas constraints 14413
3600.08/3611.65	c LP encountered learned Farkas constraints 55
3600.08/3611.65	c CG auxiliary variables introduced 0
3600.08/3611.65	c CG solutions found 0
3600.08/3611.65	c CG cores constructed 0
3600.08/3611.65	c CG core cardinality constraints returned 0
3600.08/3611.65	c CG unit cores 0
3600.08/3611.65	c CG single cores 0
3600.08/3611.65	c CG blocks removed during cardinality reduction 0
3600.08/3611.65	c CG first core best 0
3600.08/3611.65	c CG decision core best 0
3600.08/3611.65	c CG core reduction tie 0
3600.08/3611.65	c CG core degree average 0.00
3600.08/3611.65	c CG core slack average 0.00
3600.08/3611.65	c CG core upper bound improvements 0
3600.08/3611.65	c STR number of successful calls 0
3600.08/3611.65	c STR number of unsuccessful calls 0
3600.08/3611.65	c STR number of inconclusive calls 0
3600.08/3611.65	c STR number of successful attempts 0
3600.08/3611.65	c STR number of unsuccessful attempts 0
3600.08/3611.65	c STR number of inconclusive attempts 0
3600.08/3611.65	c STR average degree increase per successful call inf
3600.08/3611.65	c STR average degree increase per successful attempt inf
3600.08/3611.65	c STR total number of conflicts for successful attempts 0
3600.08/3611.65	c STR total number of conflicts for unsuccessful attempts 0
3600.08/3611.65	c STR total number of conflicts for inconclusive attempts 0
3600.08/3611.65	c STR average number of conflicts per successful attempt inf
3600.08/3611.65	c STR average number of conflicts per unsuccessful attempt inf
3600.08/3611.65	c STR average number of conflicts per inconclusive attempt inf
3600.08/3611.65	c AVG.sumWPerc 70.24 
3600.08/3611.65	c bigint constraints 0 
3600.08/3611.65	s UNKNOWN
3600.08/3611.65	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: 63794 MiB (62519 MiB free)
  memory of node 1: 64507 MiB (60851 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515203-1751222243/watcher-4515203-1751222243 -o /tmp/evaluation-result-4515203-1751222243/solver-4515203-1751222243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751214947-26457 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4515203-1751222243.opb PROOFDIR/proof-4515203-1751222243 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing 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
Current StackSize limit: 8192 KiB

solver pid=27772, runsolver pid=27769

[startup+0.100071 s]*
/proc/loadavg: 4.16 4.17 4.12 5/253 27774
/proc/meminfo: memFree=126314492/131382112 swapFree=33010684/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=65316 memory=20504 CPUtime=0.08 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 4677 0 0 0 6 2 0 0 20 0 1 0 37903247 66883584 5126 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 16329 5126 1952 1147 0 3756 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 69508 KiB
Current children cumulated memory: 23320 KiB

[startup+0.213054 s]*
/proc/loadavg: 4.16 4.17 4.12 5/253 27774
/proc/meminfo: memFree=126310396/131382112 swapFree=33010684/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=67532 memory=22808 CPUtime=0.18 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 5250 0 0 0 16 2 0 0 20 0 1 0 37903247 69152768 5702 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 16883 5702 1952 1147 0 4310 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 71724 KiB
Current children cumulated memory: 25624 KiB

[startup+0.312449 s]*
/proc/loadavg: 4.16 4.17 4.12 5/253 27774
/proc/meminfo: memFree=126278396/131382112 swapFree=33010684/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=101676 memory=58008 CPUtime=0.29 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 12882 0 0 0 24 5 0 0 20 0 1 0 37903247 104116224 14502 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 25419 14502 2240 1147 0 12846 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 105868 KiB
Current children cumulated memory: 60824 KiB

[startup+0.700303 s]
/proc/loadavg: 4.16 4.17 4.12 5/253 27774
/proc/meminfo: memFree=126266236/131382112 swapFree=33010684/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=101676 memory=58008 CPUtime=0.66 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 12883 0 0 0 61 5 0 0 20 0 1 0 37903247 104116224 14502 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 25419 14502 2240 1147 0 12846 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 105868 KiB
Current children cumulated memory: 60824 KiB

[startup+1.50037 s]
/proc/loadavg: 4.16 4.17 4.12 5/253 27774
/proc/meminfo: memFree=126246012/131382112 swapFree=33010684/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=101676 memory=58136 CPUtime=1.45 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 12884 0 0 0 139 6 0 0 20 0 1 0 37903247 104116224 14534 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 25419 14534 2272 1147 0 12846 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 105868 KiB
Current children cumulated memory: 60952 KiB

[startup+3.1135 s]
/proc/loadavg: 4.16 4.17 4.12 5/253 27774
/proc/meminfo: memFree=126177308/131382112 swapFree=33010684/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=101676 memory=58264 CPUtime=3.05 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 12891 0 0 0 295 10 0 0 20 0 1 0 37903247 104116224 14566 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 25419 14566 2304 1147 0 12846 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 105868 KiB
Current children cumulated memory: 61080 KiB

[startup+6.30038 s]
/proc/loadavg: 4.14 4.17 4.12 5/253 27774
/proc/meminfo: memFree=125936420/131382112 swapFree=33010684/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=120392 memory=74972 CPUtime=6.24 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 16044 0 0 0 603 21 0 0 20 0 1 0 37903247 123281408 18743 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 30098 18743 2304 1147 0 17525 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 124584 KiB
Current children cumulated memory: 77788 KiB

[startup+12.7004 s]
/proc/loadavg: 4.13 4.17 4.12 5/255 27776
/proc/meminfo: memFree=125472404/131382112 swapFree=33010684/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=155436 memory=113288 CPUtime=12.61 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 23574 0 0 0 1219 42 0 0 20 0 1 0 37903247 159166464 28322 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 38859 28322 2304 1147 0 26286 0
Current children cumulated CPU time: 12.61 s
Current children cumulated vsize: 159628 KiB
Current children cumulated memory: 116104 KiB

[startup+25.5004 s]
/proc/loadavg: 4.25 4.19 4.12 5/255 27777
/proc/meminfo: memFree=124537020/131382112 swapFree=33010684/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=235132 memory=180656 CPUtime=25.34 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 36817 0 0 0 2449 85 0 0 20 0 1 0 37903247 240775168 45164 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 58783 45164 2336 1147 0 46210 0
Current children cumulated CPU time: 25.34 s
Current children cumulated vsize: 239324 KiB
Current children cumulated memory: 183472 KiB

[startup+51.1138 s]
/proc/loadavg: 4.16 4.17 4.12 5/254 27777
/proc/meminfo: memFree=122628460/131382112 swapFree=33010684/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=334264 memory=268324 CPUtime=50.79 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 54134 0 0 0 4910 169 0 0 20 0 1 0 37903247 342286336 67081 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 83566 67081 2336 1147 0 70993 0
Current children cumulated CPU time: 50.79 s
Current children cumulated vsize: 338456 KiB
Current children cumulated memory: 271140 KiB

[startup+102.3 s]
/proc/loadavg: 4.07 4.15 4.11 5/259 27799
/proc/meminfo: memFree=123724972/131382112 swapFree=33010684/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=500504 memory=412408 CPUtime=101.77 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 82525 0 0 0 9880 297 0 0 20 0 1 0 37903247 512516096 103102 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 125126 103102 2336 1147 0 112553 0
Current children cumulated CPU time: 101.77 s
Current children cumulated vsize: 504696 KiB
Current children cumulated memory: 415224 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.15 4.11 5/261 27805
/proc/meminfo: memFree=121060048/131382112 swapFree=33010684/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=557360 memory=485908 CPUtime=161.6 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 96800 0 0 0 15723 437 0 0 20 0 1 0 37903247 570736640 121477 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 139340 121477 2336 1147 0 126767 0
Current children cumulated CPU time: 161.6 s
Current children cumulated vsize: 561552 KiB
Current children cumulated memory: 488724 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.13 4.10 5/261 27807
/proc/meminfo: memFree=118609108/131382112 swapFree=33010684/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=601624 memory=549424 CPUtime=221.4 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 108632 0 0 0 21551 589 0 0 20 0 1 0 37903247 616062976 137356 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 150406 137356 2336 1147 0 137833 0
Current children cumulated CPU time: 221.4 s

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

[startup+3282.3 s]
/proc/loadavg: 4.13 4.26 4.26 5/267 27999
/proc/meminfo: memFree=697400/131382112 swapFree=33010160/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=6555192 memory=5598488 CPUtime=3271.84 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 2099402 0 0 0 320827 6357 0 0 20 0 1 0 37903247 6712516608 1399622 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 3 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 1638798 1399622 2336 1147 0 1626225 0
Current children cumulated CPU time: 3271.84 s
Current children cumulated vsize: 6559384 KiB
Current children cumulated memory: 5601304 KiB

[startup+3342.3 s]
/proc/loadavg: 4.16 4.25 4.25 5/267 28005
/proc/meminfo: memFree=838512/131382112 swapFree=33010160/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=6577940 memory=5618712 CPUtime=3331.63 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 2215704 0 0 0 326718 6445 0 0 20 0 1 0 37903247 6735810560 1404678 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 1644485 1404678 2336 1147 0 1631912 0
Current children cumulated CPU time: 3331.63 s
Current children cumulated vsize: 6582132 KiB
Current children cumulated memory: 5621528 KiB

[startup+3402.3 s]
/proc/loadavg: 4.17 4.24 4.25 5/268 28008
/proc/meminfo: memFree=801348/131382112 swapFree=33010160/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=6705136 memory=5733144 CPUtime=3391.44 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 2311154 0 0 0 332616 6528 0 0 20 0 1 0 37903247 6866059264 1433286 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 1676284 1433286 2336 1147 0 1663711 0
Current children cumulated CPU time: 3391.44 s
Current children cumulated vsize: 6709328 KiB
Current children cumulated memory: 5735960 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.21 4.24 5/266 28010
/proc/meminfo: memFree=866252/131382112 swapFree=33010160/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=6859472 memory=5867672 CPUtime=3451.25 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 2488225 0 0 0 338519 6606 0 0 20 0 1 0 37903247 7024099328 1466918 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 1714868 1466918 2336 1147 0 1702295 0
Current children cumulated CPU time: 3451.25 s
Current children cumulated vsize: 6863664 KiB
Current children cumulated memory: 5870488 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.20 4.23 5/260 28012
/proc/meminfo: memFree=852856/131382112 swapFree=33010160/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=6860360 memory=5868568 CPUtime=3511.08 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 2553232 0 0 0 344435 6673 0 0 20 0 1 0 37903247 7025008640 1467142 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 1715090 1467142 2336 1147 0 1702517 0
Current children cumulated CPU time: 3511.08 s
Current children cumulated vsize: 6864552 KiB
Current children cumulated memory: 5871384 KiB

[startup+3582.3 s]
/proc/loadavg: 3.66 4.08 4.19 3/256 28086
/proc/meminfo: memFree=26500248/131382112 swapFree=33010160/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=6860360 memory=5868568 CPUtime=3570.86 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 2624801 0 0 0 350286 6800 0 0 20 0 1 0 37903247 7025008640 1467142 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 1715090 1467142 2336 1147 0 1702517 0
Current children cumulated CPU time: 3570.86 s
Current children cumulated vsize: 6864552 KiB
Current children cumulated memory: 5871384 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.6 s]
/proc/loadavg: 3.06 3.89 4.12 3/256 28086
/proc/meminfo: memFree=25520092/131382112 swapFree=33010160/33010684
[pid=27772] ppid=27769 vsize=4192 memory=2816 CPUtime=0 cores=1,3
/proc/27772/stat : 27772 (run-dec-log.sh) S 27769 27772 26445 0 -1 4194304 205 0 0 0 0 0 0 0 20 0 1 0 37903246 4292608 704 18446744073709551615 94128275550208 94128276444741 140723501074512 0 0 0 65536 4 65538 1 0 0 17 1 0 0 0 0 0 94128276683792 94128276731536 94128287580160 140723501082913 140723501083108 140723501083108 140723501088710 0
/proc/27772/statm: 1048 704 672 219 0 110 0
[pid=27774] ppid=27772 vsize=6860360 memory=5868568 CPUtime=3600.08 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27772 27772 26445 0 -1 4194304 2648303 0 0 0 353134 6874 0 0 20 0 1 0 37903247 7025008640 1467142 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 1715090 1467142 2336 1147 0 1702517 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 6864552 KiB
Current children cumulated memory: 5871384 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.001547 s, system=0.00314 s

Sending SIGKILL to process tree (bottom up)
WARNING: unexpectedly, some solver processes are still present and will be killed:

[startup+0 s]*
/proc/loadavg: 3.06 3.89 4.12 3/255 28086
/proc/meminfo: memFree=25437796/131382112 swapFree=33010160/33010684
[pid=27774] ppid=27769 vsize=6860360 memory=5868824 CPUtime=3601.29 cores=1,3
/proc/27774/stat : 27774 (roundingsat) D 27769 27772 26445 0 -1 4194304 2648306 0 1 0 353135 6994 0 0 20 0 1 0 37903247 7025008640 1467206 18446744073709551615 4227072 8923433 140720906951376 0 0 256 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 9
/proc/27774/statm: 1715090 1467206 2400 1147 0 1702517 0
??? kill 27774 sig 9
??? end of watcher thread

[startup+3621.83 s]
# the end of solver process 27774 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

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

Solver just ended.
Dumping a history of the last processes samples

[startup+3612.8 s]
/proc/loadavg: 3.06 3.89 4.12 3/255 28086
/proc/meminfo: memFree=25477280/131382112 swapFree=33010160/33010684
[pid=27774] ppid=27769 vsize=6860360 memory=5868824 CPUtime=3601.23 cores=1,3
/proc/27774/stat : 27774 (roundingsat) R 27769 27772 26445 0 -1 4194304 2648306 0 1 0 353134 6989 0 0 20 0 1 0 37903247 7025008640 1467206 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 0 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 1715090 1467206 2400 1147 0 1702517 0
Current cumulated CPU time of completed processes: 0.004687 s
Current children cumulated CPU time: 3601.23 s
Current children cumulated vsize: 6860360 KiB
Current children cumulated memory: 5868824 KiB

[startup+3613.2 s]
/proc/loadavg: 3.06 3.89 4.12 2/255 28086
/proc/meminfo: memFree=25432136/131382112 swapFree=33010160/33010684
[pid=27774] ppid=27769 vsize=6860360 memory=5868824 CPUtime=3601.26 cores=1,3
/proc/27774/stat : 27774 (roundingsat) D 27769 27772 26445 0 -1 4194304 2648306 0 1 0 353135 6991 0 0 20 0 1 0 37903247 7025008640 1467206 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 1 0 0 17 3 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 1715090 1467206 2400 1147 0 1702517 0
Current cumulated CPU time of completed processes: 0.004687 s
Current children cumulated CPU time: 3601.26 s
Current children cumulated vsize: 6860360 KiB
Current children cumulated memory: 5868824 KiB

[startup+3613.6 s]
/proc/loadavg: 3.06 3.89 4.12 2/255 28086
/proc/meminfo: memFree=25432136/131382112 swapFree=33010160/33010684
[pid=27774] ppid=27769 vsize=6860360 memory=5868824 CPUtime=3601.29 cores=1,3
/proc/27774/stat : 27774 (roundingsat) D 27769 27772 26445 0 -1 4194304 2648306 0 1 0 353135 6994 0 0 20 0 1 0 37903247 7025008640 1467206 18446744073709551615 4227072 8923433 140720906951376 0 0 0 0 0 8405026 1 0 0 17 1 0 0 0 0 0 9823104 9832592 17149952 140720906955111 140720906955304 140720906955304 140720906960874 0
/proc/27774/statm: 1715090 1467206 2400 1147 0 1702517 0
Current cumulated CPU time of completed processes: 0.004687 s
Current children cumulated CPU time: 3601.29 s
Current children cumulated vsize: 6860360 KiB
Current children cumulated memory: 5868824 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3621.83
CPU time (s): 3602.33
CPU user time (s): 3531.47
CPU system time (s): 70.8597
CPU usage (%): 99.4614
Max. virtual memory (cumulated for all children) (KiB): 6864552
Max. memory (cumulated for all children) (KiB): 5871384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3531.47
system time used= 70.8597
maximum resident set size= 5868824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2648511
page faults= 1
swaps= 0
block input operations= 4112
block output operations= 163258488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 282148
involuntary context switches= 9148


# summary of solver processes directly reported to runsolver:
#   pid: 27772,27774
#   total CPU time (s): 3602.33
#   total CPU user time (s): 3531.47
#   total CPU system time (s): 70.8597

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.5632 second user time and 36.5272 second system time

The end

Launcher Data 

Begin job on nodeC001 at 2025-06-29 20:37:24
IDJOB=4515203
IDBENCH=164250
IDSOLVER=3352
FILE ID=nodeC001/4515203-1751222243
RUNJOBID= nodeC001-1751214947-26457
SLURM_JOB_ID= 9587648
Free space on /tmp= 433032 MiB

SOLVER NAME= roundingsat-log 63f22ad
BENCH NAME= PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/miplib2017/normalized-t1722.0.s.opb
COMMAND LINE= run-dec-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4515203-1751222243/watcher-4515203-1751222243 -o /tmp/evaluation-result-4515203-1751222243/solver-4515203-1751222243 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC001-1751214947-26457 --watchdog 3760 --file-size-limit 100000 run-dec-log.sh HOME/instance-4515203-1751222243.opb PROOFDIR/proof-4515203-1751222243

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

MD5SUM BENCH= 39768e28ba132eeb426131d5bb977045
RANDOM SEED=958327398

nodeC001 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	: 0xb00001f
cpu MHz		: 3659.686
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.168
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.394
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1296.585
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3659.722
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 3591.486
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1197.050
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
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	: 0xb00001f
cpu MHz		: 1196.860
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti 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	: 6983.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382112 kB
MemFree:        126339992 kB
MemAvailable:   129497552 kB
Buffers:            3280 kB
Cached:          3964592 kB
SwapCached:            0 kB
Active:           796344 kB
Inactive:        3719428 kB
Active(anon):     565932 kB
Inactive(anon):        0 kB
Active(file):     230412 kB
Inactive(file):  3719428 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:            147212 kB
Writeback:             0 kB
AnonPages:        551048 kB
Mapped:           111456 kB
Shmem:             17960 kB
KReclaimable:      94312 kB
Slab:             180960 kB
SReclaimable:      94312 kB
SUnreclaim:        86648 kB
KernelStack:        4080 kB
PageTables:         4204 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:     969612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149432 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    102400 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:      195400 kB
DirectMap2M:     9144320 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 433040 MiB
End job on nodeC001 at 2025-06-29 21:37:46