Trace number 4436051

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-02SAT (TO)91 3600.09 3609.4

DiagnosticValue
AM1LB0
LOWERBOUND78
NAM1S0
NCORES77
NEXHAUSTED1
NPBCORES0
NPBREFORM0
NTRIMMED1

General information on the benchmark

NamePB24/normalized-PB11/OPT-LIN/
heinz/normalized-go19.opb
MD5SUM51fa3ae0158cc49e421df545accb4e20
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark84
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables441
Total number of constraints441
Number of constraints which are clauses361
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint5
Number of terms in the objective function 361
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 361
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 361
Number of bits of the biggest sum of numbers9
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.00	c [STEP] solving
0.00/0.00	c #variables 441 #constraints 441
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= 0 @ 0.001599
0.00/0.00	c stratification level: 0
0.00/0.00	c bounds - >= 1 @ 0.002143
0.00/0.00	c bounds - >= 2 @ 0.002143
0.00/0.00	c bounds - >= 3 @ 0.002143
0.00/0.00	c bounds - >= 4 @ 0.002143
0.00/0.00	c bounds - >= 5 @ 0.002143
0.00/0.00	c bounds - >= 6 @ 0.002143
0.00/0.00	c bounds - >= 7 @ 0.002143
0.00/0.00	c bounds - >= 8 @ 0.002143
0.00/0.00	c bounds - >= 9 @ 0.002143
0.00/0.00	c bounds - >= 10 @ 0.002143
0.00/0.00	c bounds - >= 11 @ 0.002143
0.00/0.00	c bounds - >= 12 @ 0.002154
0.00/0.00	c bounds - >= 13 @ 0.002189
0.00/0.00	c bounds - >= 14 @ 0.002257
0.00/0.00	c bounds - >= 15 @ 0.002317
0.00/0.00	c bounds - >= 16 @ 0.002379
0.00/0.00	c bounds - >= 17 @ 0.002456
0.00/0.00	c bounds - >= 18 @ 0.002512
0.00/0.00	c bounds - >= 19 @ 0.00257
0.00/0.00	c bounds - >= 20 @ 0.002625
0.00/0.00	c bounds - >= 21 @ 0.002689
0.00/0.00	c bounds - >= 22 @ 0.002755
0.00/0.00	c bounds - >= 23 @ 0.002816
0.00/0.00	c bounds - >= 24 @ 0.002876
0.00/0.00	c bounds - >= 25 @ 0.002935
0.00/0.00	c bounds - >= 26 @ 0.002993
0.00/0.00	c bounds - >= 27 @ 0.003064
0.00/0.00	c bounds - >= 28 @ 0.00313
0.00/0.00	c bounds - >= 29 @ 0.003143
0.00/0.00	c bounds - >= 30 @ 0.003143
0.00/0.00	c bounds - >= 31 @ 0.003143
0.00/0.00	c bounds - >= 32 @ 0.003143
0.00/0.00	c bounds - >= 33 @ 0.003143
0.00/0.00	c bounds - >= 34 @ 0.003143
0.00/0.00	c bounds - >= 35 @ 0.003143
0.00/0.00	c bounds - >= 36 @ 0.003143
0.00/0.00	c bounds - >= 37 @ 0.003143
0.00/0.00	c bounds - >= 38 @ 0.003143
0.00/0.00	c bounds - >= 39 @ 0.003143
0.00/0.00	c bounds - >= 40 @ 0.003143
0.00/0.00	c bounds - >= 41 @ 0.003143
0.00/0.00	c bounds - >= 42 @ 0.003143
0.00/0.00	c bounds - >= 43 @ 0.003195
0.00/0.00	c bounds - >= 44 @ 0.003269
0.00/0.00	c bounds - >= 45 @ 0.003339
0.00/0.00	c bounds - >= 46 @ 0.00341
0.00/0.00	c bounds - >= 47 @ 0.003504
0.00/0.00	c bounds - >= 48 @ 0.003578
0.00/0.00	c bounds - >= 49 @ 0.003653
0.00/0.00	c bounds - >= 50 @ 0.003726
0.00/0.00	c bounds - >= 51 @ 0.003797
0.00/0.00	c bounds - >= 52 @ 0.003868
0.00/0.00	c bounds - >= 53 @ 0.00395
0.00/0.00	c bounds - >= 54 @ 0.004027
0.00/0.00	c bounds - >= 55 @ 0.004104
0.00/0.00	c bounds - >= 56 @ 0.004122
0.00/0.00	c bounds - >= 57 @ 0.004122
0.00/0.00	c bounds - >= 58 @ 0.004122
0.00/0.00	c bounds - >= 59 @ 0.004122
0.00/0.00	c bounds - >= 60 @ 0.004122
0.00/0.00	c bounds - >= 61 @ 0.004122
0.00/0.00	c bounds - >= 62 @ 0.004122
0.00/0.00	c bounds - >= 63 @ 0.004122
0.00/0.00	c bounds - >= 64 @ 0.004122
0.00/0.00	c bounds - >= 65 @ 0.004122
0.00/0.00	c bounds - >= 66 @ 0.004122
0.00/0.00	c finalizing WCE round: reformulating cores
12.36/12.44	c #Conflicts:       1000 | #Constraints:       1520
12.36/12.44	c #Conflicts:       2000 | #Constraints:       2522
12.36/12.44	c INPROCESSING
12.36/12.44	c GARBAGE COLLECT
12.36/12.44	c #Conflicts:       3000 | #Constraints:       2393
12.36/12.44	c #Conflicts:       4000 | #Constraints:       3395
12.36/12.44	c INPROCESSING
12.36/12.44	c GARBAGE COLLECT
12.36/12.44	c #Conflicts:       5000 | #Constraints:       2809
12.36/12.44	c #Conflicts:       6000 | #Constraints:       3811
12.36/12.44	c INPROCESSING
12.36/12.44	c GARBAGE COLLECT
12.36/12.44	c #Conflicts:       7000 | #Constraints:       2818
12.36/12.44	c #Conflicts:       8000 | #Constraints:       3820
12.36/12.44	c #Conflicts:       9000 | #Constraints:       4824
12.36/12.44	c INPROCESSING
12.36/12.44	c GARBAGE COLLECT
12.36/12.44	c #Conflicts:      10000 | #Constraints:       3521
12.36/12.44	c #Conflicts:      11000 | #Constraints:       4523
12.36/12.44	c #Conflicts:      12000 | #Constraints:       5525
12.36/12.44	c INPROCESSING
12.36/12.44	c GARBAGE COLLECT
12.36/12.44	c #Conflicts:      13000 | #Constraints:       3976
12.36/12.44	c #Conflicts:      14000 | #Constraints:       4978
12.36/12.44	c #Conflicts:      15000 | #Constraints:       5980
12.36/12.44	c INPROCESSING
12.36/12.44	c GARBAGE COLLECT
12.36/12.44	c #Conflicts:      16000 | #Constraints:       4211
12.36/12.44	c #Conflicts:      17000 | #Constraints:       5213
12.36/12.44	c #Conflicts:      18000 | #Constraints:       6215
12.36/12.44	c INPROCESSING
12.36/12.44	c GARBAGE COLLECT
12.36/12.44	c #Conflicts:      19000 | #Constraints:       4228
12.36/12.44	c #Conflicts:      20000 | #Constraints:       5230
12.36/12.44	c #Conflicts:      21000 | #Constraints:       6232
12.36/12.44	c INPROCESSING
12.36/12.44	c GARBAGE COLLECT
12.36/12.44	c #Conflicts:      22000 | #Constraints:       4039
12.36/12.44	c #Conflicts:      23000 | #Constraints:       5041
12.36/12.44	c #Conflicts:      24000 | #Constraints:       6045
12.36/12.44	c #Conflicts:      25000 | #Constraints:       7047
12.36/12.44	c INPROCESSING
12.36/12.44	c GARBAGE COLLECT
12.36/12.44	c #Conflicts:      26000 | #Constraints:       4657
12.36/12.44	c #Conflicts:      27000 | #Constraints:       5659
12.36/12.44	c #Conflicts:      28000 | #Constraints:       6661
12.36/12.44	c #Conflicts:      29000 | #Constraints:       7665
12.36/12.44	c INPROCESSING
12.36/12.44	c GARBAGE COLLECT
12.36/12.44	c #Conflicts:      30000 | #Constraints:       5062
12.36/12.44	c #Conflicts:      31000 | #Constraints:       6064
12.36/12.44	c #Conflicts:      32000 | #Constraints:       7066
12.36/12.44	c #Conflicts:      33000 | #Constraints:       8070
12.36/12.44	c INPROCESSING
12.36/12.44	c GARBAGE COLLECT
12.36/12.44	c #Conflicts:      34000 | #Constraints:       5274
12.36/12.44	c #Conflicts:      35000 | #Constraints:       6276
12.36/12.44	c #Conflicts:      36000 | #Constraints:       7278
12.36/12.44	c #Conflicts:      37000 | #Constraints:       8282
12.36/12.44	c INPROCESSING
12.36/12.44	c GARBAGE COLLECT
12.36/12.44	c #Conflicts:      38000 | #Constraints:       5284
12.36/12.44	c #Conflicts:      39000 | #Constraints:       6286
12.36/12.44	c #Conflicts:      40000 | #Constraints:       7288
12.36/12.44	c #Conflicts:      41000 | #Constraints:       8292
12.36/12.44	c INPROCESSING
12.36/12.44	c GARBAGE COLLECT
12.36/12.44	c #Conflicts:      42000 | #Constraints:       5099
12.36/12.44	c #Conflicts:      43000 | #Constraints:       6101
12.36/12.44	c #Conflicts:      44000 | #Constraints:       7105
12.36/12.44	c #Conflicts:      45000 | #Constraints:       8107
12.36/12.44	c #Conflicts:      46000 | #Constraints:       9109
12.36/12.44	c INPROCESSING
12.36/12.44	c GARBAGE COLLECT
12.36/12.44	c #Conflicts:      47000 | #Constraints:       5714
12.36/12.44	c #Conflicts:      48000 | #Constraints:       6716
12.36/12.44	c #Conflicts:      49000 | #Constraints:       7718
12.36/12.44	c #Conflicts:      50000 | #Constraints:       8722
12.36/12.44	c #Conflicts:      51000 | #Constraints:       9724
12.36/12.44	c INPROCESSING
12.36/12.44	c GARBAGE COLLECT
12.36/12.44	c #Conflicts:      52000 | #Constraints:       6122
12.36/12.44	c #Conflicts:      53000 | #Constraints:       7124
12.36/12.44	c bounds 98 >= 66 @ 10.8217
12.36/12.44	c bounds 98 >= 67 @ 10.8257
12.36/12.44	c bounds 98 >= 68 @ 10.8317
12.36/12.44	c bounds 98 >= 69 @ 10.8427
12.36/12.44	c bounds 98 >= 70 @ 10.8582
12.36/12.44	c bounds 98 >= 71 @ 10.8684
12.36/12.44	c #Conflicts:      54000 | #Constraints:       8252
12.36/12.44	c #Conflicts:      55000 | #Constraints:       9252
12.36/12.44	c #Conflicts:      56000 | #Constraints:      10252
12.36/12.44	c INPROCESSING
12.36/12.44	c GARBAGE COLLECT
12.36/12.44	c finalizing WCE round: reformulating cores
14.65/14.72	c #Conflicts:      57000 | #Constraints:       6416
14.65/14.72	c #Conflicts:      58000 | #Constraints:       7418
14.65/14.72	c #Conflicts:      59000 | #Constraints:       8422
14.65/14.72	c #Conflicts:      60000 | #Constraints:       9424
14.65/14.72	c bounds 97 >= 71 @ 13.3299
14.65/14.72	c bounds 97 >= 72 @ 13.3506
14.65/14.72	c bounds 97 >= 73 @ 13.4034
14.65/14.72	c #Conflicts:      61000 | #Constraints:      10510
14.65/14.72	c INPROCESSING
14.65/14.72	c GARBAGE COLLECT
14.65/14.72	c bounds 97 >= 74 @ 14.2059
14.65/14.72	c finalizing WCE round: reformulating cores
23.33/23.44	c #Conflicts:      62000 | #Constraints:       6614
23.33/23.44	c bounds 95 >= 74 @ 14.4956
23.33/23.44	c #Conflicts:      63000 | #Constraints:       7618
23.33/23.44	c bounds 95 >= 75 @ 14.6997
23.33/23.44	c bounds 95 >= 76 @ 14.8522
23.33/23.44	c #Conflicts:      64000 | #Constraints:       8703
23.33/23.44	c #Conflicts:      65000 | #Constraints:       9703
23.33/23.44	c bounds 95 >= 77 @ 16.2673
23.33/23.44	c #Conflicts:      66000 | #Constraints:      10797
23.33/23.44	c INPROCESSING
23.33/23.44	c GARBAGE COLLECT
23.33/23.44	c #Conflicts:      67000 | #Constraints:       6516
23.33/23.44	c #Conflicts:      68000 | #Constraints:       7516
23.33/23.44	c #Conflicts:      69000 | #Constraints:       8516
23.33/23.44	c #Conflicts:      70000 | #Constraints:       9516
23.33/23.44	c #Conflicts:      71000 | #Constraints:      10516
23.33/23.44	c #Conflicts:      72000 | #Constraints:      11516
23.33/23.44	c INPROCESSING
23.33/23.44	c GARBAGE COLLECT
23.33/23.44	c #Conflicts:      73000 | #Constraints:       7106
23.33/23.44	c #Conflicts:      74000 | #Constraints:       8106
23.33/23.44	c #Conflicts:      75000 | #Constraints:       9106
23.33/23.44	c #Conflicts:      76000 | #Constraints:      10106
23.33/23.44	c finalizing WCE round: reformulating cores
270.30/271.04	c #Conflicts:      77000 | #Constraints:      11109
270.30/271.04	c bounds 91 >= 77 @ 23.2601
270.30/271.04	c #Conflicts:      78000 | #Constraints:      12111
270.30/271.04	c INPROCESSING
270.30/271.04	c GARBAGE COLLECT
270.30/271.04	c #Conflicts:      79000 | #Constraints:       7520
270.30/271.04	c #Conflicts:      80000 | #Constraints:       8520
270.30/271.04	c #Conflicts:      81000 | #Constraints:       9520
270.30/271.04	c bounds 91 >= 78 @ 26.4503
270.30/271.04	c #Conflicts:      82000 | #Constraints:      10617
270.30/271.04	c #Conflicts:      83000 | #Constraints:      11617
270.30/271.04	c #Conflicts:      84000 | #Constraints:      12617
270.30/271.04	c INPROCESSING
270.30/271.04	c GARBAGE COLLECT
270.30/271.04	c #Conflicts:      85000 | #Constraints:       7774
270.30/271.04	c #Conflicts:      86000 | #Constraints:       8774
270.30/271.04	c #Conflicts:      87000 | #Constraints:       9774
270.30/271.04	c #Conflicts:      88000 | #Constraints:      10774
270.30/271.04	c #Conflicts:      89000 | #Constraints:      11774
270.30/271.04	c #Conflicts:      90000 | #Constraints:      12774
270.30/271.04	c INPROCESSING
270.30/271.04	c GARBAGE COLLECT
270.30/271.04	c #Conflicts:      91000 | #Constraints:       7755
270.30/271.04	c #Conflicts:      92000 | #Constraints:       8755
270.30/271.04	c #Conflicts:      93000 | #Constraints:       9755
270.30/271.04	c #Conflicts:      94000 | #Constraints:      10755
270.30/271.04	c #Conflicts:      95000 | #Constraints:      11755
270.30/271.04	c #Conflicts:      96000 | #Constraints:      12755
270.30/271.04	c INPROCESSING
270.30/271.04	c GARBAGE COLLECT
270.30/271.04	c #Conflicts:      97000 | #Constraints:       7562
270.30/271.04	c #Conflicts:      98000 | #Constraints:       8562
270.30/271.04	c #Conflicts:      99000 | #Constraints:       9562
270.30/271.04	c #Conflicts:     100000 | #Constraints:      10562
270.30/271.04	c #Conflicts:     101000 | #Constraints:      11562
270.30/271.04	c #Conflicts:     102000 | #Constraints:      12562
270.30/271.04	c #Conflicts:     103000 | #Constraints:      13562
270.30/271.04	c #Conflicts:     104000 | #Constraints:      14562
270.30/271.04	c #Conflicts:     105000 | #Constraints:      15562
270.30/271.04	c #Conflicts:     106000 | #Constraints:      16562
270.30/271.04	c #Conflicts:     107000 | #Constraints:      17562
270.30/271.04	c #Conflicts:     108000 | #Constraints:      18562
270.30/271.04	c #Conflicts:     109000 | #Constraints:      19562
270.30/271.04	c #Conflicts:     110000 | #Constraints:      20562
270.30/271.04	c #Conflicts:     111000 | #Constraints:      21562
270.30/271.04	c #Conflicts:     112000 | #Constraints:      22562
270.30/271.04	c #Conflicts:     113000 | #Constraints:      23562
270.30/271.04	c #Conflicts:     114000 | #Constraints:      24562
270.30/271.04	c #Conflicts:     115000 | #Constraints:      25562
270.30/271.04	c #Conflicts:     116000 | #Constraints:      26562
270.30/271.04	c #Conflicts:     117000 | #Constraints:      27562
270.30/271.04	c #Conflicts:     118000 | #Constraints:      28562
270.30/271.04	c #Conflicts:     119000 | #Constraints:      29562
270.30/271.04	c #Conflicts:     120000 | #Constraints:      30562
270.30/271.04	c #Conflicts:     121000 | #Constraints:      31562
270.30/271.04	c #Conflicts:     122000 | #Constraints:      32562
270.30/271.04	c #Conflicts:     123000 | #Constraints:      33562
270.30/271.04	c #Conflicts:     124000 | #Constraints:      34562
270.30/271.04	c INPROCESSING
270.30/271.04	c GARBAGE COLLECT
270.30/271.04	c #Conflicts:     125000 | #Constraints:      18357
270.30/271.04	c #Conflicts:     126000 | #Constraints:      19357
270.30/271.04	c #Conflicts:     127000 | #Constraints:      20357
270.30/271.04	c #Conflicts:     128000 | #Constraints:      21357
270.30/271.04	c #Conflicts:     129000 | #Constraints:      22357
270.30/271.04	c #Conflicts:     130000 | #Constraints:      23357
270.30/271.04	c #Conflicts:     131000 | #Constraints:      24357
270.30/271.04	c #Conflicts:     132000 | #Constraints:      25357
270.30/271.04	c INPROCESSING
270.30/271.04	c GARBAGE COLLECT
270.30/271.04	c #Conflicts:     133000 | #Constraints:      13901
270.30/271.04	c #Conflicts:     134000 | #Constraints:      14901
270.30/271.04	c #Conflicts:     135000 | #Constraints:      15901
270.30/271.04	c #Conflicts:     136000 | #Constraints:      16901
270.30/271.04	c #Conflicts:     137000 | #Constraints:      17901
270.30/271.04	c #Conflicts:     138000 | #Constraints:      18901
270.30/271.04	c #Conflicts:     139000 | #Constraints:      19901
270.30/271.04	c #Conflicts:     140000 | #Constraints:      20901
270.30/271.04	c INPROCESSING
270.30/271.04	c GARBAGE COLLECT
270.30/271.04	c #Conflicts:     141000 | #Constraints:      11730
270.30/271.04	c #Conflicts:     142000 | #Constraints:      12730
270.30/271.04	c #Conflicts:     143000 | #Constraints:      13730
270.30/271.04	c #Conflicts:     144000 | #Constraints:      14730
270.30/271.04	c #Conflicts:     145000 | #Constraints:      15730
270.30/271.04	c #Conflicts:     146000 | #Constraints:      16730
270.30/271.04	c #Conflicts:     147000 | #Constraints:      17730
270.30/271.04	c #Conflicts:     148000 | #Constraints:      18730
270.30/271.04	c #Conflicts:     149000 | #Constraints:      19730
270.30/271.04	c #Conflicts:     150000 | #Constraints:      20730
883.73/885.98	c #Conflicts:     151000 | #Constraints:      21730
883.73/885.98	c #Conflicts:     152000 | #Constraints:      22730
883.73/885.98	c #Conflicts:     153000 | #Constraints:      23730
883.73/885.98	c #Conflicts:     154000 | #Constraints:      24730
883.73/885.98	c #Conflicts:     155000 | #Constraints:      25730
883.73/885.98	c #Conflicts:     156000 | #Constraints:      26730
883.73/885.98	c #Conflicts:     157000 | #Constraints:      27730
883.73/885.98	c #Conflicts:     158000 | #Constraints:      28730
883.73/885.98	c #Conflicts:     159000 | #Constraints:      29730
883.73/885.98	c #Conflicts:     160000 | #Constraints:      30730
883.73/885.98	c #Conflicts:     161000 | #Constraints:      31730
883.73/885.98	c #Conflicts:     162000 | #Constraints:      32730
883.73/885.98	c #Conflicts:     163000 | #Constraints:      33730
883.73/885.98	c #Conflicts:     164000 | #Constraints:      34730
883.73/885.98	c #Conflicts:     165000 | #Constraints:      35730
883.73/885.98	c #Conflicts:     166000 | #Constraints:      36730
883.73/885.98	c #Conflicts:     167000 | #Constraints:      37730
883.73/885.98	c #Conflicts:     168000 | #Constraints:      38730
883.73/885.98	c #Conflicts:     169000 | #Constraints:      39730
883.73/885.98	c #Conflicts:     170000 | #Constraints:      40730
883.73/885.98	c #Conflicts:     171000 | #Constraints:      41730
883.73/885.98	c #Conflicts:     172000 | #Constraints:      42730
883.73/885.98	c INPROCESSING
883.73/885.98	c GARBAGE COLLECT
883.73/885.98	c #Conflicts:     173000 | #Constraints:      22452
883.73/885.98	c #Conflicts:     174000 | #Constraints:      23452
883.73/885.98	c #Conflicts:     175000 | #Constraints:      24452
883.73/885.98	c #Conflicts:     176000 | #Constraints:      25452
883.73/885.98	c #Conflicts:     177000 | #Constraints:      26452
883.73/885.98	c #Conflicts:     178000 | #Constraints:      27452
883.73/885.98	c #Conflicts:     179000 | #Constraints:      28452
883.73/885.98	c #Conflicts:     180000 | #Constraints:      29452
883.73/885.98	c #Conflicts:     181000 | #Constraints:      30452
883.73/885.98	c #Conflicts:     182000 | #Constraints:      31452
883.73/885.98	c INPROCESSING
883.73/885.98	c GARBAGE COLLECT
883.73/885.98	c #Conflicts:     183000 | #Constraints:      17206
883.73/885.98	c #Conflicts:     184000 | #Constraints:      18206
883.73/885.98	c #Conflicts:     185000 | #Constraints:      19206
883.73/885.98	c #Conflicts:     186000 | #Constraints:      20206
883.73/885.98	c #Conflicts:     187000 | #Constraints:      21206
883.73/885.98	c #Conflicts:     188000 | #Constraints:      22206
883.73/885.98	c #Conflicts:     189000 | #Constraints:      23206
883.73/885.98	c #Conflicts:     190000 | #Constraints:      24206
883.73/885.98	c #Conflicts:     191000 | #Constraints:      25206
883.73/885.98	c INPROCESSING
883.73/885.98	c GARBAGE COLLECT
883.73/885.98	c #Conflicts:     192000 | #Constraints:      13889
883.73/885.98	c #Conflicts:     193000 | #Constraints:      14889
883.73/885.98	c #Conflicts:     194000 | #Constraints:      15889
883.73/885.98	c #Conflicts:     195000 | #Constraints:      16889
883.73/885.98	c #Conflicts:     196000 | #Constraints:      17889
883.73/885.98	c #Conflicts:     197000 | #Constraints:      18889
883.73/885.98	c #Conflicts:     198000 | #Constraints:      19889
883.73/885.98	c #Conflicts:     199000 | #Constraints:      20889
883.73/885.98	c #Conflicts:     200000 | #Constraints:      21889
883.73/885.98	c #Conflicts:     201000 | #Constraints:      22889
883.73/885.98	c #Conflicts:     202000 | #Constraints:      23889
883.73/885.98	c #Conflicts:     203000 | #Constraints:      24889
883.73/885.98	c #Conflicts:     204000 | #Constraints:      25889
883.73/885.98	c #Conflicts:     205000 | #Constraints:      26889
883.73/885.98	c #Conflicts:     206000 | #Constraints:      27889
883.73/885.98	c #Conflicts:     207000 | #Constraints:      28889
883.73/885.98	c #Conflicts:     208000 | #Constraints:      29889
883.73/885.98	c #Conflicts:     209000 | #Constraints:      30889
883.73/885.98	c #Conflicts:     210000 | #Constraints:      31889
883.73/885.98	c #Conflicts:     211000 | #Constraints:      32889
883.73/885.98	c #Conflicts:     212000 | #Constraints:      33889
883.73/885.98	c #Conflicts:     213000 | #Constraints:      34889
883.73/885.98	c #Conflicts:     214000 | #Constraints:      35889
883.73/885.98	c #Conflicts:     215000 | #Constraints:      36889
883.73/885.98	c #Conflicts:     216000 | #Constraints:      37889
883.73/885.98	c #Conflicts:     217000 | #Constraints:      38889
883.73/885.98	c #Conflicts:     218000 | #Constraints:      39889
883.73/885.98	c #Conflicts:     219000 | #Constraints:      40889
883.73/885.98	c #Conflicts:     220000 | #Constraints:      41889
883.73/885.98	c #Conflicts:     221000 | #Constraints:      42889
883.73/885.98	c #Conflicts:     222000 | #Constraints:      43889
883.73/885.98	c #Conflicts:     223000 | #Constraints:      44889
883.73/885.98	c #Conflicts:     224000 | #Constraints:      45889
883.73/885.98	c #Conflicts:     225000 | #Constraints:      46889
883.73/885.98	c #Conflicts:     226000 | #Constraints:      47889
883.73/885.98	c #Conflicts:     227000 | #Constraints:      48889
1640.62/1644.76	c #Conflicts:     228000 | #Constraints:      49889
1640.62/1644.76	c INPROCESSING
1640.62/1644.76	c GARBAGE COLLECT
1640.62/1644.76	c #Conflicts:     229000 | #Constraints:      26427
1640.62/1644.76	c #Conflicts:     230000 | #Constraints:      27427
1640.62/1644.76	c #Conflicts:     231000 | #Constraints:      28427
1640.62/1644.76	c #Conflicts:     232000 | #Constraints:      29427
1640.62/1644.76	c #Conflicts:     233000 | #Constraints:      30427
1640.62/1644.76	c #Conflicts:     234000 | #Constraints:      31427
1640.62/1644.76	c #Conflicts:     235000 | #Constraints:      32427
1640.62/1644.76	c #Conflicts:     236000 | #Constraints:      33427
1640.62/1644.76	c #Conflicts:     237000 | #Constraints:      34427
1640.62/1644.76	c #Conflicts:     238000 | #Constraints:      35427
1640.62/1644.76	c INPROCESSING
1640.62/1644.76	c GARBAGE COLLECT
1640.62/1644.76	c #Conflicts:     239000 | #Constraints:      18843
1640.62/1644.76	c #Conflicts:     240000 | #Constraints:      19843
1640.62/1644.76	c #Conflicts:     241000 | #Constraints:      20843
1640.62/1644.76	c #Conflicts:     242000 | #Constraints:      21843
1640.62/1644.76	c #Conflicts:     243000 | #Constraints:      22843
1640.62/1644.76	c #Conflicts:     244000 | #Constraints:      23843
1640.62/1644.76	c #Conflicts:     245000 | #Constraints:      24843
1640.62/1644.76	c #Conflicts:     246000 | #Constraints:      25843
1640.62/1644.76	c #Conflicts:     247000 | #Constraints:      26843
1640.62/1644.76	c #Conflicts:     248000 | #Constraints:      27843
1640.62/1644.76	c #Conflicts:     249000 | #Constraints:      28843
1640.62/1644.76	c INPROCESSING
1640.62/1644.76	c GARBAGE COLLECT
1640.62/1644.76	c #Conflicts:     250000 | #Constraints:      15619
1640.62/1644.76	c #Conflicts:     251000 | #Constraints:      16619
1640.62/1644.76	c #Conflicts:     252000 | #Constraints:      17619
1640.62/1644.76	c #Conflicts:     253000 | #Constraints:      18619
1640.62/1644.76	c #Conflicts:     254000 | #Constraints:      19619
1640.62/1644.76	c #Conflicts:     255000 | #Constraints:      20619
1640.62/1644.76	c #Conflicts:     256000 | #Constraints:      21619
1640.62/1644.76	c #Conflicts:     257000 | #Constraints:      22619
1640.62/1644.76	c #Conflicts:     258000 | #Constraints:      23619
1640.62/1644.76	c #Conflicts:     259000 | #Constraints:      24619
1640.62/1644.76	c #Conflicts:     260000 | #Constraints:      25619
1640.62/1644.76	c #Conflicts:     261000 | #Constraints:      26619
1640.62/1644.76	c #Conflicts:     262000 | #Constraints:      27619
1640.62/1644.76	c #Conflicts:     263000 | #Constraints:      28619
1640.62/1644.76	c #Conflicts:     264000 | #Constraints:      29619
1640.62/1644.76	c #Conflicts:     265000 | #Constraints:      30619
1640.62/1644.76	c #Conflicts:     266000 | #Constraints:      31619
1640.62/1644.76	c #Conflicts:     267000 | #Constraints:      32619
1640.62/1644.76	c #Conflicts:     268000 | #Constraints:      33619
1640.62/1644.76	c #Conflicts:     269000 | #Constraints:      34619
1640.62/1644.76	c #Conflicts:     270000 | #Constraints:      35619
1640.62/1644.76	c #Conflicts:     271000 | #Constraints:      36619
1640.62/1644.76	c #Conflicts:     272000 | #Constraints:      37619
1640.62/1644.76	c #Conflicts:     273000 | #Constraints:      38619
1640.62/1644.76	c #Conflicts:     274000 | #Constraints:      39619
1640.62/1644.76	c #Conflicts:     275000 | #Constraints:      40619
1640.62/1644.76	c #Conflicts:     276000 | #Constraints:      41619
1640.62/1644.76	c #Conflicts:     277000 | #Constraints:      42619
1640.62/1644.76	c #Conflicts:     278000 | #Constraints:      43619
1640.62/1644.76	c #Conflicts:     279000 | #Constraints:      44619
1640.62/1644.76	c #Conflicts:     280000 | #Constraints:      45619
1640.62/1644.76	c #Conflicts:     281000 | #Constraints:      46619
1640.62/1644.76	c #Conflicts:     282000 | #Constraints:      47619
1640.62/1644.76	c #Conflicts:     283000 | #Constraints:      48619
1640.62/1644.76	c #Conflicts:     284000 | #Constraints:      49619
1640.62/1644.76	c #Conflicts:     285000 | #Constraints:      50619
1640.62/1644.76	c #Conflicts:     286000 | #Constraints:      51619
1640.62/1644.76	c #Conflicts:     287000 | #Constraints:      52619
1640.62/1644.76	c #Conflicts:     288000 | #Constraints:      53619
1640.62/1644.76	c #Conflicts:     289000 | #Constraints:      54619
1640.62/1644.76	c #Conflicts:     290000 | #Constraints:      55619
1640.62/1644.76	c INPROCESSING
1640.62/1644.76	c GARBAGE COLLECT
1640.62/1644.76	c #Conflicts:     291000 | #Constraints:      29087
1640.62/1644.76	c #Conflicts:     292000 | #Constraints:      30087
1640.62/1644.76	c #Conflicts:     293000 | #Constraints:      31087
1640.62/1644.76	c #Conflicts:     294000 | #Constraints:      32087
1640.62/1644.76	c #Conflicts:     295000 | #Constraints:      33087
1640.62/1644.76	c #Conflicts:     296000 | #Constraints:      34087
1640.62/1644.76	c #Conflicts:     297000 | #Constraints:      35087
1640.62/1644.76	c #Conflicts:     298000 | #Constraints:      36087
1640.62/1644.76	c #Conflicts:     299000 | #Constraints:      37087
1640.62/1644.76	c #Conflicts:     300000 | #Constraints:      38087
1640.62/1644.76	c #Conflicts:     301000 | #Constraints:      39087
1640.62/1644.76	c #Conflicts:     302000 | #Constraints:      40087
1640.62/1644.76	c INPROCESSING
1640.62/1644.76	c GARBAGE COLLECT
2608.51/2615.16	c #Conflicts:     303000 | #Constraints:      21238
2608.51/2615.16	c #Conflicts:     304000 | #Constraints:      22238
2608.51/2615.16	c #Conflicts:     305000 | #Constraints:      23238
2608.51/2615.16	c #Conflicts:     306000 | #Constraints:      24238
2608.51/2615.16	c #Conflicts:     307000 | #Constraints:      25238
2608.51/2615.16	c #Conflicts:     308000 | #Constraints:      26238
2608.51/2615.16	c #Conflicts:     309000 | #Constraints:      27238
2608.51/2615.16	c #Conflicts:     310000 | #Constraints:      28238
2608.51/2615.16	c #Conflicts:     311000 | #Constraints:      29238
2608.51/2615.16	c #Conflicts:     312000 | #Constraints:      30238
2608.51/2615.16	c #Conflicts:     313000 | #Constraints:      31238
2608.51/2615.16	c #Conflicts:     314000 | #Constraints:      32238
2608.51/2615.16	c #Conflicts:     315000 | #Constraints:      33238
2608.51/2615.16	c INPROCESSING
2608.51/2615.16	c GARBAGE COLLECT
2608.51/2615.16	c #Conflicts:     316000 | #Constraints:      19681
2608.51/2615.16	c #Conflicts:     317000 | #Constraints:      20681
2608.51/2615.16	c #Conflicts:     318000 | #Constraints:      21681
2608.51/2615.16	c #Conflicts:     319000 | #Constraints:      22681
2608.51/2615.16	c #Conflicts:     320000 | #Constraints:      23681
2608.51/2615.16	c #Conflicts:     321000 | #Constraints:      24681
2608.51/2615.16	c #Conflicts:     322000 | #Constraints:      25681
2608.51/2615.16	c #Conflicts:     323000 | #Constraints:      26681
2608.51/2615.16	c #Conflicts:     324000 | #Constraints:      27681
2608.51/2615.16	c #Conflicts:     325000 | #Constraints:      28681
2608.51/2615.16	c #Conflicts:     326000 | #Constraints:      29681
2608.51/2615.16	c #Conflicts:     327000 | #Constraints:      30681
2608.51/2615.16	c #Conflicts:     328000 | #Constraints:      31681
2608.51/2615.16	c #Conflicts:     329000 | #Constraints:      32681
2608.51/2615.16	c #Conflicts:     330000 | #Constraints:      33681
2608.51/2615.16	c #Conflicts:     331000 | #Constraints:      34681
2608.51/2615.16	c #Conflicts:     332000 | #Constraints:      35681
2608.51/2615.16	c #Conflicts:     333000 | #Constraints:      36681
2608.51/2615.16	c #Conflicts:     334000 | #Constraints:      37681
2608.51/2615.16	c #Conflicts:     335000 | #Constraints:      38681
2608.51/2615.16	c #Conflicts:     336000 | #Constraints:      39681
2608.51/2615.16	c #Conflicts:     337000 | #Constraints:      40681
2608.51/2615.16	c #Conflicts:     338000 | #Constraints:      41681
2608.51/2615.16	c #Conflicts:     339000 | #Constraints:      42681
2608.51/2615.16	c #Conflicts:     340000 | #Constraints:      43681
2608.51/2615.16	c #Conflicts:     341000 | #Constraints:      44681
2608.51/2615.16	c #Conflicts:     342000 | #Constraints:      45681
2608.51/2615.16	c #Conflicts:     343000 | #Constraints:      46681
2608.51/2615.16	c #Conflicts:     344000 | #Constraints:      47681
2608.51/2615.16	c #Conflicts:     345000 | #Constraints:      48681
2608.51/2615.16	c #Conflicts:     346000 | #Constraints:      49681
2608.51/2615.16	c #Conflicts:     347000 | #Constraints:      50681
2608.51/2615.16	c #Conflicts:     348000 | #Constraints:      51681
2608.51/2615.16	c #Conflicts:     349000 | #Constraints:      52681
2608.51/2615.16	c #Conflicts:     350000 | #Constraints:      53681
2608.51/2615.16	c #Conflicts:     351000 | #Constraints:      54681
2608.51/2615.16	c #Conflicts:     352000 | #Constraints:      55681
2608.51/2615.16	c #Conflicts:     353000 | #Constraints:      56681
2608.51/2615.16	c #Conflicts:     354000 | #Constraints:      57681
2608.51/2615.16	c #Conflicts:     355000 | #Constraints:      58681
2608.51/2615.16	c #Conflicts:     356000 | #Constraints:      59681
2608.51/2615.16	c #Conflicts:     357000 | #Constraints:      60681
2608.51/2615.16	c #Conflicts:     358000 | #Constraints:      61681
2608.51/2615.16	c #Conflicts:     359000 | #Constraints:      62681
2608.51/2615.16	c #Conflicts:     360000 | #Constraints:      63681
2608.51/2615.16	c INPROCESSING
2608.51/2615.16	c GARBAGE COLLECT
2608.51/2615.16	c #Conflicts:     361000 | #Constraints:      33335
2608.51/2615.16	c #Conflicts:     362000 | #Constraints:      34335
2608.51/2615.16	c #Conflicts:     363000 | #Constraints:      35335
2608.51/2615.16	c #Conflicts:     364000 | #Constraints:      36335
2608.51/2615.16	c #Conflicts:     365000 | #Constraints:      37335
2608.51/2615.16	c #Conflicts:     366000 | #Constraints:      38335
2608.51/2615.16	c #Conflicts:     367000 | #Constraints:      39335
2608.51/2615.16	c #Conflicts:     368000 | #Constraints:      40335
2608.51/2615.16	c #Conflicts:     369000 | #Constraints:      41335
2608.51/2615.16	c #Conflicts:     370000 | #Constraints:      42335
2608.51/2615.16	c #Conflicts:     371000 | #Constraints:      43335
2608.51/2615.16	c #Conflicts:     372000 | #Constraints:      44335
2608.51/2615.16	c #Conflicts:     373000 | #Constraints:      45335
2608.51/2615.16	c INPROCESSING
2608.51/2615.16	c GARBAGE COLLECT
2608.51/2615.16	c #Conflicts:     374000 | #Constraints:      23817
2608.51/2615.16	c #Conflicts:     375000 | #Constraints:      24817
2608.51/2615.16	c #Conflicts:     376000 | #Constraints:      25817
2608.51/2615.16	c #Conflicts:     377000 | #Constraints:      26817
2608.51/2615.16	c #Conflicts:     378000 | #Constraints:      27817
2608.51/2615.16	c #Conflicts:     379000 | #Constraints:      28817
3600.07/3609.40	c #Conflicts:     380000 | #Constraints:      29817
3600.07/3609.40	c #Conflicts:     381000 | #Constraints:      30817
3600.07/3609.40	c #Conflicts:     382000 | #Constraints:      31817
3600.07/3609.40	c #Conflicts:     383000 | #Constraints:      32817
3600.07/3609.40	c #Conflicts:     384000 | #Constraints:      33817
3600.07/3609.40	c #Conflicts:     385000 | #Constraints:      34817
3600.07/3609.40	c #Conflicts:     386000 | #Constraints:      35817
3600.07/3609.40	c #Conflicts:     387000 | #Constraints:      36817
3600.07/3609.40	c INPROCESSING
3600.07/3609.40	c GARBAGE COLLECT
3600.07/3609.40	c #Conflicts:     388000 | #Constraints:      22738
3600.07/3609.40	c #Conflicts:     389000 | #Constraints:      23738
3600.07/3609.40	c #Conflicts:     390000 | #Constraints:      24738
3600.07/3609.40	c #Conflicts:     391000 | #Constraints:      25738
3600.07/3609.40	c #Conflicts:     392000 | #Constraints:      26738
3600.07/3609.40	c #Conflicts:     393000 | #Constraints:      27738
3600.07/3609.40	c #Conflicts:     394000 | #Constraints:      28738
3600.07/3609.40	c #Conflicts:     395000 | #Constraints:      29738
3600.07/3609.40	c #Conflicts:     396000 | #Constraints:      30738
3600.07/3609.40	c #Conflicts:     397000 | #Constraints:      31738
3600.07/3609.40	c #Conflicts:     398000 | #Constraints:      32738
3600.07/3609.40	c #Conflicts:     399000 | #Constraints:      33738
3600.07/3609.40	c #Conflicts:     400000 | #Constraints:      34738
3600.07/3609.40	c #Conflicts:     401000 | #Constraints:      35738
3600.07/3609.40	c #Conflicts:     402000 | #Constraints:      36738
3600.07/3609.40	c #Conflicts:     403000 | #Constraints:      37738
3600.07/3609.40	c #Conflicts:     404000 | #Constraints:      38738
3600.07/3609.40	c #Conflicts:     405000 | #Constraints:      39738
3600.07/3609.40	c #Conflicts:     406000 | #Constraints:      40738
3600.07/3609.40	c #Conflicts:     407000 | #Constraints:      41738
3600.07/3609.40	c #Conflicts:     408000 | #Constraints:      42738
3600.07/3609.40	c #Conflicts:     409000 | #Constraints:      43738
3600.07/3609.40	c #Conflicts:     410000 | #Constraints:      44738
3600.07/3609.40	c #Conflicts:     411000 | #Constraints:      45738
3600.07/3609.40	c #Conflicts:     412000 | #Constraints:      46738
3600.07/3609.40	c #Conflicts:     413000 | #Constraints:      47738
3600.07/3609.40	c #Conflicts:     414000 | #Constraints:      48738
3600.07/3609.40	c #Conflicts:     415000 | #Constraints:      49738
3600.07/3609.40	c #Conflicts:     416000 | #Constraints:      50738
3600.07/3609.40	c #Conflicts:     417000 | #Constraints:      51738
3600.07/3609.40	c #Conflicts:     418000 | #Constraints:      52738
3600.07/3609.40	c #Conflicts:     419000 | #Constraints:      53738
3600.07/3609.40	c #Conflicts:     420000 | #Constraints:      54738
3600.07/3609.40	c #Conflicts:     421000 | #Constraints:      55738
3600.07/3609.40	c #Conflicts:     422000 | #Constraints:      56738
3600.07/3609.40	c #Conflicts:     423000 | #Constraints:      57738
3600.07/3609.40	c #Conflicts:     424000 | #Constraints:      58738
3600.07/3609.40	c #Conflicts:     425000 | #Constraints:      59738
3600.07/3609.40	c #Conflicts:     426000 | #Constraints:      60738
3600.07/3609.40	c #Conflicts:     427000 | #Constraints:      61738
3600.07/3609.40	c #Conflicts:     428000 | #Constraints:      62738
3600.07/3609.40	c #Conflicts:     429000 | #Constraints:      63738
3600.07/3609.40	c #Conflicts:     430000 | #Constraints:      64738
3600.07/3609.40	c #Conflicts:     431000 | #Constraints:      65738
3600.07/3609.40	c #Conflicts:     432000 | #Constraints:      66738
3600.07/3609.40	c #Conflicts:     433000 | #Constraints:      67738
3600.07/3609.40	c #Conflicts:     434000 | #Constraints:      68738
3600.07/3609.40	c #Conflicts:     435000 | #Constraints:      69738
3600.07/3609.40	c #Conflicts:     436000 | #Constraints:      70738
3600.07/3609.40	c INPROCESSING
3600.07/3609.40	c GARBAGE COLLECT
3600.07/3609.40	c #Conflicts:     437000 | #Constraints:      36469
3600.07/3609.40	c #Conflicts:     438000 | #Constraints:      37469
3600.07/3609.40	c #Conflicts:     439000 | #Constraints:      38469
3600.07/3609.40	c #Conflicts:     440000 | #Constraints:      39469
3600.07/3609.40	c #Conflicts:     441000 | #Constraints:      40469
3600.07/3609.40	c #Conflicts:     442000 | #Constraints:      41469
3600.07/3609.40	c Program interrupted by user.
3600.07/3609.40	c cpu time 3590.27 s
3600.07/3609.40	c deterministic time 321217189143 3.21e+11
3600.07/3609.40	c optimization time 92.0594 s
3600.07/3609.40	c total solve time 3498.21 s
3600.07/3609.40	c core-guided solve time 3498.21 s
3600.07/3609.40	c propagation time 3339.89 s
3600.07/3609.40	c conflict analysis time 235.945 s
3600.07/3609.40	c propagations 51973634
3600.07/3609.40	c resolve steps 4758158
3600.07/3609.40	c decisions 7079023
3600.07/3609.40	c conflicts 442667
3600.07/3609.40	c restarts 1021
3600.07/3609.40	c inprocessing phases 39
3600.07/3609.40	c input clauses 636
3600.07/3609.40	c input cardinalities 409
3600.07/3609.40	c input general constraints 215
3600.07/3609.40	c input average constraint length 30.14
3600.07/3609.40	c input average constraint degree 6.59
3600.07/3609.40	c learned clauses 67002
3600.07/3609.40	c learned cardinalities 6138
3600.07/3609.40	c learned general constraints 369526
3600.07/3609.40	c learned average constraint length 121.68
3600.07/3609.40	c learned average constraint degree 1762539.15
3600.07/3609.40	c watched constraints 314571
3600.07/3609.40	c counting constraints 55170
3600.07/3609.40	c gcd simplifications 4661
3600.07/3609.40	c detected cardinalities 261
3600.07/3609.40	c weakened non-implied lits 5167752
3600.07/3609.40	c weakened non-implying lits 12511
3600.07/3609.40	c original variables 441
3600.07/3609.40	c clausal propagations 12239430
3600.07/3609.40	c cardinality propagations 1067615
3600.07/3609.40	c watched propagations 10362190
3600.07/3609.40	c counting propagations 27817855
3600.07/3609.40	c watch lookups 71618692599
3600.07/3609.40	c watch backjump lookups 67808749981
3600.07/3609.40	c watch checks 160819423430
3600.07/3609.40	c propagation checks 20657264399
3600.07/3609.40	c constraint additions 194511001
3600.07/3609.40	c trail pops 59495075
3600.07/3609.40	c formula constraints 441
3600.07/3609.40	c learned constraints 442666
3600.07/3609.40	c bound constraints 85
3600.07/3609.40	c core-guided constraints 734
3600.07/3609.40	c encountered formula constraints 292915
3600.07/3609.40	c encountered learned constraints 4186398
3600.07/3609.40	c encountered bound constraints 78
3600.07/3609.40	c encountered core-guided constraints 721434
3600.07/3609.40	c LP total time 0 s
3600.07/3609.40	c LP solve time 0 s
3600.07/3609.40	c LP constraints added 0
3600.07/3609.40	c LP constraints removed 0
3600.07/3609.40	c LP pivots internal 0
3600.07/3609.40	c LP pivots root 0
3600.07/3609.40	c LP calls 0
3600.07/3609.40	c LP optimalities 0
3600.07/3609.40	c LP no pivot count 0
3600.07/3609.40	c LP infeasibilities 0
3600.07/3609.40	c LP valid Farkas constraints 0
3600.07/3609.40	c LP learned Farkas constraints 0
3600.07/3609.40	c LP basis resets 0
3600.07/3609.40	c LP cycling count 0
3600.07/3609.40	c LP singular count 0
3600.07/3609.40	c LP no primal count 0
3600.07/3609.40	c LP no farkas count 0
3600.07/3609.40	c LP other issue count 0
3600.07/3609.40	c LP Gomory cuts 0
3600.07/3609.40	c LP learned cuts 0
3600.07/3609.40	c LP deleted cuts 0
3600.07/3609.40	c LP encountered Gomory constraints 0
3600.07/3609.40	c LP encountered Farkas constraints 0
3600.07/3609.40	c LP encountered learned Farkas constraints 0
3600.07/3609.40	c CG auxiliary variables introduced 270
3600.07/3609.40	c CG solutions found 4
3600.07/3609.40	c CG cores constructed 77
3600.07/3609.40	c CG core cardinality constraints returned 0
3600.07/3609.40	c CG unit cores 0
3600.07/3609.40	c CG single cores 77
3600.07/3609.40	c CG blocks removed during cardinality reduction 0
3600.07/3609.40	c CG first core best 0
3600.07/3609.40	c CG decision core best 0
3600.07/3609.40	c CG core reduction tie 0
3600.07/3609.40	c CG core degree average 1.00
3600.07/3609.40	c CG core slack average 6.62
3600.07/3609.40	c CG exhausted 1
3600.07/3609.40	c CG exhaust time 13.0607 s
3600.07/3609.40	c CG trimmed 1
3600.07/3609.40	c CG trim time 0.004719 s
3600.07/3609.40	c CG minimized 0
3600.07/3609.40	c CG minimize time 0 s
3600.07/3609.40	c CG am1 prop time 0.008951 s
3600.07/3609.40	c CG # am1s reformulated 0
3600.07/3609.40	c CG lower bound derived from am1s 0
3600.07/3609.40	c CG # clausal cores 77
3600.07/3609.40	c CG # cardinality cores 0
3600.07/3609.40	c CG # pb cores 0
3600.07/3609.40	c CG # pb reforms 0
3600.07/3609.40	c CG # cores discarded because of pb reform 0
3600.07/3609.40	d LOWERBOUND 78
3600.07/3609.40	d NCORES 77
3600.07/3609.40	d NPBCORES 0
3600.07/3609.40	d NPBREFORM 0
3600.07/3609.40	d NTRIMMED 1
3600.07/3609.40	d NEXHAUSTED 1
3600.07/3609.40	d NAM1S 0
3600.07/3609.40	d AM1LB 0
3600.07/3609.40	o 91
3600.07/3609.40	s SATISFIABLE
3600.07/3609.40	v -x1 -x2 x3 -x4 -x5 -x6 x7 -x8 -x9 -x10 -x11 x12 -x13 x14 -x15 -x16 -x17 x18 -x19 x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 x28 x29 -x30 -x31 -x32 -x33 -x34 x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 x45 -x46 -x47 -x48 -x49 -x50 x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 -x60 x61 -x62 -x63 x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 x72 -x73 x74 -x75 -x76 x77 -x78 x79 -x80 -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 x111 -x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 x153 -x154 x155 -x156 -x157 x158 x159 x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 x171 -x172 -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 x186 -x187 x188 -x189 -x190 -x191 x192 -x193 -x194 x195 -x196 -x197 x198 x199 -x200 -x201 -x202 x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 x224 x225 -x226 -x227 -x228 x229 -x230 -x231 -x232 -x233 x234 x235 x236 -x237 -x238 -x239 x240 -x241 -x242 -x243 x244 -x245 x246 -x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 x257 -x258 -x259 -x260 x261 -x262 -x263 -x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 -x272 x273 -x274 -x275 -x276 -x277 -x278 x279 -x280 -x281 -x282 x283 -x284 x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 x294 -x295 x296 -x297 -x298 -x299 x300 -x301 x302 -x303 -x304 x305 -x306 x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 x317 -x318 -x319 -x320 -x321 -x322 x323 -x324 -x325 -x326 x327 -x328 -x329 -x330 -x331 x332 x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 x347 -x348 -x349 -x350 x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441

