Trace number 4435389

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-02? (TO) 3600.08 3610.03

DiagnosticValue
AM1LB55296
LOWERBOUND122880
NAM1S51
NCORES92
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED4

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-seymour1.opb
MD5SUM0695af47158b7a843c4563178a14696e
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark424072
Best CPU time to get the best result obtained on this benchmark72001
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10582
Total number of constraints5865
Number of constraints which are clauses651
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5214
Minimum length of a constraint1
Maximum length of a constraint198
Number of terms in the objective function 10582
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 2347111
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 2347111
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.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.20/0.21	c [STEP] preprocessing with Papilo
0.29/0.34	c [STEP] solving with SCIP
89.02/89.39	c [SCIP Warning] Orbital fixing symmetry for 0x5944f80 broken before symmetry. Requires fixing 6/66 affected variables.
299.43/300.48	c [STEP] preprocessing done, loading into solver
299.53/300.53	c [STEP] solving
299.53/300.53	c #variables 10023 #constraints 5589
299.53/300.53	c SMALL=int, LARGE=long long
299.53/300.53	c bounds - >= 0 @ 299.357
299.53/300.53	c stratification level: 512
433.75/435.12	c bounds - >= 56320 @ 299.374
433.75/435.12	c bounds - >= 57344 @ 299.375
433.75/435.12	c bounds - >= 58368 @ 299.375
433.75/435.12	c bounds - >= 59392 @ 299.376
433.75/435.12	c bounds - >= 60416 @ 299.377
433.75/435.12	c bounds - >= 61440 @ 299.378
433.75/435.12	c bounds - >= 62464 @ 299.379
433.75/435.12	c bounds - >= 63488 @ 299.38
433.75/435.12	c bounds - >= 64512 @ 299.381
433.75/435.12	c bounds - >= 65536 @ 299.382
433.75/435.12	c bounds - >= 66560 @ 299.383
433.75/435.12	c bounds - >= 67584 @ 299.384
433.75/435.12	c bounds - >= 68608 @ 299.385
433.75/435.12	c bounds - >= 69632 @ 299.386
433.75/435.12	c bounds - >= 70656 @ 299.387
433.75/435.12	c bounds - >= 71680 @ 299.388
433.75/435.12	c bounds - >= 72704 @ 299.389
433.75/435.12	c bounds - >= 73728 @ 299.39
433.75/435.12	c bounds - >= 74752 @ 299.391
433.75/435.12	c bounds - >= 75776 @ 299.392
433.75/435.12	c bounds - >= 76800 @ 299.393
433.75/435.12	c bounds - >= 77824 @ 299.394
433.75/435.12	c bounds - >= 78848 @ 299.395
433.75/435.12	c bounds - >= 79872 @ 299.396
433.75/435.12	c bounds - >= 80896 @ 299.396
433.75/435.12	c bounds - >= 81920 @ 299.397
433.75/435.12	c bounds - >= 82944 @ 299.398
433.75/435.12	c bounds - >= 83968 @ 299.399
433.75/435.12	c bounds - >= 84992 @ 299.4
433.75/435.12	c bounds - >= 86016 @ 299.401
433.75/435.12	c bounds - >= 87040 @ 299.402
433.75/435.12	c bounds - >= 88064 @ 299.403
433.75/435.12	c bounds - >= 89088 @ 299.404
433.75/435.12	c bounds - >= 90112 @ 299.405
433.75/435.12	c bounds - >= 91136 @ 299.406
433.75/435.12	c bounds - >= 92160 @ 299.407
433.75/435.12	c bounds - >= 93184 @ 299.408
433.75/435.12	c bounds - >= 94208 @ 299.409
433.75/435.12	c bounds - >= 95232 @ 299.41
433.75/435.12	c bounds - >= 96256 @ 299.411
433.75/435.12	c bounds - >= 96768 @ 299.412
433.75/435.12	c bounds - >= 97280 @ 299.413
433.75/435.12	c bounds - >= 97792 @ 299.414
433.75/435.12	c bounds - >= 98304 @ 299.415
433.75/435.12	c bounds - >= 98816 @ 299.416
433.75/435.12	c bounds - >= 99328 @ 299.418
433.75/435.12	c bounds - >= 99840 @ 299.419
433.75/435.12	c bounds - >= 100352 @ 299.421
433.75/435.12	c bounds - >= 100864 @ 299.422
433.75/435.12	c bounds - >= 101376 @ 299.423
433.75/435.12	c bounds - >= 101888 @ 299.425
433.75/435.12	c bounds - >= 102400 @ 299.426
433.75/435.12	c bounds - >= 102912 @ 299.427
433.75/435.12	c bounds - >= 103424 @ 299.428
433.75/435.12	c bounds - >= 103936 @ 299.43
433.75/435.12	c bounds - >= 104448 @ 299.431
433.75/435.12	c bounds - >= 104960 @ 299.432
433.75/435.12	c bounds - >= 105472 @ 299.433
433.75/435.12	c bounds - >= 105984 @ 299.434
433.75/435.12	c bounds - >= 106496 @ 299.436
433.75/435.12	c bounds - >= 107008 @ 299.438
433.75/435.12	c bounds - >= 107520 @ 299.439
433.75/435.12	c bounds - >= 108032 @ 299.441
433.75/435.12	c bounds - >= 108544 @ 299.443
433.75/435.12	c bounds - >= 109056 @ 299.444
433.75/435.12	c bounds - >= 109568 @ 299.445
433.75/435.12	c bounds - >= 110080 @ 299.446
433.75/435.12	c bounds - >= 110592 @ 299.446
433.75/435.12	c bounds - >= 111104 @ 299.447
433.75/435.12	c bounds - >= 111616 @ 299.45
433.75/435.12	c bounds - >= 112128 @ 299.452
433.75/435.12	c bounds - >= 112640 @ 299.453
433.75/435.12	c bounds - >= 113152 @ 299.455
433.75/435.12	c bounds - >= 113664 @ 299.456
433.75/435.12	c bounds - >= 114176 @ 299.456
433.75/435.12	c bounds - >= 114688 @ 299.459
433.75/435.12	c bounds - >= 115200 @ 299.461
433.75/435.12	c bounds - >= 115712 @ 299.462
433.75/435.12	c bounds - >= 116224 @ 299.464
433.75/435.12	c bounds - >= 116736 @ 299.466
433.75/435.12	c bounds - >= 117248 @ 299.467
433.75/435.12	c bounds - >= 117760 @ 299.468
433.75/435.12	c bounds - >= 118272 @ 299.468
433.75/435.12	c bounds - >= 118784 @ 299.47
433.75/435.12	c bounds - >= 119296 @ 299.471
433.75/435.12	c bounds - >= 119808 @ 299.472
433.75/435.12	c bounds - >= 120320 @ 299.474
433.75/435.12	c bounds - >= 120832 @ 299.476
433.75/435.12	c bounds - >= 121344 @ 299.476
433.75/435.12	c bounds - >= 121856 @ 299.478
433.75/435.12	c bounds - >= 122368 @ 299.478
433.75/435.12	c bounds - >= 122880 @ 299.48
433.75/435.12	c #Conflicts:       1000 | #Constraints:       6746
433.75/435.12	c #Conflicts:       2000 | #Constraints:       7746
433.75/435.12	c INPROCESSING
433.75/435.12	c GARBAGE COLLECT
433.75/435.12	c #Conflicts:       3000 | #Constraints:       7675
433.75/435.12	c #Conflicts:       4000 | #Constraints:       8675
433.75/435.12	c INPROCESSING
433.75/435.12	c GARBAGE COLLECT
433.75/435.12	c #Conflicts:       5000 | #Constraints:       8092
433.75/435.12	c #Conflicts:       6000 | #Constraints:       9092
433.75/435.12	c INPROCESSING
433.75/435.12	c GARBAGE COLLECT
433.75/435.12	c #Conflicts:       7000 | #Constraints:       8103
433.75/435.12	c #Conflicts:       8000 | #Constraints:       9103
433.75/435.12	c #Conflicts:       9000 | #Constraints:      10103
433.75/435.12	c INPROCESSING
433.75/435.12	c GARBAGE COLLECT
433.75/435.12	c #Conflicts:      10000 | #Constraints:       8810
433.75/435.12	c #Conflicts:      11000 | #Constraints:       9810
433.75/435.12	c #Conflicts:      12000 | #Constraints:      10810
433.75/435.12	c INPROCESSING
433.75/435.12	c GARBAGE COLLECT
433.75/435.12	c #Conflicts:      13000 | #Constraints:       9280
433.75/435.12	c #Conflicts:      14000 | #Constraints:      10280
433.75/435.12	c #Conflicts:      15000 | #Constraints:      11280
433.75/435.12	c INPROCESSING
433.75/435.12	c GARBAGE COLLECT
433.75/435.12	c #Conflicts:      16000 | #Constraints:       9511
433.75/435.12	c #Conflicts:      17000 | #Constraints:      10511
433.75/435.12	c #Conflicts:      18000 | #Constraints:      11511
433.75/435.12	c INPROCESSING
433.75/435.12	c GARBAGE COLLECT
433.75/435.12	c #Conflicts:      19000 | #Constraints:       9518
433.75/435.12	c #Conflicts:      20000 | #Constraints:      10518
433.75/435.12	c #Conflicts:      21000 | #Constraints:      11518
1459.27/1463.62	c INPROCESSING
1459.27/1463.62	c GARBAGE COLLECT
1459.27/1463.62	c #Conflicts:      22000 | #Constraints:       9312
1459.27/1463.62	c #Conflicts:      23000 | #Constraints:      10312
1459.27/1463.62	c #Conflicts:      24000 | #Constraints:      11312
1459.27/1463.62	c #Conflicts:      25000 | #Constraints:      12312
1459.27/1463.62	c INPROCESSING
1459.27/1463.62	c GARBAGE COLLECT
1459.27/1463.62	c #Conflicts:      26000 | #Constraints:       9903
1459.27/1463.62	c #Conflicts:      27000 | #Constraints:      10903
1459.27/1463.62	c #Conflicts:      28000 | #Constraints:      11903
1459.27/1463.62	c #Conflicts:      29000 | #Constraints:      12903
1459.27/1463.62	c INPROCESSING
1459.27/1463.62	c GARBAGE COLLECT
1459.27/1463.62	c #Conflicts:      30000 | #Constraints:      10308
1459.27/1463.62	c #Conflicts:      31000 | #Constraints:      11308
1459.27/1463.62	c #Conflicts:      32000 | #Constraints:      12308
1459.27/1463.62	c #Conflicts:      33000 | #Constraints:      13308
1459.27/1463.62	c INPROCESSING
1459.27/1463.62	c GARBAGE COLLECT
1459.27/1463.62	c #Conflicts:      34000 | #Constraints:      10504
1459.27/1463.62	c #Conflicts:      35000 | #Constraints:      11504
1459.27/1463.62	c #Conflicts:      36000 | #Constraints:      12504
1459.27/1463.62	c #Conflicts:      37000 | #Constraints:      13504
1459.27/1463.62	c INPROCESSING
1459.27/1463.62	c GARBAGE COLLECT
1459.27/1463.62	c #Conflicts:      38000 | #Constraints:      10519
1459.27/1463.62	c #Conflicts:      39000 | #Constraints:      11519
1459.27/1463.62	c #Conflicts:      40000 | #Constraints:      12519
1459.27/1463.62	c #Conflicts:      41000 | #Constraints:      13519
1459.27/1463.62	c INPROCESSING
1459.27/1463.62	c GARBAGE COLLECT
1459.27/1463.62	c #Conflicts:      42000 | #Constraints:      10314
1459.27/1463.62	c #Conflicts:      43000 | #Constraints:      11314
1459.27/1463.62	c #Conflicts:      44000 | #Constraints:      12314
1459.27/1463.62	c #Conflicts:      45000 | #Constraints:      13314
1459.27/1463.62	c #Conflicts:      46000 | #Constraints:      14314
1459.27/1463.62	c INPROCESSING
1459.27/1463.62	c GARBAGE COLLECT
1459.27/1463.62	c #Conflicts:      47000 | #Constraints:      10919
1459.27/1463.62	c #Conflicts:      48000 | #Constraints:      11919
1459.27/1463.62	c #Conflicts:      49000 | #Constraints:      12919
1459.27/1463.62	c #Conflicts:      50000 | #Constraints:      13919
1459.27/1463.62	c #Conflicts:      51000 | #Constraints:      14919
1459.27/1463.62	c INPROCESSING
1459.27/1463.62	c GARBAGE COLLECT
1459.27/1463.62	c #Conflicts:      52000 | #Constraints:      11339
1459.27/1463.62	c #Conflicts:      53000 | #Constraints:      12339
1459.27/1463.62	c #Conflicts:      54000 | #Constraints:      13339
1459.27/1463.62	c #Conflicts:      55000 | #Constraints:      14339
1459.27/1463.62	c #Conflicts:      56000 | #Constraints:      15339
1459.27/1463.62	c INPROCESSING
1459.27/1463.62	c GARBAGE COLLECT
1459.27/1463.62	c #Conflicts:      57000 | #Constraints:      11517
1459.27/1463.62	c #Conflicts:      58000 | #Constraints:      12517
1459.27/1463.62	c #Conflicts:      59000 | #Constraints:      13517
1459.27/1463.62	c #Conflicts:      60000 | #Constraints:      14517
1459.27/1463.62	c #Conflicts:      61000 | #Constraints:      15517
1459.27/1463.62	c INPROCESSING
1459.27/1463.62	c GARBAGE COLLECT
1459.27/1463.62	c #Conflicts:      62000 | #Constraints:      11528
1459.27/1463.62	c #Conflicts:      63000 | #Constraints:      12528
1459.27/1463.62	c #Conflicts:      64000 | #Constraints:      13528
1459.27/1463.62	c #Conflicts:      65000 | #Constraints:      14528
1459.27/1463.62	c #Conflicts:      66000 | #Constraints:      15528
1459.27/1463.62	c INPROCESSING
1459.27/1463.62	c GARBAGE COLLECT
1459.27/1463.62	c #Conflicts:      67000 | #Constraints:      11319
1459.27/1463.62	c #Conflicts:      68000 | #Constraints:      12319
1459.27/1463.62	c #Conflicts:      69000 | #Constraints:      13319
1459.27/1463.62	c #Conflicts:      70000 | #Constraints:      14319
1459.27/1463.62	c #Conflicts:      71000 | #Constraints:      15319
1459.27/1463.62	c #Conflicts:      72000 | #Constraints:      16319
1459.27/1463.62	c INPROCESSING
1459.27/1463.62	c GARBAGE COLLECT
1459.27/1463.62	c #Conflicts:      73000 | #Constraints:      11915
1459.27/1463.62	c #Conflicts:      74000 | #Constraints:      12915
1459.27/1463.62	c #Conflicts:      75000 | #Constraints:      13915
1459.27/1463.62	c #Conflicts:      76000 | #Constraints:      14915
1459.27/1463.62	c #Conflicts:      77000 | #Constraints:      15915
1459.27/1463.62	c #Conflicts:      78000 | #Constraints:      16915
1459.27/1463.62	c INPROCESSING
1459.27/1463.62	c GARBAGE COLLECT
1459.27/1463.62	c #Conflicts:      79000 | #Constraints:      12298
1459.27/1463.62	c #Conflicts:      80000 | #Constraints:      13298
1459.27/1463.62	c #Conflicts:      81000 | #Constraints:      14298
1459.27/1463.62	c #Conflicts:      82000 | #Constraints:      15298
1459.27/1463.62	c #Conflicts:      83000 | #Constraints:      16298
1459.27/1463.62	c #Conflicts:      84000 | #Constraints:      17298
1459.27/1463.62	c INPROCESSING
1459.27/1463.62	c GARBAGE COLLECT
1459.27/1463.62	c #Conflicts:      85000 | #Constraints:      12512
1459.27/1463.62	c #Conflicts:      86000 | #Constraints:      13512
1459.27/1463.62	c #Conflicts:      87000 | #Constraints:      14512
1459.27/1463.62	c #Conflicts:      88000 | #Constraints:      15512
1459.27/1463.62	c #Conflicts:      89000 | #Constraints:      16512
1459.27/1463.62	c #Conflicts:      90000 | #Constraints:      17512
1459.27/1463.62	c INPROCESSING
1459.27/1463.62	c GARBAGE COLLECT
3046.51/3055.07	c #Conflicts:      91000 | #Constraints:      12514
3046.51/3055.07	c #Conflicts:      92000 | #Constraints:      13514
3046.51/3055.07	c #Conflicts:      93000 | #Constraints:      14514
3046.51/3055.07	c #Conflicts:      94000 | #Constraints:      15514
3046.51/3055.07	c #Conflicts:      95000 | #Constraints:      16514
3046.51/3055.07	c #Conflicts:      96000 | #Constraints:      17514
3046.51/3055.07	c INPROCESSING
3046.51/3055.07	c GARBAGE COLLECT
3046.51/3055.07	c #Conflicts:      97000 | #Constraints:      12332
3046.51/3055.07	c #Conflicts:      98000 | #Constraints:      13332
3046.51/3055.07	c #Conflicts:      99000 | #Constraints:      14332
3046.51/3055.07	c #Conflicts:     100000 | #Constraints:      15332
3046.51/3055.07	c #Conflicts:     101000 | #Constraints:      16332
3046.51/3055.07	c #Conflicts:     102000 | #Constraints:      17332
3046.51/3055.07	c #Conflicts:     103000 | #Constraints:      18332
3046.51/3055.07	c INPROCESSING
3046.51/3055.07	c GARBAGE COLLECT
3046.51/3055.07	c #Conflicts:     104000 | #Constraints:      12927
3046.51/3055.07	c #Conflicts:     105000 | #Constraints:      13927
3046.51/3055.07	c #Conflicts:     106000 | #Constraints:      14927
3046.51/3055.07	c #Conflicts:     107000 | #Constraints:      15927
3046.51/3055.07	c #Conflicts:     108000 | #Constraints:      16927
3046.51/3055.07	c #Conflicts:     109000 | #Constraints:      17927
3046.51/3055.07	c #Conflicts:     110000 | #Constraints:      18927
3046.51/3055.07	c INPROCESSING
3046.51/3055.07	c GARBAGE COLLECT
3046.51/3055.07	c #Conflicts:     111000 | #Constraints:      13325
3046.51/3055.07	c #Conflicts:     112000 | #Constraints:      14325
3046.51/3055.07	c #Conflicts:     113000 | #Constraints:      15325
3046.51/3055.07	c #Conflicts:     114000 | #Constraints:      16325
3046.51/3055.07	c #Conflicts:     115000 | #Constraints:      17325
3046.51/3055.07	c #Conflicts:     116000 | #Constraints:      18325
3046.51/3055.07	c #Conflicts:     117000 | #Constraints:      19325
3046.51/3055.07	c INPROCESSING
3046.51/3055.07	c GARBAGE COLLECT
3046.51/3055.07	c #Conflicts:     118000 | #Constraints:      13520
3046.51/3055.07	c #Conflicts:     119000 | #Constraints:      14520
3046.51/3055.07	c #Conflicts:     120000 | #Constraints:      15520
3046.51/3055.07	c #Conflicts:     121000 | #Constraints:      16520
3046.51/3055.07	c #Conflicts:     122000 | #Constraints:      17520
3046.51/3055.07	c #Conflicts:     123000 | #Constraints:      18520
3046.51/3055.07	c #Conflicts:     124000 | #Constraints:      19520
3046.51/3055.07	c INPROCESSING
3046.51/3055.07	c GARBAGE COLLECT
3046.51/3055.07	c #Conflicts:     125000 | #Constraints:      13536
3046.51/3055.07	c #Conflicts:     126000 | #Constraints:      14536
3046.51/3055.07	c #Conflicts:     127000 | #Constraints:      15536
3046.51/3055.07	c #Conflicts:     128000 | #Constraints:      16536
3046.51/3055.07	c #Conflicts:     129000 | #Constraints:      17536
3046.51/3055.07	c #Conflicts:     130000 | #Constraints:      18536
3046.51/3055.07	c #Conflicts:     131000 | #Constraints:      19536
3046.51/3055.07	c INPROCESSING
3046.51/3055.07	c GARBAGE COLLECT
3046.51/3055.07	c #Conflicts:     132000 | #Constraints:      13339
3046.51/3055.07	c #Conflicts:     133000 | #Constraints:      14339
3046.51/3055.07	c #Conflicts:     134000 | #Constraints:      15339
3046.51/3055.07	c #Conflicts:     135000 | #Constraints:      16339
3046.51/3055.07	c #Conflicts:     136000 | #Constraints:      17339
3046.51/3055.07	c #Conflicts:     137000 | #Constraints:      18339
3046.51/3055.07	c #Conflicts:     138000 | #Constraints:      19339
3046.51/3055.07	c #Conflicts:     139000 | #Constraints:      20339
3046.51/3055.07	c INPROCESSING
3046.51/3055.07	c GARBAGE COLLECT
3046.51/3055.07	c #Conflicts:     140000 | #Constraints:      13936
3046.51/3055.07	c #Conflicts:     141000 | #Constraints:      14936
3046.51/3055.07	c #Conflicts:     142000 | #Constraints:      15936
3046.51/3055.07	c #Conflicts:     143000 | #Constraints:      16936
3046.51/3055.07	c #Conflicts:     144000 | #Constraints:      17936
3046.51/3055.07	c #Conflicts:     145000 | #Constraints:      18936
3046.51/3055.07	c #Conflicts:     146000 | #Constraints:      19936
3046.51/3055.07	c #Conflicts:     147000 | #Constraints:      20936
3046.51/3055.07	c INPROCESSING
3046.51/3055.07	c GARBAGE COLLECT
3046.51/3055.07	c #Conflicts:     148000 | #Constraints:      14341
3046.51/3055.07	c #Conflicts:     149000 | #Constraints:      15341
3046.51/3055.07	c #Conflicts:     150000 | #Constraints:      16341
3046.51/3055.07	c #Conflicts:     151000 | #Constraints:      17341
3046.51/3055.07	c #Conflicts:     152000 | #Constraints:      18341
3046.51/3055.07	c #Conflicts:     153000 | #Constraints:      19341
3046.51/3055.07	c #Conflicts:     154000 | #Constraints:      20341
3046.51/3055.07	c #Conflicts:     155000 | #Constraints:      21341
3046.51/3055.07	c INPROCESSING
3046.51/3055.07	c GARBAGE COLLECT
3046.51/3055.07	c #Conflicts:     156000 | #Constraints:      14547
3046.51/3055.07	c #Conflicts:     157000 | #Constraints:      15547
3046.51/3055.07	c #Conflicts:     158000 | #Constraints:      16547
3046.51/3055.07	c #Conflicts:     159000 | #Constraints:      17547
3046.51/3055.07	c #Conflicts:     160000 | #Constraints:      18547
3046.51/3055.07	c #Conflicts:     161000 | #Constraints:      19547
3046.51/3055.07	c #Conflicts:     162000 | #Constraints:      20547
3046.51/3055.07	c #Conflicts:     163000 | #Constraints:      21547
3600.05/3610.00	c INPROCESSING
3600.05/3610.00	c GARBAGE COLLECT
3600.05/3610.00	c #Conflicts:     164000 | #Constraints:      14539
3600.05/3610.00	c #Conflicts:     165000 | #Constraints:      15539
3600.05/3610.00	c #Conflicts:     166000 | #Constraints:      16539
3600.05/3610.00	c #Conflicts:     167000 | #Constraints:      17539
3600.05/3610.00	c #Conflicts:     168000 | #Constraints:      18539
3600.05/3610.00	c #Conflicts:     169000 | #Constraints:      19539
3600.05/3610.00	c #Conflicts:     170000 | #Constraints:      20539
3600.05/3610.00	c #Conflicts:     171000 | #Constraints:      21539
3600.05/3610.00	c INPROCESSING
3600.05/3610.00	c GARBAGE COLLECT
3600.05/3610.00	c #Conflicts:     172000 | #Constraints:      14332
3600.05/3610.00	c #Conflicts:     173000 | #Constraints:      15332
3600.05/3610.00	c #Conflicts:     174000 | #Constraints:      16332
3600.05/3610.00	c #Conflicts:     175000 | #Constraints:      17332
3600.05/3610.00	c #Conflicts:     176000 | #Constraints:      18332
3600.05/3610.00	c #Conflicts:     177000 | #Constraints:      19332
3600.05/3610.00	c #Conflicts:     178000 | #Constraints:      20332
3600.05/3610.00	c #Conflicts:     179000 | #Constraints:      21332
3600.05/3610.00	c #Conflicts:     180000 | #Constraints:      22332
3600.05/3610.00	c INPROCESSING
3600.05/3610.00	c GARBAGE COLLECT
3600.05/3610.00	c #Conflicts:     181000 | #Constraints:      14939
3600.05/3610.00	c #Conflicts:     182000 | #Constraints:      15939
3600.05/3610.00	c Program interrupted by user.
3600.05/3610.00	c cpu time 3565.85 s
3600.05/3610.00	c deterministic time 284138953230 2.84e+11
3600.05/3610.00	c optimization time 45.8484 s
3600.05/3610.00	c total solve time 3220.65 s
3600.05/3610.00	c core-guided solve time 3220.65 s
3600.05/3610.00	c propagation time 2772.39 s
3600.05/3610.00	c conflict analysis time 288.183 s
3600.05/3610.00	c propagations 118504084
3600.05/3610.00	c resolve steps 364932
3600.05/3610.00	c decisions 38289491
3600.05/3610.00	c conflicts 182055
3600.05/3610.00	c restarts 506
3600.05/3610.00	c inprocessing phases 34
3600.05/3610.00	c input clauses 571
3600.05/3610.00	c input cardinalities 0
3600.05/3610.00	c input general constraints 5162
3600.05/3610.00	c input average constraint length 220.92
3600.05/3610.00	c input average constraint degree 2753.59
3600.05/3610.00	c learned clauses 276
3600.05/3610.00	c learned cardinalities 8
3600.05/3610.00	c learned general constraints 181785
3600.05/3610.00	c learned average constraint length 5079.12
3600.05/3610.00	c learned average constraint degree 42462251.68
3600.05/3610.00	c watched constraints 17404
3600.05/3610.00	c counting constraints 169543
3600.05/3610.00	c gcd simplifications 2534
3600.05/3610.00	c detected cardinalities 0
3600.05/3610.00	c weakened non-implied lits 4137352
3600.05/3610.00	c weakened non-implying lits 7857
3600.05/3610.00	c original variables 10582
3600.05/3610.00	c clausal propagations 67339
3600.05/3610.00	c cardinality propagations 0
3600.05/3610.00	c watched propagations 15707762
3600.05/3610.00	c counting propagations 102656456
3600.05/3610.00	c watch lookups 49282231097
3600.05/3610.00	c watch backjump lookups 49238935349
3600.05/3610.00	c watch checks 70914401534
3600.05/3610.00	c propagation checks 112829576488
3600.05/3610.00	c constraint additions 1560044862
3600.05/3610.00	c trail pops 156970324
3600.05/3610.00	c formula constraints 5589
3600.05/3610.00	c learned constraints 182069
3600.05/3610.00	c bound constraints 93
3600.05/3610.00	c core-guided constraints 51
3600.05/3610.00	c encountered formula constraints 253776
3600.05/3610.00	c encountered learned constraints 293181
3600.05/3610.00	c encountered bound constraints 30
3600.05/3610.00	c encountered core-guided constraints 0
3600.05/3610.00	c LP total time 0 s
3600.05/3610.00	c LP solve time 0 s
3600.05/3610.00	c LP constraints added 0
3600.05/3610.00	c LP constraints removed 0
3600.05/3610.00	c LP pivots internal 0
3600.05/3610.00	c LP pivots root 0
3600.05/3610.00	c LP calls 0
3600.05/3610.00	c LP optimalities 0
3600.05/3610.00	c LP no pivot count 0
3600.05/3610.00	c LP infeasibilities 0
3600.05/3610.00	c LP valid Farkas constraints 0
3600.05/3610.00	c LP learned Farkas constraints 0
3600.05/3610.00	c LP basis resets 0
3600.05/3610.00	c LP cycling count 0
3600.05/3610.00	c LP singular count 0
3600.05/3610.00	c LP no primal count 0
3600.05/3610.00	c LP no farkas count 0
3600.05/3610.00	c LP other issue count 0
3600.05/3610.00	c LP Gomory cuts 0
3600.05/3610.00	c LP learned cuts 0
3600.05/3610.00	c LP deleted cuts 0
3600.05/3610.00	c LP encountered Gomory constraints 0
3600.05/3610.00	c LP encountered Farkas constraints 0
3600.05/3610.00	c LP encountered learned Farkas constraints 0
3600.05/3610.00	c CG auxiliary variables introduced 51
3600.05/3610.00	c CG solutions found 0
3600.05/3610.00	c CG cores constructed 92
3600.05/3610.00	c CG core cardinality constraints returned 0
3600.05/3610.00	c CG unit cores 0
3600.05/3610.00	c CG single cores 92
3600.05/3610.00	c CG blocks removed during cardinality reduction 0
3600.05/3610.00	c CG first core best 0
3600.05/3610.00	c CG decision core best 0
3600.05/3610.00	c CG core reduction tie 0
3600.05/3610.00	c CG core degree average 1.00
3600.05/3610.00	c CG core slack average 3.17
3600.05/3610.00	c CG exhausted 0
3600.05/3610.00	c CG exhaust time 0 s
3600.05/3610.00	c CG trimmed 4
3600.05/3610.00	c CG trim time 0.00059 s
3600.05/3610.00	c CG minimized 0
3600.05/3610.00	c CG minimize time 0 s
3600.05/3610.00	c CG am1 prop time 0.003491 s
3600.05/3610.00	c CG # am1s reformulated 51
3600.05/3610.00	c CG lower bound derived from am1s 55296
3600.05/3610.00	c CG # clausal cores 92
3600.05/3610.00	c CG # cardinality cores 0
3600.05/3610.00	c CG # pb cores 0
3600.05/3610.00	c CG # pb reforms 0
3600.05/3610.00	c CG # cores discarded because of pb reform 0
3600.05/3610.00	d LOWERBOUND 122880
3600.05/3610.00	d NCORES 92
3600.05/3610.00	d NPBCORES 0
3600.05/3610.00	d NPBREFORM 0
3600.05/3610.00	d NTRIMMED 4
3600.05/3610.00	d NEXHAUSTED 0
3600.05/3610.00	d NAM1S 51
3600.05/3610.00	d AM1LB 55296
3600.05/3610.00	c [Papilo Statistics]
3600.05/3610.00	c prepro time 0.134406s
3600.05/3610.00	c # tsx applied 2206
3600.05/3610.00	c # tsx conflicts 1
3600.05/3610.00	c # bound changes 528
3600.05/3610.00	c # side changes 921
3600.05/3610.00	c # coef changes 1301
3600.05/3610.00	c # rounds 4
3600.05/3610.00	c # deted vars 560
3600.05/3610.00	c # deted constrs 276
3600.05/3610.00	c # consecutive rounds of only bound changes 0
3600.05/3610.01	s UNKNOWN

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: 63931 MiB (60544 MiB free)
  memory of node 1: 64510 MiB (61781 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435389-1721064388/watcher-4435389-1721064388 -o /tmp/evaluation-result-4435389-1721064388/solver-4435389-1721064388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721060594-815231 --watchdog 3760 mixed-bag HOME/instance-4435389-1721064388.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100087 s]*
