Trace number 4458151

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-02? (TO) 3600.04 3609.91

DiagnosticValue
AM1LB0
LOWERBOUND-1.35107988821115e+16
NAM1S0
NCORES1
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED0

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/
diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_27.opb
MD5SUMf787a6cdbf9022e9105f9cdbff614d2d
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 benchmark0
Best CPU time to get the best result obtained on this benchmark3.95625
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4482
Total number of constraints6669
Number of constraints which are clauses4374
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2295
Minimum length of a constraint2
Maximum length of a constraint5
Number of terms in the objective function 108
Biggest coefficient in the objective function 9007199254740992
Number of bits for the biggest coefficient in the objective function 54
Sum of the numbers in the objective function 36028797018963966
Number of bits of the sum of numbers in the objective function 55
Biggest number in a constraint 9007199254740992
Number of bits of the biggest number in a constraint 54
Biggest sum of numbers in a constraint 36028797018963966
Number of bits of the biggest sum of numbers55
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.03	c [STEP] solving
0.00/0.03	c #variables 4482 #constraints 8964
0.00/0.03	c SMALL=long long, LARGE=int128
0.00/0.03	c bounds - >= -18014398509481983 @ 0.024898
0.00/0.03	c stratification level: 4503599627370496
105.90/106.22	c bounds - >= -13510798882111487 @ 0.024898
105.90/106.22	c #Conflicts:       1000 | #Constraints:       9965
105.90/106.22	c #Conflicts:       2000 | #Constraints:      10965
105.90/106.22	c INPROCESSING
105.90/106.22	c GARBAGE COLLECT
105.90/106.22	c #Conflicts:       3000 | #Constraints:      11013
105.90/106.22	c #Conflicts:       4000 | #Constraints:      12013
105.90/106.22	c INPROCESSING
105.90/106.22	c GARBAGE COLLECT
105.90/106.22	c #Conflicts:       5000 | #Constraints:      11472
105.90/106.22	c #Conflicts:       6000 | #Constraints:      12472
105.90/106.22	c INPROCESSING
105.90/106.22	c GARBAGE COLLECT
105.90/106.22	c #Conflicts:       7000 | #Constraints:      11522
105.90/106.22	c #Conflicts:       8000 | #Constraints:      12522
105.90/106.22	c #Conflicts:       9000 | #Constraints:      13522
105.90/106.22	c INPROCESSING
105.90/106.22	c GARBAGE COLLECT
105.90/106.22	c #Conflicts:      10000 | #Constraints:      12245
105.90/106.22	c #Conflicts:      11000 | #Constraints:      13245
105.90/106.22	c #Conflicts:      12000 | #Constraints:      14245
105.90/106.22	c INPROCESSING
105.90/106.22	c GARBAGE COLLECT
105.90/106.22	c #Conflicts:      13000 | #Constraints:      12746
105.90/106.22	c #Conflicts:      14000 | #Constraints:      13746
105.90/106.22	c #Conflicts:      15000 | #Constraints:      14746
105.90/106.22	c INPROCESSING
105.90/106.22	c GARBAGE COLLECT
105.90/106.22	c #Conflicts:      16000 | #Constraints:      12994
105.90/106.22	c #Conflicts:      17000 | #Constraints:      13994
105.90/106.22	c #Conflicts:      18000 | #Constraints:      14994
105.90/106.22	c INPROCESSING
105.90/106.22	c GARBAGE COLLECT
105.90/106.22	c #Conflicts:      19000 | #Constraints:      13063
105.90/106.22	c #Conflicts:      20000 | #Constraints:      14063
105.90/106.22	c #Conflicts:      21000 | #Constraints:      15063
105.90/106.22	c INPROCESSING
105.90/106.22	c GARBAGE COLLECT
105.90/106.22	c #Conflicts:      22000 | #Constraints:      12904
105.90/106.22	c #Conflicts:      23000 | #Constraints:      13904
105.90/106.22	c #Conflicts:      24000 | #Constraints:      14904
105.90/106.22	c #Conflicts:      25000 | #Constraints:      15904
105.90/106.22	c INPROCESSING
105.90/106.22	c GARBAGE COLLECT
105.90/106.22	c #Conflicts:      26000 | #Constraints:      13511
105.90/106.22	c #Conflicts:      27000 | #Constraints:      14511
105.90/106.22	c #Conflicts:      28000 | #Constraints:      15511
105.90/106.22	c #Conflicts:      29000 | #Constraints:      16511
105.90/106.22	c INPROCESSING
105.90/106.22	c GARBAGE COLLECT
105.90/106.22	c #Conflicts:      30000 | #Constraints:      13928
105.90/106.22	c #Conflicts:      31000 | #Constraints:      14928
105.90/106.22	c #Conflicts:      32000 | #Constraints:      15928
105.90/106.22	c #Conflicts:      33000 | #Constraints:      16928
105.90/106.22	c #Conflicts:      34000 | #Constraints:      17928
105.90/106.22	c #Conflicts:      35000 | #Constraints:      18928
105.90/106.22	c #Conflicts:      36000 | #Constraints:      19928
105.90/106.22	c #Conflicts:      37000 | #Constraints:      20928
105.90/106.22	c #Conflicts:      38000 | #Constraints:      21928
105.90/106.22	c #Conflicts:      39000 | #Constraints:      22928
105.90/106.22	c #Conflicts:      40000 | #Constraints:      23928
105.90/106.22	c #Conflicts:      41000 | #Constraints:      24928
105.90/106.22	c #Conflicts:      42000 | #Constraints:      25928
105.90/106.22	c INPROCESSING
105.90/106.22	c GARBAGE COLLECT
105.90/106.22	c #Conflicts:      43000 | #Constraints:      18264
105.90/106.22	c #Conflicts:      44000 | #Constraints:      19264
105.90/106.22	c #Conflicts:      45000 | #Constraints:      20264
105.90/106.22	c #Conflicts:      46000 | #Constraints:      21264
105.90/106.22	c #Conflicts:      47000 | #Constraints:      22264
105.90/106.22	c #Conflicts:      48000 | #Constraints:      23264
105.90/106.22	c INPROCESSING
105.90/106.22	c GARBAGE COLLECT
105.90/106.22	c #Conflicts:      49000 | #Constraints:      17367
105.90/106.22	c #Conflicts:      50000 | #Constraints:      18367
105.90/106.22	c #Conflicts:      51000 | #Constraints:      19367
105.90/106.22	c #Conflicts:      52000 | #Constraints:      20367
105.90/106.22	c #Conflicts:      53000 | #Constraints:      21367
105.90/106.22	c INPROCESSING
105.90/106.22	c GARBAGE COLLECT
105.90/106.22	c #Conflicts:      54000 | #Constraints:      16275
105.90/106.22	c #Conflicts:      55000 | #Constraints:      17275
105.90/106.22	c #Conflicts:      56000 | #Constraints:      18275
105.90/106.22	c #Conflicts:      57000 | #Constraints:      19275
105.90/106.22	c #Conflicts:      58000 | #Constraints:      20275
105.90/106.22	c INPROCESSING
105.90/106.22	c GARBAGE COLLECT
105.90/106.22	c #Conflicts:      59000 | #Constraints:      15462
105.90/106.22	c #Conflicts:      60000 | #Constraints:      16462
105.90/106.22	c #Conflicts:      61000 | #Constraints:      17462
105.90/106.22	c #Conflicts:      62000 | #Constraints:      18462
105.90/106.22	c #Conflicts:      63000 | #Constraints:      19462
105.90/106.22	c #Conflicts:      64000 | #Constraints:      20462
105.90/106.22	c #Conflicts:      65000 | #Constraints:      21462
105.90/106.22	c #Conflicts:      66000 | #Constraints:      22462
105.90/106.22	c #Conflicts:      67000 | #Constraints:      23462
105.90/106.22	c #Conflicts:      68000 | #Constraints:      24462
105.90/106.22	c #Conflicts:      69000 | #Constraints:      25462
105.90/106.22	c #Conflicts:      70000 | #Constraints:      26462
615.53/617.36	c #Conflicts:      71000 | #Constraints:      27462
615.53/617.36	c #Conflicts:      72000 | #Constraints:      28462
615.53/617.36	c #Conflicts:      73000 | #Constraints:      29462
615.53/617.36	c #Conflicts:      74000 | #Constraints:      30462
615.53/617.36	c #Conflicts:      75000 | #Constraints:      31462
615.53/617.36	c #Conflicts:      76000 | #Constraints:      32462
615.53/617.36	c #Conflicts:      77000 | #Constraints:      33462
615.53/617.36	c #Conflicts:      78000 | #Constraints:      34462
615.53/617.36	c INPROCESSING
615.53/617.36	c GARBAGE COLLECT
615.53/617.36	c #Conflicts:      79000 | #Constraints:      22993
615.53/617.36	c #Conflicts:      80000 | #Constraints:      23993
615.53/617.36	c #Conflicts:      81000 | #Constraints:      24993
615.53/617.36	c #Conflicts:      82000 | #Constraints:      25993
615.53/617.36	c #Conflicts:      83000 | #Constraints:      26993
615.53/617.36	c #Conflicts:      84000 | #Constraints:      27993
615.53/617.36	c INPROCESSING
615.53/617.36	c GARBAGE COLLECT
615.53/617.36	c #Conflicts:      85000 | #Constraints:      19330
615.53/617.36	c #Conflicts:      86000 | #Constraints:      20330
615.53/617.36	c #Conflicts:      87000 | #Constraints:      21330
615.53/617.36	c #Conflicts:      88000 | #Constraints:      22330
615.53/617.37	c #Conflicts:      89000 | #Constraints:      23330
615.53/617.37	c #Conflicts:      90000 | #Constraints:      24330
615.53/617.37	c #Conflicts:      91000 | #Constraints:      25330
615.53/617.37	c INPROCESSING
615.53/617.37	c GARBAGE COLLECT
615.53/617.37	c #Conflicts:      92000 | #Constraints:      18067
615.53/617.37	c #Conflicts:      93000 | #Constraints:      19067
615.53/617.37	c #Conflicts:      94000 | #Constraints:      20067
615.53/617.37	c #Conflicts:      95000 | #Constraints:      21067
615.53/617.37	c #Conflicts:      96000 | #Constraints:      22067
615.53/617.37	c #Conflicts:      97000 | #Constraints:      23067
615.53/617.37	c #Conflicts:      98000 | #Constraints:      24067
615.53/617.37	c #Conflicts:      99000 | #Constraints:      25067
615.53/617.37	c INPROCESSING
615.53/617.37	c GARBAGE COLLECT
615.53/617.37	c #Conflicts:     100000 | #Constraints:      18330
615.53/617.37	c #Conflicts:     101000 | #Constraints:      19330
615.53/617.37	c #Conflicts:     102000 | #Constraints:      20330
615.53/617.37	c #Conflicts:     103000 | #Constraints:      21330
615.53/617.37	c #Conflicts:     104000 | #Constraints:      22330
615.53/617.37	c #Conflicts:     105000 | #Constraints:      23330
615.53/617.37	c #Conflicts:     106000 | #Constraints:      24330
615.53/617.37	c #Conflicts:     107000 | #Constraints:      25330
615.53/617.37	c #Conflicts:     108000 | #Constraints:      26330
615.53/617.37	c #Conflicts:     109000 | #Constraints:      27330
615.53/617.37	c #Conflicts:     110000 | #Constraints:      28330
615.53/617.37	c #Conflicts:     111000 | #Constraints:      29330
615.53/617.37	c #Conflicts:     112000 | #Constraints:      30330
615.53/617.37	c #Conflicts:     113000 | #Constraints:      31330
615.53/617.37	c #Conflicts:     114000 | #Constraints:      32330
615.53/617.37	c #Conflicts:     115000 | #Constraints:      33330
615.53/617.37	c #Conflicts:     116000 | #Constraints:      34330
615.53/617.37	c #Conflicts:     117000 | #Constraints:      35330
615.53/617.37	c #Conflicts:     118000 | #Constraints:      36330
615.53/617.37	c #Conflicts:     119000 | #Constraints:      37330
615.53/617.37	c #Conflicts:     120000 | #Constraints:      38330
615.53/617.37	c #Conflicts:     121000 | #Constraints:      39330
615.53/617.37	c #Conflicts:     122000 | #Constraints:      40330
615.53/617.37	c #Conflicts:     123000 | #Constraints:      41330
615.53/617.37	c INPROCESSING
615.53/617.37	c GARBAGE COLLECT
615.53/617.37	c #Conflicts:     124000 | #Constraints:      26194
615.53/617.37	c #Conflicts:     125000 | #Constraints:      27194
615.53/617.37	c #Conflicts:     126000 | #Constraints:      28194
615.53/617.37	c #Conflicts:     127000 | #Constraints:      29194
615.53/617.37	c #Conflicts:     128000 | #Constraints:      30194
615.53/617.37	c #Conflicts:     129000 | #Constraints:      31194
615.53/617.37	c #Conflicts:     130000 | #Constraints:      32194
615.53/617.37	c #Conflicts:     131000 | #Constraints:      33194
615.53/617.37	c #Conflicts:     132000 | #Constraints:      34194
615.53/617.37	c INPROCESSING
615.53/617.37	c GARBAGE COLLECT
615.53/617.37	c #Conflicts:     133000 | #Constraints:      22912
615.53/617.37	c #Conflicts:     134000 | #Constraints:      23912
615.53/617.37	c #Conflicts:     135000 | #Constraints:      24912
615.53/617.37	c #Conflicts:     136000 | #Constraints:      25912
615.53/617.37	c #Conflicts:     137000 | #Constraints:      26912
615.53/617.37	c #Conflicts:     138000 | #Constraints:      27912
615.53/617.37	c #Conflicts:     139000 | #Constraints:      28912
615.53/617.37	c #Conflicts:     140000 | #Constraints:      29912
615.53/617.37	c INPROCESSING
615.53/617.37	c GARBAGE COLLECT
615.53/617.37	c #Conflicts:     141000 | #Constraints:      20402
615.53/617.37	c #Conflicts:     142000 | #Constraints:      21402
615.53/617.37	c #Conflicts:     143000 | #Constraints:      22402
615.53/617.37	c #Conflicts:     144000 | #Constraints:      23402
1690.49/1695.25	c #Conflicts:     145000 | #Constraints:      24402
1690.49/1695.25	c #Conflicts:     146000 | #Constraints:      25402
1690.49/1695.25	c #Conflicts:     147000 | #Constraints:      26402
1690.49/1695.25	c #Conflicts:     148000 | #Constraints:      27402
1690.49/1695.25	c #Conflicts:     149000 | #Constraints:      28402
1690.49/1695.25	c #Conflicts:     150000 | #Constraints:      29402
1690.49/1695.25	c #Conflicts:     151000 | #Constraints:      30402
1690.49/1695.25	c #Conflicts:     152000 | #Constraints:      31402
1690.49/1695.25	c #Conflicts:     153000 | #Constraints:      32402
1690.49/1695.25	c #Conflicts:     154000 | #Constraints:      33402
1690.49/1695.25	c #Conflicts:     155000 | #Constraints:      34402
1690.49/1695.25	c #Conflicts:     156000 | #Constraints:      35402
1690.49/1695.25	c #Conflicts:     157000 | #Constraints:      36402
1690.49/1695.25	c #Conflicts:     158000 | #Constraints:      37402
1690.49/1695.25	c #Conflicts:     159000 | #Constraints:      38402
1690.49/1695.25	c #Conflicts:     160000 | #Constraints:      39402
1690.49/1695.25	c #Conflicts:     161000 | #Constraints:      40402
1690.49/1695.25	c #Conflicts:     162000 | #Constraints:      41402
1690.49/1695.25	c #Conflicts:     163000 | #Constraints:      42402
1690.49/1695.25	c #Conflicts:     164000 | #Constraints:      43402
1690.49/1695.25	c #Conflicts:     165000 | #Constraints:      44402
1690.49/1695.25	c #Conflicts:     166000 | #Constraints:      45402
1690.49/1695.25	c #Conflicts:     167000 | #Constraints:      46402
1690.49/1695.25	c #Conflicts:     168000 | #Constraints:      47402
1690.49/1695.25	c #Conflicts:     169000 | #Constraints:      48402
1690.49/1695.25	c INPROCESSING
1690.49/1695.25	c GARBAGE COLLECT
1690.49/1695.25	c #Conflicts:     170000 | #Constraints:      29827
1690.49/1695.25	c #Conflicts:     171000 | #Constraints:      30827
1690.49/1695.25	c #Conflicts:     172000 | #Constraints:      31827
1690.49/1695.25	c #Conflicts:     173000 | #Constraints:      32827
1690.49/1695.25	c #Conflicts:     174000 | #Constraints:      33827
1690.49/1695.25	c #Conflicts:     175000 | #Constraints:      34827
1690.49/1695.25	c #Conflicts:     176000 | #Constraints:      35827
1690.49/1695.25	c #Conflicts:     177000 | #Constraints:      36827
1690.49/1695.25	c #Conflicts:     178000 | #Constraints:      37827
1690.49/1695.25	c #Conflicts:     179000 | #Constraints:      38827
1690.49/1695.25	c INPROCESSING
1690.49/1695.25	c GARBAGE COLLECT
1690.49/1695.25	c #Conflicts:     180000 | #Constraints:      25034
1690.49/1695.25	c #Conflicts:     181000 | #Constraints:      26034
1690.49/1695.25	c #Conflicts:     182000 | #Constraints:      27034
1690.49/1695.25	c #Conflicts:     183000 | #Constraints:      28034
1690.49/1695.25	c #Conflicts:     184000 | #Constraints:      29034
1690.49/1695.25	c #Conflicts:     185000 | #Constraints:      30034
1690.49/1695.25	c #Conflicts:     186000 | #Constraints:      31034
1690.49/1695.25	c #Conflicts:     187000 | #Constraints:      32034
1690.49/1695.25	c #Conflicts:     188000 | #Constraints:      33034
1690.49/1695.25	c #Conflicts:     189000 | #Constraints:      34034
1690.49/1695.25	c INPROCESSING
1690.49/1695.25	c GARBAGE COLLECT
1690.49/1695.25	c #Conflicts:     190000 | #Constraints:      22553
1690.49/1695.25	c #Conflicts:     191000 | #Constraints:      23553
1690.49/1695.25	c #Conflicts:     192000 | #Constraints:      24553
1690.49/1695.25	c #Conflicts:     193000 | #Constraints:      25553
1690.49/1695.25	c #Conflicts:     194000 | #Constraints:      26553
1690.49/1695.25	c #Conflicts:     195000 | #Constraints:      27553
1690.49/1695.25	c #Conflicts:     196000 | #Constraints:      28553
1690.49/1695.25	c #Conflicts:     197000 | #Constraints:      29553
1690.49/1695.25	c #Conflicts:     198000 | #Constraints:      30553
1690.49/1695.25	c #Conflicts:     199000 | #Constraints:      31553
1690.49/1695.25	c #Conflicts:     200000 | #Constraints:      32553
1690.49/1695.25	c #Conflicts:     201000 | #Constraints:      33553
1690.49/1695.25	c #Conflicts:     202000 | #Constraints:      34553
1690.49/1695.25	c #Conflicts:     203000 | #Constraints:      35553
1690.49/1695.25	c #Conflicts:     204000 | #Constraints:      36553
1690.49/1695.25	c #Conflicts:     205000 | #Constraints:      37553
1690.49/1695.25	c #Conflicts:     206000 | #Constraints:      38553
1690.49/1695.25	c #Conflicts:     207000 | #Constraints:      39553
1690.49/1695.25	c #Conflicts:     208000 | #Constraints:      40553
1690.49/1695.25	c #Conflicts:     209000 | #Constraints:      41553
1690.49/1695.25	c #Conflicts:     210000 | #Constraints:      42553
1690.49/1695.25	c #Conflicts:     211000 | #Constraints:      43553
1690.49/1695.25	c #Conflicts:     212000 | #Constraints:      44553
1690.49/1695.25	c #Conflicts:     213000 | #Constraints:      45553
1690.49/1695.25	c #Conflicts:     214000 | #Constraints:      46553
1690.49/1695.25	c #Conflicts:     215000 | #Constraints:      47553
1690.49/1695.25	c #Conflicts:     216000 | #Constraints:      48553
1690.49/1695.25	c #Conflicts:     217000 | #Constraints:      49553
1690.49/1695.25	c #Conflicts:     218000 | #Constraints:      50553
1690.49/1695.25	c #Conflicts:     219000 | #Constraints:      51553
1690.49/1695.25	c #Conflicts:     220000 | #Constraints:      52553
1690.49/1695.25	c #Conflicts:     221000 | #Constraints:      53553
3118.39/3127.04	c #Conflicts:     222000 | #Constraints:      54553
3118.39/3127.04	c INPROCESSING
3118.39/3127.04	c GARBAGE COLLECT
3118.39/3127.04	c #Conflicts:     223000 | #Constraints:      32917
3118.39/3127.04	c #Conflicts:     224000 | #Constraints:      33917
3118.39/3127.04	c #Conflicts:     225000 | #Constraints:      34917
3118.39/3127.04	c #Conflicts:     226000 | #Constraints:      35917
3118.39/3127.04	c #Conflicts:     227000 | #Constraints:      36917
3118.39/3127.04	c #Conflicts:     228000 | #Constraints:      37917
3118.39/3127.04	c #Conflicts:     229000 | #Constraints:      38917
3118.39/3127.04	c #Conflicts:     230000 | #Constraints:      39917
3118.39/3127.04	c #Conflicts:     231000 | #Constraints:      40917
3118.39/3127.04	c #Conflicts:     232000 | #Constraints:      41917
3118.39/3127.04	c #Conflicts:     233000 | #Constraints:      42917
3118.39/3127.04	c #Conflicts:     234000 | #Constraints:      43917
3118.39/3127.04	c INPROCESSING
3118.39/3127.04	c GARBAGE COLLECT
3118.39/3127.04	c #Conflicts:     235000 | #Constraints:      27820
3118.39/3127.04	c #Conflicts:     236000 | #Constraints:      28820
3118.39/3127.04	c #Conflicts:     237000 | #Constraints:      29820
3118.39/3127.04	c #Conflicts:     238000 | #Constraints:      30820
3118.39/3127.04	c #Conflicts:     239000 | #Constraints:      31820
3118.39/3127.04	c #Conflicts:     240000 | #Constraints:      32820
3118.39/3127.04	c #Conflicts:     241000 | #Constraints:      33820
3118.39/3127.04	c #Conflicts:     242000 | #Constraints:      34820
3118.39/3127.04	c #Conflicts:     243000 | #Constraints:      35820
3118.39/3127.04	c #Conflicts:     244000 | #Constraints:      36820
3118.39/3127.04	c #Conflicts:     245000 | #Constraints:      37820
3118.39/3127.04	c INPROCESSING
3118.39/3127.04	c GARBAGE COLLECT
3118.39/3127.04	c #Conflicts:     246000 | #Constraints:      24388
3118.39/3127.04	c #Conflicts:     247000 | #Constraints:      25388
3118.39/3127.04	c #Conflicts:     248000 | #Constraints:      26388
3118.39/3127.04	c #Conflicts:     249000 | #Constraints:      27388
3118.39/3127.04	c #Conflicts:     250000 | #Constraints:      28388
3118.39/3127.04	c #Conflicts:     251000 | #Constraints:      29388
3118.39/3127.04	c #Conflicts:     252000 | #Constraints:      30388
3118.39/3127.04	c #Conflicts:     253000 | #Constraints:      31388
3118.39/3127.04	c #Conflicts:     254000 | #Constraints:      32388
3118.39/3127.04	c #Conflicts:     255000 | #Constraints:      33388
3118.39/3127.04	c #Conflicts:     256000 | #Constraints:      34388
3118.39/3127.04	c #Conflicts:     257000 | #Constraints:      35388
3118.39/3127.04	c #Conflicts:     258000 | #Constraints:      36388
3118.39/3127.04	c #Conflicts:     259000 | #Constraints:      37388
3118.39/3127.04	c #Conflicts:     260000 | #Constraints:      38388
3118.39/3127.04	c #Conflicts:     261000 | #Constraints:      39388
3118.39/3127.04	c #Conflicts:     262000 | #Constraints:      40388
3118.39/3127.04	c #Conflicts:     263000 | #Constraints:      41388
3118.39/3127.04	c #Conflicts:     264000 | #Constraints:      42388
3118.39/3127.04	c #Conflicts:     265000 | #Constraints:      43388
3118.39/3127.04	c #Conflicts:     266000 | #Constraints:      44388
3118.39/3127.04	c #Conflicts:     267000 | #Constraints:      45388
3118.39/3127.04	c #Conflicts:     268000 | #Constraints:      46388
3118.39/3127.04	c #Conflicts:     269000 | #Constraints:      47388
3118.39/3127.04	c #Conflicts:     270000 | #Constraints:      48388
3118.39/3127.04	c #Conflicts:     271000 | #Constraints:      49388
3118.39/3127.04	c #Conflicts:     272000 | #Constraints:      50388
3118.39/3127.04	c #Conflicts:     273000 | #Constraints:      51388
3118.39/3127.04	c #Conflicts:     274000 | #Constraints:      52388
3118.39/3127.04	c #Conflicts:     275000 | #Constraints:      53388
3118.39/3127.04	c #Conflicts:     276000 | #Constraints:      54388
3118.39/3127.04	c #Conflicts:     277000 | #Constraints:      55388
3118.39/3127.04	c #Conflicts:     278000 | #Constraints:      56388
3118.39/3127.04	c #Conflicts:     279000 | #Constraints:      57388
3118.39/3127.04	c #Conflicts:     280000 | #Constraints:      58388
3118.39/3127.04	c #Conflicts:     281000 | #Constraints:      59388
3118.39/3127.04	c #Conflicts:     282000 | #Constraints:      60388
3118.39/3127.04	c INPROCESSING
3118.39/3127.04	c GARBAGE COLLECT
3118.39/3127.04	c #Conflicts:     283000 | #Constraints:      35655
3118.39/3127.04	c #Conflicts:     284000 | #Constraints:      36655
3118.39/3127.04	c #Conflicts:     285000 | #Constraints:      37655
3118.39/3127.04	c #Conflicts:     286000 | #Constraints:      38655
3118.39/3127.04	c #Conflicts:     287000 | #Constraints:      39655
3118.39/3127.04	c #Conflicts:     288000 | #Constraints:      40655
3118.39/3127.04	c #Conflicts:     289000 | #Constraints:      41655
3118.39/3127.04	c #Conflicts:     290000 | #Constraints:      42655
3118.39/3127.04	c #Conflicts:     291000 | #Constraints:      43655
3118.39/3127.04	c #Conflicts:     292000 | #Constraints:      44655
3118.39/3127.04	c #Conflicts:     293000 | #Constraints:      45655
3118.39/3127.04	c #Conflicts:     294000 | #Constraints:      46655
3118.39/3127.04	c #Conflicts:     295000 | #Constraints:      47655
3118.39/3127.04	c INPROCESSING
3118.39/3127.04	c GARBAGE COLLECT
3118.39/3127.04	c #Conflicts:     296000 | #Constraints:      29299
3600.02/3609.90	c #Conflicts:     297000 | #Constraints:      30299
3600.02/3609.90	c #Conflicts:     298000 | #Constraints:      31299
3600.02/3609.90	c #Conflicts:     299000 | #Constraints:      32299
3600.02/3609.90	c #Conflicts:     300000 | #Constraints:      33299
3600.02/3609.90	c #Conflicts:     301000 | #Constraints:      34299
3600.02/3609.90	c #Conflicts:     302000 | #Constraints:      35299
3600.02/3609.90	c #Conflicts:     303000 | #Constraints:      36299
3600.02/3609.90	c #Conflicts:     304000 | #Constraints:      37299
3600.02/3609.90	c #Conflicts:     305000 | #Constraints:      38299
3600.02/3609.90	c #Conflicts:     306000 | #Constraints:      39299
3600.02/3609.90	c #Conflicts:     307000 | #Constraints:      40299
3600.02/3609.90	c #Conflicts:     308000 | #Constraints:      41299
3600.02/3609.90	c #Conflicts:     309000 | #Constraints:      42299
3600.02/3609.90	c INPROCESSING
3600.02/3609.90	c GARBAGE COLLECT
3600.02/3609.90	c #Conflicts:     310000 | #Constraints:      27011
3600.02/3609.90	c #Conflicts:     311000 | #Constraints:      28011
3600.02/3609.90	c #Conflicts:     312000 | #Constraints:      29011
3600.02/3609.90	c #Conflicts:     313000 | #Constraints:      30011
3600.02/3609.90	c #Conflicts:     314000 | #Constraints:      31011
3600.02/3609.90	c #Conflicts:     315000 | #Constraints:      32011
3600.02/3609.90	c #Conflicts:     316000 | #Constraints:      33011
3600.02/3609.90	c #Conflicts:     317000 | #Constraints:      34011
3600.02/3609.90	c #Conflicts:     318000 | #Constraints:      35011
3600.02/3609.90	c #Conflicts:     319000 | #Constraints:      36011
3600.02/3609.90	c #Conflicts:     320000 | #Constraints:      37011
3600.02/3609.90	c #Conflicts:     321000 | #Constraints:      38011
3600.02/3609.90	c #Conflicts:     322000 | #Constraints:      39011
3600.02/3609.90	c #Conflicts:     323000 | #Constraints:      40011
3600.02/3609.90	c #Conflicts:     324000 | #Constraints:      41011
3600.02/3609.90	c #Conflicts:     325000 | #Constraints:      42011
3600.02/3609.90	c #Conflicts:     326000 | #Constraints:      43011
3600.02/3609.90	c Program interrupted by user.
3600.02/3609.90	c cpu time 3594.94 s
3600.02/3609.90	c deterministic time 304569290218 3.05e+11
3600.02/3609.90	c optimization time 254.073 s
3600.02/3609.90	c total solve time 3340.84 s
3600.02/3609.90	c core-guided solve time 3340.84 s
3600.02/3609.90	c propagation time 3251.93 s
3600.02/3609.90	c conflict analysis time 323.217 s
3600.02/3609.90	c propagations 200428666
3600.02/3609.90	c resolve steps 15194982
3600.02/3609.90	c decisions 2516926
3600.02/3609.90	c conflicts 326917
3600.02/3609.90	c restarts 765
3600.02/3609.90	c inprocessing phases 30
3600.02/3609.90	c input clauses 6156
3600.02/3609.90	c input cardinalities 0
3600.02/3609.90	c input general constraints 2809
3600.02/3609.90	c input average constraint length 3.10
3600.02/3609.90	c input average constraint degree 502353555759.62
3600.02/3609.90	c learned clauses 55503
3600.02/3609.90	c learned cardinalities 69
3600.02/3609.90	c learned general constraints 271346
3600.02/3609.90	c learned average constraint length 376.03
3600.02/3609.90	c learned average constraint degree 292346496.54
3600.02/3609.90	c watched constraints 266419
3600.02/3609.90	c counting constraints 7736
3600.02/3609.90	c gcd simplifications 15333
3600.02/3609.90	c detected cardinalities 16
3600.02/3609.90	c weakened non-implied lits 6424360
3600.02/3609.90	c weakened non-implying lits 225631
3600.02/3609.90	c original variables 4482
3600.02/3609.90	c clausal propagations 79920291
3600.02/3609.90	c cardinality propagations 2960
3600.02/3609.90	c watched propagations 24876134
3600.02/3609.90	c counting propagations 95511292
3600.02/3609.90	c watch lookups 52927925151
3600.02/3609.90	c watch backjump lookups 49383553757
3600.02/3609.90	c watch checks 154466822004
3600.02/3609.90	c propagation checks 46970657227
3600.02/3609.90	c constraint additions 414117061
3600.02/3609.90	c trail pops 203269425
3600.02/3609.90	c formula constraints 8964
3600.02/3609.90	c learned constraints 326918
3600.02/3609.90	c bound constraints 1
3600.02/3609.90	c core-guided constraints 0
3600.02/3609.90	c encountered formula constraints 10911591
3600.02/3609.90	c encountered learned constraints 4610308
3600.02/3609.90	c encountered bound constraints 0
3600.02/3609.90	c encountered core-guided constraints 0
3600.02/3609.90	c LP total time 0 s
3600.02/3609.90	c LP solve time 0 s
3600.02/3609.90	c LP constraints added 0
3600.02/3609.90	c LP constraints removed 0
3600.02/3609.90	c LP pivots internal 0
3600.02/3609.90	c LP pivots root 0
3600.02/3609.90	c LP calls 0
3600.02/3609.90	c LP optimalities 0
3600.02/3609.90	c LP no pivot count 0
3600.02/3609.90	c LP infeasibilities 0
3600.02/3609.90	c LP valid Farkas constraints 0
3600.02/3609.90	c LP learned Farkas constraints 0
3600.02/3609.90	c LP basis resets 0
3600.02/3609.90	c LP cycling count 0
3600.02/3609.90	c LP singular count 0
3600.02/3609.90	c LP no primal count 0
3600.02/3609.90	c LP no farkas count 0
3600.02/3609.90	c LP other issue count 0
3600.02/3609.90	c LP Gomory cuts 0
3600.02/3609.90	c LP learned cuts 0
3600.02/3609.90	c LP deleted cuts 0
3600.02/3609.90	c LP encountered Gomory constraints 0
3600.02/3609.90	c LP encountered Farkas constraints 0
3600.02/3609.90	c LP encountered learned Farkas constraints 0
3600.02/3609.90	c CG auxiliary variables introduced 0
3600.02/3609.90	c CG solutions found 0
3600.02/3609.90	c CG cores constructed 1
3600.02/3609.90	c CG core cardinality constraints returned 0
3600.02/3609.90	c CG unit cores 0
3600.02/3609.90	c CG single cores 1
3600.02/3609.90	c CG blocks removed during cardinality reduction 0
3600.02/3609.90	c CG first core best 0
3600.02/3609.90	c CG decision core best 0
3600.02/3609.90	c CG core reduction tie 0
3600.02/3609.90	c CG core degree average 1.00
3600.02/3609.90	c CG core slack average 3.00
3600.02/3609.90	c CG exhausted 0
3600.02/3609.90	c CG exhaust time 0 s
3600.02/3609.90	c CG trimmed 0
3600.02/3609.90	c CG trim time 0 s
3600.02/3609.90	c CG minimized 0
3600.02/3609.90	c CG minimize time 0 s
3600.02/3609.90	c CG am1 prop time 0 s
3600.02/3609.90	c CG # am1s reformulated 0
3600.02/3609.90	c CG lower bound derived from am1s 0
3600.02/3609.90	c CG # clausal cores 1
3600.02/3609.90	c CG # cardinality cores 0
3600.02/3609.90	c CG # pb cores 0
3600.02/3609.90	c CG # pb reforms 0
3600.02/3609.90	c CG # cores discarded because of pb reform 0
3600.02/3609.90	d LOWERBOUND -13510798882111487
3600.02/3609.90	d NCORES 1
3600.02/3609.90	d NPBCORES 0
3600.02/3609.90	d NPBREFORM 0
3600.02/3609.90	d NTRIMMED 0
3600.02/3609.90	d NEXHAUSTED 0
3600.02/3609.90	d NAM1S 0
3600.02/3609.90	d AM1LB 0
3600.02/3609.90	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: 64059 MiB (56942 MiB free)
  memory of node 1: 64510 MiB (54056 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458151-1721872346/watcher-4458151-1721872346 -o /tmp/evaluation-result-4458151-1721872346/solver-4458151-1721872346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721865124-256779 --watchdog 3760 pb-oll-rs HOME/instance-4458151-1721872346.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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

solver pid=261169, runsolver pid=261166

[startup+0.100108 s]*
/proc/loadavg: 4.12 4.18 4.18 6/241 261170
/proc/meminfo: memFree=113658508/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=41000 memory=9056 CPUtime=0.1 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 1015 0 0 0 9 1 0 0 20 0 1 0 23223971 41984000 2264 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 10250 2264 1464 291 0 1784 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41000 KiB
Current children cumulated memory: 9056 KiB

[startup+0.213272 s]*
/proc/loadavg: 4.12 4.18 4.18 5/241 261170
/proc/meminfo: memFree=113655900/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=41256 memory=11580 CPUtime=0.21 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 1082 0 0 0 20 1 0 0 20 0 1 0 23223971 42246144 2895 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 10314 2895 1464 291 0 1848 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41256 KiB
Current children cumulated memory: 11580 KiB

[startup+0.313136 s]*
/proc/loadavg: 4.12 4.18 4.18 5/241 261170
/proc/meminfo: memFree=113655760/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=41384 memory=11712 CPUtime=0.31 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 1114 0 0 0 30 1 0 0 20 0 1 0 23223971 42377216 2928 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 10346 2928 1464 291 0 1880 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41384 KiB
Current children cumulated memory: 11712 KiB

[startup+0.70033 s]
/proc/loadavg: 4.12 4.18 4.18 5/241 261170
/proc/meminfo: memFree=113654948/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=41792 memory=11972 CPUtime=0.68 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 1244 0 0 0 66 2 0 0 20 0 1 0 23223971 42795008 2993 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 10448 2993 1464 291 0 1982 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 41792 KiB
Current children cumulated memory: 11972 KiB

[startup+1.50035 s]
/proc/loadavg: 4.12 4.18 4.18 5/241 261170
/proc/meminfo: memFree=113654592/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=43256 memory=13704 CPUtime=1.49 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 1655 0 0 0 145 4 0 0 20 0 1 0 23223971 44294144 3426 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 10814 3426 1464 291 0 2348 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43256 KiB
Current children cumulated memory: 13704 KiB

[startup+3.11293 s]
/proc/loadavg: 4.11 4.18 4.18 8/241 261170
/proc/meminfo: memFree=113652436/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=43696 memory=14424 CPUtime=3.1 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 1889 0 0 0 305 5 0 0 20 0 1 0 23223971 44744704 3606 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 10924 3606 1464 291 0 2458 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 43696 KiB
Current children cumulated memory: 14424 KiB

[startup+6.30034 s]
/proc/loadavg: 4.11 4.18 4.18 5/241 261170
/proc/meminfo: memFree=113649220/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=48124 memory=17248 CPUtime=6.27 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 2691 0 0 0 617 10 0 0 20 0 1 0 23223971 49278976 4312 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 12031 4312 1464 291 0 3565 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 48124 KiB
Current children cumulated memory: 17248 KiB

[startup+12.7003 s]
/proc/loadavg: 4.09 4.17 4.18 5/241 261171
/proc/meminfo: memFree=113646040/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=50472 memory=21220 CPUtime=12.66 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 3772 0 0 0 1246 20 0 0 20 0 1 0 23223971 51683328 5305 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 12618 5305 1464 291 0 4152 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 50472 KiB
Current children cumulated memory: 21220 KiB

[startup+25.5004 s]
/proc/loadavg: 4.16 4.18 4.18 5/241 261173
/proc/meminfo: memFree=113629200/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=69336 memory=37328 CPUtime=25.43 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 6324 0 0 0 2510 33 0 0 20 0 1 0 23223971 71000064 9332 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 17334 9332 1478 291 0 8868 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 69336 KiB
Current children cumulated memory: 37328 KiB

[startup+51.1129 s]
/proc/loadavg: 4.10 4.17 4.17 9/241 261223
/proc/meminfo: memFree=113920508/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=111696 memory=68260 CPUtime=50.96 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 10039 0 0 0 5053 43 0 0 20 0 1 0 23223971 114376704 17065 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 27924 17065 1478 291 0 19458 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 111696 KiB
Current children cumulated memory: 68260 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.15 4.17 5/241 261231
/proc/meminfo: memFree=113887512/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=117760 memory=73748 CPUtime=102.02 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 11545 0 0 0 10129 73 0 0 20 0 1 0 23223971 120586240 18437 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 29440 18437 1478 291 0 20974 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 117760 KiB
Current children cumulated memory: 73748 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.15 4.17 5/240 261672
/proc/meminfo: memFree=114000204/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=132096 memory=94536 CPUtime=161.85 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 14790 0 0 0 16097 88 0 0 20 0 1 0 23223971 135266304 23634 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 33024 23634 1478 291 0 24558 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 132096 KiB
Current children cumulated memory: 94536 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/240 261682
/proc/meminfo: memFree=113955236/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=132644 memory=94780 CPUtime=221.68 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 14917 0 0 0 22060 108 0 0 20 0 1 0 23223971 135827456 23695 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 33161 23695 1478 291 0 24695 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 132644 KiB
Current children cumulated memory: 94780 KiB

[startup+282.3 s]
/proc/loadavg: 4.15 4.14 4.16 5/240 261692
/proc/meminfo: memFree=113930016/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=133016 memory=95288 CPUtime=281.51 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 15023 0 0 0 28020 131 0 0 20 0 1 0 23223971 136208384 23822 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 33254 23822 1478 291 0 24788 0
Current children cumulated CPU time: 281.51 s
Current children cumulated vsize: 133016 KiB
Current children cumulated memory: 95288 KiB

[startup+342.3 s]
/proc/loadavg: 4.17 4.14 4.16 5/243 261874
/proc/meminfo: memFree=113886004/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=140676 memory=109428 CPUtime=341.31 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 16575 0 0 0 33987 144 0 0 20 0 1 0 23223971 144052224 27357 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 35169 27357 1478 291 0 26703 0
Current children cumulated CPU time: 341.31 s
Current children cumulated vsize: 140676 KiB
Current children cumulated memory: 109428 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.13 4.16 5/243 261884
/proc/meminfo: memFree=113839588/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=180700 memory=128356 CPUtime=401.13 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 18829 0 0 0 39958 155 0 0 20 0 1 0 23223971 185036800 32089 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 45175 32089 1478 291 0 36709 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 180700 KiB
Current children cumulated memory: 128356 KiB

[startup+462.3 s]
/proc/loadavg: 4.17 4.15 4.16 5/244 261944
/proc/meminfo: memFree=114052232/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=192368 memory=145380 CPUtime=460.96 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 21054 0 0 0 45931 165 0 0 20 0 1 0 23223971 196984832 36345 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 48092 36345 1478 291 0 39626 0

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

Current children cumulated memory: 323416 KiB

[startup+2922.3 s]
/proc/loadavg: 4.26 4.18 4.16 5/240 263015
/proc/meminfo: memFree=113599892/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=415620 memory=323852 CPUtime=2914.21 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 42347 0 0 0 290985 436 0 0 20 0 1 0 23223971 425594880 80963 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 103905 80963 1478 291 0 95439 0
Current children cumulated CPU time: 2914.21 s
Current children cumulated vsize: 415620 KiB
Current children cumulated memory: 323852 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/240 263026
/proc/meminfo: memFree=113599552/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=415620 memory=323852 CPUtime=2974.06 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 42443 0 0 0 296964 442 0 0 20 0 1 0 23223971 425594880 80963 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 103905 80963 1478 291 0 95439 0
Current children cumulated CPU time: 2974.06 s
Current children cumulated vsize: 415620 KiB
Current children cumulated memory: 323852 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/240 263037
/proc/meminfo: memFree=113599252/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=415620 memory=323852 CPUtime=3033.91 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 42543 0 0 0 302943 448 0 0 20 0 1 0 23223971 425594880 80963 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 103905 80963 1478 291 0 95439 0
Current children cumulated CPU time: 3033.91 s
Current children cumulated vsize: 415620 KiB
Current children cumulated memory: 323852 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.14 4.15 5/240 263047
/proc/meminfo: memFree=113591696/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=415620 memory=330660 CPUtime=3093.75 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 42650 0 0 0 308922 453 0 0 20 0 1 0 23223971 425594880 82665 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 103905 82665 1478 291 0 95439 0
Current children cumulated CPU time: 3093.75 s
Current children cumulated vsize: 415620 KiB
Current children cumulated memory: 330660 KiB

[startup+3162.3 s]
/proc/loadavg: 4.12 4.15 4.15 5/240 263057
/proc/meminfo: memFree=113591584/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=415620 memory=330660 CPUtime=3153.59 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 42912 0 0 0 314899 460 0 0 20 0 1 0 23223971 425594880 82665 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 103905 82665 1478 291 0 95439 0
Current children cumulated CPU time: 3153.59 s
Current children cumulated vsize: 415620 KiB
Current children cumulated memory: 330660 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.15 4.15 5/238 263068
/proc/meminfo: memFree=113591256/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=415620 memory=330660 CPUtime=3213.43 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 43014 0 0 0 320876 467 0 0 20 0 1 0 23223971 425594880 82665 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 103905 82665 1478 291 0 95439 0
Current children cumulated CPU time: 3213.43 s
Current children cumulated vsize: 415620 KiB
Current children cumulated memory: 330660 KiB

[startup+3282.3 s]
/proc/loadavg: 4.15 4.15 4.15 5/238 263078
/proc/meminfo: memFree=113587024/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=415620 memory=330660 CPUtime=3273.28 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 43121 0 0 0 326854 474 0 0 20 0 1 0 23223971 425594880 82665 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 103905 82665 1478 291 0 95439 0
Current children cumulated CPU time: 3273.28 s
Current children cumulated vsize: 415620 KiB
Current children cumulated memory: 330660 KiB

[startup+3342.3 s]
/proc/loadavg: 4.23 4.17 4.16 5/238 263088
/proc/meminfo: memFree=113586708/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=415620 memory=330660 CPUtime=3333.11 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 43233 0 0 0 332832 479 0 0 20 0 1 0 23223971 425594880 82665 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 103905 82665 1478 291 0 95439 0
Current children cumulated CPU time: 3333.11 s
Current children cumulated vsize: 415620 KiB
Current children cumulated memory: 330660 KiB

[startup+3402.3 s]
/proc/loadavg: 4.22 4.17 4.16 5/238 263098
/proc/meminfo: memFree=113586108/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=415832 memory=330872 CPUtime=3392.95 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 43508 0 0 0 338807 488 0 0 20 0 1 0 23223971 425811968 82718 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 103958 82718 1478 291 0 95492 0
Current children cumulated CPU time: 3392.95 s
Current children cumulated vsize: 415832 KiB
Current children cumulated memory: 330872 KiB

[startup+3462.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/240 263113
/proc/meminfo: memFree=113585592/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=415832 memory=330872 CPUtime=3452.81 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 43611 0 0 0 344786 495 0 0 20 0 1 0 23223971 425811968 82718 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 103958 82718 1478 291 0 95492 0
Current children cumulated CPU time: 3452.81 s
Current children cumulated vsize: 415832 KiB
Current children cumulated memory: 330872 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.16 4.16 5/240 263123
/proc/meminfo: memFree=113580992/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=415832 memory=330872 CPUtime=3512.65 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 43721 0 0 0 350764 501 0 0 20 0 1 0 23223971 425811968 82718 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 103958 82718 1478 291 0 95492 0
Current children cumulated CPU time: 3512.65 s
Current children cumulated vsize: 415832 KiB
Current children cumulated memory: 330872 KiB

[startup+3582.3 s]
/proc/loadavg: 4.11 4.14 4.15 5/240 263135
/proc/meminfo: memFree=113579572/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=415832 memory=330872 CPUtime=3572.49 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 43839 0 0 0 356742 507 0 0 20 0 1 0 23223971 425811968 82718 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 103958 82718 1478 291 0 95492 0
Current children cumulated CPU time: 3572.49 s
Current children cumulated vsize: 415832 KiB
Current children cumulated memory: 330872 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.9 s]
/proc/loadavg: 4.13 4.15 4.15 5/240 263140
/proc/meminfo: memFree=113578816/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=415832 memory=330872 CPUtime=3600.02 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 43959 0 0 0 359493 509 0 0 20 0 1 0 23223971 425811968 82718 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 103958 82718 1478 291 0 95492 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 415832 KiB
Current children cumulated memory: 330872 KiB

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

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

# cumulated CPU time of all completed processes:  user=3594.95 s, system=5.09167 s

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

[startup+3609.9 s]
/proc/loadavg: 4.13 4.15 4.15 5/240 263140
/proc/meminfo: memFree=113578816/131655788 swapFree=131061124/131071996
[pid=261169] ppid=261166 vsize=415832 memory=330872 CPUtime=3600.02 cores=5,7
/proc/261169/stat : 261169 (pb-oll-rs) R 261166 261169 256766 0 -1 4194304 43959 0 0 0 359493 509 0 0 20 0 1 0 23223971 425811968 82718 134679101440 4194304 5384005 140731018400256 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 23064576 140731018404891 140731018404968 140731018404968 140731018411979 0
/proc/261169/statm: 103958 82718 1478 291 0 95492 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 415832 KiB
Current children cumulated memory: 330872 KiB

Child status: 0

Real time (s): 3609.91
CPU time (s): 3600.04
CPU user time (s): 3594.95
CPU system time (s): 5.09167
CPU usage (%): 99.7265
Max. virtual memory (cumulated for all children) (KiB): 416472
Max. memory (cumulated for all children) (KiB): 330872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3594.95
system time used= 5.09167
maximum resident set size= 331304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43974
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= 125
involuntary context switches= 2582


# summary of solver processes directly reported to runsolver:
#   pid: 261169
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3594.95
#   total CPU system time (s): 5.09167

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 19.3288 second user time and 33.8461 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-25 03:52:26
IDJOB=4458151
IDBENCH=177166
IDSOLVER=3067
FILE ID=nodeC005/4458151-1721872346
RUNJOBID= nodeC005-1721865124-256779
SLURM_JOB_ID= 8089204
Free space on /tmp= 723776 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/multverif/diagcomm_less/normalized-mult_diagcomm_opt_less_teq_nbits_27.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4458151-1721872346/watcher-4458151-1721872346 -o /tmp/evaluation-result-4458151-1721872346/solver-4458151-1721872346 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721865124-256779 --watchdog 3760  pb-oll-rs HOME/instance-4458151-1721872346.opb

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

MD5SUM BENCH= f787a6cdbf9022e9105f9cdbff614d2d
RANDOM SEED=1326223201

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        113662496 kB
MemAvailable:   129217736 kB
Buffers:          282248 kB
Cached:         16048392 kB
SwapCached:          620 kB
Active:          2535744 kB
Inactive:       14798340 kB
Active(anon):       1624 kB
Inactive(anon):  1055124 kB
Active(file):    2534120 kB
Inactive(file): 13743216 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131061124 kB
Dirty:              1868 kB
Writeback:             0 kB
AnonPages:        995060 kB
Mapped:           122796 kB
Shmem:             53264 kB
KReclaimable:     235868 kB
Slab:             346832 kB
SReclaimable:     235868 kB
SUnreclaim:       110964 kB
KernelStack:        3884 kB
PageTables:        11544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1437236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            11520 kB
HardwareCorrupted:     0 kB
AnonHugePages:    847872 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:      406344 kB
DirectMap2M:    45635584 kB
DirectMap1G:    90177536 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC005 at 2024-07-25 04:52:36