Verifier Data 

OK	91

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (58243 MiB free)
  memory of node 1: 64510 MiB (61683 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436051-1721124818/watcher-4436051-1721124818 -o /tmp/evaluation-result-4436051-1721124818/solver-4436051-1721124818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721119560-865522 --watchdog 3760 pb-oll-rs HOME/instance-4436051-1721124818.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.100094 s]*
/proc/loadavg: 4.26 4.23 4.14 5/256 870758
/proc/meminfo: memFree=122797832/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=42348 memory=12436 CPUtime=0.09 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 1433 0 0 0 8 1 0 0 20 0 1 0 164649188 43364352 3109 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 10587 3109 1379 291 0 2121 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 42348 KiB
Current children cumulated memory: 12436 KiB

[startup+0.205742 s]*
/proc/loadavg: 4.26 4.23 4.14 5/256 870758
/proc/meminfo: memFree=122796656/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=43196 memory=13492 CPUtime=0.2 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 1680 0 0 0 18 2 0 0 20 0 1 0 164649188 44232704 3373 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 10799 3373 1379 291 0 2333 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43196 KiB
Current children cumulated memory: 13492 KiB

[startup+0.30566 s]*
/proc/loadavg: 4.26 4.23 4.14 5/256 870758
/proc/meminfo: memFree=122795536/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=44716 memory=15088 CPUtime=0.3 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 1993 0 0 0 27 3 0 0 20 0 1 0 164649188 45789184 3772 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 11179 3772 1453 291 0 2713 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44716 KiB
Current children cumulated memory: 15088 KiB

