Trace number 4519602

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
pb-oll-rs-2024 2025-05-06? (TO) 3600.04 3610.02

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/
normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb
MD5SUMf91dbe69118ae72b0214f31a62e5b167
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-29
Best CPU time to get the best result obtained on this benchmark0.785581
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4500
Total number of constraints1979
Number of constraints which are clauses1830
Number of constraints which are cardinality constraints (but not clauses)89
Number of constraints which are nor clauses,nor cardinality constraints60
Minimum length of a constraint3
Maximum length of a constraint31
Number of terms in the objective function 900
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 900
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.00/0.03	c [STEP] solving
0.00/0.03	c #variables 4500 #constraints 1979
0.00/0.03	c SMALL=int, LARGE=long long
0.00/0.03	c bounds - >= -900 @ 0.018233
0.00/0.03	c stratification level: 0
187.79/188.41	c #Conflicts:       1000 | #Constraints:       3008
187.79/188.41	c #Conflicts:       2000 | #Constraints:       4008
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:       3000 | #Constraints:       4043
187.79/188.41	c #Conflicts:       4000 | #Constraints:       5043
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:       5000 | #Constraints:       4453
187.79/188.41	c #Conflicts:       6000 | #Constraints:       5453
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:       7000 | #Constraints:       4478
187.79/188.41	c #Conflicts:       8000 | #Constraints:       5478
187.79/188.41	c #Conflicts:       9000 | #Constraints:       6478
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:      10000 | #Constraints:       5172
187.79/188.41	c #Conflicts:      11000 | #Constraints:       6172
187.79/188.41	c #Conflicts:      12000 | #Constraints:       7172
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:      13000 | #Constraints:       5620
187.79/188.41	c #Conflicts:      14000 | #Constraints:       6620
187.79/188.41	c #Conflicts:      15000 | #Constraints:       7620
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:      16000 | #Constraints:       5866
187.79/188.41	c #Conflicts:      17000 | #Constraints:       6866
187.79/188.41	c #Conflicts:      18000 | #Constraints:       7866
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:      19000 | #Constraints:       5867
187.79/188.41	c #Conflicts:      20000 | #Constraints:       6867
187.79/188.41	c #Conflicts:      21000 | #Constraints:       7867
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:      22000 | #Constraints:       5666
187.79/188.41	c #Conflicts:      23000 | #Constraints:       6666
187.79/188.41	c #Conflicts:      24000 | #Constraints:       7666
187.79/188.41	c #Conflicts:      25000 | #Constraints:       8666
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:      26000 | #Constraints:       6278
187.79/188.41	c #Conflicts:      27000 | #Constraints:       7278
187.79/188.41	c #Conflicts:      28000 | #Constraints:       8278
187.79/188.41	c #Conflicts:      29000 | #Constraints:       9278
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:      30000 | #Constraints:       6680
187.79/188.41	c #Conflicts:      31000 | #Constraints:       7680
187.79/188.41	c #Conflicts:      32000 | #Constraints:       8680
187.79/188.41	c #Conflicts:      33000 | #Constraints:       9680
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:      34000 | #Constraints:       6882
187.79/188.41	c #Conflicts:      35000 | #Constraints:       7882
187.79/188.41	c #Conflicts:      36000 | #Constraints:       8882
187.79/188.41	c #Conflicts:      37000 | #Constraints:       9882
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:      38000 | #Constraints:       6888
187.79/188.41	c #Conflicts:      39000 | #Constraints:       7888
187.79/188.41	c #Conflicts:      40000 | #Constraints:       8888
187.79/188.41	c #Conflicts:      41000 | #Constraints:       9888
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:      42000 | #Constraints:       6688
187.79/188.41	c #Conflicts:      43000 | #Constraints:       7688
187.79/188.41	c #Conflicts:      44000 | #Constraints:       8688
187.79/188.41	c #Conflicts:      45000 | #Constraints:       9688
187.79/188.41	c #Conflicts:      46000 | #Constraints:      10688
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:      47000 | #Constraints:       7297
187.79/188.41	c #Conflicts:      48000 | #Constraints:       8297
187.79/188.41	c #Conflicts:      49000 | #Constraints:       9297
187.79/188.41	c #Conflicts:      50000 | #Constraints:      10297
187.79/188.41	c #Conflicts:      51000 | #Constraints:      11297
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:      52000 | #Constraints:       7698
187.79/188.41	c #Conflicts:      53000 | #Constraints:       8698
187.79/188.41	c #Conflicts:      54000 | #Constraints:       9698
187.79/188.41	c #Conflicts:      55000 | #Constraints:      10698
187.79/188.41	c #Conflicts:      56000 | #Constraints:      11698
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:      57000 | #Constraints:       7896
187.79/188.41	c #Conflicts:      58000 | #Constraints:       8896
187.79/188.41	c #Conflicts:      59000 | #Constraints:       9896
187.79/188.41	c #Conflicts:      60000 | #Constraints:      10896
187.79/188.41	c #Conflicts:      61000 | #Constraints:      11896
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:      62000 | #Constraints:       7908
187.79/188.41	c #Conflicts:      63000 | #Constraints:       8908
187.79/188.41	c #Conflicts:      64000 | #Constraints:       9908
187.79/188.41	c #Conflicts:      65000 | #Constraints:      10908
187.79/188.41	c #Conflicts:      66000 | #Constraints:      11908
187.79/188.41	c INPROCESSING
187.79/188.41	c GARBAGE COLLECT
187.79/188.41	c #Conflicts:      67000 | #Constraints:       7707
187.79/188.41	c #Conflicts:      68000 | #Constraints:       8707
567.37/569.03	c #Conflicts:      69000 | #Constraints:       9707
567.37/569.03	c #Conflicts:      70000 | #Constraints:      10707
567.37/569.03	c #Conflicts:      71000 | #Constraints:      11707
567.37/569.03	c #Conflicts:      72000 | #Constraints:      12707
567.37/569.03	c INPROCESSING
567.37/569.03	c GARBAGE COLLECT
567.37/569.03	c #Conflicts:      73000 | #Constraints:       8315
567.37/569.03	c #Conflicts:      74000 | #Constraints:       9315
567.37/569.03	c #Conflicts:      75000 | #Constraints:      10315
567.37/569.03	c #Conflicts:      76000 | #Constraints:      11315
567.37/569.03	c #Conflicts:      77000 | #Constraints:      12315
567.37/569.03	c #Conflicts:      78000 | #Constraints:      13315
567.37/569.03	c INPROCESSING
567.37/569.03	c GARBAGE COLLECT
567.37/569.03	c #Conflicts:      79000 | #Constraints:       8709
567.37/569.03	c #Conflicts:      80000 | #Constraints:       9709
567.37/569.03	c #Conflicts:      81000 | #Constraints:      10709
567.37/569.03	c #Conflicts:      82000 | #Constraints:      11709
567.37/569.03	c #Conflicts:      83000 | #Constraints:      12709
567.37/569.03	c #Conflicts:      84000 | #Constraints:      13709
567.37/569.03	c INPROCESSING
567.37/569.03	c GARBAGE COLLECT
567.37/569.03	c #Conflicts:      85000 | #Constraints:       8915
567.37/569.03	c #Conflicts:      86000 | #Constraints:       9915
567.37/569.03	c #Conflicts:      87000 | #Constraints:      10915
567.37/569.03	c #Conflicts:      88000 | #Constraints:      11915
567.37/569.03	c #Conflicts:      89000 | #Constraints:      12915
567.37/569.03	c #Conflicts:      90000 | #Constraints:      13915
567.37/569.03	c INPROCESSING
567.37/569.03	c GARBAGE COLLECT
567.37/569.03	c #Conflicts:      91000 | #Constraints:       8930
567.37/569.03	c #Conflicts:      92000 | #Constraints:       9930
567.37/569.03	c #Conflicts:      93000 | #Constraints:      10930
567.37/569.03	c #Conflicts:      94000 | #Constraints:      11930
567.37/569.03	c #Conflicts:      95000 | #Constraints:      12930
567.37/569.03	c #Conflicts:      96000 | #Constraints:      13930
567.37/569.03	c INPROCESSING
567.37/569.03	c GARBAGE COLLECT
567.37/569.03	c #Conflicts:      97000 | #Constraints:       8727
567.37/569.03	c #Conflicts:      98000 | #Constraints:       9727
567.37/569.03	c #Conflicts:      99000 | #Constraints:      10727
567.37/569.03	c #Conflicts:     100000 | #Constraints:      11727
567.37/569.03	c #Conflicts:     101000 | #Constraints:      12727
567.37/569.03	c #Conflicts:     102000 | #Constraints:      13727
567.37/569.03	c #Conflicts:     103000 | #Constraints:      14727
567.37/569.03	c INPROCESSING
567.37/569.03	c GARBAGE COLLECT
567.37/569.03	c #Conflicts:     104000 | #Constraints:       9327
567.37/569.03	c #Conflicts:     105000 | #Constraints:      10327
567.37/569.03	c #Conflicts:     106000 | #Constraints:      11327
567.37/569.03	c #Conflicts:     107000 | #Constraints:      12327
567.37/569.03	c #Conflicts:     108000 | #Constraints:      13327
567.37/569.03	c #Conflicts:     109000 | #Constraints:      14327
567.37/569.03	c #Conflicts:     110000 | #Constraints:      15327
567.37/569.03	c INPROCESSING
567.37/569.03	c GARBAGE COLLECT
567.37/569.03	c #Conflicts:     111000 | #Constraints:       9731
567.37/569.03	c #Conflicts:     112000 | #Constraints:      10731
567.37/569.03	c #Conflicts:     113000 | #Constraints:      11731
567.37/569.03	c #Conflicts:     114000 | #Constraints:      12731
567.37/569.03	c #Conflicts:     115000 | #Constraints:      13731
567.37/569.03	c #Conflicts:     116000 | #Constraints:      14731
567.37/569.03	c #Conflicts:     117000 | #Constraints:      15731
567.37/569.03	c INPROCESSING
567.37/569.03	c GARBAGE COLLECT
567.37/569.03	c #Conflicts:     118000 | #Constraints:       9922
567.37/569.03	c #Conflicts:     119000 | #Constraints:      10922
567.37/569.03	c #Conflicts:     120000 | #Constraints:      11922
567.37/569.03	c #Conflicts:     121000 | #Constraints:      12922
567.37/569.03	c #Conflicts:     122000 | #Constraints:      13922
567.37/569.03	c #Conflicts:     123000 | #Constraints:      14922
567.37/569.03	c #Conflicts:     124000 | #Constraints:      15922
567.37/569.03	c INPROCESSING
567.37/569.03	c GARBAGE COLLECT
567.37/569.03	c #Conflicts:     125000 | #Constraints:       9927
567.37/569.03	c #Conflicts:     126000 | #Constraints:      10927
567.37/569.03	c #Conflicts:     127000 | #Constraints:      11927
567.37/569.03	c #Conflicts:     128000 | #Constraints:      12927
567.37/569.03	c #Conflicts:     129000 | #Constraints:      13927
567.37/569.03	c #Conflicts:     130000 | #Constraints:      14927
567.37/569.03	c #Conflicts:     131000 | #Constraints:      15927
567.37/569.03	c INPROCESSING
567.37/569.03	c GARBAGE COLLECT
567.37/569.03	c #Conflicts:     132000 | #Constraints:       9723
567.37/569.03	c #Conflicts:     133000 | #Constraints:      10723
567.37/569.03	c #Conflicts:     134000 | #Constraints:      11723
567.37/569.03	c #Conflicts:     135000 | #Constraints:      12723
567.37/569.03	c #Conflicts:     136000 | #Constraints:      13723
567.37/569.03	c #Conflicts:     137000 | #Constraints:      14723
567.37/569.03	c #Conflicts:     138000 | #Constraints:      15723
567.37/569.03	c #Conflicts:     139000 | #Constraints:      16723
567.37/569.03	c INPROCESSING
567.37/569.03	c GARBAGE COLLECT
567.37/569.03	c #Conflicts:     140000 | #Constraints:      10320
1064.59/1067.71	c #Conflicts:     141000 | #Constraints:      11320
1064.59/1067.71	c #Conflicts:     142000 | #Constraints:      12320
1064.59/1067.71	c #Conflicts:     143000 | #Constraints:      13320
1064.59/1067.71	c #Conflicts:     144000 | #Constraints:      14320
1064.59/1067.71	c #Conflicts:     145000 | #Constraints:      15320
1064.59/1067.71	c #Conflicts:     146000 | #Constraints:      16320
1064.59/1067.71	c #Conflicts:     147000 | #Constraints:      17320
1064.59/1067.71	c INPROCESSING
1064.59/1067.71	c GARBAGE COLLECT
1064.59/1067.71	c #Conflicts:     148000 | #Constraints:      10715
1064.59/1067.71	c #Conflicts:     149000 | #Constraints:      11715
1064.59/1067.71	c #Conflicts:     150000 | #Constraints:      12715
1064.59/1067.71	c #Conflicts:     151000 | #Constraints:      13715
1064.59/1067.71	c #Conflicts:     152000 | #Constraints:      14715
1064.59/1067.71	c #Conflicts:     153000 | #Constraints:      15715
1064.59/1067.71	c #Conflicts:     154000 | #Constraints:      16715
1064.59/1067.71	c #Conflicts:     155000 | #Constraints:      17715
1064.59/1067.71	c INPROCESSING
1064.59/1067.71	c GARBAGE COLLECT
1064.59/1067.71	c #Conflicts:     156000 | #Constraints:      10924
1064.59/1067.71	c #Conflicts:     157000 | #Constraints:      11924
1064.59/1067.71	c #Conflicts:     158000 | #Constraints:      12924
1064.59/1067.71	c #Conflicts:     159000 | #Constraints:      13924
1064.59/1067.71	c #Conflicts:     160000 | #Constraints:      14924
1064.59/1067.71	c #Conflicts:     161000 | #Constraints:      15924
1064.59/1067.71	c #Conflicts:     162000 | #Constraints:      16924
1064.59/1067.71	c #Conflicts:     163000 | #Constraints:      17924
1064.59/1067.71	c INPROCESSING
1064.59/1067.71	c GARBAGE COLLECT
1064.59/1067.71	c #Conflicts:     164000 | #Constraints:      10917
1064.59/1067.71	c #Conflicts:     165000 | #Constraints:      11917
1064.59/1067.71	c #Conflicts:     166000 | #Constraints:      12917
1064.59/1067.71	c #Conflicts:     167000 | #Constraints:      13917
1064.59/1067.71	c #Conflicts:     168000 | #Constraints:      14917
1064.59/1067.71	c #Conflicts:     169000 | #Constraints:      15917
1064.59/1067.71	c #Conflicts:     170000 | #Constraints:      16917
1064.59/1067.71	c #Conflicts:     171000 | #Constraints:      17917
1064.59/1067.71	c INPROCESSING
1064.59/1067.71	c GARBAGE COLLECT
1064.59/1067.71	c #Conflicts:     172000 | #Constraints:      10724
1064.59/1067.71	c #Conflicts:     173000 | #Constraints:      11724
1064.59/1067.71	c #Conflicts:     174000 | #Constraints:      12724
1064.59/1067.71	c #Conflicts:     175000 | #Constraints:      13724
1064.59/1067.71	c #Conflicts:     176000 | #Constraints:      14724
1064.59/1067.71	c #Conflicts:     177000 | #Constraints:      15724
1064.59/1067.71	c #Conflicts:     178000 | #Constraints:      16724
1064.59/1067.71	c #Conflicts:     179000 | #Constraints:      17724
1064.59/1067.71	c #Conflicts:     180000 | #Constraints:      18724
1064.59/1067.71	c INPROCESSING
1064.59/1067.71	c GARBAGE COLLECT
1064.59/1067.71	c #Conflicts:     181000 | #Constraints:      11317
1064.59/1067.71	c #Conflicts:     182000 | #Constraints:      12317
1064.59/1067.71	c #Conflicts:     183000 | #Constraints:      13317
1064.59/1067.71	c #Conflicts:     184000 | #Constraints:      14317
1064.59/1067.71	c #Conflicts:     185000 | #Constraints:      15317
1064.59/1067.71	c #Conflicts:     186000 | #Constraints:      16317
1064.59/1067.71	c #Conflicts:     187000 | #Constraints:      17317
1064.59/1067.71	c #Conflicts:     188000 | #Constraints:      18317
1064.59/1067.71	c #Conflicts:     189000 | #Constraints:      19317
1064.59/1067.71	c INPROCESSING
1064.59/1067.71	c GARBAGE COLLECT
1064.59/1067.71	c #Conflicts:     190000 | #Constraints:      11730
1064.59/1067.71	c #Conflicts:     191000 | #Constraints:      12730
1064.59/1067.71	c #Conflicts:     192000 | #Constraints:      13730
1064.59/1067.71	c #Conflicts:     193000 | #Constraints:      14730
1064.59/1067.71	c #Conflicts:     194000 | #Constraints:      15730
1064.59/1067.71	c #Conflicts:     195000 | #Constraints:      16730
1064.59/1067.71	c #Conflicts:     196000 | #Constraints:      17730
1064.59/1067.71	c #Conflicts:     197000 | #Constraints:      18730
1064.59/1067.71	c #Conflicts:     198000 | #Constraints:      19730
1064.59/1067.71	c INPROCESSING
1064.59/1067.71	c GARBAGE COLLECT
1064.59/1067.71	c #Conflicts:     199000 | #Constraints:      11941
1064.59/1067.71	c #Conflicts:     200000 | #Constraints:      12941
1064.59/1067.71	c #Conflicts:     201000 | #Constraints:      13941
1064.59/1067.71	c #Conflicts:     202000 | #Constraints:      14941
1064.59/1067.71	c #Conflicts:     203000 | #Constraints:      15941
1064.59/1067.71	c #Conflicts:     204000 | #Constraints:      16941
1064.59/1067.71	c #Conflicts:     205000 | #Constraints:      17941
1064.59/1067.71	c #Conflicts:     206000 | #Constraints:      18941
1064.59/1067.71	c #Conflicts:     207000 | #Constraints:      19941
1064.59/1067.71	c INPROCESSING
1064.59/1067.71	c GARBAGE COLLECT
1064.59/1067.71	c #Conflicts:     208000 | #Constraints:      11945
1064.59/1067.71	c #Conflicts:     209000 | #Constraints:      12945
1064.59/1067.71	c #Conflicts:     210000 | #Constraints:      13945
1064.59/1067.71	c #Conflicts:     211000 | #Constraints:      14945
1064.59/1067.71	c #Conflicts:     212000 | #Constraints:      15945
1064.59/1067.71	c #Conflicts:     213000 | #Constraints:      16945
1642.76/1647.40	c #Conflicts:     214000 | #Constraints:      17945
1642.76/1647.40	c #Conflicts:     215000 | #Constraints:      18945
1642.76/1647.40	c #Conflicts:     216000 | #Constraints:      19945
1642.76/1647.40	c INPROCESSING
1642.76/1647.40	c GARBAGE COLLECT
1642.76/1647.40	c #Conflicts:     217000 | #Constraints:      11746
1642.76/1647.40	c #Conflicts:     218000 | #Constraints:      12746
1642.76/1647.40	c #Conflicts:     219000 | #Constraints:      13746
1642.76/1647.40	c #Conflicts:     220000 | #Constraints:      14746
1642.76/1647.40	c #Conflicts:     221000 | #Constraints:      15746
1642.76/1647.40	c #Conflicts:     222000 | #Constraints:      16746
1642.76/1647.40	c #Conflicts:     223000 | #Constraints:      17746
1642.76/1647.40	c #Conflicts:     224000 | #Constraints:      18746
1642.76/1647.40	c #Conflicts:     225000 | #Constraints:      19746
1642.76/1647.40	c #Conflicts:     226000 | #Constraints:      20746
1642.76/1647.40	c INPROCESSING
1642.76/1647.40	c GARBAGE COLLECT
1642.76/1647.40	c #Conflicts:     227000 | #Constraints:      12352
1642.76/1647.40	c #Conflicts:     228000 | #Constraints:      13352
1642.76/1647.40	c #Conflicts:     229000 | #Constraints:      14352
1642.76/1647.40	c #Conflicts:     230000 | #Constraints:      15352
1642.76/1647.40	c #Conflicts:     231000 | #Constraints:      16352
1642.76/1647.40	c #Conflicts:     232000 | #Constraints:      17352
1642.76/1647.40	c #Conflicts:     233000 | #Constraints:      18352
1642.76/1647.40	c #Conflicts:     234000 | #Constraints:      19352
1642.76/1647.40	c #Conflicts:     235000 | #Constraints:      20352
1642.76/1647.40	c #Conflicts:     236000 | #Constraints:      21352
1642.76/1647.40	c INPROCESSING
1642.76/1647.40	c GARBAGE COLLECT
1642.76/1647.40	c #Conflicts:     237000 | #Constraints:      12747
1642.76/1647.40	c #Conflicts:     238000 | #Constraints:      13747
1642.76/1647.40	c #Conflicts:     239000 | #Constraints:      14747
1642.76/1647.40	c #Conflicts:     240000 | #Constraints:      15747
1642.76/1647.40	c #Conflicts:     241000 | #Constraints:      16747
1642.76/1647.40	c #Conflicts:     242000 | #Constraints:      17747
1642.76/1647.40	c #Conflicts:     243000 | #Constraints:      18747
1642.76/1647.40	c #Conflicts:     244000 | #Constraints:      19747
1642.76/1647.40	c #Conflicts:     245000 | #Constraints:      20747
1642.76/1647.40	c #Conflicts:     246000 | #Constraints:      21747
1642.76/1647.40	c INPROCESSING
1642.76/1647.40	c GARBAGE COLLECT
1642.76/1647.40	c #Conflicts:     247000 | #Constraints:      12937
1642.76/1647.40	c #Conflicts:     248000 | #Constraints:      13937
1642.76/1647.40	c #Conflicts:     249000 | #Constraints:      14937
1642.76/1647.40	c #Conflicts:     250000 | #Constraints:      15937
1642.76/1647.40	c #Conflicts:     251000 | #Constraints:      16937
1642.76/1647.40	c #Conflicts:     252000 | #Constraints:      17937
1642.76/1647.40	c #Conflicts:     253000 | #Constraints:      18937
1642.76/1647.40	c #Conflicts:     254000 | #Constraints:      19937
1642.76/1647.40	c #Conflicts:     255000 | #Constraints:      20937
1642.76/1647.40	c #Conflicts:     256000 | #Constraints:      21937
1642.76/1647.40	c INPROCESSING
1642.76/1647.40	c GARBAGE COLLECT
1642.76/1647.40	c #Conflicts:     257000 | #Constraints:      12927
1642.76/1647.40	c #Conflicts:     258000 | #Constraints:      13927
1642.76/1647.40	c #Conflicts:     259000 | #Constraints:      14927
1642.76/1647.40	c #Conflicts:     260000 | #Constraints:      15927
1642.76/1647.40	c #Conflicts:     261000 | #Constraints:      16927
1642.76/1647.40	c #Conflicts:     262000 | #Constraints:      17927
1642.76/1647.40	c #Conflicts:     263000 | #Constraints:      18927
1642.76/1647.40	c #Conflicts:     264000 | #Constraints:      19927
1642.76/1647.40	c #Conflicts:     265000 | #Constraints:      20927
1642.76/1647.40	c #Conflicts:     266000 | #Constraints:      21927
1642.76/1647.40	c INPROCESSING
1642.76/1647.40	c GARBAGE COLLECT
1642.76/1647.40	c #Conflicts:     267000 | #Constraints:      12739
1642.76/1647.40	c #Conflicts:     268000 | #Constraints:      13739
1642.76/1647.40	c #Conflicts:     269000 | #Constraints:      14739
1642.76/1647.40	c #Conflicts:     270000 | #Constraints:      15739
1642.76/1647.40	c #Conflicts:     271000 | #Constraints:      16739
1642.76/1647.40	c #Conflicts:     272000 | #Constraints:      17739
1642.76/1647.40	c #Conflicts:     273000 | #Constraints:      18739
1642.76/1647.40	c #Conflicts:     274000 | #Constraints:      19739
1642.76/1647.40	c #Conflicts:     275000 | #Constraints:      20739
1642.76/1647.40	c #Conflicts:     276000 | #Constraints:      21739
1642.76/1647.40	c #Conflicts:     277000 | #Constraints:      22739
1642.76/1647.40	c INPROCESSING
1642.76/1647.40	c GARBAGE COLLECT
1642.76/1647.40	c #Conflicts:     278000 | #Constraints:      13334
1642.76/1647.40	c #Conflicts:     279000 | #Constraints:      14334
1642.76/1647.40	c #Conflicts:     280000 | #Constraints:      15334
1642.76/1647.40	c #Conflicts:     281000 | #Constraints:      16334
1642.76/1647.40	c #Conflicts:     282000 | #Constraints:      17334
1642.76/1647.40	c #Conflicts:     283000 | #Constraints:      18334
1642.76/1647.40	c #Conflicts:     284000 | #Constraints:      19334
1642.76/1647.40	c #Conflicts:     285000 | #Constraints:      20334
1642.76/1647.40	c #Conflicts:     286000 | #Constraints:      21334
1642.76/1647.40	c #Conflicts:     287000 | #Constraints:      22334
1642.76/1647.40	c #Conflicts:     288000 | #Constraints:      23334
2255.70/2261.83	c INPROCESSING
2255.70/2261.83	c GARBAGE COLLECT
2255.70/2261.83	c #Conflicts:     289000 | #Constraints:      13725
2255.70/2261.83	c #Conflicts:     290000 | #Constraints:      14725
2255.70/2261.83	c #Conflicts:     291000 | #Constraints:      15725
2255.70/2261.83	c #Conflicts:     292000 | #Constraints:      16725
2255.70/2261.83	c #Conflicts:     293000 | #Constraints:      17725
2255.70/2261.83	c #Conflicts:     294000 | #Constraints:      18725
2255.70/2261.83	c #Conflicts:     295000 | #Constraints:      19725
2255.70/2261.83	c #Conflicts:     296000 | #Constraints:      20725
2255.70/2261.83	c #Conflicts:     297000 | #Constraints:      21725
2255.70/2261.83	c #Conflicts:     298000 | #Constraints:      22725
2255.70/2261.83	c #Conflicts:     299000 | #Constraints:      23725
2255.70/2261.83	c INPROCESSING
2255.70/2261.83	c GARBAGE COLLECT
2255.70/2261.83	c #Conflicts:     300000 | #Constraints:      13925
2255.70/2261.83	c #Conflicts:     301000 | #Constraints:      14925
2255.70/2261.83	c #Conflicts:     302000 | #Constraints:      15925
2255.70/2261.83	c #Conflicts:     303000 | #Constraints:      16925
2255.70/2261.83	c #Conflicts:     304000 | #Constraints:      17925
2255.70/2261.83	c #Conflicts:     305000 | #Constraints:      18925
2255.70/2261.83	c #Conflicts:     306000 | #Constraints:      19925
2255.70/2261.83	c #Conflicts:     307000 | #Constraints:      20925
2255.70/2261.83	c #Conflicts:     308000 | #Constraints:      21925
2255.70/2261.83	c #Conflicts:     309000 | #Constraints:      22925
2255.70/2261.83	c #Conflicts:     310000 | #Constraints:      23925
2255.70/2261.83	c INPROCESSING
2255.70/2261.83	c GARBAGE COLLECT
2255.70/2261.83	c #Conflicts:     311000 | #Constraints:      13909
2255.70/2261.83	c #Conflicts:     312000 | #Constraints:      14909
2255.70/2261.83	c #Conflicts:     313000 | #Constraints:      15909
2255.70/2261.83	c #Conflicts:     314000 | #Constraints:      16909
2255.70/2261.83	c #Conflicts:     315000 | #Constraints:      17909
2255.70/2261.83	c #Conflicts:     316000 | #Constraints:      18909
2255.70/2261.83	c #Conflicts:     317000 | #Constraints:      19909
2255.70/2261.83	c #Conflicts:     318000 | #Constraints:      20909
2255.70/2261.83	c #Conflicts:     319000 | #Constraints:      21909
2255.70/2261.83	c #Conflicts:     320000 | #Constraints:      22909
2255.70/2261.83	c #Conflicts:     321000 | #Constraints:      23909
2255.70/2261.83	c INPROCESSING
2255.70/2261.83	c GARBAGE COLLECT
2255.70/2261.83	c #Conflicts:     322000 | #Constraints:      13702
2255.70/2261.83	c #Conflicts:     323000 | #Constraints:      14702
2255.70/2261.83	c #Conflicts:     324000 | #Constraints:      15702
2255.70/2261.83	c #Conflicts:     325000 | #Constraints:      16702
2255.70/2261.83	c #Conflicts:     326000 | #Constraints:      17702
2255.70/2261.83	c #Conflicts:     327000 | #Constraints:      18702
2255.70/2261.83	c #Conflicts:     328000 | #Constraints:      19702
2255.70/2261.83	c #Conflicts:     329000 | #Constraints:      20702
2255.70/2261.83	c #Conflicts:     330000 | #Constraints:      21702
2255.70/2261.83	c #Conflicts:     331000 | #Constraints:      22702
2255.70/2261.83	c #Conflicts:     332000 | #Constraints:      23702
2255.70/2261.83	c #Conflicts:     333000 | #Constraints:      24702
2255.70/2261.83	c INPROCESSING
2255.70/2261.83	c GARBAGE COLLECT
2255.70/2261.83	c #Conflicts:     334000 | #Constraints:      14324
2255.70/2261.83	c #Conflicts:     335000 | #Constraints:      15324
2255.70/2261.83	c #Conflicts:     336000 | #Constraints:      16324
2255.70/2261.83	c #Conflicts:     337000 | #Constraints:      17324
2255.70/2261.83	c #Conflicts:     338000 | #Constraints:      18324
2255.70/2261.83	c #Conflicts:     339000 | #Constraints:      19324
2255.70/2261.83	c #Conflicts:     340000 | #Constraints:      20324
2255.70/2261.83	c #Conflicts:     341000 | #Constraints:      21324
2255.70/2261.83	c #Conflicts:     342000 | #Constraints:      22324
2255.70/2261.83	c #Conflicts:     343000 | #Constraints:      23324
2255.70/2261.83	c #Conflicts:     344000 | #Constraints:      24324
2255.70/2261.83	c #Conflicts:     345000 | #Constraints:      25324
2255.70/2261.83	c INPROCESSING
2255.70/2261.83	c GARBAGE COLLECT
2255.70/2261.83	c #Conflicts:     346000 | #Constraints:      14718
2255.70/2261.83	c #Conflicts:     347000 | #Constraints:      15718
2255.70/2261.83	c #Conflicts:     348000 | #Constraints:      16718
2255.70/2261.83	c #Conflicts:     349000 | #Constraints:      17718
2255.70/2261.83	c #Conflicts:     350000 | #Constraints:      18718
2255.70/2261.83	c #Conflicts:     351000 | #Constraints:      19718
2255.70/2261.83	c #Conflicts:     352000 | #Constraints:      20718
2255.70/2261.83	c #Conflicts:     353000 | #Constraints:      21718
2255.70/2261.83	c #Conflicts:     354000 | #Constraints:      22718
2255.70/2261.83	c #Conflicts:     355000 | #Constraints:      23718
2255.70/2261.83	c #Conflicts:     356000 | #Constraints:      24718
2255.70/2261.83	c #Conflicts:     357000 | #Constraints:      25718
2255.70/2261.83	c INPROCESSING
2255.70/2261.83	c GARBAGE COLLECT
2255.70/2261.83	c #Conflicts:     358000 | #Constraints:      14930
2255.70/2261.83	c #Conflicts:     359000 | #Constraints:      15930
2255.70/2261.83	c #Conflicts:     360000 | #Constraints:      16930
2255.70/2261.83	c #Conflicts:     361000 | #Constraints:      17930
2255.70/2261.83	c #Conflicts:     362000 | #Constraints:      18930
2960.17/2968.38	c #Conflicts:     363000 | #Constraints:      19930
2960.17/2968.38	c #Conflicts:     364000 | #Constraints:      20930
2960.17/2968.38	c #Conflicts:     365000 | #Constraints:      21930
2960.17/2968.38	c #Conflicts:     366000 | #Constraints:      22930
2960.17/2968.38	c #Conflicts:     367000 | #Constraints:      23930
2960.17/2968.38	c #Conflicts:     368000 | #Constraints:      24930
2960.17/2968.38	c #Conflicts:     369000 | #Constraints:      25930
2960.17/2968.38	c INPROCESSING
2960.17/2968.38	c GARBAGE COLLECT
2960.17/2968.38	c #Conflicts:     370000 | #Constraints:      14938
2960.17/2968.38	c #Conflicts:     371000 | #Constraints:      15938
2960.17/2968.38	c #Conflicts:     372000 | #Constraints:      16938
2960.17/2968.38	c #Conflicts:     373000 | #Constraints:      17938
2960.17/2968.38	c #Conflicts:     374000 | #Constraints:      18938
2960.17/2968.38	c #Conflicts:     375000 | #Constraints:      19938
2960.17/2968.38	c #Conflicts:     376000 | #Constraints:      20938
2960.17/2968.38	c #Conflicts:     377000 | #Constraints:      21938
2960.17/2968.38	c #Conflicts:     378000 | #Constraints:      22938
2960.17/2968.38	c #Conflicts:     379000 | #Constraints:      23938
2960.17/2968.38	c #Conflicts:     380000 | #Constraints:      24938
2960.17/2968.38	c #Conflicts:     381000 | #Constraints:      25938
2960.17/2968.38	c INPROCESSING
2960.17/2968.38	c GARBAGE COLLECT
2960.17/2968.38	c #Conflicts:     382000 | #Constraints:      14733
2960.17/2968.38	c #Conflicts:     383000 | #Constraints:      15733
2960.17/2968.38	c #Conflicts:     384000 | #Constraints:      16733
2960.17/2968.38	c #Conflicts:     385000 | #Constraints:      17733
2960.17/2968.38	c #Conflicts:     386000 | #Constraints:      18733
2960.17/2968.38	c #Conflicts:     387000 | #Constraints:      19733
2960.17/2968.38	c #Conflicts:     388000 | #Constraints:      20733
2960.17/2968.38	c #Conflicts:     389000 | #Constraints:      21733
2960.17/2968.38	c #Conflicts:     390000 | #Constraints:      22733
2960.17/2968.38	c #Conflicts:     391000 | #Constraints:      23733
2960.17/2968.38	c #Conflicts:     392000 | #Constraints:      24733
2960.17/2968.38	c #Conflicts:     393000 | #Constraints:      25733
2960.17/2968.38	c #Conflicts:     394000 | #Constraints:      26733
2960.17/2968.38	c INPROCESSING
2960.17/2968.38	c GARBAGE COLLECT
2960.17/2968.38	c #Conflicts:     395000 | #Constraints:      15330
2960.17/2968.38	c #Conflicts:     396000 | #Constraints:      16330
2960.17/2968.38	c #Conflicts:     397000 | #Constraints:      17330
2960.17/2968.38	c #Conflicts:     398000 | #Constraints:      18330
2960.17/2968.38	c #Conflicts:     399000 | #Constraints:      19330
2960.17/2968.38	c #Conflicts:     400000 | #Constraints:      20330
2960.17/2968.38	c #Conflicts:     401000 | #Constraints:      21330
2960.17/2968.38	c #Conflicts:     402000 | #Constraints:      22330
2960.17/2968.38	c #Conflicts:     403000 | #Constraints:      23330
2960.17/2968.38	c #Conflicts:     404000 | #Constraints:      24330
2960.17/2968.38	c #Conflicts:     405000 | #Constraints:      25330
2960.17/2968.38	c #Conflicts:     406000 | #Constraints:      26330
2960.17/2968.38	c #Conflicts:     407000 | #Constraints:      27330
2960.17/2968.38	c INPROCESSING
2960.17/2968.38	c GARBAGE COLLECT
2960.17/2968.38	c #Conflicts:     408000 | #Constraints:      15733
2960.17/2968.38	c #Conflicts:     409000 | #Constraints:      16733
2960.17/2968.38	c #Conflicts:     410000 | #Constraints:      17733
2960.17/2968.38	c #Conflicts:     411000 | #Constraints:      18733
2960.17/2968.38	c #Conflicts:     412000 | #Constraints:      19733
2960.17/2968.38	c #Conflicts:     413000 | #Constraints:      20733
2960.17/2968.38	c #Conflicts:     414000 | #Constraints:      21733
2960.17/2968.38	c #Conflicts:     415000 | #Constraints:      22733
2960.17/2968.38	c #Conflicts:     416000 | #Constraints:      23733
2960.17/2968.38	c #Conflicts:     417000 | #Constraints:      24733
2960.17/2968.38	c #Conflicts:     418000 | #Constraints:      25733
2960.17/2968.38	c #Conflicts:     419000 | #Constraints:      26733
2960.17/2968.38	c #Conflicts:     420000 | #Constraints:      27733
2960.17/2968.38	c INPROCESSING
2960.17/2968.38	c GARBAGE COLLECT
2960.17/2968.38	c #Conflicts:     421000 | #Constraints:      15932
2960.17/2968.38	c #Conflicts:     422000 | #Constraints:      16932
2960.17/2968.38	c #Conflicts:     423000 | #Constraints:      17932
2960.17/2968.38	c #Conflicts:     424000 | #Constraints:      18932
2960.17/2968.38	c #Conflicts:     425000 | #Constraints:      19932
2960.17/2968.38	c #Conflicts:     426000 | #Constraints:      20932
2960.17/2968.38	c #Conflicts:     427000 | #Constraints:      21932
2960.17/2968.38	c #Conflicts:     428000 | #Constraints:      22932
2960.17/2968.38	c #Conflicts:     429000 | #Constraints:      23932
2960.17/2968.38	c #Conflicts:     430000 | #Constraints:      24932
2960.17/2968.38	c #Conflicts:     431000 | #Constraints:      25932
2960.17/2968.38	c #Conflicts:     432000 | #Constraints:      26932
2960.17/2968.38	c #Conflicts:     433000 | #Constraints:      27932
2960.17/2968.38	c INPROCESSING
2960.17/2968.38	c GARBAGE COLLECT
2960.17/2968.38	c #Conflicts:     434000 | #Constraints:      15939
2960.17/2968.38	c #Conflicts:     435000 | #Constraints:      16939
2960.17/2968.38	c #Conflicts:     436000 | #Constraints:      17939
2960.17/2968.38	c #Conflicts:     437000 | #Constraints:      18939
3600.03/3610.01	c #Conflicts:     438000 | #Constraints:      19939
3600.03/3610.01	c #Conflicts:     439000 | #Constraints:      20939
3600.03/3610.01	c #Conflicts:     440000 | #Constraints:      21939
3600.03/3610.01	c #Conflicts:     441000 | #Constraints:      22939
3600.03/3610.01	c #Conflicts:     442000 | #Constraints:      23939
3600.03/3610.01	c #Conflicts:     443000 | #Constraints:      24939
3600.03/3610.01	c #Conflicts:     444000 | #Constraints:      25939
3600.03/3610.01	c #Conflicts:     445000 | #Constraints:      26939
3600.03/3610.01	c #Conflicts:     446000 | #Constraints:      27939
3600.03/3610.01	c INPROCESSING
3600.03/3610.01	c GARBAGE COLLECT
3600.03/3610.01	c #Conflicts:     447000 | #Constraints:      15742
3600.03/3610.01	c #Conflicts:     448000 | #Constraints:      16742
3600.03/3610.01	c #Conflicts:     449000 | #Constraints:      17742
3600.03/3610.01	c #Conflicts:     450000 | #Constraints:      18742
3600.03/3610.01	c #Conflicts:     451000 | #Constraints:      19742
3600.03/3610.01	c #Conflicts:     452000 | #Constraints:      20742
3600.03/3610.01	c #Conflicts:     453000 | #Constraints:      21742
3600.03/3610.01	c #Conflicts:     454000 | #Constraints:      22742
3600.03/3610.01	c #Conflicts:     455000 | #Constraints:      23742
3600.03/3610.01	c #Conflicts:     456000 | #Constraints:      24742
3600.03/3610.01	c #Conflicts:     457000 | #Constraints:      25742
3600.03/3610.01	c #Conflicts:     458000 | #Constraints:      26742
3600.03/3610.01	c #Conflicts:     459000 | #Constraints:      27742
3600.03/3610.01	c #Conflicts:     460000 | #Constraints:      28742
3600.03/3610.01	c INPROCESSING
3600.03/3610.01	c GARBAGE COLLECT
3600.03/3610.01	c #Conflicts:     461000 | #Constraints:      16339
3600.03/3610.01	c #Conflicts:     462000 | #Constraints:      17339
3600.03/3610.01	c #Conflicts:     463000 | #Constraints:      18339
3600.03/3610.01	c #Conflicts:     464000 | #Constraints:      19339
3600.03/3610.01	c #Conflicts:     465000 | #Constraints:      20339
3600.03/3610.01	c #Conflicts:     466000 | #Constraints:      21339
3600.03/3610.01	c #Conflicts:     467000 | #Constraints:      22339
3600.03/3610.01	c #Conflicts:     468000 | #Constraints:      23339
3600.03/3610.01	c #Conflicts:     469000 | #Constraints:      24339
3600.03/3610.01	c #Conflicts:     470000 | #Constraints:      25339
3600.03/3610.01	c #Conflicts:     471000 | #Constraints:      26339
3600.03/3610.01	c #Conflicts:     472000 | #Constraints:      27339
3600.03/3610.01	c #Conflicts:     473000 | #Constraints:      28339
3600.03/3610.01	c #Conflicts:     474000 | #Constraints:      29339
3600.03/3610.01	c INPROCESSING
3600.03/3610.01	c GARBAGE COLLECT
3600.03/3610.01	c #Conflicts:     475000 | #Constraints:      16721
3600.03/3610.01	c #Conflicts:     476000 | #Constraints:      17721
3600.03/3610.01	c #Conflicts:     477000 | #Constraints:      18721
3600.03/3610.01	c #Conflicts:     478000 | #Constraints:      19721
3600.03/3610.01	c #Conflicts:     479000 | #Constraints:      20721
3600.03/3610.01	c #Conflicts:     480000 | #Constraints:      21721
3600.03/3610.01	c #Conflicts:     481000 | #Constraints:      22721
3600.03/3610.01	c #Conflicts:     482000 | #Constraints:      23721
3600.03/3610.01	c #Conflicts:     483000 | #Constraints:      24721
3600.03/3610.01	c #Conflicts:     484000 | #Constraints:      25721
3600.03/3610.01	c #Conflicts:     485000 | #Constraints:      26721
3600.03/3610.01	c #Conflicts:     486000 | #Constraints:      27721
3600.03/3610.01	c #Conflicts:     487000 | #Constraints:      28721
3600.03/3610.01	c #Conflicts:     488000 | #Constraints:      29721
3600.03/3610.01	c INPROCESSING
3600.03/3610.01	c GARBAGE COLLECT
3600.03/3610.01	c #Conflicts:     489000 | #Constraints:      16923
3600.03/3610.01	c #Conflicts:     490000 | #Constraints:      17923
3600.03/3610.01	c #Conflicts:     491000 | #Constraints:      18923
3600.03/3610.01	c #Conflicts:     492000 | #Constraints:      19923
3600.03/3610.01	c #Conflicts:     493000 | #Constraints:      20923
3600.03/3610.01	c #Conflicts:     494000 | #Constraints:      21923
3600.03/3610.01	c #Conflicts:     495000 | #Constraints:      22923
3600.03/3610.01	c #Conflicts:     496000 | #Constraints:      23923
3600.03/3610.01	c #Conflicts:     497000 | #Constraints:      24923
3600.03/3610.01	c #Conflicts:     498000 | #Constraints:      25923
3600.03/3610.01	c Program interrupted by user.
3600.03/3610.01	c cpu time 3589.94 s
3600.03/3610.01	c deterministic time 701321899308 7.01e+11
3600.03/3610.01	c optimization time 84.0718 s
3600.03/3610.01	c total solve time 3505.85 s
3600.03/3610.01	c core-guided solve time 3505.85 s
3600.03/3610.01	c propagation time 3381.48 s
3600.03/3610.01	c conflict analysis time 176.528 s
3600.03/3610.01	c propagations 59754484
3600.03/3610.01	c resolve steps 3882735
3600.03/3610.01	c decisions 8388289
3600.03/3610.01	c conflicts 498317
3600.03/3610.01	c restarts 1022
3600.03/3610.01	c inprocessing phases 61
3600.03/3610.01	c input clauses 1860
3600.03/3610.01	c input cardinalities 89
3600.03/3610.01	c input general constraints 60
3600.03/3610.01	c input average constraint length 6.27
3600.03/3610.01	c input average constraint degree 3.11
3600.03/3610.01	c learned clauses 117252
3600.03/3610.01	c learned cardinalities 157
3600.03/3610.01	c learned general constraints 380908
3600.03/3610.01	c learned average constraint length 866.28
3600.03/3610.01	c learned average constraint degree 134718.45
3600.03/3610.01	c watched constraints 320877
3600.03/3610.01	c counting constraints 60091
3600.03/3610.01	c gcd simplifications 52
3600.03/3610.01	c detected cardinalities 0
3600.03/3610.01	c weakened non-implied lits 37306239
3600.03/3610.01	c weakened non-implying lits 2177
3600.03/3610.01	c original variables 4500
3600.03/3610.01	c clausal propagations 22961457
3600.03/3610.01	c cardinality propagations 12088676
3600.03/3610.01	c watched propagations 14335278
3600.03/3610.01	c counting propagations 10175364
3600.03/3610.01	c watch lookups 25992357261
3600.03/3610.01	c watch backjump lookups 23213827921
3600.03/3610.01	c watch checks 485142789452
3600.03/3610.01	c propagation checks 165922960228
3600.03/3610.01	c constraint additions 913182213
3600.03/3610.01	c trail pops 68639459
3600.03/3610.01	c formula constraints 1979
3600.03/3610.01	c learned constraints 498317
3600.03/3610.01	c bound constraints 0
3600.03/3610.01	c core-guided constraints 30
3600.03/3610.01	c encountered formula constraints 2821464
3600.03/3610.01	c encountered learned constraints 1559558
3600.03/3610.01	c encountered bound constraints 0
3600.03/3610.01	c encountered core-guided constraints 30
3600.03/3610.01	c LP total time 0 s
3600.03/3610.01	c LP solve time 0 s
3600.03/3610.01	c LP constraints added 0
3600.03/3610.01	c LP constraints removed 0
3600.03/3610.01	c LP pivots internal 0
3600.03/3610.01	c LP pivots root 0
3600.03/3610.01	c LP calls 0
3600.03/3610.01	c LP optimalities 0
3600.03/3610.01	c LP no pivot count 0
3600.03/3610.01	c LP infeasibilities 0
3600.03/3610.01	c LP valid Farkas constraints 0
3600.03/3610.01	c LP learned Farkas constraints 0
3600.03/3610.01	c LP basis resets 0
3600.03/3610.01	c LP cycling count 0
3600.03/3610.01	c LP singular count 0
3600.03/3610.01	c LP no primal count 0
3600.03/3610.01	c LP no farkas count 0
3600.03/3610.01	c LP other issue count 0
3600.03/3610.01	c LP Gomory cuts 0
3600.03/3610.01	c LP learned cuts 0
3600.03/3610.01	c LP deleted cuts 0
3600.03/3610.01	c LP encountered Gomory constraints 0
3600.03/3610.01	c LP encountered Farkas constraints 0
3600.03/3610.01	c LP encountered learned Farkas constraints 0
3600.03/3610.01	c CG auxiliary variables introduced 30
3600.03/3610.01	c CG solutions found 0
3600.03/3610.01	c CG cores constructed 0
3600.03/3610.01	c CG core cardinality constraints returned 0
3600.03/3610.01	c CG unit cores 0
3600.03/3610.01	c CG single cores 0
3600.03/3610.01	c CG blocks removed during cardinality reduction 0
3600.03/3610.01	c CG first core best 0
3600.03/3610.01	c CG decision core best 0
3600.03/3610.01	c CG core reduction tie 0
3600.03/3610.01	c CG core degree average 0.00
3600.03/3610.01	c CG core slack average 0.00
3600.03/3610.01	c CG exhausted 0
3600.03/3610.01	c CG exhaust time 0 s
3600.03/3610.01	c CG trimmed 0
3600.03/3610.01	c CG trim time 0 s
3600.03/3610.01	c CG minimized 0
3600.03/3610.01	c CG minimize time 0 s
3600.03/3610.01	c CG am1 prop time 0.005741 s
3600.03/3610.01	c CG # am1s reformulated 30
3600.03/3610.01	c CG lower bound derived from am1s 870
3600.03/3610.01	c CG # clausal cores 0
3600.03/3610.01	c CG # cardinality cores 0
3600.03/3610.01	c CG # pb cores 0
3600.03/3610.01	c CG # pb reforms 0
3600.03/3610.01	c CG # cores discarded because of pb reform 0
3600.03/3610.01	d LOWERBOUND 0
3600.03/3610.01	d NCORES 0
3600.03/3610.01	d NPBCORES 0
3600.03/3610.01	d NPBREFORM 0
3600.03/3610.01	d NTRIMMED 0
3600.03/3610.01	d NEXHAUSTED 0
3600.03/3610.01	d NAM1S 30
3600.03/3610.01	d AM1LB 870
3600.03/3610.01	s UNKNOWN

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63837 MiB (62858 MiB free)
  memory of node 1: 64465 MiB (63424 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4519602-1751556403/watcher-4519602-1751556403 -o /tmp/evaluation-result-4519602-1751556403/solver-4519602-1751556403 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76162 --watchdog 3760 pb-oll-rs HOME/instance-4519602-1751556403.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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

solver pid=77659, runsolver pid=77656

[startup+0.100076 s]*
/proc/loadavg: 4.23 4.30 4.20 5/251 77660
/proc/meminfo: memFree=129310236/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=23692 memory=9600 CPUtime=0.09 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 1266 0 0 0 7 2 0 0 20 0 1 0 71319404 24260608 2400 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 5923 2400 1344 243 0 2172 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 23692 KiB
Current children cumulated memory: 9600 KiB

[startup+0.217297 s]*
/proc/loadavg: 4.23 4.30 4.20 5/251 77660
/proc/meminfo: memFree=129309228/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=24348 memory=13080 CPUtime=0.19 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 1603 0 0 0 16 3 0 0 20 0 1 0 71319404 24932352 3270 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 6087 3270 1344 243 0 2336 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 24348 KiB
Current children cumulated memory: 13080 KiB

[startup+0.31295 s]*
/proc/loadavg: 4.23 4.30 4.20 6/251 77660
/proc/meminfo: memFree=129309228/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=24736 memory=13336 CPUtime=0.26 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 1696 0 0 0 21 5 0 0 20 0 1 0 71319404 25329664 3334 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 6184 3334 1344 243 0 2433 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 24736 KiB
Current children cumulated memory: 13336 KiB

[startup+0.7002 s]
/proc/loadavg: 4.23 4.30 4.20 5/251 77660
/proc/meminfo: memFree=129307716/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=27340 memory=16280 CPUtime=0.62 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 2406 0 0 0 52 10 0 0 20 0 1 0 71319404 27996160 4070 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 6835 4070 1344 243 0 3084 0
Current children cumulated CPU time: 0.62 s
Current children cumulated vsize: 27340 KiB
Current children cumulated memory: 16280 KiB

[startup+1.50021 s]
/proc/loadavg: 4.23 4.30 4.20 5/251 77660
/proc/meminfo: memFree=129300912/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=40132 memory=28804 CPUtime=1.4 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 4515 0 0 0 125 15 0 0 20 0 1 0 71319404 41095168 7201 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 10033 7201 1344 243 0 6282 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 40132 KiB
Current children cumulated memory: 28804 KiB

[startup+3.10548 s]
/proc/loadavg: 4.23 4.30 4.20 5/251 77660
/proc/meminfo: memFree=129286352/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=53016 memory=38656 CPUtime=2.99 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 6471 0 0 0 277 22 0 0 20 0 1 0 71319404 54288384 9664 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 6 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 13254 9664 1344 243 0 9503 0
Current children cumulated CPU time: 2.99 s
Current children cumulated vsize: 53016 KiB
Current children cumulated memory: 38656 KiB

[startup+6.30025 s]
/proc/loadavg: 4.21 4.29 4.20 4/249 77674
/proc/meminfo: memFree=129533720/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=59904 memory=47888 CPUtime=6.17 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 8271 0 0 0 589 28 0 0 20 0 1 0 71319404 61341696 11972 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 14976 11972 1344 243 0 11225 0
Current children cumulated CPU time: 6.17 s
Current children cumulated vsize: 59904 KiB
Current children cumulated memory: 47888 KiB

[startup+12.7003 s]
/proc/loadavg: 4.19 4.29 4.19 5/251 77705
/proc/meminfo: memFree=129526500/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=83760 memory=65820 CPUtime=12.55 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 11222 0 0 0 1217 38 0 0 20 0 1 0 71319404 85770240 16455 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 20940 16455 1344 243 0 17189 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 83760 KiB
Current children cumulated memory: 65820 KiB

[startup+25.5003 s]
/proc/loadavg: 4.15 4.27 4.19 5/251 77705
/proc/meminfo: memFree=129491712/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=91360 memory=76352 CPUtime=25.32 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 12839 0 0 0 2481 51 0 0 20 0 1 0 71319404 93552640 19088 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 22840 19088 1344 243 0 19089 0
Current children cumulated CPU time: 25.32 s
Current children cumulated vsize: 91360 KiB
Current children cumulated memory: 76352 KiB

[startup+51.1131 s]
/proc/loadavg: 4.16 4.27 4.19 5/251 77706
/proc/meminfo: memFree=129468812/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=105612 memory=89024 CPUtime=50.86 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 16045 0 0 0 5008 78 0 0 20 0 1 0 71319404 108146688 22256 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 26403 22256 1344 243 0 22652 0
Current children cumulated CPU time: 50.86 s
Current children cumulated vsize: 105612 KiB
Current children cumulated memory: 89024 KiB

[startup+102.3 s]
/proc/loadavg: 4.12 4.24 4.18 5/250 77708
/proc/meminfo: memFree=129424416/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=129412 memory=101224 CPUtime=101.92 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 17567 0 0 0 10073 119 0 0 20 0 1 0 71319404 132517888 25306 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 32353 25306 1344 243 0 28602 0
Current children cumulated CPU time: 101.92 s
Current children cumulated vsize: 129412 KiB
Current children cumulated memory: 101224 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.21 4.17 5/250 77710
/proc/meminfo: memFree=129368500/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=138344 memory=116716 CPUtime=161.76 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 19448 0 0 0 16026 150 0 0 20 0 1 0 71319404 141664256 29179 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 34586 29179 1344 243 0 30835 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 138344 KiB
Current children cumulated memory: 116716 KiB

[startup+222.3 s]
/proc/loadavg: 4.19 4.21 4.18 5/250 77712
/proc/meminfo: memFree=129363208/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=144076 memory=124172 CPUtime=221.6 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 20792 0 0 0 21978 182 0 0 20 0 1 0 71319404 147533824 31043 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 36019 31043 1344 243 0 32268 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 144076 KiB
Current children cumulated memory: 124172 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.19 4.17 5/250 77803
/proc/meminfo: memFree=129211636/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=181456 memory=132940 CPUtime=281.43 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 22522 0 0 0 27934 209 0 0 20 0 1 0 71319404 185810944 33235 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 45364 33235 1344 243 0 41613 0
Current children cumulated CPU time: 281.43 s
Current children cumulated vsize: 181456 KiB
Current children cumulated memory: 132940 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.18 4.17 5/249 77805
/proc/meminfo: memFree=129120408/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=183952 memory=141860 CPUtime=341.25 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 23095 0 0 0 33889 236 0 0 20 0 1 0 71319404 188366848 35465 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 45988 35465 1344 243 0 42237 0
Current children cumulated CPU time: 341.25 s
Current children cumulated vsize: 183952 KiB
Current children cumulated memory: 141860 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/250 77812
/proc/meminfo: memFree=129064920/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=185872 memory=150360 CPUtime=401.07 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 23447 0 0 0 39848 259 0 0 20 0 1 0 71319404 190332928 37590 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 46468 37590 1344 243 0 42717 0
Current children cumulated CPU time: 401.07 s
Current children cumulated vsize: 185872 KiB
Current children cumulated memory: 150360 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 4.15 4.16 5/250 77814
/proc/meminfo: memFree=129026228/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=188372 memory=154044 CPUtime=460.93 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 23872 0 0 0 45815 278 0 0 20 0 1 0 71319404 192892928 38511 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 47093 38511 1344 243 0 43342 0
Current children cumulated CPU time: 460.93 s

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

Current children cumulated memory: 271160 KiB

[startup+2862.3 s]
/proc/loadavg: 4.05 4.08 4.11 5/250 78117
/proc/meminfo: memFree=128588116/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=310280 memory=271416 CPUtime=2854.47 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 37570 0 0 0 284579 868 0 0 20 0 1 0 71319404 317726720 67854 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 77570 67854 1344 243 0 73819 0
Current children cumulated CPU time: 2854.47 s
Current children cumulated vsize: 310280 KiB
Current children cumulated memory: 271416 KiB

[startup+2922.3 s]
/proc/loadavg: 4.13 4.10 4.11 5/250 78119
/proc/meminfo: memFree=128589376/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=310280 memory=271416 CPUtime=2914.3 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 37571 0 0 0 290551 879 0 0 20 0 1 0 71319404 317726720 67854 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 77570 67854 1344 243 0 73819 0
Current children cumulated CPU time: 2914.3 s
Current children cumulated vsize: 310280 KiB
Current children cumulated memory: 271416 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.09 4.10 5/250 78121
/proc/meminfo: memFree=128584104/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=315144 memory=280304 CPUtime=2974.12 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 38260 0 0 0 296519 893 0 0 20 0 1 0 71319404 322707456 70076 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 78786 70076 1344 243 0 75035 0
Current children cumulated CPU time: 2974.12 s
Current children cumulated vsize: 315144 KiB
Current children cumulated memory: 280304 KiB

[startup+3042.3 s]
/proc/loadavg: 4.09 4.09 4.10 5/250 78123
/proc/meminfo: memFree=128581676/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=315144 memory=280304 CPUtime=3033.95 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 38260 0 0 0 302492 903 0 0 20 0 1 0 71319404 322707456 70076 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 78786 70076 1344 243 0 75035 0
Current children cumulated CPU time: 3033.95 s
Current children cumulated vsize: 315144 KiB
Current children cumulated memory: 280304 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 78127
/proc/meminfo: memFree=128533068/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=321548 memory=286184 CPUtime=3093.78 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 39250 0 0 0 308465 913 0 0 20 0 1 0 71319404 329265152 71546 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 80387 71546 1344 243 0 76636 0
Current children cumulated CPU time: 3093.78 s
Current children cumulated vsize: 321548 KiB
Current children cumulated memory: 286184 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.08 4.09 5/249 78129
/proc/meminfo: memFree=128527892/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=321548 memory=286184 CPUtime=3153.6 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 39250 0 0 0 314435 925 0 0 20 0 1 0 71319404 329265152 71546 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 80387 71546 1344 243 0 76636 0
Current children cumulated CPU time: 3153.6 s
Current children cumulated vsize: 321548 KiB
Current children cumulated memory: 286184 KiB

[startup+3222.3 s]
/proc/loadavg: 4.15 4.10 4.09 5/249 78131
/proc/meminfo: memFree=128525608/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=322536 memory=286824 CPUtime=3213.43 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 39410 0 0 0 320409 934 0 0 20 0 1 0 71319404 330276864 71706 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 80634 71706 1344 243 0 76883 0
Current children cumulated CPU time: 3213.43 s
Current children cumulated vsize: 322536 KiB
Current children cumulated memory: 286824 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.09 4.09 5/249 78132
/proc/meminfo: memFree=128499872/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=323468 memory=291592 CPUtime=3273.26 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 39575 0 0 0 326377 949 0 0 20 0 1 0 71319404 331231232 72898 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 80867 72898 1344 243 0 77116 0
Current children cumulated CPU time: 3273.26 s
Current children cumulated vsize: 323468 KiB
Current children cumulated memory: 291592 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/249 78134
/proc/meminfo: memFree=128492344/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=323468 memory=300552 CPUtime=3333.09 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 39575 0 0 0 332349 960 0 0 20 0 1 0 71319404 331231232 75138 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 80867 75138 1344 243 0 77116 0
Current children cumulated CPU time: 3333.09 s
Current children cumulated vsize: 323468 KiB
Current children cumulated memory: 300552 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/249 78136
/proc/meminfo: memFree=128472064/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=325516 memory=301832 CPUtime=3392.91 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 39876 0 0 0 338318 973 0 0 20 0 1 0 71319404 333328384 75458 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 81379 75458 1344 243 0 77628 0
Current children cumulated CPU time: 3392.91 s
Current children cumulated vsize: 325516 KiB
Current children cumulated memory: 301832 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/250 78143
/proc/meminfo: memFree=128492784/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=325516 memory=301832 CPUtime=3452.74 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 39876 0 0 0 344291 983 0 0 20 0 1 0 71319404 333328384 75458 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 81379 75458 1344 243 0 77628 0
Current children cumulated CPU time: 3452.74 s
Current children cumulated vsize: 325516 KiB
Current children cumulated memory: 301832 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/250 78145
/proc/meminfo: memFree=128491552/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=327272 memory=302856 CPUtime=3512.57 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 40263 0 0 0 350266 991 0 0 20 0 1 0 71319404 335126528 75714 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 81818 75714 1344 243 0 78067 0
Current children cumulated CPU time: 3512.57 s
Current children cumulated vsize: 327272 KiB
Current children cumulated memory: 302856 KiB

[startup+3582.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/250 78147
/proc/meminfo: memFree=128477848/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=327948 memory=303240 CPUtime=3572.4 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 40358 0 0 0 356234 1006 0 0 20 0 1 0 71319404 335818752 75810 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 81987 75810 1344 243 0 78236 0
Current children cumulated CPU time: 3572.4 s
Current children cumulated vsize: 327948 KiB
Current children cumulated memory: 303240 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610 s]*
/proc/loadavg: 4.15 4.10 4.09 5/250 78148
/proc/meminfo: memFree=128477864/131382120 swapFree=33010160/33010684
[pid=77659] ppid=77656 vsize=327948 memory=303240 CPUtime=3600.03 cores=4,6
/proc/77659/stat : 77659 (pb-oll-rs) R 77656 77659 76151 0 -1 4194304 40361 0 0 0 358994 1009 0 0 20 0 1 0 71319404 335818752 75810 18446744073709551615 4218880 5211445 140735783495920 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 5494472 5498400 12230656 140735783504284 140735783504361 140735783504361 140735783509963 0
/proc/77659/statm: 81987 75810 1344 243 0 78236 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 327948 KiB
Current children cumulated memory: 303240 KiB

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

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

# cumulated CPU time of all completed processes:  user=3589.95 s, system=10.0935 s

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

Child status: 0

Real time (s): 3610.02
CPU time (s): 3600.04
CPU user time (s): 3589.95
CPU system time (s): 10.0935
CPU usage (%): 99.7236
Max. virtual memory (cumulated for all children) (KiB): 327948
Max. memory (cumulated for all children) (KiB): 303240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3589.95
system time used= 10.0935
maximum resident set size= 303496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40376
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= 159
involuntary context switches= 2291


# summary of solver processes directly reported to runsolver:
#   pid: 77659
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3589.95
#   total CPU system time (s): 10.0935

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.4072 second user time and 34.2286 second system time

The end

Launcher Data

Begin job on nodeC008 at 2025-07-03 17:26:43
IDJOB=4519602
IDBENCH=177316
IDSOLVER=3345
FILE ID=nodeC008/4519602-1751556403
RUNJOBID= nodeC008-1751549168-76162
SLURM_JOB_ID= 9598725
Free space on /tmp= 432820 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/CoreGuidedPB/injcomp/injcomp_opt_4layers_maxfirst_lastlayerdecr1/normalized-injcomp_opt_4layers_maxfirst_lastlayerdecr1_size_30.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4519602-1751556403/watcher-4519602-1751556403 -o /tmp/evaluation-result-4519602-1751556403/solver-4519602-1751556403 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC008-1751549168-76162 --watchdog 3760  pb-oll-rs HOME/instance-4519602-1751556403.opb

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

MD5SUM BENCH= f91dbe69118ae72b0214f31a62e5b167
RANDOM SEED=1355415437

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00001f
cpu MHz		: 3491.845
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 3511.578
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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.725
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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.063
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 1197.528
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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.783
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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.205
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
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		: 1199.726
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 pti tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.72
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382120 kB
MemFree:        129313840 kB
MemAvailable:   129334128 kB
Buffers:            2128 kB
Cached:           815472 kB
SwapCached:           16 kB
Active:          1211624 kB
Inactive:         296620 kB
Active(anon):     672164 kB
Inactive(anon):    36408 kB
Active(file):     539460 kB
Inactive(file):   260212 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              1648 kB
Writeback:             8 kB
AnonPages:        686688 kB
Mapped:           107536 kB
Shmem:             17920 kB
KReclaimable:     120484 kB
Slab:             205060 kB
SReclaimable:     120484 kB
SUnreclaim:        84576 kB
KernelStack:        4080 kB
PageTables:         4420 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701744 kB
Committed_AS:    1103868 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149368 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    499712 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      181064 kB
DirectMap2M:     9158656 kB
DirectMap1G:    126877696 kB

Free space on /tmp at the end= 432816 MiB
End job on nodeC008 at 2025-07-03 18:26:53