Trace number 4458462

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
mixed-bag 2024-07-02SAT (TO)-32 3600.11 3610.02

DiagnosticValue
AM1LB360
LOWERBOUND-39
NAM1S24
NCORES1
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/
normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.opb
MD5SUM678da6339402b89815c46f6042afd950
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 benchmark-32
Best CPU time to get the best result obtained on this benchmark506.649
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1056
Total number of constraints488
Number of constraints which are clauses416
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints32
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 640
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 640
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 640
Number of bits of the biggest sum of numbers10
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.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
0.00/0.01	c [STEP] preprocessing with Papilo
0.00/0.02	c [STEP] solving with SCIP
299.04/300.14	c [STEP] preprocessing done, loading into solver
299.04/300.14	c [STEP] solving
299.04/300.14	c #variables 817 #constraints 472
299.04/300.14	c SMALL=int, LARGE=long long
299.04/300.14	c bounds - >= -400 @ 298.782
299.04/300.14	c stratification level: 0
302.82/303.98	c #Conflicts:       1000 | #Constraints:       1496
302.82/303.98	c #Conflicts:       2000 | #Constraints:       2496
302.82/303.98	c INPROCESSING
302.82/303.98	c GARBAGE COLLECT
302.82/303.98	c #Conflicts:       3000 | #Constraints:       2514
302.82/303.98	c #Conflicts:       4000 | #Constraints:       3514
302.82/303.98	c INPROCESSING
302.82/303.98	c GARBAGE COLLECT
302.82/303.98	c #Conflicts:       5000 | #Constraints:       2922
302.82/303.98	c #Conflicts:       6000 | #Constraints:       3922
302.82/303.98	c INPROCESSING
302.82/303.98	c GARBAGE COLLECT
302.82/303.98	c #Conflicts:       7000 | #Constraints:       2929
302.82/303.98	c #Conflicts:       8000 | #Constraints:       3929
302.82/303.98	c #Conflicts:       9000 | #Constraints:       4929
302.82/303.98	c INPROCESSING
302.82/303.98	c GARBAGE COLLECT
302.82/303.98	c bounds - >= -39 @ 302.477
302.82/303.98	c finalizing WCE round: reformulating cores
535.14/536.99	c #Conflicts:      10000 | #Constraints:       3646
535.14/536.99	c bounds -32 >= -39 @ 302.667
535.14/536.99	c #Conflicts:      11000 | #Constraints:       4646
535.14/536.99	c #Conflicts:      12000 | #Constraints:       5646
535.14/536.99	c INPROCESSING
535.14/536.99	c GARBAGE COLLECT
535.14/536.99	c #Conflicts:      13000 | #Constraints:       4089
535.14/536.99	c #Conflicts:      14000 | #Constraints:       5089
535.14/536.99	c #Conflicts:      15000 | #Constraints:       6089
535.14/536.99	c INPROCESSING
535.14/536.99	c GARBAGE COLLECT
535.14/536.99	c #Conflicts:      16000 | #Constraints:       4311
535.14/536.99	c #Conflicts:      17000 | #Constraints:       5311
535.14/536.99	c #Conflicts:      18000 | #Constraints:       6311
535.14/536.99	c INPROCESSING
535.14/536.99	c GARBAGE COLLECT
535.14/536.99	c #Conflicts:      19000 | #Constraints:       4323
535.14/536.99	c #Conflicts:      20000 | #Constraints:       5323
535.14/536.99	c #Conflicts:      21000 | #Constraints:       6323
535.14/536.99	c INPROCESSING
535.14/536.99	c GARBAGE COLLECT
535.14/536.99	c #Conflicts:      22000 | #Constraints:       4129
535.14/536.99	c #Conflicts:      23000 | #Constraints:       5129
535.14/536.99	c #Conflicts:      24000 | #Constraints:       6129
535.14/536.99	c #Conflicts:      25000 | #Constraints:       7129
535.14/536.99	c INPROCESSING
535.14/536.99	c GARBAGE COLLECT
535.14/536.99	c #Conflicts:      26000 | #Constraints:       4729
535.14/536.99	c #Conflicts:      27000 | #Constraints:       5729
535.14/536.99	c #Conflicts:      28000 | #Constraints:       6729
535.14/536.99	c #Conflicts:      29000 | #Constraints:       7729
535.14/536.99	c INPROCESSING
535.14/536.99	c GARBAGE COLLECT
535.14/536.99	c #Conflicts:      30000 | #Constraints:       5128
535.14/536.99	c #Conflicts:      31000 | #Constraints:       6128
535.14/536.99	c #Conflicts:      32000 | #Constraints:       7128
535.14/536.99	c #Conflicts:      33000 | #Constraints:       8128
535.14/536.99	c INPROCESSING
535.14/536.99	c GARBAGE COLLECT
535.14/536.99	c #Conflicts:      34000 | #Constraints:       5330
535.14/536.99	c #Conflicts:      35000 | #Constraints:       6330
535.14/536.99	c #Conflicts:      36000 | #Constraints:       7330
535.14/536.99	c #Conflicts:      37000 | #Constraints:       8330
535.14/536.99	c INPROCESSING
535.14/536.99	c GARBAGE COLLECT
535.14/536.99	c #Conflicts:      38000 | #Constraints:       5339
535.14/536.99	c #Conflicts:      39000 | #Constraints:       6339
535.14/536.99	c #Conflicts:      40000 | #Constraints:       7339
535.14/536.99	c #Conflicts:      41000 | #Constraints:       8339
535.14/536.99	c INPROCESSING
535.14/536.99	c GARBAGE COLLECT
535.14/536.99	c #Conflicts:      42000 | #Constraints:       5145
535.14/536.99	c #Conflicts:      43000 | #Constraints:       6145
535.14/536.99	c #Conflicts:      44000 | #Constraints:       7145
535.14/536.99	c #Conflicts:      45000 | #Constraints:       8145
535.14/536.99	c #Conflicts:      46000 | #Constraints:       9145
535.14/536.99	c INPROCESSING
535.14/536.99	c GARBAGE COLLECT
535.14/536.99	c #Conflicts:      47000 | #Constraints:       5741
535.14/536.99	c #Conflicts:      48000 | #Constraints:       6741
535.14/536.99	c #Conflicts:      49000 | #Constraints:       7741
535.14/536.99	c #Conflicts:      50000 | #Constraints:       8741
535.14/536.99	c #Conflicts:      51000 | #Constraints:       9741
535.14/536.99	c INPROCESSING
535.14/536.99	c GARBAGE COLLECT
535.14/536.99	c #Conflicts:      52000 | #Constraints:       6142
535.14/536.99	c #Conflicts:      53000 | #Constraints:       7142
535.14/536.99	c #Conflicts:      54000 | #Constraints:       8142
535.14/536.99	c #Conflicts:      55000 | #Constraints:       9142
535.14/536.99	c #Conflicts:      56000 | #Constraints:      10142
535.14/536.99	c INPROCESSING
535.14/536.99	c GARBAGE COLLECT
535.14/536.99	c #Conflicts:      57000 | #Constraints:       6344
535.14/536.99	c #Conflicts:      58000 | #Constraints:       7344
535.14/536.99	c #Conflicts:      59000 | #Constraints:       8344
535.14/536.99	c #Conflicts:      60000 | #Constraints:       9344
535.14/536.99	c #Conflicts:      61000 | #Constraints:      10344
535.14/536.99	c INPROCESSING
535.14/536.99	c GARBAGE COLLECT
535.14/536.99	c #Conflicts:      62000 | #Constraints:       6342
535.14/536.99	c #Conflicts:      63000 | #Constraints:       7342
535.14/536.99	c #Conflicts:      64000 | #Constraints:       8342
535.14/536.99	c #Conflicts:      65000 | #Constraints:       9342
535.14/536.99	c #Conflicts:      66000 | #Constraints:      10342
535.14/536.99	c INPROCESSING
535.14/536.99	c GARBAGE COLLECT
535.14/536.99	c #Conflicts:      67000 | #Constraints:       6144
535.14/536.99	c #Conflicts:      68000 | #Constraints:       7144
535.14/536.99	c #Conflicts:      69000 | #Constraints:       8144
535.14/536.99	c #Conflicts:      70000 | #Constraints:       9144
535.14/536.99	c #Conflicts:      71000 | #Constraints:      10144
535.14/536.99	c #Conflicts:      72000 | #Constraints:      11144
535.14/536.99	c INPROCESSING
535.14/536.99	c GARBAGE COLLECT
535.14/536.99	c #Conflicts:      73000 | #Constraints:       7209
535.14/536.99	c #Conflicts:      74000 | #Constraints:       8209
535.14/536.99	c #Conflicts:      75000 | #Constraints:       9209
535.14/536.99	c #Conflicts:      76000 | #Constraints:      10209
535.14/536.99	c #Conflicts:      77000 | #Constraints:      11209
535.14/536.99	c #Conflicts:      78000 | #Constraints:      12209
3600.09/3610.02	c #Conflicts:      79000 | #Constraints:      13209
3600.09/3610.02	c #Conflicts:      80000 | #Constraints:      14209
3600.09/3610.02	c #Conflicts:      81000 | #Constraints:      15209
3600.09/3610.02	c #Conflicts:      82000 | #Constraints:      16209
3600.09/3610.02	c #Conflicts:      83000 | #Constraints:      17209
3600.09/3610.02	c #Conflicts:      84000 | #Constraints:      18209
3600.09/3610.02	c #Conflicts:      85000 | #Constraints:      19209
3600.09/3610.02	c #Conflicts:      86000 | #Constraints:      20209
3600.09/3610.02	c #Conflicts:      87000 | #Constraints:      21209
3600.09/3610.02	c #Conflicts:      88000 | #Constraints:      22209
3600.09/3610.02	c #Conflicts:      89000 | #Constraints:      23209
3600.09/3610.02	c #Conflicts:      90000 | #Constraints:      24209
3600.09/3610.02	c #Conflicts:      91000 | #Constraints:      25209
3600.09/3610.02	c #Conflicts:      92000 | #Constraints:      26209
3600.09/3610.02	c #Conflicts:      93000 | #Constraints:      27209
3600.09/3610.02	c #Conflicts:      94000 | #Constraints:      28209
3600.09/3610.02	c #Conflicts:      95000 | #Constraints:      29209
3600.09/3610.02	c #Conflicts:      96000 | #Constraints:      30209
3600.09/3610.02	c INPROCESSING
3600.09/3610.02	c GARBAGE COLLECT
3600.09/3610.02	c #Conflicts:      97000 | #Constraints:      16586
3600.09/3610.02	c #Conflicts:      98000 | #Constraints:      17586
3600.09/3610.02	c #Conflicts:      99000 | #Constraints:      18586
3600.09/3610.02	c #Conflicts:     100000 | #Constraints:      19586
3600.09/3610.02	c #Conflicts:     101000 | #Constraints:      20586
3600.09/3610.02	c #Conflicts:     102000 | #Constraints:      21586
3600.09/3610.02	c #Conflicts:     103000 | #Constraints:      22586
3600.09/3610.02	c #Conflicts:     104000 | #Constraints:      23586
3600.09/3610.02	c #Conflicts:     105000 | #Constraints:      24586
3600.09/3610.02	c #Conflicts:     106000 | #Constraints:      25586
3600.09/3610.02	c #Conflicts:     107000 | #Constraints:      26586
3600.09/3610.02	c #Conflicts:     108000 | #Constraints:      27586
3600.09/3610.02	c #Conflicts:     109000 | #Constraints:      28586
3600.09/3610.02	c #Conflicts:     110000 | #Constraints:      29586
3600.09/3610.02	c #Conflicts:     111000 | #Constraints:      30586
3600.09/3610.02	c #Conflicts:     112000 | #Constraints:      31586
3600.09/3610.02	c #Conflicts:     113000 | #Constraints:      32586
3600.09/3610.02	c #Conflicts:     114000 | #Constraints:      33586
3600.09/3610.02	c #Conflicts:     115000 | #Constraints:      34586
3600.09/3610.02	c #Conflicts:     116000 | #Constraints:      35586
3600.09/3610.02	c #Conflicts:     117000 | #Constraints:      36586
3600.09/3610.02	c #Conflicts:     118000 | #Constraints:      37586
3600.09/3610.02	c #Conflicts:     119000 | #Constraints:      38586
3600.09/3610.02	c #Conflicts:     120000 | #Constraints:      39586
3600.09/3610.02	c #Conflicts:     121000 | #Constraints:      40586
3600.09/3610.02	c INPROCESSING
3600.09/3610.02	c GARBAGE COLLECT
3600.09/3610.02	c #Conflicts:     122000 | #Constraints:      29371
3600.09/3610.02	c #Conflicts:     123000 | #Constraints:      30371
3600.09/3610.02	c #Conflicts:     124000 | #Constraints:      31371
3600.09/3610.02	c #Conflicts:     125000 | #Constraints:      32371
3600.09/3610.02	c #Conflicts:     126000 | #Constraints:      33371
3600.09/3610.02	c #Conflicts:     127000 | #Constraints:      34371
3600.09/3610.02	c #Conflicts:     128000 | #Constraints:      35371
3600.09/3610.02	c #Conflicts:     129000 | #Constraints:      36371
3600.09/3610.02	c #Conflicts:     130000 | #Constraints:      37371
3600.09/3610.02	c #Conflicts:     131000 | #Constraints:      38371
3600.09/3610.02	c #Conflicts:     132000 | #Constraints:      39371
3600.09/3610.02	c #Conflicts:     133000 | #Constraints:      40371
3600.09/3610.02	c #Conflicts:     134000 | #Constraints:      41371
3600.09/3610.02	c #Conflicts:     135000 | #Constraints:      42371
3600.09/3610.02	c #Conflicts:     136000 | #Constraints:      43371
3600.09/3610.02	c Program interrupted by user.
3600.09/3610.02	c cpu time 3592.81 s
3600.09/3610.02	c deterministic time 165682877538 1.66e+11
3600.09/3610.02	c optimization time 1167 s
3600.09/3610.02	c total solve time 2127.03 s
3600.09/3610.02	c core-guided solve time 2127.03 s
3600.09/3610.02	c propagation time 3196.19 s
3600.09/3610.02	c conflict analysis time 89.4779 s
3600.09/3610.02	c propagations 24841812
3600.09/3610.02	c resolve steps 947364
3600.09/3610.02	c decisions 5088599
3600.09/3610.02	c conflicts 136901
3600.09/3610.02	c restarts 379
3600.09/3610.02	c inprocessing phases 21
3600.09/3610.02	c input clauses 456
3600.09/3610.02	c input cardinalities 28
3600.09/3610.02	c input general constraints 17
3600.09/3610.02	c input average constraint length 7.80
3600.09/3610.02	c input average constraint degree 3.03
3600.09/3610.02	c learned clauses 19723
3600.09/3610.02	c learned cardinalities 188
3600.09/3610.02	c learned general constraints 116989
3600.09/3610.02	c learned average constraint length 182.50
3600.09/3610.02	c learned average constraint degree 127672.66
3600.09/3610.02	c watched constraints 103245
3600.09/3610.02	c counting constraints 13761
3600.09/3610.02	c gcd simplifications 249
3600.09/3610.02	c detected cardinalities 2
3600.09/3610.02	c weakened non-implied lits 2059229
3600.09/3610.02	c weakened non-implying lits 2601
3600.09/3610.02	c original variables 1056
3600.09/3610.02	c clausal propagations 7411514
3600.09/3610.02	c cardinality propagations 5727364
3600.09/3610.02	c watched propagations 4138141
3600.09/3610.02	c counting propagations 7473308
3600.09/3610.02	c watch lookups 63118259426
3600.09/3610.02	c watch backjump lookups 62639961447
3600.09/3610.02	c watch checks 36352150142
3600.09/3610.02	c propagation checks 3461881793
3600.09/3610.02	c constraint additions 50627445
3600.09/3610.02	c trail pops 30066873
3600.09/3610.02	c formula constraints 472
3600.09/3610.02	c learned constraints 136900
3600.09/3610.02	c bound constraints 3
3600.09/3610.02	c core-guided constraints 26
3600.09/3610.02	c encountered formula constraints 734021
3600.09/3610.02	c encountered learned constraints 346432
3600.09/3610.02	c encountered bound constraints 1
3600.09/3610.02	c encountered core-guided constraints 3811
3600.09/3610.02	c LP total time 0 s
3600.09/3610.02	c LP solve time 0 s
3600.09/3610.02	c LP constraints added 0
3600.09/3610.02	c LP constraints removed 0
3600.09/3610.02	c LP pivots internal 0
3600.09/3610.02	c LP pivots root 0
3600.09/3610.02	c LP calls 0
3600.09/3610.02	c LP optimalities 0
3600.09/3610.02	c LP no pivot count 0
3600.09/3610.02	c LP infeasibilities 0
3600.09/3610.02	c LP valid Farkas constraints 0
3600.09/3610.02	c LP learned Farkas constraints 0
3600.09/3610.02	c LP basis resets 0
3600.09/3610.02	c LP cycling count 0
3600.09/3610.02	c LP singular count 0
3600.09/3610.02	c LP no primal count 0
3600.09/3610.02	c LP no farkas count 0
3600.09/3610.02	c LP other issue count 0
3600.09/3610.02	c LP Gomory cuts 0
3600.09/3610.02	c LP learned cuts 0
3600.09/3610.02	c LP deleted cuts 0
3600.09/3610.02	c LP encountered Gomory constraints 0
3600.09/3610.02	c LP encountered Farkas constraints 0
3600.09/3610.02	c LP encountered learned Farkas constraints 0
3600.09/3610.02	c CG auxiliary variables introduced 25
3600.09/3610.02	c CG solutions found 1
3600.09/3610.02	c CG cores constructed 1
3600.09/3610.02	c CG core cardinality constraints returned 0
3600.09/3610.02	c CG unit cores 0
3600.09/3610.02	c CG single cores 1
3600.09/3610.02	c CG blocks removed during cardinality reduction 0
3600.09/3610.02	c CG first core best 0
3600.09/3610.02	c CG decision core best 0
3600.09/3610.02	c CG core reduction tie 0
3600.09/3610.02	c CG core degree average 1.00
3600.09/3610.02	c CG core slack average 20.00
3600.09/3610.02	c CG exhausted 0
3600.09/3610.02	c CG exhaust time 0.14726 s
3600.09/3610.02	c CG trimmed 0
3600.09/3610.02	c CG trim time 5.6e-05 s
3600.09/3610.02	c CG minimized 0
3600.09/3610.02	c CG minimize time 0 s
3600.09/3610.02	c CG am1 prop time 0.00047 s
3600.09/3610.02	c CG # am1s reformulated 24
3600.09/3610.02	c CG lower bound derived from am1s 360
3600.09/3610.02	c CG # clausal cores 1
3600.09/3610.02	c CG # cardinality cores 0
3600.09/3610.02	c CG # pb cores 0
3600.09/3610.02	c CG # pb reforms 0
3600.09/3610.02	c CG # cores discarded because of pb reform 0
3600.09/3610.02	d LOWERBOUND -39
3600.09/3610.02	d NCORES 1
3600.09/3610.02	d NPBCORES 0
3600.09/3610.02	d NPBREFORM 0
3600.09/3610.02	d NTRIMMED 0
3600.09/3610.02	d NEXHAUSTED 0
3600.09/3610.02	d NAM1S 24
3600.09/3610.02	d AM1LB 360
3600.09/3610.02	c [STEP] postprocessing with Papilo
3600.09/3610.02	o -32
3600.09/3610.02	s SATISFIABLE
3600.09/3610.02	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 x236 -x237 x238 -x239 -x240 -x241 -x242 x243 -x244 x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 x540 -x541 -x542 -x543 -x544 -x545 x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 x599 x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 x768 x769 -x770 x771 -x772 x773 x774 x775 -x776 -x777 -x778 x779 x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 x888 -x889 -x890 -x891 -x892 x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 x1016 -x1017 -x1018 -x1019 -x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 x1042 -x1043 x1044 -x1045 x1046 -x1047 x1048 x1049 -x1050 -x1051 -x1052 x1053 x1054 -x1055 -x1056