[startup+0.700222 s]
/proc/loadavg: 4.26 4.23 4.14 5/256 870758
/proc/meminfo: memFree=122793036/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=50128 memory=20328 CPUtime=0.69 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 2818 0 0 0 64 5 0 0 20 0 1 0 164649188 51331072 5082 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 12532 5082 1453 291 0 4066 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 50128 KiB
Current children cumulated memory: 20328 KiB

[startup+1.50022 s]
/proc/loadavg: 4.26 4.23 4.14 5/256 870758
/proc/meminfo: memFree=122789352/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=51568 memory=21648 CPUtime=1.49 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 3155 0 0 0 141 8 0 0 20 0 1 0 164649188 52805632 5412 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 12892 5412 1453 291 0 4426 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 51568 KiB
Current children cumulated memory: 21648 KiB

[startup+3.10558 s]
/proc/loadavg: 4.24 4.23 4.14 5/256 870758
/proc/meminfo: memFree=122782264/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=59636 memory=27952 CPUtime=3.09 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 4169 0 0 0 296 13 0 0 20 0 1 0 164649188 61067264 6988 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 14909 6988 1453 291 0 6443 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 59636 KiB
Current children cumulated memory: 27952 KiB

[startup+6.30022 s]
/proc/loadavg: 4.24 4.23 4.14 5/256 870760
/proc/meminfo: memFree=122779332/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=63284 memory=30852 CPUtime=6.28 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 4914 0 0 0 605 23 0 0 20 0 1 0 164649188 64802816 7713 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 15821 7713 1453 291 0 7355 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 63284 KiB
Current children cumulated memory: 30852 KiB