/proc/loadavg: 4.14 4.14 4.09 5/257 818344
/proc/meminfo: memFree=125251372/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=84008 memory=17532 CPUtime=0.09 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 3301 0 0 0 9 0 0 0 20 0 1 0 158597988 86024192 4383 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 21002 4383 1615 3002 0 5292 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 84008 KiB
Current children cumulated memory: 17532 KiB

[startup+0.205568 s]*
/proc/loadavg: 4.14 4.14 4.09 5/257 818344
/proc/meminfo: memFree=125224796/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=125832 memory=55012 CPUtime=0.2 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 7566 0 0 0 18 2 0 0 20 0 1 0 158597988 128851968 13753 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 31458 13753 1647 3002 0 15748 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 125832 KiB
Current children cumulated memory: 55012 KiB

[startup+0.305629 s]*
/proc/loadavg: 4.14 4.14 4.09 5/257 818344
/proc/meminfo: memFree=125205684/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=140232 memory=61652 CPUtime=0.29 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 8634 0 0 0 27 2 0 0 20 0 1 0 158597988 143597568 15413 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 35058 15413 1737 3002 0 18809 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 140232 KiB
Current children cumulated memory: 61652 KiB

[startup+0.700246 s]
/proc/loadavg: 4.14 4.14 4.09 5/257 818344
/proc/meminfo: memFree=125144728/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=217904 memory=144892 CPUtime=0.69 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 29155 0 0 0 63 6 0 0 20 0 1 0 158597988 223133696 36223 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 54476 36223 3795 3002 0 38227 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 217904 KiB
Current children cumulated memory: 144892 KiB