Verifier Data 

OK	-32

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: 64096 MiB (60677 MiB free)
  memory of node 1: 64473 MiB (59292 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458462-1721865458/watcher-4458462-1721865458 -o /tmp/evaluation-result-4458462-1721865458/solver-4458462-1721865458 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721865123-207853 --watchdog 3760 mixed-bag HOME/instance-4458462-1721865458.opb 

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 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 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=209370, runsolver pid=209367
Current StackSize limit: 8192 KiB


[startup+0.100104 s]*
/proc/loadavg: 4.18 2.84 1.33 5/244 209371
/proc/meminfo: memFree=122832420/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=102292 memory=32932 CPUtime=0.11 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 4640 0 0 0 9 2 0 0 20 0 1 0 22534745 104747008 8233 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 25573 8233 4041 3002 0 9324 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 102292 KiB
Current children cumulated memory: 32932 KiB

[startup+0.213257 s]*
/proc/loadavg: 4.18 2.84 1.33 5/244 209371
/proc/meminfo: memFree=122830404/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=104308 memory=35164 CPUtime=0.22 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 5122 0 0 0 20 2 0 0 20 0 1 0 22534745 106811392 8725 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 26077 8725 4073 3002 0 9828 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 104308 KiB
Current children cumulated memory: 35164 KiB

[startup+0.313195 s]*
/proc/loadavg: 4.18 2.84 1.33 5/244 209371
/proc/meminfo: memFree=122826016/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=107676 memory=38548 CPUtime=0.31 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 6607 0 0 0 29 2 0 0 20 0 1 0 22534745 110260224 9637 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 26919 9637 4096 3002 0 10670 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 107676 KiB
Current children cumulated memory: 38548 KiB

[startup+0.700298 s]
/proc/loadavg: 4.18 2.84 1.33 5/244 209371
/proc/meminfo: memFree=122825876/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=108036 memory=38808 CPUtime=0.68 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 6731 0 0 0 66 2 0 0 20 0 1 0 22534745 110628864 9702 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 27009 9702 4096 3002 0 10760 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 108036 KiB
Current children cumulated memory: 38808 KiB

[startup+1.50031 s]
/proc/loadavg: 4.18 2.84 1.33 5/244 209371
/proc/meminfo: memFree=122817448/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=117404 memory=47240 CPUtime=1.49 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 8806 0 0 0 146 3 0 0 20 0 1 0 22534745 120221696 11810 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 29351 11810 4096 3002 0 13102 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 117404 KiB
Current children cumulated memory: 47240 KiB

[startup+3.11295 s]
/proc/loadavg: 4.16 2.86 1.35 5/244 209372
/proc/meminfo: memFree=122807004/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=123716 memory=53180 CPUtime=3.09 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 10553 0 0 0 306 3 0 0 20 0 1 0 22534745 126685184 13295 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 30929 13295 4096 3002 0 14680 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 123716 KiB
Current children cumulated memory: 53180 KiB

[startup+6.30028 s]
/proc/loadavg: 4.16 2.86 1.35 5/244 209372
/proc/meminfo: memFree=122788960/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=132032 memory=61888 CPUtime=6.26 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 12676 0 0 0 623 3 0 0 20 0 1 0 22534745 135200768 15472 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 33008 15472 4096 3002 0 16759 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 132032 KiB
Current children cumulated memory: 61888 KiB

[startup+12.7003 s]
/proc/loadavg: 4.15 2.88 1.36 5/244 209372
/proc/meminfo: memFree=122772268/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=139752 memory=70592 CPUtime=12.64 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 17797 0 0 0 1260 4 0 0 20 0 1 0 22534745 143106048 17648 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 34938 17648 4096 3002 0 18689 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 139752 KiB
Current children cumulated memory: 70592 KiB

[startup+25.5003 s]
/proc/loadavg: 4.12 2.93 1.40 5/244 209375
/proc/meminfo: memFree=122745068/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=153848 memory=83688 CPUtime=25.4 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 24563 0 0 0 2536 4 0 0 20 0 1 0 22534745 157540352 20922 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 38462 20922 4096 3002 0 22213 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 153848 KiB
Current children cumulated memory: 83688 KiB

[startup+51.1131 s]
/proc/loadavg: 4.14 3.03 1.48 5/244 209378
/proc/meminfo: memFree=122716696/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=167204 memory=97308 CPUtime=50.93 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 29450 0 0 0 5087 6 0 0 20 0 1 0 22534745 171216896 24327 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 41801 24327 4096 3002 0 25552 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 167204 KiB
Current children cumulated memory: 97308 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 3.20 1.62 5/244 209556
/proc/meminfo: memFree=122660124/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=193464 memory=124340 CPUtime=101.93 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 38249 0 0 0 10185 8 0 0 20 0 1 0 22534745 198107136 31085 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 48366 31085 4096 3002 0 32117 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 193464 KiB
Current children cumulated memory: 124340 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 3.38 1.78 5/244 209566
/proc/meminfo: memFree=122631816/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=214944 memory=144428 CPUtime=161.72 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 43835 0 0 0 16158 14 0 0 20 0 1 0 22534745 220102656 36107 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 53736 36107 4096 3002 0 37487 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 214944 KiB
Current children cumulated memory: 144428 KiB

[startup+222.3 s]
/proc/loadavg: 4.12 3.51 1.93 5/244 209592
/proc/meminfo: memFree=122586452/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=230364 memory=160072 CPUtime=221.51 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 48314 0 0 0 22130 21 0 0 20 0 1 0 22534745 235892736 40018 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 57591 40018 4096 3002 0 41342 0
Current children cumulated CPU time: 221.51 s
Current children cumulated vsize: 230364 KiB
Current children cumulated memory: 160072 KiB

[startup+282.3 s]
/proc/loadavg: 4.09 3.62 2.07 5/244 209604
/proc/meminfo: memFree=122557392/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=242664 memory=173536 CPUtime=281.29 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 52117 0 0 0 28102 27 0 0 20 0 1 0 22534745 248487936 43384 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 60666 43384 4096 3002 0 44417 0
Current children cumulated CPU time: 281.29 s
Current children cumulated vsize: 242664 KiB
Current children cumulated memory: 173536 KiB

[startup+342.3 s]
/proc/loadavg: 4.13 3.72 2.20 5/243 209614
/proc/meminfo: memFree=122521084/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=248428 memory=188152 CPUtime=341.13 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 57435 0 0 0 34010 103 0 0 20 0 1 0 22534745 254390272 47038 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 62107 47038 4365 3002 0 45858 0
Current children cumulated CPU time: 341.13 s
Current children cumulated vsize: 248428 KiB
Current children cumulated memory: 188152 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.80 2.33 5/242 209624
/proc/meminfo: memFree=122480564/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=255608 memory=193328 CPUtime=400.95 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 57722 0 0 0 39937 158 0 0 20 0 1 0 22534745 261742592 48332 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 63902 48332 4365 3002 0 47653 0
Current children cumulated CPU time: 400.95 s
Current children cumulated vsize: 255608 KiB
Current children cumulated memory: 193328 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.86 2.44 5/242 209634
/proc/meminfo: memFree=122465276/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=255608 memory=193764 CPUtime=460.76 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 57737 0 0 0 45878 198 0 0 20 0 1 0 22534745 261742592 48441 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 63902 48441 4365 3002 0 47653 0

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

Current children cumulated memory: 241296 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.18 4.12 5/243 211050
/proc/meminfo: memFree=121687636/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=317072 memory=241296 CPUtime=2854.5 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 61413 0 0 0 284793 657 0 0 20 0 1 0 22534745 324681728 60324 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 79268 60324 4365 3002 0 63019 0
Current children cumulated CPU time: 2854.5 s
Current children cumulated vsize: 317072 KiB
Current children cumulated memory: 241296 KiB

[startup+2922.3 s]
/proc/loadavg: 4.14 4.18 4.12 5/241 211061
/proc/meminfo: memFree=121667680/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=317072 memory=241296 CPUtime=2914.35 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 61504 0 0 0 290771 664 0 0 20 0 1 0 22534745 324681728 60324 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 79268 60324 4365 3002 0 63019 0
Current children cumulated CPU time: 2914.35 s
Current children cumulated vsize: 317072 KiB
Current children cumulated memory: 241296 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.16 4.11 5/241 211071
/proc/meminfo: memFree=121658520/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=317072 memory=241296 CPUtime=2974.19 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 61596 0 0 0 296749 670 0 0 20 0 1 0 22534745 324681728 60324 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 79268 60324 4365 3002 0 63019 0
Current children cumulated CPU time: 2974.19 s
Current children cumulated vsize: 317072 KiB
Current children cumulated memory: 241296 KiB

[startup+3042.3 s]
/proc/loadavg: 4.08 4.14 4.11 5/241 211081
/proc/meminfo: memFree=121647824/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=317072 memory=241296 CPUtime=3034.02 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 61690 0 0 0 302727 675 0 0 20 0 1 0 22534745 324681728 60324 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 79268 60324 4365 3002 0 63019 0
Current children cumulated CPU time: 3034.02 s
Current children cumulated vsize: 317072 KiB
Current children cumulated memory: 241296 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.13 4.10 5/241 211092
/proc/meminfo: memFree=121641816/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=317072 memory=241296 CPUtime=3093.85 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 61784 0 0 0 308703 682 0 0 20 0 1 0 22534745 324681728 60324 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 79268 60324 4365 3002 0 63019 0
Current children cumulated CPU time: 3093.85 s
Current children cumulated vsize: 317072 KiB
Current children cumulated memory: 241296 KiB

[startup+3162.3 s]
/proc/loadavg: 4.06 4.12 4.10 5/241 211102
/proc/meminfo: memFree=121622104/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=317072 memory=241296 CPUtime=3153.67 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 61879 0 0 0 314680 687 0 0 20 0 1 0 22534745 324681728 60324 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 79268 60324 4365 3002 0 63019 0
Current children cumulated CPU time: 3153.67 s
Current children cumulated vsize: 317072 KiB
Current children cumulated memory: 241296 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.10 5/243 211116
/proc/meminfo: memFree=121619196/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=317072 memory=241296 CPUtime=3213.5 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 61974 0 0 0 320657 693 0 0 20 0 1 0 22534745 324681728 60324 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 79268 60324 4365 3002 0 63019 0
Current children cumulated CPU time: 3213.5 s
Current children cumulated vsize: 317072 KiB
Current children cumulated memory: 241296 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.13 4.10 5/243 211174
/proc/meminfo: memFree=121381852/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=317072 memory=241296 CPUtime=3273.33 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 62070 0 0 0 326636 697 0 0 20 0 1 0 22534745 324681728 60324 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 79268 60324 4365 3002 0 63019 0
Current children cumulated CPU time: 3273.33 s
Current children cumulated vsize: 317072 KiB
Current children cumulated memory: 241296 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.15 4.10 5/243 211184
/proc/meminfo: memFree=120774104/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=317072 memory=241296 CPUtime=3333.15 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 62165 0 0 0 332612 703 0 0 20 0 1 0 22534745 324681728 60324 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 79268 60324 4365 3002 0 63019 0
Current children cumulated CPU time: 3333.15 s
Current children cumulated vsize: 317072 KiB
Current children cumulated memory: 241296 KiB

[startup+3402.3 s]
/proc/loadavg: 4.20 4.15 4.10 5/243 211194
/proc/meminfo: memFree=120769528/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=317072 memory=241296 CPUtime=3392.98 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 62261 0 0 0 338590 708 0 0 20 0 1 0 22534745 324681728 60324 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 79268 60324 4365 3002 0 63019 0
Current children cumulated CPU time: 3392.98 s
Current children cumulated vsize: 317072 KiB
Current children cumulated memory: 241296 KiB

[startup+3462.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/243 211204
/proc/meminfo: memFree=120759844/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=317072 memory=243344 CPUtime=3452.81 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 62359 0 0 0 344568 713 0 0 20 0 1 0 22534745 324681728 60836 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 79268 60836 4365 3002 0 63019 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 317072 KiB
Current children cumulated memory: 243344 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/243 211598
/proc/meminfo: memFree=120746732/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=317072 memory=245392 CPUtime=3512.63 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 62457 0 0 0 350544 719 0 0 20 0 1 0 22534745 324681728 61348 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 79268 61348 4365 3002 0 63019 0
Current children cumulated CPU time: 3512.63 s
Current children cumulated vsize: 317072 KiB
Current children cumulated memory: 245392 KiB

[startup+3582.3 s]
/proc/loadavg: 4.18 4.16 4.10 5/243 211608
/proc/meminfo: memFree=121075164/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=317072 memory=245392 CPUtime=3572.46 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 62555 0 0 0 356521 725 0 0 20 0 1 0 22534745 324681728 61348 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 79268 61348 4365 3002 0 63019 0
Current children cumulated CPU time: 3572.46 s
Current children cumulated vsize: 317072 KiB
Current children cumulated memory: 245392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.18 4.16 4.10 5/243 211659
/proc/meminfo: memFree=120426184/131655788 swapFree=131071472/131071996
[pid=209370] ppid=209367 vsize=317072 memory=245392 CPUtime=3600.09 cores=1,3
/proc/209370/stat : 209370 (mixed-bag) R 209367 209370 207841 0 -1 4194304 62653 0 0 0 359280 729 0 0 20 0 1 0 22534745 324681728 61348 134679101440 4194304 16487941 140728776717520 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 50536448 140728776725527 140728776725604 140728776725604 140728776732619 0
/proc/209370/statm: 79268 61348 4365 3002 0 63019 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 317072 KiB
Current children cumulated memory: 245392 KiB

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

[startup+3610.02 s]
# the end of solver process 209370 was just reported to runsolver
# Child status: 0

# cumulated CPU time of all completed processes:  user=3592.81 s, system=7.29611 s

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

Child status: 0

Real time (s): 3610.02
CPU time (s): 3600.11
CPU user time (s): 3592.81
CPU system time (s): 7.29611
CPU usage (%): 99.7254
Max. virtual memory (cumulated for all children) (KiB): 317072
Max. memory (cumulated for all children) (KiB): 245392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3592.81
system time used= 7.29612
maximum resident set size= 245668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62668
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70
involuntary context switches= 1395


# summary of solver processes directly reported to runsolver:
#   pid: 209370
#   total CPU time (s): 3600.11
#   total CPU user time (s): 3592.81
#   total CPU system time (s): 7.29611

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.0037 second user time and 34.6963 second system time

The end

Launcher Data 

Begin job on nodeC004 at 2024-07-25 01:57:38
IDJOB=4458462
IDBENCH=177485
IDSOLVER=3066
FILE ID=nodeC004/4458462-1721865458
RUNJOBID= nodeC004-1721865123-207853
SLURM_JOB_ID= 8089202
Free space on /tmp= 723732 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxall_lastlayerdiv2/normalized-injcomp_opt_4layers_maxall_lastlayerdiv2_size_16.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458462-1721865458/watcher-4458462-1721865458 -o /tmp/evaluation-result-4458462-1721865458/solver-4458462-1721865458 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1721865123-207853 --watchdog 3760  mixed-bag HOME/instance-4458462-1721865458.opb

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

MD5SUM BENCH= 678da6339402b89815c46f6042afd950
RANDOM SEED=1891169554

nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/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		: 3668.588
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.13
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		: 2693.899
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
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.309
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.13
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		: 1197.281
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
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		: 3644.902
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.13
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		: 3668.881
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
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.524
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6984.13
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		: 1197.386
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 invpcid_single pti tpr_shadow vnmi 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
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        122849828 kB
MemAvailable:   129388576 kB
Buffers:          286840 kB
Cached:          7046000 kB
SwapCached:           60 kB
Active:          2611988 kB
Inactive:        5562048 kB
Active(anon):       1460 kB
Inactive(anon):   893296 kB
Active(file):    2610528 kB
Inactive(file):  4668752 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071472 kB
Dirty:             33468 kB
Writeback:             0 kB
AnonPages:        838524 kB
Mapped:           131364 kB
Shmem:             53860 kB
KReclaimable:     199336 kB
Slab:             311340 kB
SReclaimable:     199336 kB
SUnreclaim:       112004 kB
KernelStack:        3936 kB
PageTables:        11080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1355356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            20128 kB
HardwareCorrupted:     0 kB
AnonHugePages:    221184 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      392008 kB
DirectMap2M:    50892800 kB
DirectMap1G:    84934656 kB

Free space on /tmp at the end= 723704 MiB
End job on nodeC004 at 2024-07-25 02:57:48