[startup+12.7002 s]
/proc/loadavg: 4.22 4.22 4.14 5/256 870760
/proc/meminfo: memFree=122750912/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=90720 memory=53216 CPUtime=12.66 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 10026 0 0 0 1225 41 0 0 20 0 1 0 164649188 92897280 13304 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 22680 13304 1453 291 0 14214 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 90720 KiB
Current children cumulated memory: 53216 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.21 4.14 5/256 870764
/proc/meminfo: memFree=122739620/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=94636 memory=56624 CPUtime=25.42 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 10862 0 0 0 2471 71 0 0 20 0 1 0 164649188 96907264 14156 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 23659 14156 1453 291 0 15193 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 94636 KiB
Current children cumulated memory: 56624 KiB

[startup+51.1056 s]
/proc/loadavg: 4.17 4.21 4.14 5/256 870767
/proc/meminfo: memFree=122723436/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=96900 memory=58612 CPUtime=50.97 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 11412 0 0 0 4989 108 0 0 20 0 1 0 164649188 99225600 14653 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 24225 14653 1453 291 0 15759 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 96900 KiB
Current children cumulated memory: 58612 KiB

[startup+102.3 s]
/proc/loadavg: 4.13 4.19 4.14 5/256 870775
/proc/meminfo: memFree=122712516/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=106076 memory=70044 CPUtime=102.03 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 13295 0 0 0 10063 140 0 0 20 0 1 0 164649188 108621824 17511 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 26519 17511 1453 291 0 18053 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 106076 KiB
Current children cumulated memory: 70044 KiB