[startup+1.50023 s]
/proc/loadavg: 4.14 4.14 4.09 5/257 818344
/proc/meminfo: memFree=125095740/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=252680 memory=178788 CPUtime=1.48 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 37643 0 0 0 142 6 0 0 20 0 1 0 158597988 258744320 44697 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 63170 44697 3827 3002 0 46921 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 252680 KiB
Current children cumulated memory: 178788 KiB

[startup+3.10552 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 818344
/proc/meminfo: memFree=124962532/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=433108 memory=329556 CPUtime=3.08 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 64999 0 0 0 297 11 0 0 20 0 1 0 158597988 443502592 82323 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 108277 82389 4017 3002 0 92028 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 433108 KiB
Current children cumulated memory: 329556 KiB

[startup+6.30016 s]
/proc/loadavg: 4.12 4.14 4.09 5/257 818345
/proc/meminfo: memFree=124894168/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=483648 memory=377256 CPUtime=6.27 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 74785 0 0 0 614 13 0 0 20 0 1 0 158597988 495255552 94314 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 120912 94314 4033 3002 0 104663 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 483648 KiB
Current children cumulated memory: 377256 KiB

[startup+12.7001 s]
/proc/loadavg: 4.11 4.14 4.09 5/257 818345
/proc/meminfo: memFree=124861152/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=511748 memory=404448 CPUtime=12.66 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 76024 0 0 0 1252 14 0 0 20 0 1 0 158597988 524029952 101112 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 127937 101112 4049 3002 0 111688 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 511748 KiB
Current children cumulated memory: 404448 KiB

[startup+25.5002 s]
/proc/loadavg: 4.16 4.15 4.09 5/257 818348
/proc/meminfo: memFree=124833372/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=540460 memory=426972 CPUtime=25.42 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 81688 0 0 0 2527 15 0 0 20 0 1 0 158597988 553431040 106743 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 135115 106743 4049 3002 0 118866 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 540460 KiB
Current children cumulated memory: 426972 KiB

[startup+51.1057 s]
/proc/loadavg: 4.10 4.13 4.09 5/257 818398
/proc/meminfo: memFree=125404336/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=555992 memory=440792 CPUtime=50.95 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 85201 0 0 0 5079 16 0 0 20 0 1 0 158597988 569335808 110198 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 138998 110198 4049 3002 0 122749 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 555992 KiB
Current children cumulated memory: 440792 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.16 4.10 5/257 818410
/proc/meminfo: memFree=125268656/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=620532 memory=505256 CPUtime=101.97 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 101371 0 0 0 10178 19 0 0 20 0 1 0 158597988 635424768 126314 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 155133 126314 4065 3002 0 138884 0
Current children cumulated CPU time: 101.97 s
Current children cumulated vsize: 620532 KiB
Current children cumulated memory: 505256 KiB

[startup+162.3 s]
/proc/loadavg: 4.18 4.17 4.10 5/259 818590
/proc/meminfo: memFree=125295164/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=620532 memory=505412 CPUtime=161.77 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 101399 0 0 0 16158 19 0 0 20 0 1 0 158597988 635424768 126353 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 155133 126353 4065 3002 0 138884 0
Current children cumulated CPU time: 161.77 s
Current children cumulated vsize: 620532 KiB
Current children cumulated memory: 505412 KiB

[startup+222.3 s]
/proc/loadavg: 4.42 4.25 4.13 5/259 818600
/proc/meminfo: memFree=125352288/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=620532 memory=505432 CPUtime=221.59 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 101448 0 0 0 22139 20 0 0 20 0 1 0 158597988 635424768 126358 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 155133 126358 4065 3002 0 138884 0
Current children cumulated CPU time: 221.59 s
Current children cumulated vsize: 620532 KiB
Current children cumulated memory: 505432 KiB

[startup+282.3 s]
/proc/loadavg: 4.30 4.24 4.14 5/260 818668
/proc/meminfo: memFree=125253072/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=645344 memory=530292 CPUtime=281.39 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 107749 0 0 0 28118 21 0 0 20 0 1 0 158597988 660832256 132573 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 161336 132573 4065 3002 0 145087 0
Current children cumulated CPU time: 281.39 s
Current children cumulated vsize: 645344 KiB
Current children cumulated memory: 530292 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.21 4.13 5/261 818680
/proc/meminfo: memFree=125089556/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=778576 memory=643548 CPUtime=341.21 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 113680 0 0 0 33942 179 0 0 20 0 1 0 158597988 797261824 160887 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 194644 160887 4225 3002 0 178395 0
Current children cumulated CPU time: 341.21 s
Current children cumulated vsize: 778576 KiB
Current children cumulated memory: 643548 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.20 4.13 5/260 818690
/proc/meminfo: memFree=124963040/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=778576 memory=693744 CPUtime=401.04 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 114572 0 0 0 39786 318 0 0 20 0 1 0 158597988 797261824 173436 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 194644 173436 4225 3002 0 178395 0
Current children cumulated CPU time: 401.04 s
Current children cumulated vsize: 778576 KiB
Current children cumulated memory: 693744 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.18 4.13 5/259 818703
/proc/meminfo: memFree=124891588/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=910836 memory=715824 CPUtime=460.87 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 115499 0 0 0 45641 446 0 0 20 0 1 0 158597988 932696064 178956 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 227709 178956 4225 3002 0 211460 0

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

Current children cumulated memory: 1634764 KiB

[startup+2862.3 s]
/proc/loadavg: 4.17 4.15 4.11 5/257 819712
/proc/meminfo: memFree=123568900/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=2011532 memory=1643236 CPUtime=2854.29 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 229578 0 0 0 282583 2846 0 0 20 0 1 0 158597988 2059808768 410809 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 502883 410809 4225 3002 0 486634 0
Current children cumulated CPU time: 2854.29 s
Current children cumulated vsize: 2011532 KiB
Current children cumulated memory: 1643236 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/257 819722
/proc/meminfo: memFree=123555492/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=2011952 memory=1655940 CPUtime=2914.14 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 230163 0 0 0 288511 2903 0 0 20 0 1 0 158597988 2060238848 413985 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 502988 413985 4225 3002 0 486739 0
Current children cumulated CPU time: 2914.14 s
Current children cumulated vsize: 2011952 KiB
Current children cumulated memory: 1655940 KiB

[startup+2982.3 s]
/proc/loadavg: 4.21 4.16 4.11 5/255 819733
/proc/meminfo: memFree=123552764/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=2011952 memory=1655940 CPUtime=2973.99 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 231027 0 0 0 294448 2951 0 0 20 0 1 0 158597988 2060238848 413985 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 502988 413985 4225 3002 0 486739 0
Current children cumulated CPU time: 2973.99 s
Current children cumulated vsize: 2011952 KiB
Current children cumulated memory: 1655940 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/255 819743
/proc/meminfo: memFree=123548988/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=2017168 memory=1659012 CPUtime=3033.83 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 232469 0 0 0 300396 2987 0 0 20 0 1 0 158597988 2065580032 414753 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 504292 414753 4225 3002 0 488043 0
Current children cumulated CPU time: 3033.83 s
Current children cumulated vsize: 2017168 KiB
Current children cumulated memory: 1659012 KiB

[startup+3102.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/255 819755
/proc/meminfo: memFree=123525816/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=2019888 memory=1681872 CPUtime=3093.69 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 233630 0 0 0 306343 3026 0 0 20 0 1 0 158597988 2068365312 420468 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 504972 420468 4225 3002 0 488723 0
Current children cumulated CPU time: 3093.69 s
Current children cumulated vsize: 2019888 KiB
Current children cumulated memory: 1681872 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/256 819766
/proc/meminfo: memFree=123523124/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=2019888 memory=1681872 CPUtime=3153.53 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 234462 0 0 0 312275 3078 0 0 20 0 1 0 158597988 2068365312 420468 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 504972 420468 4225 3002 0 488723 0
Current children cumulated CPU time: 3153.53 s
Current children cumulated vsize: 2019888 KiB
Current children cumulated memory: 1681872 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.13 4.10 5/256 819776
/proc/meminfo: memFree=123517232/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=2021904 memory=1682980 CPUtime=3213.38 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 235608 0 0 0 318223 3115 0 0 20 0 1 0 158597988 2070429696 420745 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 505476 420745 4225 3002 0 489227 0
Current children cumulated CPU time: 3213.38 s
Current children cumulated vsize: 2021904 KiB
Current children cumulated memory: 1682980 KiB

[startup+3282.3 s]
/proc/loadavg: 4.12 4.14 4.10 5/258 819792
/proc/meminfo: memFree=123515504/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=2023440 memory=1684136 CPUtime=3273.22 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 236512 0 0 0 324160 3162 0 0 20 0 1 0 158597988 2072002560 421034 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 505860 421034 4225 3002 0 489611 0
Current children cumulated CPU time: 3273.22 s
Current children cumulated vsize: 2023440 KiB
Current children cumulated memory: 1684136 KiB

[startup+3342.3 s]
/proc/loadavg: 4.14 4.14 4.10 5/258 819802
/proc/meminfo: memFree=123449004/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=2107028 memory=1750424 CPUtime=3333.08 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 248008 0 0 0 330101 3207 0 0 20 0 1 0 158597988 2157596672 437606 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 526757 437606 4225 3002 0 510508 0
Current children cumulated CPU time: 3333.08 s
Current children cumulated vsize: 2107028 KiB
Current children cumulated memory: 1750424 KiB

[startup+3402.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/258 819813
/proc/meminfo: memFree=123448384/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=2107028 memory=1750512 CPUtime=3392.93 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 248616 0 0 0 336021 3272 0 0 20 0 1 0 158597988 2157596672 437628 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 526757 437628 4225 3002 0 510508 0
Current children cumulated CPU time: 3392.93 s
Current children cumulated vsize: 2107028 KiB
Current children cumulated memory: 1750512 KiB

[startup+3462.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/258 819870
/proc/meminfo: memFree=123808108/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=2107028 memory=1750512 CPUtime=3452.77 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 249352 0 0 0 341957 3320 0 0 20 0 1 0 158597988 2157596672 437628 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 526757 437628 4225 3002 0 510508 0
Current children cumulated CPU time: 3452.77 s
Current children cumulated vsize: 2107028 KiB
Current children cumulated memory: 1750512 KiB

[startup+3522.3 s]
/proc/loadavg: 4.23 4.15 4.10 5/257 819926
/proc/meminfo: memFree=124607348/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=2107028 memory=1750568 CPUtime=3512.62 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 250000 0 0 0 347905 3357 0 0 20 0 1 0 158597988 2157596672 437642 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 526757 437642 4225 3002 0 510508 0
Current children cumulated CPU time: 3512.62 s
Current children cumulated vsize: 2107028 KiB
Current children cumulated memory: 1750568 KiB

[startup+3582.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/256 820320
/proc/meminfo: memFree=124485476/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=2169752 memory=1793160 CPUtime=3572.45 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 259105 0 0 0 353843 3402 0 0 20 0 1 0 158597988 2221826048 448290 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 542438 448290 4225 3002 0 526189 0
Current children cumulated CPU time: 3572.45 s
Current children cumulated vsize: 2169752 KiB
Current children cumulated memory: 1793160 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.13 4.14 4.09 5/256 820325
/proc/meminfo: memFree=124443556/131524600 swapFree=130795544/131071996
[pid=818343] ppid=818340 vsize=2169752 memory=1793160 CPUtime=3600.05 cores=5,7
/proc/818343/stat : 818343 (mixed-bag) R 818340 818343 815216 0 -1 4194304 259489 0 0 0 356585 3420 0 0 20 0 1 0 158597988 2221826048 448290 134679101440 4194304 16487941 140725868393120 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 18723592 18734648 39288832 140725868401687 140725868401764 140725868401764 140725868408779 0
/proc/818343/statm: 542438 448290 4225 3002 0 526189 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 2169752 KiB
Current children cumulated memory: 1793160 KiB

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

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

# cumulated CPU time of all completed processes:  user=3565.86 s, system=34.2258 s

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

Child status: 0

Real time (s): 3610.03
CPU time (s): 3600.08
CPU user time (s): 3565.86
CPU system time (s): 34.2258
CPU usage (%): 99.7244
Max. virtual memory (cumulated for all children) (KiB): 2169752
Max. memory (cumulated for all children) (KiB): 1793160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3565.86
system time used= 34.2258
maximum resident set size= 1793160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259510
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= 195
involuntary context switches= 2609


# summary of solver processes directly reported to runsolver:
#   pid: 818343
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3565.86
#   total CPU system time (s): 34.2258

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.8338 second user time and 17.9772 second system time

The end

Launcher Data 

Begin job on nodeC014 at 2024-07-15 19:26:41
IDJOB=4435389
IDBENCH=146712
IDSOLVER=3066
FILE ID=nodeC014/4435389-1721064388
RUNJOBID= nodeC014-1721060594-815231
SLURM_JOB_ID= 7505507
Free space on /tmp= 890028 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435389-1721064388/watcher-4435389-1721064388 -o /tmp/evaluation-result-4435389-1721064388/solver-4435389-1721064388 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC014-1721060594-815231 --watchdog 3760  mixed-bag HOME/instance-4435389-1721064388.opb

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

MD5SUM BENCH= 0695af47158b7a843c4563178a14696e
RANDOM SEED=922952185

nodeC014.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	: 0xb00002a
cpu MHz		: 3677.133
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.32
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		: 3687.464
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.96
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.705
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.32
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		: 3657.974
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.96
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		: 3677.139
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.32
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		: 3663.609
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.96
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		: 3600.040
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 invpcid_single pti ibrs ibpb stibp 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	: 6999.32
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		: 3668.903
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 invpcid_single pti ibrs ibpb stibp 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	: 7005.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125261752 kB
MemAvailable:   127916228 kB
Buffers:          309796 kB
Cached:          3150860 kB
SwapCached:        12868 kB
Active:          1021548 kB
Inactive:        4680452 kB
Active(anon):       9444 kB
Inactive(anon):  2249320 kB
Active(file):    1012104 kB
Inactive(file):  2431132 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       130795544 kB
Dirty:             19700 kB
Writeback:             0 kB
AnonPages:       2231212 kB
Mapped:            80032 kB
Shmem:             17420 kB
KReclaimable:     101776 kB
Slab:             193356 kB
SReclaimable:     101776 kB
SUnreclaim:        91580 kB
KernelStack:        4096 kB
PageTables:        14932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    3661536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            27616 kB
HardwareCorrupted:     0 kB
AnonHugePages:    858112 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:      191188 kB
DirectMap2M:    14262272 kB
DirectMap1G:    121634816 kB

Free space on /tmp at the end= 890012 MiB
End job on nodeC014 at 2024-07-15 20:26:51