Trace number 4502463

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 NameAnswerobjective functionCPU timeWall clock time
roundingsat-ihs-log 63f22ad? (TO) 3601.67 3628.82

General information on the benchmark

NamePB24/normalized-PB11/
OPT-LIN/heinz/normalized-n3div36.opb
MD5SUM807b13cda1d33b90eacd528b5f94ca03
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark654
Best CPU time to get the best result obtained on this benchmark526.427
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables22120
Total number of constraints4484
Number of constraints which are clauses2
Number of constraints which are cardinality constraints (but not clauses)4424
Number of constraints which are nor clauses,nor cardinality constraints58
Minimum length of a constraint5
Maximum length of a constraint10890
Number of terms in the objective function 22120
Biggest coefficient in the objective function 554
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 3240754
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 554
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3240754
Number of bits of the biggest sum of numbers22
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.07/0.16	c #variables 22120 #constraints 4484
0.07/0.16	c objective is ce32 
0.07/0.20	c initial watched  CF 32, 64, 128, Arb: 58 , 0 , 0 , 0
0.07/0.20	c initial counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
0.07/0.20	c GLOBAL bounds - >= 0 @ 0.154267
0.18/0.23	c GLOBAL bounds - >= 0 @ 0.171944
3.55/3.61	c GLOBAL bounds - >= 0 @ 3.42888
6.35/6.47	c GLOBAL bounds - >= 0 @ 6.16822
8.54/8.65	c GLOBAL bounds - >= 0 @ 8.26756
18.72/18.80	c GLOBAL bounds - >= 0 @ 18.1157
31.48/31.64	c #Conflicts:       1000 | #Constraints:       5492
31.48/31.64	c GLOBAL bounds - >= 0 @ 30.5452
206.67/207.39	c #Conflicts:       2000 | #Constraints:       6494
206.67/207.39	c INPROCESSING
206.67/207.39	c GARBAGE COLLECT
206.67/207.39	c #Conflicts:       3000 | #Constraints:       6502
206.67/207.39	c #Conflicts:       4000 | #Constraints:       7502
206.67/207.39	c INPROCESSING
206.67/207.39	c GARBAGE COLLECT
206.67/207.39	c #Conflicts:       5000 | #Constraints:       6909
206.67/207.39	c #Conflicts:       6000 | #Constraints:       7909
206.67/207.39	c INPROCESSING
206.67/207.39	c GARBAGE COLLECT
206.67/207.39	c #Conflicts:       7000 | #Constraints:       6930
206.67/207.39	c #Conflicts:       8000 | #Constraints:       7930
206.67/207.39	c GLOBAL bounds - >= 0 @ 202.908
207.56/208.21	c GLOBAL bounds - >= 0 @ 203.685
209.16/209.82	c GLOBAL bounds - >= 0 @ 205.207
225.11/225.81	c #Conflicts:       9000 | #Constraints:       8936
225.11/225.81	c INPROCESSING
225.11/225.81	c GARBAGE COLLECT
225.11/225.81	c GLOBAL bounds - >= 0 @ 220.782
233.08/233.83	c GLOBAL bounds - >= 0 @ 228.608
344.03/345.16	c #Conflicts:      10000 | #Constraints:       7647
344.03/345.16	c #Conflicts:      11000 | #Constraints:       8647
344.03/345.16	c #Conflicts:      12000 | #Constraints:       9647
344.03/345.16	c INPROCESSING
344.03/345.16	c GARBAGE COLLECT
344.03/345.16	c #Conflicts:      13000 | #Constraints:       8086
344.03/345.16	c #Conflicts:      14000 | #Constraints:       9086
344.03/345.16	c GLOBAL bounds - >= 0 @ 337.866
350.31/351.43	c GLOBAL bounds - >= 0 @ 344.032
1475.29/1480.26	c #Conflicts:      15000 | #Constraints:      10090
1475.29/1480.26	c INPROCESSING
1475.29/1480.26	c GARBAGE COLLECT
1475.29/1480.26	c #Conflicts:      16000 | #Constraints:       8306
1475.29/1480.26	c #Conflicts:      17000 | #Constraints:       9306
1475.29/1480.26	c #Conflicts:      18000 | #Constraints:      10306
1475.29/1480.26	c INPROCESSING
1475.29/1480.26	c GARBAGE COLLECT
1475.29/1480.26	c #Conflicts:      19000 | #Constraints:       8326
1475.29/1480.26	c #Conflicts:      20000 | #Constraints:       9326
1475.29/1480.26	c #Conflicts:      21000 | #Constraints:      10326
1475.29/1480.26	c INPROCESSING
1475.29/1480.26	c GARBAGE COLLECT
1475.29/1480.26	c #Conflicts:      22000 | #Constraints:       8123
1475.29/1480.26	c #Conflicts:      23000 | #Constraints:       9123
1475.29/1480.26	c #Conflicts:      24000 | #Constraints:      10123
1475.29/1480.26	c #Conflicts:      25000 | #Constraints:      11123
1475.29/1480.26	c INPROCESSING
1475.29/1480.26	c GARBAGE COLLECT
1475.29/1480.26	c #Conflicts:      26000 | #Constraints:       8739
1475.29/1480.26	c #Conflicts:      27000 | #Constraints:       9739
1475.29/1480.26	c #Conflicts:      28000 | #Constraints:      10739
1475.29/1480.26	c #Conflicts:      29000 | #Constraints:      11739
1475.29/1480.26	c INPROCESSING
1475.29/1480.26	c GARBAGE COLLECT
1475.29/1480.26	c #Conflicts:      30000 | #Constraints:       9130
1475.29/1480.26	c #Conflicts:      31000 | #Constraints:      10130
1475.29/1480.26	c #Conflicts:      32000 | #Constraints:      11130
1475.29/1480.26	c #Conflicts:      33000 | #Constraints:      12130
1475.29/1480.26	c INPROCESSING
1475.29/1480.26	c GARBAGE COLLECT
1475.29/1480.26	c #Conflicts:      34000 | #Constraints:       9329
1475.29/1480.26	c #Conflicts:      35000 | #Constraints:      10329
1475.29/1480.26	c #Conflicts:      36000 | #Constraints:      11329
1475.29/1480.26	c #Conflicts:      37000 | #Constraints:      12329
1475.29/1480.26	c INPROCESSING
1475.29/1480.26	c GARBAGE COLLECT
1475.29/1480.26	c #Conflicts:      38000 | #Constraints:       9335
1475.29/1480.26	c #Conflicts:      39000 | #Constraints:      10335
1475.29/1480.26	c #Conflicts:      40000 | #Constraints:      11335
1475.29/1480.26	c #Conflicts:      41000 | #Constraints:      12335
1475.29/1480.26	c INPROCESSING
1475.29/1480.26	c GARBAGE COLLECT
1475.29/1480.26	c #Conflicts:      42000 | #Constraints:       9167
1475.29/1480.26	c #Conflicts:      43000 | #Constraints:      10167
1475.29/1480.26	c #Conflicts:      44000 | #Constraints:      11167
1475.29/1480.26	c #Conflicts:      45000 | #Constraints:      12167
1475.29/1480.26	c #Conflicts:      46000 | #Constraints:      13167
1475.29/1480.26	c INPROCESSING
1475.29/1480.26	c GARBAGE COLLECT
1475.29/1480.26	c #Conflicts:      47000 | #Constraints:       9748
1475.29/1480.26	c #Conflicts:      48000 | #Constraints:      10748
1475.29/1480.26	c #Conflicts:      49000 | #Constraints:      11748
1475.29/1480.26	c #Conflicts:      50000 | #Constraints:      12748
1475.29/1480.26	c #Conflicts:      51000 | #Constraints:      13748
1475.29/1480.26	c INPROCESSING
1475.29/1480.26	c GARBAGE COLLECT
1475.29/1480.26	c #Conflicts:      52000 | #Constraints:      10172
1475.29/1480.26	c #Conflicts:      53000 | #Constraints:      11172
1475.29/1480.26	c GLOBAL bounds - >= 0 @ 1454.01
2152.41/2159.48	c #Conflicts:      54000 | #Constraints:      12174
2152.41/2159.48	c #Conflicts:      55000 | #Constraints:      13174
2152.41/2159.48	c #Conflicts:      56000 | #Constraints:      14174
2152.41/2159.48	c INPROCESSING
2152.41/2159.48	c GARBAGE COLLECT
2152.41/2159.48	c #Conflicts:      57000 | #Constraints:      10346
2152.41/2159.48	c #Conflicts:      58000 | #Constraints:      11346
2152.41/2159.48	c #Conflicts:      59000 | #Constraints:      12346
2152.41/2159.48	c #Conflicts:      60000 | #Constraints:      13346
2152.41/2159.48	c #Conflicts:      61000 | #Constraints:      14346
2152.41/2159.48	c INPROCESSING
2152.41/2159.48	c GARBAGE COLLECT
2152.41/2159.48	c #Conflicts:      62000 | #Constraints:      10337
2152.41/2159.48	c #Conflicts:      63000 | #Constraints:      11337
2152.41/2159.48	c #Conflicts:      64000 | #Constraints:      12337
2152.41/2159.48	c #Conflicts:      65000 | #Constraints:      13337
2152.41/2159.48	c #Conflicts:      66000 | #Constraints:      14337
2152.41/2159.48	c INPROCESSING
2152.41/2159.48	c GARBAGE COLLECT
2152.41/2159.48	c #Conflicts:      67000 | #Constraints:      10132
2152.41/2159.48	c #Conflicts:      68000 | #Constraints:      11132
2152.41/2159.48	c #Conflicts:      69000 | #Constraints:      12132
2152.41/2159.48	c #Conflicts:      70000 | #Constraints:      13132
2152.41/2159.48	c #Conflicts:      71000 | #Constraints:      14132
2152.41/2159.48	c #Conflicts:      72000 | #Constraints:      15132
2152.41/2159.48	c INPROCESSING
2152.41/2159.48	c GARBAGE COLLECT
2152.41/2159.48	c #Conflicts:      73000 | #Constraints:      10728
2152.41/2159.48	c #Conflicts:      74000 | #Constraints:      11728
2152.41/2159.48	c #Conflicts:      75000 | #Constraints:      12728
2152.41/2159.48	c #Conflicts:      76000 | #Constraints:      13728
2152.41/2159.48	c GLOBAL bounds - >= 0 @ 2121.36
3189.27/3199.57	c #Conflicts:      77000 | #Constraints:      14730
3189.27/3199.57	c #Conflicts:      78000 | #Constraints:      15730
3189.27/3199.57	c INPROCESSING
3189.27/3199.57	c GARBAGE COLLECT
3189.27/3199.57	c #Conflicts:      79000 | #Constraints:      11203
3189.27/3199.57	c #Conflicts:      80000 | #Constraints:      12203
3189.27/3199.57	c #Conflicts:      81000 | #Constraints:      13203
3189.27/3199.57	c #Conflicts:      82000 | #Constraints:      14203
3189.27/3199.57	c #Conflicts:      83000 | #Constraints:      15203
3189.27/3199.57	c #Conflicts:      84000 | #Constraints:      16203
3189.27/3199.57	c INPROCESSING
3189.27/3199.57	c GARBAGE COLLECT
3189.27/3199.57	c #Conflicts:      85000 | #Constraints:      11384
3189.27/3199.57	c #Conflicts:      86000 | #Constraints:      12384
3189.27/3199.57	c #Conflicts:      87000 | #Constraints:      13384
3189.27/3199.57	c #Conflicts:      88000 | #Constraints:      14384
3189.27/3199.57	c #Conflicts:      89000 | #Constraints:      15384
3189.27/3199.57	c #Conflicts:      90000 | #Constraints:      16384
3189.27/3199.57	c INPROCESSING
3189.27/3199.57	c GARBAGE COLLECT
3189.27/3199.57	c #Conflicts:      91000 | #Constraints:      11360
3189.27/3199.57	c #Conflicts:      92000 | #Constraints:      12360
3189.27/3199.57	c #Conflicts:      93000 | #Constraints:      13360
3189.27/3199.57	c #Conflicts:      94000 | #Constraints:      14360
3189.27/3199.57	c #Conflicts:      95000 | #Constraints:      15360
3189.27/3199.57	c #Conflicts:      96000 | #Constraints:      16360
3189.27/3199.57	c INPROCESSING
3189.27/3199.57	c GARBAGE COLLECT
3189.27/3199.57	c #Conflicts:      97000 | #Constraints:      11156
3189.27/3199.57	c #Conflicts:      98000 | #Constraints:      12156
3189.27/3199.57	c #Conflicts:      99000 | #Constraints:      13156
3189.27/3199.57	c #Conflicts:     100000 | #Constraints:      14156
3189.27/3199.57	c #Conflicts:     101000 | #Constraints:      15156
3189.27/3199.57	c #Conflicts:     102000 | #Constraints:      16156
3189.27/3199.57	c #Conflicts:     103000 | #Constraints:      17156
3189.27/3199.57	c INPROCESSING
3189.27/3199.57	c GARBAGE COLLECT
3189.27/3199.57	c #Conflicts:     104000 | #Constraints:      11740
3189.27/3199.57	c #Conflicts:     105000 | #Constraints:      12740
3189.27/3199.57	c #Conflicts:     106000 | #Constraints:      13740
3189.27/3199.57	c #Conflicts:     107000 | #Constraints:      14740
3189.27/3199.57	c #Conflicts:     108000 | #Constraints:      15740
3189.27/3199.57	c GLOBAL bounds - >= 0 @ 3144.1
3600.03/3611.52	c #Conflicts:     109000 | #Constraints:      16742
3600.03/3611.52	c #Conflicts:     110000 | #Constraints:      17742
3600.03/3611.52	c INPROCESSING
3600.03/3611.52	c GARBAGE COLLECT
3600.03/3611.52	c #Conflicts:     111000 | #Constraints:      12143
3600.03/3611.52	c #Conflicts:     112000 | #Constraints:      13143
3600.03/3611.52	c #Conflicts:     113000 | #Constraints:      14143
3600.03/3611.52	c #Conflicts:     114000 | #Constraints:      15143
3600.03/3611.52	c #Conflicts:     115000 | #Constraints:      16143
3600.03/3611.52	c #Conflicts:     116000 | #Constraints:      17143
3600.03/3611.52	c #Conflicts:     117000 | #Constraints:      18143
3600.03/3611.52	c INPROCESSING
3600.03/3611.52	c GARBAGE COLLECT
3600.03/3611.52	c #Conflicts:     118000 | #Constraints:      12343
3600.03/3611.52	c #Conflicts:     119000 | #Constraints:      13343
3600.03/3611.52	c #Conflicts:     120000 | #Constraints:      14343
3600.03/3611.52	c cpu time 3549.27 s
3600.03/3611.52	c deterministic time 1 1.00e+00
3600.03/3611.52	c optimization time 3549.15 s
3600.03/3611.52	c total solve time 0 s
3600.03/3611.52	c core-guided solve time 0 s
3600.03/3611.52	c propagation time 0.001607 s
3600.03/3611.52	c conflict analysis time 0 s
3600.03/3611.52	c propagations 0
3600.03/3611.52	c resolve steps 0
3600.03/3611.52	c decisions 0
3600.03/3611.52	c conflicts 0
3600.03/3611.52	c restarts 0
3600.03/3611.52	c inprocessing phases 0
3600.03/3611.52	c garbage collections 0 ,( -nan )
3600.03/3611.52	c input clauses 2 ,( 0.04 )
3600.03/3611.52	c input cardinalities 4424 ,( 98.66 )
3600.03/3611.52	c input general constraints 58 ,( 1.29 )
3600.03/3611.52	c input average constraint length 75.99
3600.03/3611.52	c input average constraint degree 4.06
3600.03/3611.52	c learned clauses 0 ,( 0.00 )
3600.03/3611.52	c learned cardinalities 0 ,( 0.00 )
3600.03/3611.52	c learned general constraints 0 ,( 0.00 )
3600.03/3611.52	c learned average constraint length 0.00
3600.03/3611.52	c learned average constraint degree 0.00
3600.03/3611.52	c watched  CF 32, 64, 128, Arb: 58 , 0 , 0 , 0
3600.03/3611.52	c counting CF 32, 64, 128, Arb: 1 , 0 , 0 , 0
3600.03/3611.52	c watched   constraints 58 ,( 100.00 ) 
3600.03/3611.52	c counting  constraints 0 ,( 0.00 ) 
3600.03/3611.52	c loaded clauses, cards, PBs, (WATCHED, COUNTING): 0 , 0 , 0 ,( 0 , 0 )
3600.03/3611.52	c gcd simplifications 0
3600.03/3611.52	c detected cardinalities 0
3600.03/3611.52	c weakened non-implied lits 0
3600.03/3611.52	c weakened non-implying lits 0
3600.03/3611.52	c original variables 22120
3600.03/3611.52	c clausal propagations 0
3600.03/3611.52	c cardinality propagations 0
3600.03/3611.52	c watched propagations 0
3600.03/3611.52	c counting propagations 0
3600.03/3611.52	c watch lookups 0
3600.03/3611.52	c watch backjump lookups 0
3600.03/3611.52	c watch checks 0
3600.03/3611.52	c propagation checks 0
3600.03/3611.52	c constraint additions 0
3600.03/3611.52	c trail pops 0
3600.03/3611.52	c formula constraints 4484
3600.03/3611.52	c learned constraints 0
3600.03/3611.52	c bound constraints 0
3600.03/3611.52	c core-guided constraints 0
3600.03/3611.52	c encountered formula constraints 0
3600.03/3611.52	c encountered learned constraints 0
3600.03/3611.52	c encountered bound constraints 0
3600.03/3611.52	c encountered core-guided constraints 0
3600.03/3611.52	c LP total time 0 s
3600.03/3611.52	c LP solve time 0 s
3600.03/3611.52	c LP constraints added 0
3600.03/3611.52	c LP constraints removed 0
3600.03/3611.52	c LP pivots internal 0
3600.03/3611.52	c LP pivots root 0
3600.03/3611.52	c LP calls 0
3600.03/3611.52	c LP optimalities 0
3600.03/3611.52	c LP no pivot count 0
3600.03/3611.52	c LP infeasibilities 0
3600.03/3611.52	c LP valid Farkas constraints 0
3600.03/3611.52	c LP learned Farkas constraints 0
3600.03/3611.52	c LP basis resets 0
3600.03/3611.52	c LP cycling count 0
3600.03/3611.52	c LP singular count 0
3600.03/3611.52	c LP no primal count 0
3600.03/3611.52	c LP no farkas count 0
3600.03/3611.52	c LP other issue count 0
3600.03/3611.52	c LP Gomory cuts 0
3600.03/3611.52	c LP learned cuts 0
3600.03/3611.52	c LP deleted cuts 0
3600.03/3611.52	c LP encountered Gomory constraints 0
3600.03/3611.52	c LP encountered Farkas constraints 0
3600.03/3611.52	c LP encountered learned Farkas constraints 0
3600.03/3611.52	c CG auxiliary variables introduced 0
3600.03/3611.52	c CG solutions found 0
3600.03/3611.52	c CG cores constructed 0
3600.03/3611.52	c CG core cardinality constraints returned 0
3600.03/3611.52	c CG unit cores 0
3600.03/3611.52	c CG single cores 0
3600.03/3611.52	c CG blocks removed during cardinality reduction 0
3600.03/3611.52	c CG first core best 0
3600.03/3611.52	c CG decision core best 0
3600.03/3611.52	c CG core reduction tie 0
3600.03/3611.52	c CG core degree average 0.00
3600.03/3611.52	c CG core slack average 0.00
3600.03/3611.52	c CG core upper bound improvements 0
3600.03/3611.52	c STR number of successful calls 0
3600.03/3611.52	c STR number of unsuccessful calls 0
3600.03/3611.52	c STR number of inconclusive calls 0
3600.03/3611.52	c STR number of successful attempts 0
3600.03/3611.52	c STR number of unsuccessful attempts 0
3600.03/3611.52	c STR number of inconclusive attempts 0
3600.03/3611.52	c STR average degree increase per successful call inf
3600.03/3611.52	c STR average degree increase per successful attempt inf
3600.03/3611.52	c STR total number of conflicts for successful attempts 0
3600.03/3611.52	c STR total number of conflicts for unsuccessful attempts 0
3600.03/3611.52	c STR total number of conflicts for inconclusive attempts 0
3600.03/3611.52	c STR average number of conflicts per successful attempt inf
3600.03/3611.52	c STR average number of conflicts per unsuccessful attempt inf
3600.03/3611.52	c STR average number of conflicts per inconclusive attempt inf
3600.03/3611.52	c AVG.sumWPerc 0.24 
3600.03/3611.52	c bigint constraints 0 
3600.03/3611.52	s UNKNOWN
3600.03/3611.52	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: 63665 MiB (53841 MiB free)
  memory of node 1: 64507 MiB (63012 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502463-1751439201/watcher-4502463-1751439201 -o /tmp/evaluation-result-4502463-1751439201/solver-4502463-1751439201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751439163-67589 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4502463-1751439201.opb PROOFDIR/proof-4502463-1751439201 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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


[startup+0.100063 s]*
/proc/loadavg: 2.50 1.49 1.88 5/271 67798
/proc/meminfo: memFree=119654388/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=62352 memory=17140 CPUtime=0.07 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 3012 0 0 0 7 0 0 0 20 0 1 0 59597922 63848448 4285 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 15588 4285 1920 1147 0 3015 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 66544 KiB
Current children cumulated memory: 19956 KiB

[startup+0.205929 s]*
/proc/loadavg: 2.50 1.49 1.88 5/271 67798
/proc/meminfo: memFree=119622636/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=87668 memory=44644 CPUtime=0.18 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 9208 0 0 0 15 3 0 0 20 0 1 0 59597922 89772032 11161 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 21917 11161 2304 1147 0 9344 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 91860 KiB
Current children cumulated memory: 47460 KiB

[startup+0.305821 s]*
/proc/loadavg: 2.50 1.49 1.88 5/271 67798
/proc/meminfo: memFree=119622636/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=87884 memory=45284 CPUtime=0.28 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 9368 0 0 0 23 5 0 0 20 0 1 0 59597922 89993216 11321 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 21971 11321 2304 1147 0 9398 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 92076 KiB
Current children cumulated memory: 48100 KiB

[startup+0.700179 s]
/proc/loadavg: 2.50 1.49 1.88 5/271 67798
/proc/meminfo: memFree=119598444/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=95904 memory=51940 CPUtime=0.66 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 11036 0 0 0 60 6 0 0 20 0 1 0 59597922 98205696 12985 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 23976 12985 2304 1147 0 11403 0
Current children cumulated CPU time: 0.66 s
Current children cumulated vsize: 100096 KiB
Current children cumulated memory: 54756 KiB

[startup+1.50017 s]
/proc/loadavg: 2.50 1.49 1.88 5/271 67798
/proc/meminfo: memFree=119542544/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=108332 memory=63332 CPUtime=1.46 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 13882 0 0 0 138 8 0 0 20 0 1 0 59597922 110931968 15833 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 27083 15833 2304 1147 0 14510 0
Current children cumulated CPU time: 1.46 s
Current children cumulated vsize: 112524 KiB
Current children cumulated memory: 66148 KiB

[startup+3.10568 s]
/proc/loadavg: 2.50 1.49 1.88 5/271 67798
/proc/meminfo: memFree=119382204/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=146216 memory=103284 CPUtime=3.06 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 22289 0 0 0 293 13 0 0 20 0 1 0 59597922 149725184 25821 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 36554 25821 2336 1147 0 23981 0
Current children cumulated CPU time: 3.06 s
Current children cumulated vsize: 150408 KiB
Current children cumulated memory: 106100 KiB

[startup+6.30018 s]
/proc/loadavg: 2.62 1.53 1.89 5/271 67798
/proc/meminfo: memFree=119129132/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=240036 memory=183828 CPUtime=6.25 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 38866 0 0 0 600 25 0 0 20 0 1 0 59597922 245796864 45957 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 60009 45957 2336 1147 0 47436 0
Current children cumulated CPU time: 6.25 s
Current children cumulated vsize: 244228 KiB
Current children cumulated memory: 186644 KiB

[startup+12.7002 s]
/proc/loadavg: 2.73 1.57 1.90 5/271 67798
/proc/meminfo: memFree=118665596/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=373760 memory=304836 CPUtime=12.63 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 62460 0 0 0 1216 47 0 0 20 0 1 0 59597922 382730240 76209 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 93440 76209 2336 1147 0 80867 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 377952 KiB
Current children cumulated memory: 307652 KiB

[startup+25.5002 s]
/proc/loadavg: 3.00 1.67 1.93 5/271 67798
/proc/meminfo: memFree=117814512/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=632460 memory=550960 CPUtime=25.39 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 108685 0 0 0 2456 83 0 0 20 0 1 0 59597922 647639040 137740 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 158115 137740 2336 1147 0 145542 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 636652 KiB
Current children cumulated memory: 553776 KiB

[startup+51.1057 s]
/proc/loadavg: 3.40 1.89 2.00 5/271 67798
/proc/meminfo: memFree=116309864/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=858196 memory=799896 CPUtime=50.93 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 150986 0 0 0 4952 141 0 0 20 0 1 0 59597922 878792704 199974 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 214549 199974 2336 1147 0 201976 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 862388 KiB
Current children cumulated memory: 802712 KiB

[startup+102.3 s]
/proc/loadavg: 3.86 2.26 2.12 5/273 67803
/proc/meminfo: memFree=113432780/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=1397504 memory=1263332 CPUtime=101.98 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 240829 0 0 0 9965 233 0 0 20 0 1 0 59597922 1431044096 315833 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 349376 315833 2336 1147 0 336803 0
Current children cumulated CPU time: 101.98 s
Current children cumulated vsize: 1401696 KiB
Current children cumulated memory: 1266148 KiB

[startup+162.3 s]
/proc/loadavg: 4.04 2.61 2.25 5/273 67805
/proc/meminfo: memFree=110624388/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=1764796 memory=1555680 CPUtime=161.8 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 288382 0 0 0 15860 320 0 0 20 0 1 0 59597922 1807151104 388920 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 441199 388920 2336 1147 0 428626 0
Current children cumulated CPU time: 161.8 s
Current children cumulated vsize: 1768988 KiB
Current children cumulated memory: 1558496 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 2.91 2.38 5/274 67810
/proc/meminfo: memFree=107168492/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=2253640 memory=1908588 CPUtime=221.61 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 368973 0 0 0 21734 427 0 0 20 0 1 0 59597922 2307727360 477147 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0

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

Current children cumulated memory: 4949652 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/276 67992
/proc/meminfo: memFree=860160/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=5766524 memory=4946836 CPUtime=3331.66 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 1613683 0 0 0 328428 4738 0 0 20 0 1 0 59597922 5904920576 1236709 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 1441631 1236709 2336 1147 0 1429058 0
Current children cumulated CPU time: 3331.66 s
Current children cumulated vsize: 5770716 KiB
Current children cumulated memory: 4949652 KiB

[startup+3402.3 s]
/proc/loadavg: 4.04 4.10 4.09 5/274 67995
/proc/meminfo: memFree=576032/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=5766524 memory=4946836 CPUtime=3391.49 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 1666297 0 0 0 334331 4818 0 0 20 0 1 0 59597922 5904920576 1236709 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 1441631 1236709 2336 1147 0 1429058 0
Current children cumulated CPU time: 3391.49 s
Current children cumulated vsize: 5770716 KiB
Current children cumulated memory: 4949652 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/273 67997
/proc/meminfo: memFree=599572/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=5774972 memory=4952980 CPUtime=3451.31 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 1757426 0 0 0 340234 4897 0 0 20 0 1 0 59597922 5913571328 1238245 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 1443743 1238245 2336 1147 0 1431170 0
Current children cumulated CPU time: 3451.31 s
Current children cumulated vsize: 5779164 KiB
Current children cumulated memory: 4955796 KiB

[startup+3522.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/272 67999
/proc/meminfo: memFree=748700/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=5796732 memory=5065408 CPUtime=3511.12 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 1798784 0 0 0 346147 4965 0 0 20 0 1 0 59597922 5935853568 1266352 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 1449183 1266352 2336 1147 0 1436610 0
Current children cumulated CPU time: 3511.12 s
Current children cumulated vsize: 5800924 KiB
Current children cumulated memory: 5068224 KiB

[startup+3582.3 s]
/proc/loadavg: 3.93 4.06 4.08 5/272 68139
/proc/meminfo: memFree=60852816/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=5796732 memory=5065408 CPUtime=3570.91 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 1798917 0 0 0 352044 5047 0 0 20 0 1 0 59597922 5935853568 1266352 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 1449183 1266352 2336 1147 0 1436610 0
Current children cumulated CPU time: 3570.91 s
Current children cumulated vsize: 5800924 KiB
Current children cumulated memory: 5068224 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.5 s]
/proc/loadavg: 4.02 4.07 4.08 5/272 68139
/proc/meminfo: memFree=59124904/131250000 swapFree=33010416/33010684
[pid=67796] ppid=67793 vsize=4192 memory=2816 CPUtime=0 cores=0,2
/proc/67796/stat : 67796 (run-opt-log.sh) S 67793 67796 67579 0 -1 4194304 208 0 0 0 0 0 0 0 20 0 1 0 59597922 4292608 704 18446744073709551615 94576483237888 94576484132421 140734381250032 0 0 0 65536 4 65538 1 0 0 17 2 0 0 0 0 0 94576484371472 94576484419216 94576511041536 140734381254945 140734381255140 140734381255140 140734381260742 0
/proc/67796/statm: 1048 704 640 219 0 110 0
[pid=67798] ppid=67796 vsize=5796732 memory=5065408 CPUtime=3600.03 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67796 67796 67579 0 -1 4194304 1799061 0 0 0 354927 5076 0 0 20 0 1 0 59597922 5935853568 1266352 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 1449183 1266352 2336 1147 0 1436610 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 5800924 KiB
Current children cumulated memory: 5068224 KiB

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

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

# cumulated CPU time of all completed processes:  user=0.000658 s, system=0.001314 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: 4.02 4.07 4.08 4/272 68140
/proc/meminfo: memFree=58996128/131250000 swapFree=33010416/33010684
[pid=67798] ppid=67793 vsize=5796732 memory=5065664 CPUtime=3601.1 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67793 67796 67579 0 -1 4194304 1799065 0 1 0 354927 5183 0 0 20 0 1 0 59597922 5935853568 1266416 18446744073709551615 4227072 8923433 140736229431680 0 0 256 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 9
/proc/67798/statm: 1449183 1266416 2400 1147 0 1436610 0
??? kill 67798 sig 9
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3549.34 s, system=52.3322 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: 4.02 4.07 4.08 5/271 68139
/proc/meminfo: memFree=59083440/131250000 swapFree=33010416/33010684
[pid=67798] ppid=67793 vsize=5796732 memory=5065664 CPUtime=3601.09 cores=0,2
/proc/67798/stat : 67798 (roundingsat) D 67793 67796 67579 0 -1 4194304 1799065 0 1 0 354927 5182 0 0 20 0 1 0 59597922 5935853568 1266416 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 1 0 0 17 0 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 1449183 1266416 2400 1147 0 1436610 0
Current cumulated CPU time of completed processes: 0.001972 s
Current children cumulated CPU time: 3601.09 s
Current children cumulated vsize: 5796732 KiB
Current children cumulated memory: 5065664 KiB

[startup+3613.2 s]
/proc/loadavg: 4.02 4.07 4.08 4/272 68140
/proc/meminfo: memFree=59005460/131250000 swapFree=33010416/33010684
[pid=67798] ppid=67793 vsize=5796732 memory=5065664 CPUtime=3601.1 cores=0,2
/proc/67798/stat : 67798 (roundingsat) R 67793 67796 67579 0 -1 4194304 1799065 0 1 0 354927 5183 0 0 20 0 1 0 59597922 5935853568 1266416 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 0 0 0 17 2 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 1449183 1266416 2400 1147 0 1436610 0
Current cumulated CPU time of completed processes: 0.001972 s
Current children cumulated CPU time: 3601.1 s
Current children cumulated vsize: 5796732 KiB
Current children cumulated memory: 5065664 KiB

[startup+3613.4 s]
/proc/loadavg: 4.02 4.07 4.08 4/272 68140
/proc/meminfo: memFree=59005460/131250000 swapFree=33010416/33010684
[pid=67798] ppid=67793 vsize=5796732 memory=5065664 CPUtime=3601.1 cores=0,2
/proc/67798/stat : 67798 (roundingsat) D 67793 67796 67579 0 -1 4194304 1799065 0 1 0 354927 5183 0 0 20 0 1 0 59597922 5935853568 1266416 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 1449183 1266416 2400 1147 0 1436610 0
Current cumulated CPU time of completed processes: 0.001972 s
Current children cumulated CPU time: 3601.1 s
Current children cumulated vsize: 5796732 KiB
Current children cumulated memory: 5065664 KiB

[startup+3613.5 s]
/proc/loadavg: 4.02 4.07 4.08 4/272 68140
/proc/meminfo: memFree=59005460/131250000 swapFree=33010416/33010684
[pid=67798] ppid=67793 vsize=5796732 memory=5065664 CPUtime=3601.1 cores=0,2
/proc/67798/stat : 67798 (roundingsat) D 67793 67796 67579 0 -1 4194304 1799065 0 1 0 354927 5183 0 0 20 0 1 0 59597922 5935853568 1266416 18446744073709551615 4227072 8923433 140736229431680 0 0 0 0 0 8405026 1 0 0 17 2 0 0 0 0 0 9823104 9832592 10203136 140736229439826 140736229440040 140736229440040 140736229445610 0
/proc/67798/statm: 1449183 1266416 2400 1147 0 1436610 0
Current cumulated CPU time of completed processes: 0.001972 s
Current children cumulated CPU time: 3601.1 s
Current children cumulated vsize: 5796732 KiB
Current children cumulated memory: 5065664 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3628.82
CPU time (s): 3601.67
CPU user time (s): 3549.34
CPU system time (s): 52.3322
CPU usage (%): 99.252
Max. virtual memory (cumulated for all children) (KiB): 5800924
Max. memory (cumulated for all children) (KiB): 5068224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3549.34
system time used= 52.3322
maximum resident set size= 5065664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1799273
page faults= 1
swaps= 0
block input operations= 4152
block output operations= 132912464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 315609
involuntary context switches= 24511


# summary of solver processes directly reported to runsolver:
#   pid: 67796,67798
#   total CPU time (s): 3601.67
#   total CPU user time (s): 3549.34
#   total CPU system time (s): 52.3322

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.74278 second user time and 17.2248 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-07-02 08:53:21
IDJOB=4502463
IDBENCH=155340
IDSOLVER=3351
FILE ID=nodeC018/4502463-1751439201
RUNJOBID= nodeC018-1751439163-67589
SLURM_JOB_ID= 9598397
Free space on /tmp= 432892 MiB

SOLVER NAME= roundingsat-ihs-log 63f22ad
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-n3div36.opb
COMMAND LINE= run-opt-log.sh BENCHNAME PROOFFILE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4502463-1751439201/watcher-4502463-1751439201 -o /tmp/evaluation-result-4502463-1751439201/solver-4502463-1751439201 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751439163-67589 --watchdog 3760 --file-size-limit 100000 run-opt-log.sh HOME/instance-4502463-1751439201.opb PROOFDIR/proof-4502463-1751439201

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

MD5SUM BENCH= 807b13cda1d33b90eacd528b5f94ca03
RANDOM SEED=1524097589

nodeC018 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.893
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.66
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.829
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.66
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.835
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.66
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		: 3474.389
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.66
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.758
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.66
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.848
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.66
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		: 3632.368
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.66
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.947
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.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        119658724 kB
MemAvailable:   128050856 kB
Buffers:            2128 kB
Cached:          9158464 kB
SwapCached:           32 kB
Active:          2092628 kB
Inactive:        8821868 kB
Active(anon):    1771716 kB
Inactive(anon):      288 kB
Active(file):     320912 kB
Inactive(file):  8821580 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010416 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             95532 kB
Writeback:             4 kB
AnonPages:       1757340 kB
Mapped:           117384 kB
Shmem:             18044 kB
KReclaimable:     177356 kB
Slab:             270612 kB
SReclaimable:     177356 kB
SUnreclaim:        93256 kB
KernelStack:        4336 kB
PageTables:         7048 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:    2490160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150600 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    169984 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:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432900 MiB
End job on nodeC018 at 2025-07-02 09:53:50