[startup+162.3 s]
/proc/loadavg: 4.15 4.18 4.14 5/254 870785
/proc/meminfo: memFree=122659736/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=123184 memory=80688 CPUtime=161.87 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 14940 0 0 0 16024 163 0 0 20 0 1 0 164649188 126140416 20172 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 30796 20172 1453 291 0 22330 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 123184 KiB
Current children cumulated memory: 80688 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.16 4.13 5/254 870796
/proc/meminfo: memFree=122648548/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=125124 memory=90568 CPUtime=221.71 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 15490 0 0 0 21978 193 0 0 20 0 1 0 164649188 128126976 22642 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 31281 22642 1453 291 0 22815 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 125124 KiB
Current children cumulated memory: 90568 KiB

[startup+282.3 s]
/proc/loadavg: 4.08 4.14 4.12 5/254 870852
/proc/meminfo: memFree=123112304/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=125284 memory=90568 CPUtime=281.57 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 15539 0 0 0 27925 232 0 0 20 0 1 0 164649188 128290816 22642 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 31321 22642 1453 291 0 22855 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 125284 KiB
Current children cumulated memory: 90568 KiB

[startup+342.3 s]
/proc/loadavg: 4.21 4.16 4.13 5/254 870862
/proc/meminfo: memFree=123084704/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=125284 memory=90628 CPUtime=341.43 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 15579 0 0 0 33891 252 0 0 20 0 1 0 164649188 128290816 22657 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 31321 22657 1453 291 0 22855 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 125284 KiB
Current children cumulated memory: 90628 KiB

