Trace number 4485638

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
pb-oll-rs-2024 2025-05-06? (TO) 3600.08 3610.81

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-roll3000.opb
MD5SUM9da0f014fb9cbd107dd1b5ea973ba0c7
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 benchmark1086940160
Best CPU time to get the best result obtained on this benchmark2471.28
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8902
Total number of constraints2864
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint2
Maximum length of a constraint2407
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1024000000000
Number of bits of the biggest number in a constraint 40
Biggest sum of numbers in a constraint 2123511627775
Number of bits of the biggest sum of numbers41
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 [STEP] parsing instance
0.00/0.04	c [STEP] solving
0.00/0.04	c #variables 8902 #constraints 3038
0.00/0.04	c SMALL=long long, LARGE=int128
0.00/0.04	c bounds - >= 0 @ 0.038567
0.00/0.04	c stratification level: 0
339.90/340.91	c bounds - >= 1073741825 @ 0.040271
339.90/340.91	c bounds - >= 1073758208 @ 0.040879
339.90/340.91	c bounds - >= 1073807360 @ 0.041312
339.90/340.91	c bounds - >= 1073823744 @ 0.041628
339.90/340.91	c bounds - >= 1073872896 @ 0.041934
339.90/340.91	c bounds - >= 1074003968 @ 0.043463
339.90/340.91	c bounds - >= 1074266112 @ 0.052291
339.90/340.91	c bounds - >= 1074790400 @ 0.054397
339.90/340.91	c bounds - >= 1074798592 @ 0.078524
339.90/340.91	c bounds - >= 1074802688 @ 0.078994
339.90/340.91	c bounds - >= 1074804736 @ 0.079407
339.90/340.91	c bounds - >= 1074805760 @ 0.07984
339.90/340.91	c bounds - >= 1074805762 @ 0.100989
339.90/340.91	c bounds - >= 1074805764 @ 0.116673
339.90/340.91	c bounds - >= 1074805768 @ 0.135807
339.90/340.91	c bounds - >= 1074805776 @ 0.153492
339.90/340.91	c bounds - >= 1074805792 @ 0.17012
339.90/340.91	c bounds - >= 1074805824 @ 0.189167
339.90/340.91	c bounds - >= 1074805888 @ 0.2073
339.90/340.91	c bounds - >= 1074806016 @ 0.224204
339.90/340.91	c bounds - >= 1074806272 @ 0.248525
339.90/340.91	c bounds - >= 1075838976 @ 0.265878
339.90/340.91	c #Conflicts:       1000 | #Constraints:       4061
339.90/340.91	c #Conflicts:       2000 | #Constraints:       5061
339.90/340.91	c INPROCESSING
339.90/340.91	c GARBAGE COLLECT
339.90/340.91	c #Conflicts:       3000 | #Constraints:       4283
339.90/340.91	c bounds - >= 1077936128 @ 1.22074
339.90/340.91	c #Conflicts:       4000 | #Constraints:       5284
339.90/340.91	c INPROCESSING
339.90/340.91	c GARBAGE COLLECT
339.90/340.91	c #Conflicts:       5000 | #Constraints:       4701
339.90/340.91	c #Conflicts:       6000 | #Constraints:       5701
339.90/340.91	c INPROCESSING
339.90/340.91	c GARBAGE COLLECT
339.90/340.91	c #Conflicts:       7000 | #Constraints:       4717
339.90/340.91	c #Conflicts:       8000 | #Constraints:       5717
339.90/340.91	c #Conflicts:       9000 | #Constraints:       6717
339.90/340.91	c INPROCESSING
339.90/340.91	c GARBAGE COLLECT
339.90/340.91	c #Conflicts:      10000 | #Constraints:       5438
339.90/340.91	c #Conflicts:      11000 | #Constraints:       6438
339.90/340.91	c #Conflicts:      12000 | #Constraints:       7438
339.90/340.91	c INPROCESSING
339.90/340.91	c GARBAGE COLLECT
339.90/340.91	c #Conflicts:      13000 | #Constraints:       5901
339.90/340.91	c #Conflicts:      14000 | #Constraints:       6901
339.90/340.91	c #Conflicts:      15000 | #Constraints:       7901
339.90/340.91	c INPROCESSING
339.90/340.91	c GARBAGE COLLECT
339.90/340.91	c #Conflicts:      16000 | #Constraints:       6143
339.90/340.91	c #Conflicts:      17000 | #Constraints:       7143
339.90/340.91	c #Conflicts:      18000 | #Constraints:       8143
339.90/340.91	c INPROCESSING
339.90/340.91	c GARBAGE COLLECT
339.90/340.91	c #Conflicts:      19000 | #Constraints:       6152
339.90/340.91	c #Conflicts:      20000 | #Constraints:       7152
339.90/340.91	c #Conflicts:      21000 | #Constraints:       8152
339.90/340.91	c INPROCESSING
339.90/340.91	c GARBAGE COLLECT
339.90/340.91	c #Conflicts:      22000 | #Constraints:       5962
339.90/340.91	c #Conflicts:      23000 | #Constraints:       6962
339.90/340.91	c #Conflicts:      24000 | #Constraints:       7962
339.90/340.91	c #Conflicts:      25000 | #Constraints:       8962
339.90/340.91	c INPROCESSING
339.90/340.91	c GARBAGE COLLECT
339.90/340.91	c #Conflicts:      26000 | #Constraints:       6562
339.90/340.91	c #Conflicts:      27000 | #Constraints:       7562
339.90/340.91	c #Conflicts:      28000 | #Constraints:       8562
339.90/340.91	c #Conflicts:      29000 | #Constraints:       9562
339.90/340.91	c INPROCESSING
339.90/340.91	c GARBAGE COLLECT
339.90/340.91	c #Conflicts:      30000 | #Constraints:       6964
339.90/340.91	c #Conflicts:      31000 | #Constraints:       7964
339.90/340.91	c #Conflicts:      32000 | #Constraints:       8964
339.90/340.91	c #Conflicts:      33000 | #Constraints:       9964
339.90/340.91	c INPROCESSING
339.90/340.91	c GARBAGE COLLECT
339.90/340.91	c #Conflicts:      34000 | #Constraints:       7170
339.90/340.91	c #Conflicts:      35000 | #Constraints:       8170
339.90/340.91	c #Conflicts:      36000 | #Constraints:       9170
339.90/340.91	c #Conflicts:      37000 | #Constraints:      10170
339.90/340.91	c INPROCESSING
339.90/340.91	c GARBAGE COLLECT
339.90/340.91	c #Conflicts:      38000 | #Constraints:       7172
339.90/340.91	c #Conflicts:      39000 | #Constraints:       8172
339.90/340.91	c #Conflicts:      40000 | #Constraints:       9172
339.90/340.91	c #Conflicts:      41000 | #Constraints:      10172
339.90/340.91	c INPROCESSING
339.90/340.91	c GARBAGE COLLECT
339.90/340.91	c #Conflicts:      42000 | #Constraints:       6966
339.90/340.91	c #Conflicts:      43000 | #Constraints:       7966
339.90/340.91	c #Conflicts:      44000 | #Constraints:       8966
339.90/340.91	c #Conflicts:      45000 | #Constraints:       9966
339.90/340.91	c #Conflicts:      46000 | #Constraints:      10966
339.90/340.91	c INPROCESSING
339.90/340.91	c GARBAGE COLLECT
339.90/340.91	c #Conflicts:      47000 | #Constraints:       7584
339.90/340.91	c #Conflicts:      48000 | #Constraints:       8584
339.90/340.91	c #Conflicts:      49000 | #Constraints:       9584
339.90/340.91	c #Conflicts:      50000 | #Constraints:      10584
339.90/340.91	c #Conflicts:      51000 | #Constraints:      11584
339.90/340.91	c INPROCESSING
339.90/340.91	c GARBAGE COLLECT
339.90/340.91	c #Conflicts:      52000 | #Constraints:       7988
339.90/340.91	c #Conflicts:      53000 | #Constraints:       8988
339.90/340.91	c #Conflicts:      54000 | #Constraints:       9988
1824.16/1829.50	c #Conflicts:      55000 | #Constraints:      10988
1824.16/1829.50	c #Conflicts:      56000 | #Constraints:      11988
1824.16/1829.50	c INPROCESSING
1824.16/1829.50	c GARBAGE COLLECT
1824.16/1829.50	c #Conflicts:      57000 | #Constraints:       8204
1824.16/1829.50	c #Conflicts:      58000 | #Constraints:       9204
1824.16/1829.50	c #Conflicts:      59000 | #Constraints:      10204
1824.16/1829.50	c #Conflicts:      60000 | #Constraints:      11204
1824.16/1829.50	c #Conflicts:      61000 | #Constraints:      12204
1824.16/1829.50	c INPROCESSING
1824.16/1829.50	c GARBAGE COLLECT
1824.16/1829.50	c #Conflicts:      62000 | #Constraints:       8204
1824.16/1829.50	c #Conflicts:      63000 | #Constraints:       9204
1824.16/1829.50	c #Conflicts:      64000 | #Constraints:      10204
1824.16/1829.50	c #Conflicts:      65000 | #Constraints:      11204
1824.16/1829.50	c #Conflicts:      66000 | #Constraints:      12204
1824.16/1829.50	c INPROCESSING
1824.16/1829.50	c GARBAGE COLLECT
1824.16/1829.50	c #Conflicts:      67000 | #Constraints:       8000
1824.16/1829.50	c #Conflicts:      68000 | #Constraints:       9000
1824.16/1829.50	c #Conflicts:      69000 | #Constraints:      10000
1824.16/1829.50	c #Conflicts:      70000 | #Constraints:      11000
1824.16/1829.50	c #Conflicts:      71000 | #Constraints:      12000
1824.16/1829.50	c #Conflicts:      72000 | #Constraints:      13000
1824.16/1829.50	c INPROCESSING
1824.16/1829.50	c GARBAGE COLLECT
1824.16/1829.50	c #Conflicts:      73000 | #Constraints:       8608
1824.16/1829.50	c #Conflicts:      74000 | #Constraints:       9608
1824.16/1829.50	c #Conflicts:      75000 | #Constraints:      10608
1824.16/1829.50	c #Conflicts:      76000 | #Constraints:      11608
1824.16/1829.50	c #Conflicts:      77000 | #Constraints:      12608
1824.16/1829.50	c #Conflicts:      78000 | #Constraints:      13608
1824.16/1829.50	c INPROCESSING
1824.16/1829.50	c GARBAGE COLLECT
1824.16/1829.50	c #Conflicts:      79000 | #Constraints:       9010
1824.16/1829.50	c #Conflicts:      80000 | #Constraints:      10010
1824.16/1829.50	c #Conflicts:      81000 | #Constraints:      11010
1824.16/1829.50	c #Conflicts:      82000 | #Constraints:      12010
1824.16/1829.50	c #Conflicts:      83000 | #Constraints:      13010
1824.16/1829.50	c #Conflicts:      84000 | #Constraints:      14010
1824.16/1829.50	c INPROCESSING
1824.16/1829.50	c GARBAGE COLLECT
1824.16/1829.50	c #Conflicts:      85000 | #Constraints:       9215
1824.16/1829.50	c #Conflicts:      86000 | #Constraints:      10215
1824.16/1829.50	c #Conflicts:      87000 | #Constraints:      11215
1824.16/1829.50	c #Conflicts:      88000 | #Constraints:      12215
1824.16/1829.50	c #Conflicts:      89000 | #Constraints:      13215
1824.16/1829.50	c #Conflicts:      90000 | #Constraints:      14215
1824.16/1829.50	c INPROCESSING
1824.16/1829.50	c GARBAGE COLLECT
1824.16/1829.50	c #Conflicts:      91000 | #Constraints:       9216
1824.16/1829.50	c #Conflicts:      92000 | #Constraints:      10216
1824.16/1829.50	c #Conflicts:      93000 | #Constraints:      11216
1824.16/1829.50	c #Conflicts:      94000 | #Constraints:      12216
1824.16/1829.50	c #Conflicts:      95000 | #Constraints:      13216
1824.16/1829.50	c #Conflicts:      96000 | #Constraints:      14216
1824.16/1829.50	c INPROCESSING
1824.16/1829.50	c GARBAGE COLLECT
1824.16/1829.50	c #Conflicts:      97000 | #Constraints:       9022
1824.16/1829.50	c #Conflicts:      98000 | #Constraints:      10022
1824.16/1829.50	c #Conflicts:      99000 | #Constraints:      11022
1824.16/1829.50	c #Conflicts:     100000 | #Constraints:      12022
1824.16/1829.50	c #Conflicts:     101000 | #Constraints:      13022
1824.16/1829.50	c #Conflicts:     102000 | #Constraints:      14022
1824.16/1829.50	c #Conflicts:     103000 | #Constraints:      15022
1824.16/1829.50	c INPROCESSING
1824.16/1829.50	c GARBAGE COLLECT
1824.16/1829.50	c #Conflicts:     104000 | #Constraints:       9613
1824.16/1829.50	c #Conflicts:     105000 | #Constraints:      10613
1824.16/1829.50	c #Conflicts:     106000 | #Constraints:      11613
1824.16/1829.50	c #Conflicts:     107000 | #Constraints:      12613
1824.16/1829.50	c #Conflicts:     108000 | #Constraints:      13613
1824.16/1829.50	c #Conflicts:     109000 | #Constraints:      14613
1824.16/1829.50	c #Conflicts:     110000 | #Constraints:      15613
1824.16/1829.50	c INPROCESSING
1824.16/1829.50	c GARBAGE COLLECT
1824.16/1829.50	c #Conflicts:     111000 | #Constraints:      10012
1824.16/1829.50	c #Conflicts:     112000 | #Constraints:      11012
1824.16/1829.50	c #Conflicts:     113000 | #Constraints:      12012
1824.16/1829.50	c #Conflicts:     114000 | #Constraints:      13012
1824.16/1829.50	c #Conflicts:     115000 | #Constraints:      14012
1824.16/1829.50	c #Conflicts:     116000 | #Constraints:      15012
1824.16/1829.50	c #Conflicts:     117000 | #Constraints:      16012
1824.16/1829.50	c INPROCESSING
1824.16/1829.50	c GARBAGE COLLECT
1824.16/1829.50	c #Conflicts:     118000 | #Constraints:      10209
1824.16/1829.50	c #Conflicts:     119000 | #Constraints:      11209
1824.16/1829.50	c #Conflicts:     120000 | #Constraints:      12209
1824.16/1829.50	c #Conflicts:     121000 | #Constraints:      13209
1824.16/1829.50	c #Conflicts:     122000 | #Constraints:      14209
1824.16/1829.50	c #Conflicts:     123000 | #Constraints:      15209
1824.16/1829.50	c #Conflicts:     124000 | #Constraints:      16209
1824.16/1829.50	c INPROCESSING
1824.16/1829.50	c GARBAGE COLLECT
1824.16/1829.50	c #Conflicts:     125000 | #Constraints:      10214
3600.06/3610.80	c #Conflicts:     126000 | #Constraints:      11214
3600.06/3610.80	c #Conflicts:     127000 | #Constraints:      12214
3600.06/3610.80	c #Conflicts:     128000 | #Constraints:      13214
3600.06/3610.80	c #Conflicts:     129000 | #Constraints:      14214
3600.06/3610.80	c #Conflicts:     130000 | #Constraints:      15214
3600.06/3610.80	c #Conflicts:     131000 | #Constraints:      16214
3600.06/3610.80	c INPROCESSING
3600.06/3610.80	c GARBAGE COLLECT
3600.06/3610.80	c #Conflicts:     132000 | #Constraints:      10012
3600.06/3610.80	c #Conflicts:     133000 | #Constraints:      11012
3600.06/3610.80	c #Conflicts:     134000 | #Constraints:      12012
3600.06/3610.80	c #Conflicts:     135000 | #Constraints:      13012
3600.06/3610.80	c #Conflicts:     136000 | #Constraints:      14012
3600.06/3610.80	c #Conflicts:     137000 | #Constraints:      15012
3600.06/3610.80	c #Conflicts:     138000 | #Constraints:      16012
3600.06/3610.80	c #Conflicts:     139000 | #Constraints:      17012
3600.06/3610.80	c INPROCESSING
3600.06/3610.80	c GARBAGE COLLECT
3600.06/3610.80	c #Conflicts:     140000 | #Constraints:      10620
3600.06/3610.80	c #Conflicts:     141000 | #Constraints:      11620
3600.06/3610.80	c #Conflicts:     142000 | #Constraints:      12620
3600.06/3610.80	c #Conflicts:     143000 | #Constraints:      13620
3600.06/3610.80	c #Conflicts:     144000 | #Constraints:      14620
3600.06/3610.80	c #Conflicts:     145000 | #Constraints:      15620
3600.06/3610.80	c #Conflicts:     146000 | #Constraints:      16620
3600.06/3610.80	c #Conflicts:     147000 | #Constraints:      17620
3600.06/3610.80	c INPROCESSING
3600.06/3610.80	c GARBAGE COLLECT
3600.06/3610.80	c #Conflicts:     148000 | #Constraints:      11014
3600.06/3610.80	c #Conflicts:     149000 | #Constraints:      12014
3600.06/3610.80	c #Conflicts:     150000 | #Constraints:      13014
3600.06/3610.80	c #Conflicts:     151000 | #Constraints:      14014
3600.06/3610.80	c #Conflicts:     152000 | #Constraints:      15014
3600.06/3610.80	c #Conflicts:     153000 | #Constraints:      16014
3600.06/3610.80	c #Conflicts:     154000 | #Constraints:      17014
3600.06/3610.80	c #Conflicts:     155000 | #Constraints:      18014
3600.06/3610.80	c INPROCESSING
3600.06/3610.80	c GARBAGE COLLECT
3600.06/3610.80	c #Conflicts:     156000 | #Constraints:      11222
3600.06/3610.80	c #Conflicts:     157000 | #Constraints:      12222
3600.06/3610.80	c #Conflicts:     158000 | #Constraints:      13222
3600.06/3610.80	c #Conflicts:     159000 | #Constraints:      14222
3600.06/3610.80	c #Conflicts:     160000 | #Constraints:      15222
3600.06/3610.80	c #Conflicts:     161000 | #Constraints:      16222
3600.06/3610.80	c #Conflicts:     162000 | #Constraints:      17222
3600.06/3610.80	c #Conflicts:     163000 | #Constraints:      18222
3600.06/3610.80	c INPROCESSING
3600.06/3610.80	c GARBAGE COLLECT
3600.06/3610.80	c #Conflicts:     164000 | #Constraints:      11230
3600.06/3610.80	c #Conflicts:     165000 | #Constraints:      12230
3600.06/3610.80	c #Conflicts:     166000 | #Constraints:      13230
3600.06/3610.80	c #Conflicts:     167000 | #Constraints:      14230
3600.06/3610.80	c #Conflicts:     168000 | #Constraints:      15230
3600.06/3610.80	c #Conflicts:     169000 | #Constraints:      16230
3600.06/3610.80	c #Conflicts:     170000 | #Constraints:      17230
3600.06/3610.80	c #Conflicts:     171000 | #Constraints:      18230
3600.06/3610.80	c INPROCESSING
3600.06/3610.80	c GARBAGE COLLECT
3600.06/3610.80	c #Conflicts:     172000 | #Constraints:      11005
3600.06/3610.80	c #Conflicts:     173000 | #Constraints:      12005
3600.06/3610.80	c #Conflicts:     174000 | #Constraints:      13005
3600.06/3610.80	c #Conflicts:     175000 | #Constraints:      14005
3600.06/3610.80	c #Conflicts:     176000 | #Constraints:      15005
3600.06/3610.80	c #Conflicts:     177000 | #Constraints:      16005
3600.06/3610.80	c #Conflicts:     178000 | #Constraints:      17005
3600.06/3610.80	c #Conflicts:     179000 | #Constraints:      18005
3600.06/3610.80	c #Conflicts:     180000 | #Constraints:      19005
3600.06/3610.80	c INPROCESSING
3600.06/3610.80	c GARBAGE COLLECT
3600.06/3610.80	c #Conflicts:     181000 | #Constraints:      11594
3600.06/3610.80	c Program interrupted by user.
3600.06/3610.80	c cpu time 3583.03 s
3600.06/3610.80	c deterministic time 289834270131 2.90e+11
3600.06/3610.80	c optimization time 34.1333 s
3600.06/3610.80	c total solve time 3548.86 s
3600.06/3610.80	c core-guided solve time 3548.86 s
3600.06/3610.80	c propagation time 3468.56 s
3600.06/3610.80	c conflict analysis time 88.8582 s
3600.06/3610.80	c propagations 109928932
3600.06/3610.80	c resolve steps 1125846
3600.06/3610.80	c decisions 13558080
3600.06/3610.80	c conflicts 181970
3600.06/3610.80	c restarts 506
3600.06/3610.80	c inprocessing phases 34
3600.06/3610.80	c input clauses 990
3600.06/3610.80	c input cardinalities 151
3600.06/3610.80	c input general constraints 1921
3600.06/3610.80	c input average constraint length 28.75
3600.06/3610.80	c input average constraint degree 385697438.57
3600.06/3610.80	c learned clauses 7963
3600.06/3610.80	c learned cardinalities 105
3600.06/3610.80	c learned general constraints 173903
3600.06/3610.80	c learned average constraint length 552.26
3600.06/3610.80	c learned average constraint degree 116107243.74
3600.06/3610.80	c watched constraints 174025
3600.06/3610.80	c counting constraints 1799
3600.06/3610.80	c gcd simplifications 3623
3600.06/3610.80	c detected cardinalities 154
3600.06/3610.80	c weakened non-implied lits 616414
3600.06/3610.80	c weakened non-implying lits 4589
3600.06/3610.80	c original variables 8902
3600.06/3610.80	c clausal propagations 15366071
3600.06/3610.80	c cardinality propagations 690469
3600.06/3610.80	c watched propagations 69322242
3600.06/3610.80	c counting propagations 24523844
3600.06/3610.80	c watch lookups 72997521205
3600.06/3610.80	c watch backjump lookups 72715879580
3600.06/3610.80	c watch checks 115494596734
3600.06/3610.80	c propagation checks 27967406977
3600.06/3610.80	c constraint additions 411713054
3600.06/3610.80	c trail pops 123665568
3600.06/3610.80	c formula constraints 3038
3600.06/3610.80	c learned constraints 181971
3600.06/3610.80	c bound constraints 23
3600.06/3610.80	c core-guided constraints 1
3600.06/3610.80	c encountered formula constraints 389787
3600.06/3610.80	c encountered learned constraints 918030
3600.06/3610.80	c encountered bound constraints 0
3600.06/3610.80	c encountered core-guided constraints 0
3600.06/3610.80	c LP total time 0 s
3600.06/3610.80	c LP solve time 0 s
3600.06/3610.80	c LP constraints added 0
3600.06/3610.80	c LP constraints removed 0
3600.06/3610.80	c LP pivots internal 0
3600.06/3610.80	c LP pivots root 0
3600.06/3610.80	c LP calls 0
3600.06/3610.80	c LP optimalities 0
3600.06/3610.80	c LP no pivot count 0
3600.06/3610.80	c LP infeasibilities 0
3600.06/3610.80	c LP valid Farkas constraints 0
3600.06/3610.80	c LP learned Farkas constraints 0
3600.06/3610.80	c LP basis resets 0
3600.06/3610.80	c LP cycling count 0
3600.06/3610.80	c LP singular count 0
3600.06/3610.80	c LP no primal count 0
3600.06/3610.80	c LP no farkas count 0
3600.06/3610.80	c LP other issue count 0
3600.06/3610.80	c LP Gomory cuts 0
3600.06/3610.80	c LP learned cuts 0
3600.06/3610.80	c LP deleted cuts 0
3600.06/3610.80	c LP encountered Gomory constraints 0
3600.06/3610.80	c LP encountered Farkas constraints 0
3600.06/3610.80	c LP encountered learned Farkas constraints 0
3600.06/3610.80	c CG auxiliary variables introduced 0
3600.06/3610.80	c CG solutions found 0
3600.06/3610.80	c CG cores constructed 23
3600.06/3610.80	c CG core cardinality constraints returned 0
3600.06/3610.80	c CG unit cores 0
3600.06/3610.80	c CG single cores 23
3600.06/3610.80	c CG blocks removed during cardinality reduction 1
3600.06/3610.80	c CG first core best 0
3600.06/3610.80	c CG decision core best 0
3600.06/3610.80	c CG core reduction tie 0
3600.06/3610.80	c CG core degree average 1.00
3600.06/3610.80	c CG core slack average 11.61
3600.06/3610.80	c CG exhausted 0
3600.06/3610.80	c CG exhaust time 0 s
3600.06/3610.80	c CG trimmed 0
3600.06/3610.80	c CG trim time 0.002663 s
3600.06/3610.80	c CG minimized 0
3600.06/3610.80	c CG minimize time 0 s
3600.06/3610.80	c CG am1 prop time 0.000217 s
3600.06/3610.80	c CG # am1s reformulated 0
3600.06/3610.80	c CG lower bound derived from am1s 0
3600.06/3610.80	c CG # clausal cores 22
3600.06/3610.80	c CG # cardinality cores 0
3600.06/3610.80	c CG # pb cores 1
3600.06/3610.80	c CG # pb reforms 0
3600.06/3610.80	c CG # cores discarded because of pb reform 0
3600.06/3610.80	d LOWERBOUND 1077936128
3600.06/3610.80	d NCORES 23
3600.06/3610.80	d NPBCORES 1
3600.06/3610.80	d NPBREFORM 0
3600.06/3610.80	d NTRIMMED 0
3600.06/3610.80	d NEXHAUSTED 0
3600.06/3610.80	d NAM1S 0
3600.06/3610.80	d AM1LB 0
3600.06/3610.80	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: 63665 MiB (61681 MiB free)
  memory of node 1: 64507 MiB (63701 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4485638-1751310621/watcher-4485638-1751310621 -o /tmp/evaluation-result-4485638-1751310621/solver-4485638-1751310621 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751303394-45629 --watchdog 3760 pb-oll-rs HOME/instance-4485638-1751310621.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=46480, runsolver pid=46477

[startup+0.100057 s]*
/proc/loadavg: 4.09 4.10 4.09 5/264 46481
/proc/meminfo: memFree=128386268/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=24908 memory=13844 CPUtime=0.09 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 1918 0 0 0 9 0 0 0 20 0 1 0 46739976 25505792 3461 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 6227 3461 1376 243 0 2476 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 24908 KiB
Current children cumulated memory: 13844 KiB

[startup+0.205454 s]*
/proc/loadavg: 4.09 4.10 4.09 5/264 46481
/proc/meminfo: memFree=128378076/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=25708 memory=14740 CPUtime=0.2 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 2147 0 0 0 19 1 0 0 20 0 1 0 46739976 26324992 3685 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 6427 3685 1376 243 0 2676 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 25708 KiB
Current children cumulated memory: 14740 KiB

[startup+0.304919 s]*
/proc/loadavg: 4.09 4.10 4.09 5/264 46481
/proc/meminfo: memFree=128340716/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=26348 memory=15380 CPUtime=0.3 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 2295 0 0 0 29 1 0 0 20 0 1 0 46739976 26980352 3845 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 6587 3845 1376 243 0 2836 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 26348 KiB
Current children cumulated memory: 15380 KiB

[startup+0.700124 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 46481
/proc/meminfo: memFree=128332588/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=29156 memory=19220 CPUtime=0.68 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 3264 0 0 0 66 2 0 0 20 0 1 0 46739976 29855744 4805 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 7289 4805 1376 243 0 3538 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29156 KiB
Current children cumulated memory: 19220 KiB

[startup+1.50013 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 46481
/proc/meminfo: memFree=128300516/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=34536 memory=23444 CPUtime=1.48 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 4315 0 0 0 143 5 0 0 20 0 1 0 46739976 35364864 5861 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 8634 5861 1376 243 0 4883 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 34536 KiB
Current children cumulated memory: 23444 KiB

[startup+3.10535 s]
/proc/loadavg: 4.09 4.10 4.09 5/264 46481
/proc/meminfo: memFree=128071416/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=41236 memory=27156 CPUtime=3.08 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 5247 0 0 0 297 11 0 0 20 0 1 0 46739976 42225664 6789 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 10309 6789 1376 243 0 6558 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 41236 KiB
Current children cumulated memory: 27156 KiB

[startup+6.30014 s]
/proc/loadavg: 4.08 4.10 4.09 5/264 46481
/proc/meminfo: memFree=127641916/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=44980 memory=33652 CPUtime=6.27 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 6367 0 0 0 609 18 0 0 20 0 1 0 46739976 46059520 8413 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 11245 8413 1376 243 0 7494 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 44980 KiB
Current children cumulated memory: 33652 KiB

[startup+12.7001 s]
/proc/loadavg: 4.15 4.12 4.09 5/263 46481
/proc/meminfo: memFree=127248728/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=57528 memory=40180 CPUtime=12.65 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 7983 0 0 0 1233 32 0 0 20 0 1 0 46739976 58908672 10045 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 14382 10045 1376 243 0 10631 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 57528 KiB
Current children cumulated memory: 40180 KiB

[startup+25.5002 s]
/proc/loadavg: 4.12 4.11 4.09 5/263 46482
/proc/meminfo: memFree=126569028/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=61732 memory=48340 CPUtime=25.41 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 9021 0 0 0 2487 54 0 0 20 0 1 0 46739976 63213568 12085 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 15433 12085 1376 243 0 11682 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 61732 KiB
Current children cumulated memory: 48340 KiB

[startup+51.1054 s]
/proc/loadavg: 4.42 4.18 4.12 5/263 46483
/proc/meminfo: memFree=125669800/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=79256 memory=57664 CPUtime=50.94 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 10850 0 0 0 4993 101 0 0 20 0 1 0 46739976 81158144 14416 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 19814 14416 1376 243 0 16063 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 79256 KiB
Current children cumulated memory: 57664 KiB

[startup+102.3 s]
/proc/loadavg: 4.64 4.28 4.15 5/264 46485
/proc/meminfo: memFree=124853012/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=87820 memory=68844 CPUtime=101.99 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 12622 0 0 0 10037 162 0 0 20 0 1 0 46739976 89927680 17211 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 21955 17211 1376 243 0 18204 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 87820 KiB
Current children cumulated memory: 68844 KiB

[startup+162.3 s]
/proc/loadavg: 4.28 4.24 4.15 5/264 46487
/proc/meminfo: memFree=124369448/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=92996 memory=75188 CPUtime=161.82 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 13692 0 0 0 15956 226 0 0 20 0 1 0 46739976 95227904 18797 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 23249 18797 1376 243 0 19498 0
Current children cumulated CPU time: 161.82 s
Current children cumulated vsize: 92996 KiB
Current children cumulated memory: 75188 KiB

[startup+222.3 s]
/proc/loadavg: 4.14 4.21 4.14 5/264 46490
/proc/meminfo: memFree=124014404/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=120112 memory=87856 CPUtime=221.65 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 15822 0 0 0 21892 273 0 0 20 0 1 0 46739976 122994688 21964 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 30028 21964 1376 243 0 26277 0
Current children cumulated CPU time: 221.65 s
Current children cumulated vsize: 120112 KiB
Current children cumulated memory: 87856 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.20 4.14 5/265 46495
/proc/meminfo: memFree=123820516/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=125984 memory=94704 CPUtime=281.47 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 17050 0 0 0 27833 314 0 0 20 0 1 0 46739976 129007616 23676 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 31496 23676 1376 243 0 27745 0
Current children cumulated CPU time: 281.47 s
Current children cumulated vsize: 125984 KiB
Current children cumulated memory: 94704 KiB

[startup+342.3 s]
/proc/loadavg: 4.11 4.18 4.14 5/265 46501
/proc/meminfo: memFree=123012200/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=126520 memory=95216 CPUtime=341.3 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 17179 0 0 0 33773 357 0 0 20 0 1 0 46739976 129556480 23804 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 31630 23804 1376 243 0 27879 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 126520 KiB
Current children cumulated memory: 95216 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.16 4.13 5/264 46503
/proc/meminfo: memFree=122931128/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=127816 memory=96240 CPUtime=401.12 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 17425 0 0 0 39714 398 0 0 20 0 1 0 46739976 130883584 24060 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 31954 24060 1376 243 0 28203 0
Current children cumulated CPU time: 401.12 s
Current children cumulated vsize: 127816 KiB
Current children cumulated memory: 96240 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.14 4.12 5/264 46505
/proc/meminfo: memFree=121991792/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=130296 memory=103256 CPUtime=460.95 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 18142 0 0 0 45655 440 0 0 20 0 1 0 46739976 133423104 25814 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 32574 25814 1376 243 0 28823 0

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

Current children cumulated memory: 181932 KiB

[startup+2862.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 46626
/proc/meminfo: memFree=116917884/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=219272 memory=181932 CPUtime=2853.84 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 30750 0 0 0 283924 1460 0 0 20 0 1 0 46739976 224534528 45483 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 54818 45483 1376 243 0 51067 0
Current children cumulated CPU time: 2853.84 s
Current children cumulated vsize: 219272 KiB
Current children cumulated memory: 181932 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/264 46628
/proc/meminfo: memFree=116897084/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=219272 memory=181932 CPUtime=2913.66 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 30750 0 0 0 289891 1475 0 0 20 0 1 0 46739976 224534528 45483 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 54818 45483 1376 243 0 51067 0
Current children cumulated CPU time: 2913.66 s
Current children cumulated vsize: 219272 KiB
Current children cumulated memory: 181932 KiB

[startup+2982.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/264 46630
/proc/meminfo: memFree=116888876/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=219272 memory=182060 CPUtime=2973.48 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 30775 0 0 0 295856 1492 0 0 20 0 1 0 46739976 224534528 45515 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 54818 45515 1376 243 0 51067 0
Current children cumulated CPU time: 2973.48 s
Current children cumulated vsize: 219272 KiB
Current children cumulated memory: 182060 KiB

[startup+3042.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/264 46643
/proc/meminfo: memFree=116836240/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=221576 memory=183724 CPUtime=3033.3 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 31207 0 0 0 301820 1510 0 0 20 0 1 0 46739976 226893824 45931 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 55394 45931 1376 243 0 51643 0
Current children cumulated CPU time: 3033.3 s
Current children cumulated vsize: 221576 KiB
Current children cumulated memory: 183724 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.11 4.09 5/264 46645
/proc/meminfo: memFree=116801968/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=221864 memory=183980 CPUtime=3093.12 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 31266 0 0 0 307770 1542 0 0 20 0 1 0 46739976 227188736 45995 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 55466 45995 1376 243 0 51715 0
Current children cumulated CPU time: 3093.12 s
Current children cumulated vsize: 221864 KiB
Current children cumulated memory: 183980 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 46648
/proc/meminfo: memFree=116822652/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=221864 memory=183980 CPUtime=3152.94 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 31266 0 0 0 313731 1563 0 0 20 0 1 0 46739976 227188736 45995 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 55466 45995 1376 243 0 51715 0
Current children cumulated CPU time: 3152.94 s
Current children cumulated vsize: 221864 KiB
Current children cumulated memory: 183980 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 46650
/proc/meminfo: memFree=116806408/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=221864 memory=183980 CPUtime=3212.75 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 31266 0 0 0 319693 1582 0 0 20 0 1 0 46739976 227188736 45995 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 55466 45995 1376 243 0 51715 0
Current children cumulated CPU time: 3212.75 s
Current children cumulated vsize: 221864 KiB
Current children cumulated memory: 183980 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 46654
/proc/meminfo: memFree=116795292/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=221864 memory=183980 CPUtime=3272.56 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 31274 0 0 0 325657 1599 0 0 20 0 1 0 46739976 227188736 45995 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 55466 45995 1376 243 0 51715 0
Current children cumulated CPU time: 3272.56 s
Current children cumulated vsize: 221864 KiB
Current children cumulated memory: 183980 KiB

[startup+3342.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/264 46661
/proc/meminfo: memFree=116768344/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=221864 memory=186148 CPUtime=3332.39 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 31299 0 0 0 331620 1619 0 0 20 0 1 0 46739976 227188736 46537 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 55466 46537 1376 243 0 51715 0
Current children cumulated CPU time: 3332.39 s
Current children cumulated vsize: 221864 KiB
Current children cumulated memory: 186148 KiB

[startup+3402.3 s]
/proc/loadavg: 4.28 4.18 4.11 5/264 46663
/proc/meminfo: memFree=116769404/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=221864 memory=186148 CPUtime=3392.2 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 31299 0 0 0 337581 1639 0 0 20 0 1 0 46739976 227188736 46537 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 55466 46537 1376 243 0 51715 0
Current children cumulated CPU time: 3392.2 s
Current children cumulated vsize: 221864 KiB
Current children cumulated memory: 186148 KiB

[startup+3462.3 s]
/proc/loadavg: 4.20 4.17 4.11 5/264 46665
/proc/meminfo: memFree=116759060/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=221864 memory=186148 CPUtime=3452.02 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 31299 0 0 0 343546 1656 0 0 20 0 1 0 46739976 227188736 46537 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 55466 46537 1376 243 0 51715 0
Current children cumulated CPU time: 3452.02 s
Current children cumulated vsize: 221864 KiB
Current children cumulated memory: 186148 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.16 4.11 5/264 46668
/proc/meminfo: memFree=116735528/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=221864 memory=186276 CPUtime=3511.82 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 31316 0 0 0 349511 1671 0 0 20 0 1 0 46739976 227188736 46569 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 55466 46569 1376 243 0 51715 0
Current children cumulated CPU time: 3511.82 s
Current children cumulated vsize: 221864 KiB
Current children cumulated memory: 186276 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.14 4.10 5/264 46670
/proc/meminfo: memFree=116622360/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=223144 memory=189664 CPUtime=3571.64 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 31650 0 0 0 355476 1688 0 0 20 0 1 0 46739976 228499456 47416 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 55786 47416 1376 243 0 52035 0
Current children cumulated CPU time: 3571.64 s
Current children cumulated vsize: 223144 KiB
Current children cumulated memory: 189664 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 3.86 4.09 4.09 2/247 46766
/proc/meminfo: memFree=128405848/131250000 swapFree=33010684/33010684
[pid=46480] ppid=46477 vsize=223144 memory=189664 CPUtime=3600.06 cores=0,2
/proc/46480/stat : 46480 (pb-oll-rs) R 46477 46480 45619 0 -1 4194304 31656 0 0 0 358303 1703 0 0 20 0 1 0 46739976 228499456 47416 18446744073709551615 4218880 5211445 140723333976944 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 37814272 140723333982620 140723333982697 140723333982697 140723333988299 0
/proc/46480/statm: 55786 47416 1376 243 0 52035 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 223144 KiB
Current children cumulated memory: 189664 KiB

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

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

# cumulated CPU time of all completed processes:  user=3583.03 s, system=17.0429 s

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

Child status: 0

Real time (s): 3610.81
CPU time (s): 3600.08
CPU user time (s): 3583.03
CPU system time (s): 17.0429
CPU usage (%): 99.7027
Max. virtual memory (cumulated for all children) (KiB): 223144
Max. memory (cumulated for all children) (KiB): 189664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3583.03
system time used= 17.0429
maximum resident set size= 189920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31671
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= 83
involuntary context switches= 22178


# summary of solver processes directly reported to runsolver:
#   pid: 46480
#   total CPU time (s): 3600.08
#   total CPU user time (s): 3583.03
#   total CPU system time (s): 17.0429

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.67046 second user time and 16.5221 second system time

The end

Launcher Data 

Begin job on nodeC018 at 2025-06-30 21:10:21
IDJOB=4485638
IDBENCH=146805
IDSOLVER=3345
FILE ID=nodeC018/4485638-1751310621
RUNJOBID= nodeC018-1751303394-45629
SLURM_JOB_ID= 9594294
Free space on /tmp= 432920 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-roll3000.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4485638-1751310621/watcher-4485638-1751310621 -o /tmp/evaluation-result-4485638-1751310621/solver-4485638-1751310621 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1751303394-45629 --watchdog 3760  pb-oll-rs HOME/instance-4485638-1751310621.opb

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

MD5SUM BENCH= 9da0f014fb9cbd107dd1b5ea973ba0c7
RANDOM SEED=1192772602

nodeC018 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.142
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.704
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.805
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3578.931
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.832
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.872
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3606.720
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3589.566
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        128395908 kB
MemAvailable:   129518168 kB
Buffers:            3280 kB
Cached:          1923620 kB
SwapCached:            0 kB
Active:           610392 kB
Inactive:        1665816 kB
Active(anon):     367392 kB
Inactive(anon):        0 kB
Active(file):     243000 kB
Inactive(file):  1665816 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              2664 kB
Writeback:             0 kB
AnonPages:        351608 kB
Mapped:           107648 kB
Shmem:             18076 kB
KReclaimable:     104964 kB
Slab:             192828 kB
SReclaimable:     104964 kB
SUnreclaim:        87864 kB
KernelStack:        4336 kB
PageTables:         3768 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:     739836 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150488 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      201428 kB
DirectMap2M:     7958528 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 432932 MiB
End job on nodeC018 at 2025-06-30 22:10:32