Trace number 4454221

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-07-19? (TO) 3600.65 3609.1

DiagnosticValue
AM1LB3909248
LOWERBOUND-175078
NAM1S614
NCORES74
NEXHAUSTED0
NPBCORES3
NPBREFORM0
NTRIMMED2

General information on the benchmark

NamePB24/normalized-PB12/OPT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null50mast_rapportOE1.0_TMAX60_K67_cod3.opb
MD5SUM1839e390ed6efb0b7de52ce1d96beb02
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-2592
Best CPU time to get the best result obtained on this benchmark564.51
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 32076
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 4162422
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 4162422
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 [STEP] parsing instance
0.09/0.17	c [STEP] solving
0.09/0.17	c #variables 40451 #constraints 40949
0.09/0.17	c SMALL=int, LARGE=long long
0.09/0.18	c bounds - >= -4162422 @ 0.133063
0.09/0.18	c stratification level: 64
386.30/387.28	c bounds - >= -205558 @ 2.75343
386.30/387.28	c bounds - >= -205302 @ 2.8061
386.30/387.28	c bounds - >= -205046 @ 2.81043
386.30/387.28	c bounds - >= -197297 @ 2.81424
386.30/387.28	c bounds - >= -197041 @ 2.81942
386.30/387.28	c bounds - >= -196785 @ 2.8274
386.30/387.28	c bounds - >= -196529 @ 2.83077
386.30/387.28	c bounds - >= -196273 @ 2.835
386.30/387.28	c bounds - >= -196017 @ 2.8413
386.30/387.28	c bounds - >= -193789 @ 2.84565
386.30/387.28	c bounds - >= -193533 @ 2.85091
386.30/387.28	c bounds - >= -193277 @ 2.85445
386.30/387.28	c bounds - >= -193021 @ 2.86036
386.30/387.28	c bounds - >= -192765 @ 2.86914
386.30/387.28	c bounds - >= -192509 @ 2.87651
386.30/387.28	c bounds - >= -192253 @ 2.88471
386.30/387.28	c bounds - >= -191997 @ 2.88952
386.30/387.28	c bounds - >= -191741 @ 2.89501
386.30/387.28	c bounds - >= -191485 @ 2.90009
386.30/387.28	c bounds - >= -191229 @ 2.90568
386.30/387.28	c bounds - >= -190973 @ 2.91161
386.30/387.28	c bounds - >= -190717 @ 2.91581
386.30/387.28	c bounds - >= -190461 @ 2.91862
386.30/387.28	c bounds - >= -190205 @ 2.92337
386.30/387.28	c bounds - >= -189949 @ 2.92875
386.30/387.28	c bounds - >= -189693 @ 2.93315
386.30/387.28	c bounds - >= -189437 @ 2.94103
386.30/387.28	c bounds - >= -189181 @ 2.94906
386.30/387.28	c bounds - >= -188925 @ 2.95643
386.30/387.28	c bounds - >= -188669 @ 2.9667
386.30/387.28	c bounds - >= -188413 @ 3.09211
386.30/387.28	c bounds - >= -188157 @ 3.11401
386.30/387.28	c bounds - >= -187901 @ 3.13534
386.30/387.28	c bounds - >= -187645 @ 3.14808
386.30/387.28	c bounds - >= -187389 @ 3.17127
386.30/387.28	c bounds - >= -187133 @ 3.25779
386.30/387.28	c bounds - >= -186877 @ 3.26769
386.30/387.28	c bounds - >= -186621 @ 3.2886
386.30/387.28	c bounds - >= -186365 @ 3.30206
386.30/387.28	c bounds - >= -186109 @ 3.31453
386.30/387.28	c bounds - >= -185853 @ 3.53423
386.30/387.28	c bounds - >= -185597 @ 3.55033
386.30/387.28	c bounds - >= -185341 @ 3.57872
386.30/387.28	c bounds - >= -185085 @ 3.59157
386.30/387.28	c #Conflicts:       1000 | #Constraints:      42798
386.30/387.28	c bounds - >= -184829 @ 3.61436
386.30/387.28	c bounds - >= -184573 @ 3.81893
386.30/387.28	c bounds - >= -184317 @ 3.83815
386.30/387.28	c bounds - >= -184061 @ 3.84664
386.30/387.28	c bounds - >= -183805 @ 3.85283
386.30/387.28	c bounds - >= -183549 @ 3.87641
386.30/387.28	c bounds - >= -183293 @ 3.88716
386.30/387.28	c bounds - >= -183037 @ 3.9069
386.30/387.28	c bounds - >= -182781 @ 3.92458
386.30/387.28	c bounds - >= -182525 @ 4.51676
386.30/387.28	c bounds - >= -182269 @ 4.63285
386.30/387.28	c bounds - >= -182013 @ 4.64353
386.30/387.28	c bounds - >= -181757 @ 4.69387
386.30/387.28	c bounds - >= -181501 @ 4.70172
386.30/387.28	c bounds - >= -180514 @ 4.7141
386.30/387.28	c bounds - >= -180258 @ 4.72001
386.30/387.28	c bounds - >= -180002 @ 4.73506
386.30/387.28	c bounds - >= -179746 @ 4.95543
386.30/387.28	c bounds - >= -179490 @ 5.23365
386.30/387.28	c bounds - >= -179234 @ 5.6309
386.30/387.28	c bounds - >= -178978 @ 5.78535
386.30/387.28	c #Conflicts:       2000 | #Constraints:      43820
386.30/387.28	c INPROCESSING
386.30/387.28	c GARBAGE COLLECT
386.30/387.28	c bounds - >= -178722 @ 6.50856
386.30/387.28	c #Conflicts:       3000 | #Constraints:      39490
386.30/387.28	c #Conflicts:       4000 | #Constraints:      40490
386.30/387.28	c INPROCESSING
386.30/387.28	c GARBAGE COLLECT
386.30/387.28	c bounds - >= -178466 @ 8.10886
386.30/387.28	c bounds - >= -177586 @ 8.67429
386.30/387.28	c bounds - >= -177330 @ 8.76428
386.30/387.28	c bounds - >= -177074 @ 8.84464
386.30/387.28	c bounds - >= -176818 @ 8.95089
386.30/387.28	c bounds - >= -176562 @ 9.05149
386.30/387.28	c #Conflicts:       5000 | #Constraints:      39930
386.30/387.28	c bounds - >= -176306 @ 9.15436
386.30/387.28	c #Conflicts:       6000 | #Constraints:      40931
386.30/387.28	c INPROCESSING
386.30/387.28	c GARBAGE COLLECT
386.30/387.28	c #Conflicts:       7000 | #Constraints:      39393
386.30/387.28	c #Conflicts:       8000 | #Constraints:      40393
386.30/387.28	c #Conflicts:       9000 | #Constraints:      41393
386.30/387.28	c INPROCESSING
386.30/387.28	c GARBAGE COLLECT
386.30/387.28	c #Conflicts:      10000 | #Constraints:      39563
386.30/387.28	c #Conflicts:      11000 | #Constraints:      40563
386.30/387.28	c #Conflicts:      12000 | #Constraints:      41563
386.30/387.28	c INPROCESSING
386.30/387.28	c GARBAGE COLLECT
386.30/387.28	c #Conflicts:      13000 | #Constraints:      40041
386.30/387.28	c #Conflicts:      14000 | #Constraints:      41041
386.30/387.28	c #Conflicts:      15000 | #Constraints:      42041
386.30/387.28	c INPROCESSING
386.30/387.28	c GARBAGE COLLECT
386.30/387.28	c #Conflicts:      16000 | #Constraints:      40289
386.30/387.28	c #Conflicts:      17000 | #Constraints:      41289
386.30/387.28	c #Conflicts:      18000 | #Constraints:      42289
386.30/387.28	c INPROCESSING
386.30/387.28	c GARBAGE COLLECT
386.30/387.28	c #Conflicts:      19000 | #Constraints:      40307
386.30/387.28	c #Conflicts:      20000 | #Constraints:      41307
386.30/387.28	c #Conflicts:      21000 | #Constraints:      42307
386.30/387.28	c INPROCESSING
386.30/387.28	c GARBAGE COLLECT
386.30/387.28	c #Conflicts:      22000 | #Constraints:      39699
386.30/387.28	c #Conflicts:      23000 | #Constraints:      40699
386.30/387.28	c #Conflicts:      24000 | #Constraints:      41699
386.30/387.28	c #Conflicts:      25000 | #Constraints:      42699
386.30/387.28	c INPROCESSING
386.30/387.28	c GARBAGE COLLECT
386.30/387.28	c #Conflicts:      26000 | #Constraints:      40320
386.30/387.28	c #Conflicts:      27000 | #Constraints:      41320
386.30/387.28	c #Conflicts:      28000 | #Constraints:      42320
386.30/387.28	c #Conflicts:      29000 | #Constraints:      43320
1958.55/1963.22	c INPROCESSING
1958.55/1963.22	c GARBAGE COLLECT
1958.55/1963.22	c #Conflicts:      30000 | #Constraints:      40768
1958.55/1963.22	c #Conflicts:      31000 | #Constraints:      41768
1958.55/1963.22	c #Conflicts:      32000 | #Constraints:      42768
1958.55/1963.22	c #Conflicts:      33000 | #Constraints:      43768
1958.55/1963.22	c INPROCESSING
1958.55/1963.22	c GARBAGE COLLECT
1958.55/1963.22	c #Conflicts:      34000 | #Constraints:      40991
1958.55/1963.22	c #Conflicts:      35000 | #Constraints:      41991
1958.55/1963.22	c #Conflicts:      36000 | #Constraints:      42991
1958.55/1963.22	c #Conflicts:      37000 | #Constraints:      43991
1958.55/1963.22	c INPROCESSING
1958.55/1963.22	c GARBAGE COLLECT
1958.55/1963.22	c #Conflicts:      38000 | #Constraints:      40970
1958.55/1963.22	c #Conflicts:      39000 | #Constraints:      41970
1958.55/1963.22	c #Conflicts:      40000 | #Constraints:      42970
1958.55/1963.22	c #Conflicts:      41000 | #Constraints:      43970
1958.55/1963.22	c INPROCESSING
1958.55/1963.22	c GARBAGE COLLECT
1958.55/1963.22	c #Conflicts:      42000 | #Constraints:      40814
1958.55/1963.22	c #Conflicts:      43000 | #Constraints:      41814
1958.55/1963.22	c #Conflicts:      44000 | #Constraints:      42814
1958.55/1963.22	c #Conflicts:      45000 | #Constraints:      43814
1958.55/1963.22	c #Conflicts:      46000 | #Constraints:      44814
1958.55/1963.22	c INPROCESSING
1958.55/1963.22	c GARBAGE COLLECT
1958.55/1963.22	c #Conflicts:      47000 | #Constraints:      41425
1958.55/1963.22	c #Conflicts:      48000 | #Constraints:      42425
1958.55/1963.22	c #Conflicts:      49000 | #Constraints:      43425
1958.55/1963.22	c #Conflicts:      50000 | #Constraints:      44425
1958.55/1963.22	c #Conflicts:      51000 | #Constraints:      45425
1958.55/1963.22	c INPROCESSING
1958.55/1963.22	c GARBAGE COLLECT
1958.55/1963.22	c #Conflicts:      52000 | #Constraints:      41803
1958.55/1963.22	c #Conflicts:      53000 | #Constraints:      42803
1958.55/1963.22	c #Conflicts:      54000 | #Constraints:      43803
1958.55/1963.22	c #Conflicts:      55000 | #Constraints:      44803
1958.55/1963.22	c #Conflicts:      56000 | #Constraints:      45803
1958.55/1963.22	c INPROCESSING
1958.55/1963.22	c GARBAGE COLLECT
1958.55/1963.22	c #Conflicts:      57000 | #Constraints:      42001
1958.55/1963.22	c #Conflicts:      58000 | #Constraints:      43001
1958.55/1963.22	c #Conflicts:      59000 | #Constraints:      44001
1958.55/1963.22	c #Conflicts:      60000 | #Constraints:      45001
1958.55/1963.22	c #Conflicts:      61000 | #Constraints:      46001
1958.55/1963.22	c INPROCESSING
1958.55/1963.22	c GARBAGE COLLECT
1958.55/1963.22	c #Conflicts:      62000 | #Constraints:      42007
1958.55/1963.22	c #Conflicts:      63000 | #Constraints:      43007
1958.55/1963.22	c #Conflicts:      64000 | #Constraints:      44007
1958.55/1963.22	c #Conflicts:      65000 | #Constraints:      45007
1958.55/1963.22	c #Conflicts:      66000 | #Constraints:      46007
1958.55/1963.22	c INPROCESSING
1958.55/1963.22	c GARBAGE COLLECT
1958.55/1963.22	c #Conflicts:      67000 | #Constraints:      41791
1958.55/1963.22	c #Conflicts:      68000 | #Constraints:      42791
1958.55/1963.22	c #Conflicts:      69000 | #Constraints:      43791
1958.55/1963.22	c #Conflicts:      70000 | #Constraints:      44791
1958.55/1963.22	c #Conflicts:      71000 | #Constraints:      45791
1958.55/1963.22	c #Conflicts:      72000 | #Constraints:      46791
1958.55/1963.22	c INPROCESSING
1958.55/1963.22	c GARBAGE COLLECT
1958.55/1963.22	c #Conflicts:      73000 | #Constraints:      42434
1958.55/1963.22	c #Conflicts:      74000 | #Constraints:      43434
1958.55/1963.22	c #Conflicts:      75000 | #Constraints:      44434
1958.55/1963.22	c #Conflicts:      76000 | #Constraints:      45434
1958.55/1963.22	c #Conflicts:      77000 | #Constraints:      46434
1958.55/1963.22	c #Conflicts:      78000 | #Constraints:      47434
1958.55/1963.22	c INPROCESSING
1958.55/1963.22	c GARBAGE COLLECT
1958.55/1963.22	c #Conflicts:      79000 | #Constraints:      42833
1958.55/1963.22	c #Conflicts:      80000 | #Constraints:      43833
1958.55/1963.22	c #Conflicts:      81000 | #Constraints:      44833
1958.55/1963.22	c #Conflicts:      82000 | #Constraints:      45833
1958.55/1963.22	c #Conflicts:      83000 | #Constraints:      46833
1958.55/1963.22	c #Conflicts:      84000 | #Constraints:      47833
1958.55/1963.22	c INPROCESSING
1958.55/1963.22	c GARBAGE COLLECT
1958.55/1963.22	c #Conflicts:      85000 | #Constraints:      43024
1958.55/1963.22	c #Conflicts:      86000 | #Constraints:      44024
1958.55/1963.22	c #Conflicts:      87000 | #Constraints:      45024
1958.55/1963.22	c #Conflicts:      88000 | #Constraints:      46024
1958.55/1963.22	c #Conflicts:      89000 | #Constraints:      47024
1958.55/1963.22	c #Conflicts:      90000 | #Constraints:      48024
1958.55/1963.22	c INPROCESSING
1958.55/1963.22	c GARBAGE COLLECT
1958.55/1963.22	c #Conflicts:      91000 | #Constraints:      43030
1958.55/1963.22	c #Conflicts:      92000 | #Constraints:      44030
1958.55/1963.22	c #Conflicts:      93000 | #Constraints:      45030
1958.55/1963.22	c #Conflicts:      94000 | #Constraints:      46030
1958.55/1963.22	c #Conflicts:      95000 | #Constraints:      47030
1958.55/1963.22	c #Conflicts:      96000 | #Constraints:      48030
1958.55/1963.22	c INPROCESSING
1958.55/1963.22	c GARBAGE COLLECT
1958.55/1963.22	c #Conflicts:      97000 | #Constraints:      42836
1958.55/1963.22	c #Conflicts:      98000 | #Constraints:      43836
1958.55/1963.22	c #Conflicts:      99000 | #Constraints:      44836
3600.55/3609.08	c #Conflicts:     100000 | #Constraints:      45836
3600.55/3609.08	c #Conflicts:     101000 | #Constraints:      46836
3600.55/3609.08	c #Conflicts:     102000 | #Constraints:      47836
3600.55/3609.08	c #Conflicts:     103000 | #Constraints:      48836
3600.55/3609.08	c INPROCESSING
3600.55/3609.08	c GARBAGE COLLECT
3600.55/3609.08	c #Conflicts:     104000 | #Constraints:      43452
3600.55/3609.08	c #Conflicts:     105000 | #Constraints:      44452
3600.55/3609.08	c #Conflicts:     106000 | #Constraints:      45452
3600.55/3609.08	c #Conflicts:     107000 | #Constraints:      46452
3600.55/3609.08	c #Conflicts:     108000 | #Constraints:      47452
3600.55/3609.08	c #Conflicts:     109000 | #Constraints:      48452
3600.55/3609.08	c #Conflicts:     110000 | #Constraints:      49452
3600.55/3609.08	c INPROCESSING
3600.55/3609.08	c GARBAGE COLLECT
3600.55/3609.08	c #Conflicts:     111000 | #Constraints:      43858
3600.55/3609.08	c #Conflicts:     112000 | #Constraints:      44858
3600.55/3609.08	c #Conflicts:     113000 | #Constraints:      45858
3600.55/3609.08	c #Conflicts:     114000 | #Constraints:      46858
3600.55/3609.08	c #Conflicts:     115000 | #Constraints:      47858
3600.55/3609.08	c #Conflicts:     116000 | #Constraints:      48858
3600.55/3609.08	c #Conflicts:     117000 | #Constraints:      49858
3600.55/3609.08	c INPROCESSING
3600.55/3609.08	c GARBAGE COLLECT
3600.55/3609.08	c #Conflicts:     118000 | #Constraints:      44074
3600.55/3609.08	c #Conflicts:     119000 | #Constraints:      45074
3600.55/3609.08	c #Conflicts:     120000 | #Constraints:      46074
3600.55/3609.08	c #Conflicts:     121000 | #Constraints:      47074
3600.55/3609.08	c #Conflicts:     122000 | #Constraints:      48074
3600.55/3609.08	c #Conflicts:     123000 | #Constraints:      49074
3600.55/3609.08	c #Conflicts:     124000 | #Constraints:      50074
3600.55/3609.08	c INPROCESSING
3600.55/3609.08	c GARBAGE COLLECT
3600.55/3609.08	c #Conflicts:     125000 | #Constraints:      44071
3600.55/3609.08	c #Conflicts:     126000 | #Constraints:      45071
3600.55/3609.08	c #Conflicts:     127000 | #Constraints:      46071
3600.55/3609.08	c #Conflicts:     128000 | #Constraints:      47071
3600.55/3609.08	c #Conflicts:     129000 | #Constraints:      48071
3600.55/3609.08	c #Conflicts:     130000 | #Constraints:      49071
3600.55/3609.08	c #Conflicts:     131000 | #Constraints:      50071
3600.55/3609.08	c INPROCESSING
3600.55/3609.08	c GARBAGE COLLECT
3600.55/3609.08	c #Conflicts:     132000 | #Constraints:      43890
3600.55/3609.08	c #Conflicts:     133000 | #Constraints:      44890
3600.55/3609.08	c #Conflicts:     134000 | #Constraints:      45890
3600.55/3609.08	c #Conflicts:     135000 | #Constraints:      46890
3600.55/3609.08	c #Conflicts:     136000 | #Constraints:      47890
3600.55/3609.08	c #Conflicts:     137000 | #Constraints:      48890
3600.55/3609.08	c #Conflicts:     138000 | #Constraints:      49890
3600.55/3609.08	c #Conflicts:     139000 | #Constraints:      50890
3600.55/3609.08	c INPROCESSING
3600.55/3609.08	c GARBAGE COLLECT
3600.55/3609.08	c #Conflicts:     140000 | #Constraints:      44453
3600.55/3609.08	c #Conflicts:     141000 | #Constraints:      45453
3600.55/3609.08	c #Conflicts:     142000 | #Constraints:      46453
3600.55/3609.08	c #Conflicts:     143000 | #Constraints:      47453
3600.55/3609.08	c #Conflicts:     144000 | #Constraints:      48453
3600.55/3609.08	c #Conflicts:     145000 | #Constraints:      49453
3600.55/3609.08	c bounds - >= -175078 @ 3515.83
3600.55/3609.08	c #Conflicts:     146000 | #Constraints:      50454
3600.55/3609.08	c #Conflicts:     147000 | #Constraints:      51454
3600.55/3609.08	c INPROCESSING
3600.55/3609.08	c GARBAGE COLLECT
3600.55/3609.08	c #Conflicts:     148000 | #Constraints:      44891
3600.55/3609.08	c Program interrupted by user.
3600.55/3609.08	c cpu time 3587.69 s
3600.55/3609.08	c deterministic time 53971728222 5.40e+10
3600.55/3609.08	c optimization time 36.36 s
3600.55/3609.08	c total solve time 3551.2 s
3600.55/3609.08	c core-guided solve time 3551.2 s
3600.55/3609.08	c propagation time 535.197 s
3600.55/3609.08	c conflict analysis time 2917.13 s
3600.55/3609.08	c propagations 1287894931
3600.55/3609.08	c resolve steps 8154420
3600.55/3609.08	c decisions 15668330
3600.55/3609.08	c conflicts 148072
3600.55/3609.08	c restarts 387
3600.55/3609.08	c inprocessing phases 30
3600.55/3609.08	c input clauses 41194
3600.55/3609.08	c input cardinalities 553
3600.55/3609.08	c input general constraints 75
3600.55/3609.08	c input average constraint length 57.32
3600.55/3609.08	c input average constraint degree 6333.95
3600.55/3609.08	c learned clauses 63560
3600.55/3609.08	c learned cardinalities 5543
3600.55/3609.08	c learned general constraints 78976
3600.55/3609.08	c learned average constraint length 7204.29
3600.55/3609.08	c learned average constraint degree 5588654.07
3600.55/3609.08	c watched constraints 33938
3600.55/3609.08	c counting constraints 45113
3600.55/3609.08	c gcd simplifications 888
3600.55/3609.08	c detected cardinalities 209
3600.55/3609.08	c weakened non-implied lits 1722377846
3600.55/3609.08	c weakened non-implying lits 28761
3600.55/3609.08	c original variables 40451
3600.55/3609.08	c clausal propagations 320807339
3600.55/3609.08	c cardinality propagations 33537371
3600.55/3609.08	c watched propagations 5942265
3600.55/3609.08	c counting propagations 890952993
3600.55/3609.08	c watch lookups 3878230620
3600.55/3609.08	c watch backjump lookups 3489017885
3600.55/3609.08	c watch checks 6612851984
3600.55/3609.08	c propagation checks 32756730160
3600.55/3609.08	c constraint additions 4627643279
3600.55/3609.08	c trail pops 1303691032
3600.55/3609.08	c formula constraints 40949
3600.55/3609.08	c learned constraints 148079
3600.55/3609.08	c bound constraints 74
3600.55/3609.08	c core-guided constraints 799
3600.55/3609.08	c encountered formula constraints 7339582
3600.55/3609.08	c encountered learned constraints 934636
3600.55/3609.08	c encountered bound constraints 0
3600.55/3609.08	c encountered core-guided constraints 28459
3600.55/3609.08	c LP total time 0 s
3600.55/3609.08	c LP solve time 0 s
3600.55/3609.08	c LP constraints added 0
3600.55/3609.08	c LP constraints removed 0
3600.55/3609.08	c LP pivots internal 0
3600.55/3609.08	c LP pivots root 0
3600.55/3609.08	c LP calls 0
3600.55/3609.08	c LP optimalities 0
3600.55/3609.08	c LP no pivot count 0
3600.55/3609.08	c LP infeasibilities 0
3600.55/3609.08	c LP valid Farkas constraints 0
3600.55/3609.08	c LP learned Farkas constraints 0
3600.55/3609.08	c LP basis resets 0
3600.55/3609.08	c LP cycling count 0
3600.55/3609.08	c LP singular count 0
3600.55/3609.08	c LP no primal count 0
3600.55/3609.08	c LP no farkas count 0
3600.55/3609.08	c LP other issue count 0
3600.55/3609.08	c LP Gomory cuts 0
3600.55/3609.08	c LP learned cuts 0
3600.55/3609.08	c LP deleted cuts 0
3600.55/3609.08	c LP encountered Gomory constraints 0
3600.55/3609.08	c LP encountered Farkas constraints 0
3600.55/3609.08	c LP encountered learned Farkas constraints 0
3600.55/3609.08	c CG auxiliary variables introduced 614
3600.55/3609.08	c CG solutions found 0
3600.55/3609.08	c CG cores constructed 74
3600.55/3609.08	c CG core cardinality constraints returned 0
3600.55/3609.08	c CG unit cores 2
3600.55/3609.08	c CG single cores 72
3600.55/3609.08	c CG blocks removed during cardinality reduction 0
3600.55/3609.08	c CG first core best 0
3600.55/3609.08	c CG decision core best 0
3600.55/3609.08	c CG core reduction tie 0
3600.55/3609.08	c CG core degree average 1.00
3600.55/3609.08	c CG core slack average 7.24
3600.55/3609.08	c CG exhausted 0
3600.55/3609.08	c CG exhaust time 0 s
3600.55/3609.08	c CG trimmed 2
3600.55/3609.08	c CG trim time 0.050858 s
3600.55/3609.08	c CG minimized 0
3600.55/3609.08	c CG minimize time 0 s
3600.55/3609.08	c CG am1 prop time 0.373089 s
3600.55/3609.08	c CG # am1s reformulated 614
3600.55/3609.08	c CG lower bound derived from am1s 3909248
3600.55/3609.08	c CG # clausal cores 69
3600.55/3609.08	c CG # cardinality cores 0
3600.55/3609.08	c CG # pb cores 3
3600.55/3609.08	c CG # pb reforms 0
3600.55/3609.08	c CG # cores discarded because of pb reform 0
3600.55/3609.08	d LOWERBOUND -175078
3600.55/3609.08	d NCORES 74
3600.55/3609.08	d NPBCORES 3
3600.55/3609.08	d NPBREFORM 0
3600.55/3609.08	d NTRIMMED 2
3600.55/3609.08	d NEXHAUSTED 0
3600.55/3609.08	d NAM1S 614
3600.55/3609.08	d AM1LB 3909248
3600.55/3609.09	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: 63968 MiB (59182 MiB free)
  memory of node 1: 64473 MiB (62733 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454221-1721476085/watcher-4454221-1721476085 -o /tmp/evaluation-result-4454221-1721476085/solver-4454221-1721476085 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721472488-1064390 --watchdog 3760 pb-oll-rs HOME/instance-4454221-1721476085.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1066429, runsolver pid=1066426

[startup+0.100567 s]*
/proc/loadavg: 4.27 4.17 4.09 6/254 1066430
/proc/meminfo: memFree=124828560/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=49856 memory=18496 CPUtime=0.09 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 4241 0 0 0 7 2 0 0 20 0 1 0 199774705 51052544 4624 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 12464 4624 1168 291 0 3998 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 49856 KiB
Current children cumulated memory: 18496 KiB

[startup+0.20551 s]*
/proc/loadavg: 4.27 4.17 4.09 5/254 1066430
/proc/meminfo: memFree=124819312/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=59256 memory=28448 CPUtime=0.2 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 6940 0 0 0 16 4 0 0 20 0 1 0 199774705 60678144 7112 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 14814 7112 1295 291 0 6348 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 59256 KiB
Current children cumulated memory: 28448 KiB

[startup+0.305377 s]*
/proc/loadavg: 4.27 4.17 4.09 5/254 1066430
/proc/meminfo: memFree=124806104/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=73156 memory=42176 CPUtime=0.29 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 10395 0 0 0 25 4 0 0 20 0 1 0 199774705 74911744 10544 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 18289 10544 1295 291 0 9823 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 73156 KiB
Current children cumulated memory: 42176 KiB

[startup+0.70024 s]
/proc/loadavg: 4.27 4.17 4.09 5/254 1066430
/proc/meminfo: memFree=124778476/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=123532 memory=92600 CPUtime=0.69 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 22998 0 0 0 62 7 0 0 20 0 1 0 199774705 126496768 23150 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 30883 23150 1295 291 0 22417 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 123532 KiB
Current children cumulated memory: 92600 KiB

[startup+1.50023 s]
/proc/loadavg: 4.27 4.17 4.09 5/254 1066430
/proc/meminfo: memFree=124719344/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=214760 memory=183944 CPUtime=1.49 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 45802 0 0 0 138 11 0 0 20 0 1 0 199774705 219914240 45986 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 53690 45986 1295 291 0 45224 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 214760 KiB
Current children cumulated memory: 183944 KiB

[startup+3.10533 s]
/proc/loadavg: 4.25 4.17 4.09 5/254 1066430
/proc/meminfo: memFree=124536736/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=354996 memory=319256 CPUtime=3.09 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 80200 0 0 0 291 18 0 0 20 0 1 0 199774705 363515904 79814 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 88749 79814 1374 291 0 80283 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 354996 KiB
Current children cumulated memory: 319256 KiB

[startup+6.30022 s]
/proc/loadavg: 4.25 4.17 4.09 5/252 1066444
/proc/meminfo: memFree=125460852/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=416312 memory=381692 CPUtime=6.27 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 92169 0 0 0 604 23 0 0 20 0 1 0 199774705 426303488 95423 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 104078 95423 1435 291 0 95612 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 416312 KiB
Current children cumulated memory: 381692 KiB

[startup+12.7002 s]
/proc/loadavg: 4.22 4.17 4.09 5/254 1066478
/proc/meminfo: memFree=125336848/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=417408 memory=382964 CPUtime=12.66 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 92466 0 0 0 1231 35 0 0 20 0 1 0 199774705 427425792 95741 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 104352 95741 1435 291 0 95886 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 417408 KiB
Current children cumulated memory: 382964 KiB

[startup+25.5002 s]
/proc/loadavg: 4.26 4.17 4.09 5/254 1066479
/proc/meminfo: memFree=125244556/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=469152 memory=423836 CPUtime=25.43 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 101221 0 0 0 2485 58 0 0 20 0 1 0 199774705 480411648 105959 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 117288 105959 1435 291 0 108822 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 469152 KiB
Current children cumulated memory: 423836 KiB

[startup+51.1054 s]
/proc/loadavg: 4.17 4.16 4.09 5/254 1066484
/proc/meminfo: memFree=124992092/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=652764 memory=587356 CPUtime=50.97 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 128268 0 0 0 4977 120 0 0 20 0 1 0 199774705 668430336 146839 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 163191 146839 1435 291 0 154725 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 652764 KiB
Current children cumulated memory: 587356 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.15 4.09 5/254 1066492
/proc/meminfo: memFree=124547980/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=805996 memory=739072 CPUtime=102.05 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 146833 0 0 0 10011 194 0 0 20 0 1 0 199774705 825339904 184768 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 201499 184768 1435 291 0 193033 0
Current children cumulated CPU time: 102.05 s
Current children cumulated vsize: 805996 KiB
Current children cumulated memory: 739072 KiB

[startup+162.3 s]
/proc/loadavg: 4.16 4.15 4.09 5/256 1066507
/proc/meminfo: memFree=124291492/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=935352 memory=856028 CPUtime=161.92 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 171602 0 0 0 15958 234 0 0 20 0 1 0 199774705 957800448 214007 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 233838 214007 1435 291 0 225372 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 935352 KiB
Current children cumulated memory: 856028 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 4.12 4.09 5/256 1066517
/proc/meminfo: memFree=124178432/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1100192 memory=955452 CPUtime=221.78 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 182277 0 0 0 21915 263 0 0 20 0 1 0 199774705 1126596608 238863 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 275048 238863 1435 291 0 266582 0
Current children cumulated CPU time: 221.78 s
Current children cumulated vsize: 1100192 KiB
Current children cumulated memory: 955452 KiB

[startup+282.3 s]
/proc/loadavg: 4.06 4.11 4.09 5/257 1066528
/proc/meminfo: memFree=124067176/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1141400 memory=1040932 CPUtime=281.64 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 194505 0 0 0 27870 294 0 0 20 0 1 0 199774705 1168793600 260233 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 285350 260233 1435 291 0 276884 0
Current children cumulated CPU time: 281.64 s
Current children cumulated vsize: 1141400 KiB
Current children cumulated memory: 1040932 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/257 1066540
/proc/meminfo: memFree=123904916/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1406888 memory=1192892 CPUtime=341.5 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 210561 0 0 0 33810 340 0 0 20 0 1 0 199774705 1440653312 298223 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 351722 298223 1435 291 0 343256 0
Current children cumulated CPU time: 341.5 s
Current children cumulated vsize: 1406888 KiB
Current children cumulated memory: 1192892 KiB

[startup+402.3 s]
/proc/loadavg: 4.15 4.13 4.09 5/257 1066551
/proc/meminfo: memFree=123819536/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1410632 memory=1243792 CPUtime=401.37 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 212639 0 0 0 39754 383 0 0 20 0 1 0 199774705 1444487168 310948 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 352658 310948 1435 291 0 344192 0
Current children cumulated CPU time: 401.37 s
Current children cumulated vsize: 1410632 KiB
Current children cumulated memory: 1243792 KiB

[startup+462.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/257 1066945
/proc/meminfo: memFree=123584472/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1417092 memory=1250272 CPUtime=461.23 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 214418 0 0 0 45670 453 0 0 20 0 1 0 199774705 1451102208 312568 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 354273 312568 1435 291 0 345807 0

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

Current children cumulated memory: 1668188 KiB

[startup+2982.3 s]
/proc/loadavg: 4.28 4.22 4.13 5/255 1068288
/proc/meminfo: memFree=121422884/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1753576 memory=1668188 CPUtime=2975.2 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 285850 0 0 0 296300 1220 0 0 20 0 1 0 199774705 1795661824 417047 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 438394 417047 1435 291 0 429928 0
Current children cumulated CPU time: 2975.2 s
Current children cumulated vsize: 1753576 KiB
Current children cumulated memory: 1668188 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.19 4.13 5/254 1068757
/proc/meminfo: memFree=122340520/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1753964 memory=1668576 CPUtime=3035.07 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 286608 0 0 0 302277 1230 0 0 20 0 1 0 199774705 1796059136 417144 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 438491 417144 1435 291 0 430025 0
Current children cumulated CPU time: 3035.07 s
Current children cumulated vsize: 1753964 KiB
Current children cumulated memory: 1668576 KiB

[startup+3102.3 s]
/proc/loadavg: 4.11 4.17 4.12 5/254 1068767
/proc/meminfo: memFree=122283280/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1753964 memory=1668576 CPUtime=3094.95 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 287385 0 0 0 308249 1246 0 0 20 0 1 0 199774705 1796059136 417144 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 438491 417144 1435 291 0 430025 0
Current children cumulated CPU time: 3094.95 s
Current children cumulated vsize: 1753964 KiB
Current children cumulated memory: 1668576 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.15 4.12 5/258 1068784
/proc/meminfo: memFree=122248628/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1753964 memory=1668576 CPUtime=3154.82 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 288093 0 0 0 314219 1263 0 0 20 0 1 0 199774705 1796059136 417144 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 438491 417144 1435 291 0 430025 0
Current children cumulated CPU time: 3154.82 s
Current children cumulated vsize: 1753964 KiB
Current children cumulated memory: 1668576 KiB

[startup+3222.3 s]
/proc/loadavg: 4.14 4.15 4.12 5/258 1068794
/proc/meminfo: memFree=122219672/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1753964 memory=1668576 CPUtime=3214.68 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 288820 0 0 0 320202 1266 0 0 20 0 1 0 199774705 1796059136 417144 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 438491 417144 1435 291 0 430025 0
Current children cumulated CPU time: 3214.68 s
Current children cumulated vsize: 1753964 KiB
Current children cumulated memory: 1668576 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.14 4.11 5/258 1068804
/proc/meminfo: memFree=122077428/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1753964 memory=1668576 CPUtime=3274.55 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 289595 0 0 0 326186 1269 0 0 20 0 1 0 199774705 1796059136 417144 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 438491 417144 1435 291 0 430025 0
Current children cumulated CPU time: 3274.55 s
Current children cumulated vsize: 1753964 KiB
Current children cumulated memory: 1668576 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/258 1068815
/proc/meminfo: memFree=121837068/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1753964 memory=1668576 CPUtime=3334.42 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 290199 0 0 0 332169 1273 0 0 20 0 1 0 199774705 1796059136 417144 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 438491 417144 1435 291 0 430025 0
Current children cumulated CPU time: 3334.42 s
Current children cumulated vsize: 1753964 KiB
Current children cumulated memory: 1668576 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.14 4.11 5/258 1068827
/proc/meminfo: memFree=121818872/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1753964 memory=1668576 CPUtime=3394.29 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 290856 0 0 0 338154 1275 0 0 20 0 1 0 199774705 1796059136 417144 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 438491 417144 1435 291 0 430025 0
Current children cumulated CPU time: 3394.29 s
Current children cumulated vsize: 1753964 KiB
Current children cumulated memory: 1668576 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.15 4.11 5/255 1068837
/proc/meminfo: memFree=121808164/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1753964 memory=1668576 CPUtime=3454.16 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 291565 0 0 0 344138 1278 0 0 20 0 1 0 199774705 1796059136 417144 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 438491 417144 1435 291 0 430025 0
Current children cumulated CPU time: 3454.16 s
Current children cumulated vsize: 1753964 KiB
Current children cumulated memory: 1668576 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/254 1068848
/proc/meminfo: memFree=121793212/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1753964 memory=1668576 CPUtime=3514.03 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 292288 0 0 0 350124 1279 0 0 20 0 1 0 199774705 1796059136 417144 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 438491 417144 1435 291 0 430025 0
Current children cumulated CPU time: 3514.03 s
Current children cumulated vsize: 1753964 KiB
Current children cumulated memory: 1668576 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/255 1068860
/proc/meminfo: memFree=121783404/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1753964 memory=1668576 CPUtime=3573.9 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 293100 0 0 0 356100 1290 0 0 20 0 1 0 199774705 1796059136 417144 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 438491 417144 1435 291 0 430025 0
Current children cumulated CPU time: 3573.9 s
Current children cumulated vsize: 1753964 KiB
Current children cumulated memory: 1668576 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.5 s]
/proc/loadavg: 4.14 4.13 4.10 5/255 1068863
/proc/meminfo: memFree=121779380/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1753964 memory=1668576 CPUtime=3600.04 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 293475 0 0 0 358710 1294 0 0 20 0 1 0 199774705 1796059136 417144 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 438491 417144 1435 291 0 430025 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 1753964 KiB
Current children cumulated memory: 1668576 KiB

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

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

# cumulated CPU time of all completed processes:  user=3587.7 s, system=12.9482 s

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

[startup+3608.8 s]
/proc/loadavg: 4.14 4.13 4.10 5/255 1068863
/proc/meminfo: memFree=121779380/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1753964 memory=1668828 CPUtime=3600.34 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 293484 0 0 0 358740 1294 0 0 20 0 1 0 199774705 1796059136 417207 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 438491 417207 1498 291 0 430025 0
Current children cumulated CPU time: 3600.34 s
Current children cumulated vsize: 1753964 KiB
Current children cumulated memory: 1668828 KiB

[startup+3609 s]*
/proc/loadavg: 4.13 4.13 4.10 5/255 1068865
/proc/meminfo: memFree=121779388/131524600 swapFree=131071996/131071996
[pid=1066429] ppid=1066426 vsize=1753964 memory=1668828 CPUtime=3600.55 cores=1,3
/proc/1066429/stat : 1066429 (pb-oll-rs) R 1066426 1066429 1064378 0 -1 4194304 293484 0 0 0 358761 1294 0 0 20 0 1 0 199774705 1796059136 417207 134679101440 4194304 5384485 140720474448336 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 9138176 140720474457109 140720474457186 140720474457186 140720474464203 0
/proc/1066429/statm: 438491 417207 1498 291 0 430025 0
Current children cumulated CPU time: 3600.55 s
Current children cumulated vsize: 1753964 KiB
Current children cumulated memory: 1668828 KiB

Child status: 0

Real time (s): 3609.1
CPU time (s): 3600.65
CPU user time (s): 3587.7
CPU system time (s): 12.9482
CPU usage (%): 99.7659
Max. virtual memory (cumulated for all children) (KiB): 1753964
Max. memory (cumulated for all children) (KiB): 1668828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3587.7
system time used= 12.9482
maximum resident set size= 1668828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 293495
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= 62
involuntary context switches= 1299


# summary of solver processes directly reported to runsolver:
#   pid: 1066429
#   total CPU time (s): 3600.65
#   total CPU user time (s): 3587.7
#   total CPU system time (s): 12.9482

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.54008 second user time and 17.2651 second system time

The end

Launcher Data 

Begin job on nodeC026 at 2024-07-20 13:48:18
IDJOB=4454221
IDBENCH=156167
IDSOLVER=3082
FILE ID=nodeC026/4454221-1721476085
RUNJOBID= nodeC026-1721472488-1064390
SLURM_JOB_ID= 7545743
Free space on /tmp= 890052 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
BENCH NAME= PB24/normalized-PB12/OPT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null50mast_rapportOE1.0_TMAX60_K67_cod3.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454221-1721476085/watcher-4454221-1721476085 -o /tmp/evaluation-result-4454221-1721476085/solver-4454221-1721476085 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC026-1721472488-1064390 --watchdog 3760  pb-oll-rs HOME/instance-4454221-1721476085.opb

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

MD5SUM BENCH= 1839e390ed6efb0b7de52ce1d96beb02
RANDOM SEED=1962973494

nodeC026.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		: 3669.447
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.74
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		: 3664.897
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.45
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		: 3600.146
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.74
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		: 3665.698
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.45
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		: 3669.550
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.74
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		: 3668.849
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.45
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.003
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.74
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		: 3600.097
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.45
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124842900 kB
MemAvailable:   126660728 kB
Buffers:          608944 kB
Cached:          2038812 kB
SwapCached:            0 kB
Active:          1159084 kB
Inactive:        4870704 kB
Active(anon):       1556 kB
Inactive(anon):  3426416 kB
Active(file):    1157528 kB
Inactive(file):  1444288 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4668 kB
Writeback:             0 kB
AnonPages:       3375960 kB
Mapped:           111768 kB
Shmem:             45912 kB
KReclaimable:     111668 kB
Slab:             226144 kB
SReclaimable:     111668 kB
SUnreclaim:       114476 kB
KernelStack:        4128 kB
PageTables:        16428 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4094512 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            67808 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1667072 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:      283348 kB
DirectMap2M:    33044480 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC026 at 2024-07-20 14:48:27