[startup+402.3 s]
/proc/loadavg: 4.18 4.16 4.13 6/257 870877
/proc/meminfo: memFree=123078520/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=128528 memory=94528 CPUtime=401.28 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 16113 0 0 0 39862 266 0 0 20 0 1 0 164649188 131612672 23632 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 32132 23632 1453 291 0 23666 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 128528 KiB
Current children cumulated memory: 94528 KiB

[startup+462.3 s]
/proc/loadavg: 4.06 4.13 4.12 5/257 870888
/proc/meminfo: memFree=123065464/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=151632 memory=103736 CPUtime=461.13 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 17423 0 0 0 45836 277 0 0 20 0 1 0 164649188 155271168 25934 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 37908 25934 1453 291 0 29442 0

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

Current children cumulated memory: 142004 KiB

[startup+2862.3 s]
/proc/loadavg: 4.10 4.14 4.10 5/257 872590
/proc/meminfo: memFree=121937864/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=202600 memory=146332 CPUtime=2855.06 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 24157 0 0 0 284635 871 0 0 20 0 1 0 164649188 207462400 36583 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 50650 36583 1453 291 0 42184 0
Current children cumulated CPU time: 2855.06 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 146332 KiB

[startup+2922.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/257 872600
/proc/meminfo: memFree=121931292/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=202600 memory=146332 CPUtime=2914.92 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 24213 0 0 0 290609 883 0 0 20 0 1 0 164649188 207462400 36583 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 50650 36583 1453 291 0 42184 0
Current children cumulated CPU time: 2914.92 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 146332 KiB

[startup+2982.3 s]
/proc/loadavg: 4.16 4.15 4.10 5/256 872611
/proc/meminfo: memFree=121913112/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=202600 memory=146332 CPUtime=2974.77 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 24272 0 0 0 296584 893 0 0 20 0 1 0 164649188 207462400 36583 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 50650 36583 1453 291 0 42184 0
Current children cumulated CPU time: 2974.77 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 146332 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.13 4.09 5/256 872622
/proc/meminfo: memFree=121899324/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=202600 memory=146332 CPUtime=3034.63 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 24332 0 0 0 302559 904 0 0 20 0 1 0 164649188 207462400 36583 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 50650 36583 1453 291 0 42184 0
Current children cumulated CPU time: 3034.63 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 146332 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/254 872632
/proc/meminfo: memFree=121865552/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=202600 memory=146332 CPUtime=3094.45 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 24393 0 0 0 308532 913 0 0 20 0 1 0 164649188 207462400 36583 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 50650 36583 1453 291 0 42184 0
Current children cumulated CPU time: 3094.45 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 146332 KiB

[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.09 5/254 872642
/proc/meminfo: memFree=121857412/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=202600 memory=146332 CPUtime=3154.28 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 24456 0 0 0 314507 921 0 0 20 0 1 0 164649188 207462400 36583 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 50650 36583 1453 291 0 42184 0
Current children cumulated CPU time: 3154.28 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 146332 KiB

[startup+3222.3 s]
/proc/loadavg: 4.07 4.11 4.09 5/254 872653
/proc/meminfo: memFree=121848940/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=202600 memory=146332 CPUtime=3214.11 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 24520 0 0 0 320482 929 0 0 20 0 1 0 164649188 207462400 36583 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 50650 36583 1453 291 0 42184 0
Current children cumulated CPU time: 3214.11 s
Current children cumulated vsize: 202600 KiB
Current children cumulated memory: 146332 KiB

[startup+3282.3 s]
/proc/loadavg: 4.42 4.20 4.12 5/254 872663
/proc/meminfo: memFree=121835016/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=202860 memory=146376 CPUtime=3273.94 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 24620 0 0 0 326458 936 0 0 20 0 1 0 164649188 207728640 36594 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 50715 36594 1453 291 0 42249 0
Current children cumulated CPU time: 3273.94 s
Current children cumulated vsize: 202860 KiB
Current children cumulated memory: 146376 KiB

[startup+3342.3 s]
/proc/loadavg: 4.29 4.20 4.12 5/254 872673
/proc/meminfo: memFree=121822336/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=203884 memory=146900 CPUtime=3333.76 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 24821 0 0 0 332433 943 0 0 20 0 1 0 164649188 208777216 36725 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 50971 36725 1453 291 0 42505 0
Current children cumulated CPU time: 3333.76 s
Current children cumulated vsize: 203884 KiB
Current children cumulated memory: 146900 KiB

[startup+3402.3 s]
/proc/loadavg: 4.21 4.19 4.12 5/256 872687
/proc/meminfo: memFree=121779128/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=205676 memory=150000 CPUtime=3393.59 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 25131 0 0 0 338409 950 0 0 20 0 1 0 164649188 210612224 37500 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 51419 37500 1453 291 0 42953 0
Current children cumulated CPU time: 3393.59 s
Current children cumulated vsize: 205676 KiB
Current children cumulated memory: 150000 KiB

[startup+3462.3 s]
/proc/loadavg: 4.50 4.28 4.16 5/256 872698
/proc/meminfo: memFree=121763224/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=207616 memory=152920 CPUtime=3453.41 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 25524 0 0 0 344384 957 0 0 20 0 1 0 164649188 212598784 38230 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 51904 38230 1453 291 0 43438 0
Current children cumulated CPU time: 3453.41 s
Current children cumulated vsize: 207616 KiB
Current children cumulated memory: 152920 KiB

[startup+3522.3 s]
/proc/loadavg: 4.43 4.30 4.18 6/256 872708
/proc/meminfo: memFree=121748660/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=210804 memory=156424 CPUtime=3513.23 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 26092 0 0 0 350359 964 0 0 20 0 1 0 164649188 215863296 39106 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 52701 39106 1453 291 0 44235 0
Current children cumulated CPU time: 3513.23 s
Current children cumulated vsize: 210804 KiB
Current children cumulated memory: 156424 KiB

[startup+3582.3 s]
/proc/loadavg: 4.22 4.26 4.17 5/256 872719
/proc/meminfo: memFree=121722836/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=210672 memory=158644 CPUtime=3573.05 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 26280 0 0 0 356329 976 0 0 20 0 1 0 164649188 215728128 39661 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 52668 39661 1453 291 0 44202 0
Current children cumulated CPU time: 3573.05 s
Current children cumulated vsize: 210672 KiB
Current children cumulated memory: 158644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.21 4.25 4.17 5/256 872724
/proc/meminfo: memFree=121712320/131524600 swapFree=131071996/131071996
[pid=870757] ppid=870754 vsize=210672 memory=158644 CPUtime=3600.07 cores=1,3
/proc/870757/stat : 870757 (pb-oll-rs) R 870754 870757 865510 0 -1 4194304 26280 0 0 0 359026 981 0 0 20 0 1 0 164649188 215728128 39661 134679101440 4194304 5384005 140731977057744 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 32624640 140731977065495 140731977065572 140731977065572 140731977072587 0
/proc/870757/statm: 52668 39661 1453 291 0 44202 0
Current children cumulated CPU time: 3600.07 s
Current children cumulated vsize: 210672 KiB
Current children cumulated memory: 158644 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.27 s, system=9.81798 s

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

Child status: 0

Real time (s): 3609.4
CPU time (s): 3600.09
CPU user time (s): 3590.27
CPU system time (s): 9.81798
CPU usage (%): 99.7419
Max. virtual memory (cumulated for all children) (KiB): 211280
Max. memory (cumulated for all children) (KiB): 158776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.27
system time used= 9.81798
maximum resident set size= 158776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26296
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= 48
involuntary context switches= 2061


# summary of solver processes directly reported to runsolver:
#   pid: 870757
#   total CPU time (s): 3600.09
#   total CPU user time (s): 3590.27
#   total CPU system time (s): 9.81798

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.98453 second user time and 18.0974 second system time

The end

Launcher Data 

Begin job on nodeC029 at 2024-07-16 12:13:51
IDJOB=4436051
IDBENCH=155338
IDSOLVER=3067
FILE ID=nodeC029/4436051-1721124818
RUNJOBID= nodeC029-1721119560-865522
SLURM_JOB_ID= 7505669
Free space on /tmp= 890044 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB11/OPT-LIN/heinz/normalized-go19.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4436051-1721124818/watcher-4436051-1721124818 -o /tmp/evaluation-result-4436051-1721124818/solver-4436051-1721124818 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC029-1721119560-865522 --watchdog 3760  pb-oll-rs HOME/instance-4436051-1721124818.opb

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

MD5SUM BENCH= 51fa3ae0158cc49e421df545accb4e20
RANDOM SEED=1392737361

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        122805704 kB
MemAvailable:   128853524 kB
Buffers:          404468 kB
Cached:          6406776 kB
SwapCached:            0 kB
Active:           749984 kB
Inactive:        7212544 kB
Active(anon):       1464 kB
Inactive(anon):  1187532 kB
Active(file):     748520 kB
Inactive(file):  6025012 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              2076 kB
Writeback:             0 kB
AnonPages:       1146368 kB
Mapped:           108280 kB
Shmem:             37720 kB
KReclaimable:     227868 kB
Slab:             349388 kB
SReclaimable:     227868 kB
SUnreclaim:       121520 kB
KernelStack:        4096 kB
PageTables:        11644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1590400 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            61696 kB
HardwareCorrupted:     0 kB
AnonHugePages:    872448 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:      279252 kB
DirectMap2M:    36194304 kB
DirectMap1G:    99614720 kB

Free space on /tmp at the end= 890048 MiB
End job on nodeC029 at 2024-07-16 13:14:00