Trace number 4435854

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)213 3600.1 3610.11

DiagnosticValue
AM1LB49
LOWERBOUND145
NAM1S49
NCORES95
NEXHAUSTED1
NPBCORES72
NPBREFORM0
NTRIMMED2

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
MD5SUM15e811bd466a2fe28afb8f0d217d004b
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 benchmark183
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 variables476
Total number of constraints476
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints476
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 476
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 476
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 476
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 476 #constraints 476
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= 0 @ 0.002964
0.00/0.00	c stratification level: 0
0.00/0.01	c bounds - >= 50 @ 0.003556
0.00/0.01	c bounds - >= 51 @ 0.003728
0.00/0.01	c bounds - >= 52 @ 0.003814
0.00/0.01	c bounds - >= 53 @ 0.003897
0.00/0.01	c bounds - >= 54 @ 0.003978
0.00/0.01	c bounds - >= 55 @ 0.004059
0.00/0.01	c bounds - >= 56 @ 0.004135
0.00/0.01	c bounds - >= 57 @ 0.004217
0.00/0.01	c bounds - >= 58 @ 0.004306
0.00/0.01	c bounds - >= 59 @ 0.004405
0.00/0.01	c bounds - >= 60 @ 0.004516
0.00/0.01	c bounds - >= 61 @ 0.004612
0.00/0.01	c bounds - >= 62 @ 0.004702
0.00/0.01	c bounds - >= 63 @ 0.004798
0.00/0.01	c bounds - >= 64 @ 0.004897
0.00/0.01	c bounds - >= 65 @ 0.004998
0.00/0.01	c bounds - >= 66 @ 0.005093
0.00/0.01	c bounds - >= 67 @ 0.00521
0.00/0.01	c bounds - >= 68 @ 0.005311
0.00/0.01	c bounds - >= 69 @ 0.005417
0.00/0.01	c bounds - >= 70 @ 0.005535
0.00/0.01	c bounds - >= 71 @ 0.005642
0.00/0.01	c bounds - >= 72 @ 0.005751
0.00/0.01	c bounds - >= 73 @ 0.005856
0.00/0.01	c bounds - >= 74 @ 0.005973
0.00/0.01	c bounds - >= 75 @ 0.006079
0.00/0.01	c bounds - >= 76 @ 0.006189
0.00/0.01	c bounds - >= 77 @ 0.006299
0.00/0.01	c bounds - >= 78 @ 0.006416
0.00/0.01	c bounds - >= 79 @ 0.006525
0.00/0.01	c bounds - >= 80 @ 0.006633
0.00/0.01	c bounds - >= 81 @ 0.006757
0.00/0.01	c bounds - >= 82 @ 0.006877
0.00/0.01	c bounds - >= 83 @ 0.006998
0.00/0.01	c bounds - >= 84 @ 0.007115
0.00/0.01	c bounds - >= 85 @ 0.007233
0.00/0.01	c bounds - >= 86 @ 0.007353
0.00/0.01	c bounds - >= 87 @ 0.007464
0.00/0.01	c bounds - >= 88 @ 0.00758
0.00/0.01	c bounds - >= 89 @ 0.007694
0.00/0.01	c bounds - >= 90 @ 0.007807
0.00/0.01	c bounds - >= 91 @ 0.007935
0.00/0.01	c bounds - >= 92 @ 0.008055
0.00/0.01	c bounds - >= 93 @ 0.00815
0.00/0.01	c bounds - >= 94 @ 0.00815
0.00/0.01	c bounds - >= 95 @ 0.00815
0.00/0.01	c bounds - >= 96 @ 0.00815
0.00/0.01	c bounds - >= 97 @ 0.00815
0.00/0.01	c bounds - >= 98 @ 0.00815
0.00/0.01	c bounds - >= 99 @ 0.00815
0.00/0.01	c bounds - >= 100 @ 0.00815
0.00/0.01	c bounds - >= 101 @ 0.008227
0.00/0.01	c bounds - >= 102 @ 0.00835
0.00/0.01	c bounds - >= 103 @ 0.008472
0.00/0.01	c bounds - >= 104 @ 0.008586
0.00/0.01	c bounds - >= 105 @ 0.008701
0.00/0.01	c bounds - >= 106 @ 0.008822
0.00/0.01	c bounds - >= 107 @ 0.008953
0.00/0.01	c bounds - >= 108 @ 0.009078
0.00/0.01	c bounds - >= 109 @ 0.009145
0.00/0.01	c bounds - >= 110 @ 0.009145
0.00/0.01	c bounds - >= 111 @ 0.009145
0.00/0.01	c bounds - >= 112 @ 0.009145
0.00/0.01	c bounds - >= 113 @ 0.009145
0.00/0.01	c bounds - >= 114 @ 0.009145
0.00/0.01	c bounds - >= 115 @ 0.009145
0.00/0.01	c bounds - >= 116 @ 0.009145
0.00/0.01	c bounds - >= 117 @ 0.009145
0.00/0.01	c bounds - >= 118 @ 0.009145
0.00/0.01	c bounds - >= 119 @ 0.009145
0.00/0.01	c bounds - >= 120 @ 0.009145
0.00/0.01	c bounds - >= 121 @ 0.009145
0.00/0.01	c bounds - >= 122 @ 0.009197
0.00/0.01	c bounds - >= 123 @ 0.009372
0.00/0.01	c bounds - >= 124 @ 0.009551
0.00/0.01	c bounds - >= 125 @ 0.009704
0.00/0.01	c finalizing WCE round: reformulating cores
32.79/32.95	c #Conflicts:       1000 | #Constraints:       1641
32.79/32.95	c #Conflicts:       2000 | #Constraints:       2643
32.79/32.95	c INPROCESSING
32.79/32.95	c GARBAGE COLLECT
32.79/32.95	c #Conflicts:       3000 | #Constraints:       2562
32.79/32.95	c #Conflicts:       4000 | #Constraints:       3564
32.79/32.95	c INPROCESSING
32.79/32.95	c GARBAGE COLLECT
32.79/32.95	c #Conflicts:       5000 | #Constraints:       2969
32.79/32.95	c #Conflicts:       6000 | #Constraints:       3971
32.79/32.95	c INPROCESSING
32.79/32.95	c GARBAGE COLLECT
32.79/32.95	c #Conflicts:       7000 | #Constraints:       2976
32.79/32.95	c #Conflicts:       8000 | #Constraints:       3978
32.79/32.95	c #Conflicts:       9000 | #Constraints:       4982
32.79/32.95	c INPROCESSING
32.79/32.95	c GARBAGE COLLECT
32.79/32.95	c #Conflicts:      10000 | #Constraints:       3688
32.79/32.95	c #Conflicts:      11000 | #Constraints:       4690
32.79/32.95	c #Conflicts:      12000 | #Constraints:       5692
32.79/32.95	c INPROCESSING
32.79/32.95	c GARBAGE COLLECT
32.79/32.95	c #Conflicts:      13000 | #Constraints:       4140
32.79/32.95	c #Conflicts:      14000 | #Constraints:       5142
32.79/32.95	c #Conflicts:      15000 | #Constraints:       6144
32.79/32.95	c INPROCESSING
32.79/32.95	c GARBAGE COLLECT
32.79/32.95	c #Conflicts:      16000 | #Constraints:       4374
32.79/32.95	c #Conflicts:      17000 | #Constraints:       5376
32.79/32.95	c #Conflicts:      18000 | #Constraints:       6378
32.79/32.95	c INPROCESSING
32.79/32.95	c GARBAGE COLLECT
32.79/32.95	c #Conflicts:      19000 | #Constraints:       4396
32.79/32.95	c #Conflicts:      20000 | #Constraints:       5398
32.79/32.95	c #Conflicts:      21000 | #Constraints:       6400
32.79/32.95	c INPROCESSING
32.79/32.95	c GARBAGE COLLECT
32.79/32.95	c #Conflicts:      22000 | #Constraints:       4211
32.79/32.95	c #Conflicts:      23000 | #Constraints:       5213
32.79/32.95	c #Conflicts:      24000 | #Constraints:       6217
32.79/32.95	c #Conflicts:      25000 | #Constraints:       7219
32.79/32.95	c INPROCESSING
32.79/32.95	c GARBAGE COLLECT
32.79/32.95	c #Conflicts:      26000 | #Constraints:       4831
32.79/32.95	c #Conflicts:      27000 | #Constraints:       5833
32.79/32.95	c #Conflicts:      28000 | #Constraints:       6835
32.79/32.95	c #Conflicts:      29000 | #Constraints:       7839
32.79/32.95	c INPROCESSING
32.79/32.95	c GARBAGE COLLECT
32.79/32.95	c #Conflicts:      30000 | #Constraints:       5239
32.79/32.95	c #Conflicts:      31000 | #Constraints:       6241
32.79/32.95	c #Conflicts:      32000 | #Constraints:       7243
32.79/32.95	c #Conflicts:      33000 | #Constraints:       8247
32.79/32.95	c INPROCESSING
32.79/32.95	c GARBAGE COLLECT
32.79/32.95	c #Conflicts:      34000 | #Constraints:       5452
32.79/32.95	c #Conflicts:      35000 | #Constraints:       6454
32.79/32.95	c #Conflicts:      36000 | #Constraints:       7456
32.79/32.95	c #Conflicts:      37000 | #Constraints:       8460
32.79/32.95	c INPROCESSING
32.79/32.95	c GARBAGE COLLECT
32.79/32.95	c #Conflicts:      38000 | #Constraints:       5458
32.79/32.95	c #Conflicts:      39000 | #Constraints:       6460
32.79/32.95	c #Conflicts:      40000 | #Constraints:       7462
32.79/32.95	c #Conflicts:      41000 | #Constraints:       8466
32.79/32.95	c INPROCESSING
32.79/32.95	c GARBAGE COLLECT
32.79/32.95	c #Conflicts:      42000 | #Constraints:       5275
32.79/32.95	c #Conflicts:      43000 | #Constraints:       6277
32.79/32.95	c #Conflicts:      44000 | #Constraints:       7281
32.79/32.95	c #Conflicts:      45000 | #Constraints:       8283
32.79/32.95	c #Conflicts:      46000 | #Constraints:       9285
32.79/32.95	c INPROCESSING
32.79/32.95	c GARBAGE COLLECT
32.79/32.95	c #Conflicts:      47000 | #Constraints:       5887
32.79/32.95	c #Conflicts:      48000 | #Constraints:       6889
32.79/32.95	c #Conflicts:      49000 | #Constraints:       7891
32.79/32.95	c #Conflicts:      50000 | #Constraints:       8895
32.79/32.95	c #Conflicts:      51000 | #Constraints:       9897
32.79/32.95	c INPROCESSING
32.79/32.95	c GARBAGE COLLECT
32.79/32.95	c #Conflicts:      52000 | #Constraints:       6297
32.79/32.95	c #Conflicts:      53000 | #Constraints:       7299
32.79/32.95	c #Conflicts:      54000 | #Constraints:       8301
32.79/32.95	c #Conflicts:      55000 | #Constraints:       9305
32.79/32.95	c #Conflicts:      56000 | #Constraints:      10307
32.79/32.95	c INPROCESSING
32.79/32.95	c GARBAGE COLLECT
32.79/32.95	c bounds 216 >= 125 @ 31.9977
32.79/32.95	c bounds 216 >= 126 @ 32.0038
32.79/32.95	c bounds 216 >= 127 @ 32.0057
32.79/32.95	c bounds 216 >= 128 @ 32.007
32.79/32.95	c bounds 216 >= 129 @ 32.0088
32.79/32.95	c bounds 216 >= 130 @ 32.0103
32.79/32.95	c bounds 216 >= 131 @ 32.0113
32.79/32.95	c bounds 216 >= 132 @ 32.0113
32.79/32.95	c bounds 216 >= 133 @ 32.0121
32.79/32.95	c bounds 216 >= 134 @ 32.0142
32.79/32.95	c bounds 216 >= 135 @ 32.0165
32.79/32.95	c bounds 216 >= 136 @ 32.0183
32.79/32.95	c bounds 216 >= 137 @ 32.0393
32.79/32.95	c finalizing WCE round: reformulating cores
42.36/42.55	c #Conflicts:      57000 | #Constraints:       6635
42.36/42.55	c #Conflicts:      58000 | #Constraints:       7637
42.36/42.55	c #Conflicts:      59000 | #Constraints:       8639
42.36/42.55	c #Conflicts:      60000 | #Constraints:       9643
42.36/42.55	c #Conflicts:      61000 | #Constraints:      10645
42.36/42.55	c INPROCESSING
42.36/42.55	c GARBAGE COLLECT
42.36/42.55	c #Conflicts:      62000 | #Constraints:       6615
42.36/42.55	c #Conflicts:      63000 | #Constraints:       7617
42.36/42.55	c #Conflicts:      64000 | #Constraints:       8619
42.36/42.55	c #Conflicts:      65000 | #Constraints:       9623
42.36/42.55	c bounds 214 >= 137 @ 38.9677
42.36/42.55	c bounds 214 >= 138 @ 38.9852
42.36/42.55	c bounds 214 >= 139 @ 39.0038
42.36/42.55	c bounds 214 >= 140 @ 39.0572
42.36/42.55	c bounds 214 >= 141 @ 39.327
42.36/42.55	c #Conflicts:      66000 | #Constraints:      10825
42.36/42.55	c finalizing WCE round: reformulating cores
188.21/188.74	c INPROCESSING
188.21/188.74	c GARBAGE COLLECT
188.21/188.74	c #Conflicts:      67000 | #Constraints:       6581
188.21/188.74	c #Conflicts:      68000 | #Constraints:       7583
188.21/188.74	c bounds 213 >= 140 @ 43.2131
188.21/188.74	c #Conflicts:      69000 | #Constraints:       8589
188.21/188.74	c bounds 213 >= 142 @ 44.6843
188.21/188.74	c bounds 213 >= 143 @ 44.8118
188.21/188.74	c #Conflicts:      70000 | #Constraints:       9638
188.21/188.74	c bounds 213 >= 144 @ 47.9549
188.21/188.74	c #Conflicts:      71000 | #Constraints:      10729
188.21/188.74	c #Conflicts:      72000 | #Constraints:      11729
188.21/188.74	c INPROCESSING
188.21/188.74	c GARBAGE COLLECT
188.21/188.74	c #Conflicts:      73000 | #Constraints:       7291
188.21/188.74	c #Conflicts:      74000 | #Constraints:       8291
188.21/188.74	c #Conflicts:      75000 | #Constraints:       9291
188.21/188.74	c #Conflicts:      76000 | #Constraints:      10291
188.21/188.74	c #Conflicts:      77000 | #Constraints:      11291
188.21/188.74	c #Conflicts:      78000 | #Constraints:      12291
188.21/188.74	c INPROCESSING
188.21/188.74	c GARBAGE COLLECT
188.21/188.74	c #Conflicts:      79000 | #Constraints:       7692
188.21/188.74	c #Conflicts:      80000 | #Constraints:       8692
188.21/188.74	c #Conflicts:      81000 | #Constraints:       9692
188.21/188.74	c #Conflicts:      82000 | #Constraints:      10692
188.21/188.74	c #Conflicts:      83000 | #Constraints:      11692
188.21/188.74	c #Conflicts:      84000 | #Constraints:      12692
188.21/188.74	c INPROCESSING
188.21/188.74	c GARBAGE COLLECT
188.21/188.74	c #Conflicts:      85000 | #Constraints:       7895
188.21/188.74	c #Conflicts:      86000 | #Constraints:       8895
188.21/188.74	c #Conflicts:      87000 | #Constraints:       9895
188.21/188.74	c #Conflicts:      88000 | #Constraints:      10895
188.21/188.74	c #Conflicts:      89000 | #Constraints:      11895
188.21/188.74	c #Conflicts:      90000 | #Constraints:      12895
188.21/188.74	c INPROCESSING
188.21/188.74	c GARBAGE COLLECT
188.21/188.74	c #Conflicts:      91000 | #Constraints:       7903
188.21/188.74	c #Conflicts:      92000 | #Constraints:       8903
188.21/188.74	c #Conflicts:      93000 | #Constraints:       9903
188.21/188.74	c #Conflicts:      94000 | #Constraints:      10903
188.21/188.74	c #Conflicts:      95000 | #Constraints:      11903
188.21/188.74	c #Conflicts:      96000 | #Constraints:      12903
188.21/188.74	c INPROCESSING
188.21/188.74	c GARBAGE COLLECT
188.21/188.74	c #Conflicts:      97000 | #Constraints:       7713
188.21/188.74	c #Conflicts:      98000 | #Constraints:       8713
188.21/188.74	c #Conflicts:      99000 | #Constraints:       9713
188.21/188.74	c #Conflicts:     100000 | #Constraints:      10713
188.21/188.74	c #Conflicts:     101000 | #Constraints:      11713
188.21/188.74	c #Conflicts:     102000 | #Constraints:      12713
188.21/188.74	c #Conflicts:     103000 | #Constraints:      13713
188.21/188.74	c INPROCESSING
188.21/188.74	c GARBAGE COLLECT
188.21/188.74	c #Conflicts:     104000 | #Constraints:       8307
188.21/188.74	c #Conflicts:     105000 | #Constraints:       9307
188.21/188.74	c #Conflicts:     106000 | #Constraints:      10307
188.21/188.74	c bounds 213 >= 145 @ 93.3965
188.21/188.74	c #Conflicts:     107000 | #Constraints:      11392
188.21/188.74	c #Conflicts:     108000 | #Constraints:      12392
188.21/188.74	c #Conflicts:     109000 | #Constraints:      13392
188.21/188.74	c #Conflicts:     110000 | #Constraints:      14392
188.21/188.74	c INPROCESSING
188.21/188.74	c GARBAGE COLLECT
188.21/188.74	c #Conflicts:     111000 | #Constraints:       8761
188.21/188.74	c #Conflicts:     112000 | #Constraints:       9761
188.21/188.74	c #Conflicts:     113000 | #Constraints:      10761
188.21/188.74	c #Conflicts:     114000 | #Constraints:      11761
188.21/188.74	c #Conflicts:     115000 | #Constraints:      12761
188.21/188.74	c #Conflicts:     116000 | #Constraints:      13761
188.21/188.74	c #Conflicts:     117000 | #Constraints:      14761
188.21/188.74	c #Conflicts:     118000 | #Constraints:      15761
188.21/188.74	c #Conflicts:     119000 | #Constraints:      16761
188.21/188.74	c #Conflicts:     120000 | #Constraints:      17761
188.21/188.74	c #Conflicts:     121000 | #Constraints:      18761
188.21/188.74	c #Conflicts:     122000 | #Constraints:      19761
188.21/188.74	c #Conflicts:     123000 | #Constraints:      20761
188.21/188.74	c #Conflicts:     124000 | #Constraints:      21761
188.21/188.74	c #Conflicts:     125000 | #Constraints:      22761
188.21/188.74	c #Conflicts:     126000 | #Constraints:      23761
188.21/188.74	c #Conflicts:     127000 | #Constraints:      24761
188.21/188.74	c #Conflicts:     128000 | #Constraints:      25761
188.21/188.74	c #Conflicts:     129000 | #Constraints:      26761
188.21/188.74	c #Conflicts:     130000 | #Constraints:      27761
188.21/188.74	c #Conflicts:     131000 | #Constraints:      28761
188.21/188.74	c #Conflicts:     132000 | #Constraints:      29761
188.21/188.74	c #Conflicts:     133000 | #Constraints:      30761
188.21/188.74	c #Conflicts:     134000 | #Constraints:      31761
188.21/188.74	c #Conflicts:     135000 | #Constraints:      32761
188.21/188.74	c #Conflicts:     136000 | #Constraints:      33761
188.21/188.74	c #Conflicts:     137000 | #Constraints:      34761
679.98/681.74	c #Conflicts:     138000 | #Constraints:      35761
679.98/681.74	c #Conflicts:     139000 | #Constraints:      36761
679.98/681.74	c #Conflicts:     140000 | #Constraints:      37761
679.98/681.74	c INPROCESSING
679.98/681.74	c GARBAGE COLLECT
679.98/681.74	c #Conflicts:     141000 | #Constraints:      20250
679.98/681.74	c #Conflicts:     142000 | #Constraints:      21250
679.98/681.74	c #Conflicts:     143000 | #Constraints:      22250
679.98/681.74	c #Conflicts:     144000 | #Constraints:      23250
679.98/681.74	c #Conflicts:     145000 | #Constraints:      24250
679.98/681.74	c #Conflicts:     146000 | #Constraints:      25250
679.98/681.74	c #Conflicts:     147000 | #Constraints:      26250
679.98/681.74	c #Conflicts:     148000 | #Constraints:      27250
679.98/681.74	c INPROCESSING
679.98/681.74	c GARBAGE COLLECT
679.98/681.74	c #Conflicts:     149000 | #Constraints:      14953
679.98/681.74	c #Conflicts:     150000 | #Constraints:      15953
679.98/681.74	c #Conflicts:     151000 | #Constraints:      16953
679.98/681.74	c #Conflicts:     152000 | #Constraints:      17953
679.98/681.74	c #Conflicts:     153000 | #Constraints:      18953
679.98/681.74	c #Conflicts:     154000 | #Constraints:      19953
679.98/681.74	c #Conflicts:     155000 | #Constraints:      20953
679.98/681.74	c #Conflicts:     156000 | #Constraints:      21953
679.98/681.74	c #Conflicts:     157000 | #Constraints:      22953
679.98/681.74	c #Conflicts:     158000 | #Constraints:      23953
679.98/681.74	c #Conflicts:     159000 | #Constraints:      24953
679.98/681.74	c #Conflicts:     160000 | #Constraints:      25953
679.98/681.74	c #Conflicts:     161000 | #Constraints:      26953
679.98/681.74	c #Conflicts:     162000 | #Constraints:      27953
679.98/681.74	c #Conflicts:     163000 | #Constraints:      28953
679.98/681.74	c #Conflicts:     164000 | #Constraints:      29953
679.98/681.74	c #Conflicts:     165000 | #Constraints:      30953
679.98/681.74	c #Conflicts:     166000 | #Constraints:      31953
679.98/681.74	c #Conflicts:     167000 | #Constraints:      32953
679.98/681.74	c #Conflicts:     168000 | #Constraints:      33953
679.98/681.74	c #Conflicts:     169000 | #Constraints:      34953
679.98/681.74	c #Conflicts:     170000 | #Constraints:      35953
679.98/681.74	c #Conflicts:     171000 | #Constraints:      36953
679.98/681.74	c #Conflicts:     172000 | #Constraints:      37953
679.98/681.74	c #Conflicts:     173000 | #Constraints:      38953
679.98/681.74	c #Conflicts:     174000 | #Constraints:      39953
679.98/681.74	c #Conflicts:     175000 | #Constraints:      40953
679.98/681.74	c #Conflicts:     176000 | #Constraints:      41953
679.98/681.74	c #Conflicts:     177000 | #Constraints:      42953
679.98/681.74	c #Conflicts:     178000 | #Constraints:      43953
679.98/681.74	c #Conflicts:     179000 | #Constraints:      44953
679.98/681.74	c #Conflicts:     180000 | #Constraints:      45953
679.98/681.74	c #Conflicts:     181000 | #Constraints:      46953
679.98/681.74	c #Conflicts:     182000 | #Constraints:      47953
679.98/681.74	c INPROCESSING
679.98/681.74	c GARBAGE COLLECT
679.98/681.74	c #Conflicts:     183000 | #Constraints:      25567
679.98/681.74	c #Conflicts:     184000 | #Constraints:      26567
679.98/681.74	c #Conflicts:     185000 | #Constraints:      27567
679.98/681.74	c #Conflicts:     186000 | #Constraints:      28567
679.98/681.74	c #Conflicts:     187000 | #Constraints:      29567
679.98/681.74	c #Conflicts:     188000 | #Constraints:      30567
679.98/681.74	c #Conflicts:     189000 | #Constraints:      31567
679.98/681.74	c #Conflicts:     190000 | #Constraints:      32567
679.98/681.74	c #Conflicts:     191000 | #Constraints:      33567
679.98/681.74	c INPROCESSING
679.98/681.74	c GARBAGE COLLECT
679.98/681.74	c #Conflicts:     192000 | #Constraints:      19299
679.98/681.74	c #Conflicts:     193000 | #Constraints:      20299
679.98/681.74	c #Conflicts:     194000 | #Constraints:      21299
679.98/681.74	c #Conflicts:     195000 | #Constraints:      22299
679.98/681.74	c #Conflicts:     196000 | #Constraints:      23299
679.98/681.74	c #Conflicts:     197000 | #Constraints:      24299
679.98/681.74	c #Conflicts:     198000 | #Constraints:      25299
679.98/681.74	c #Conflicts:     199000 | #Constraints:      26299
679.98/681.74	c #Conflicts:     200000 | #Constraints:      27299
679.98/681.74	c #Conflicts:     201000 | #Constraints:      28299
679.98/681.74	c #Conflicts:     202000 | #Constraints:      29299
679.98/681.74	c #Conflicts:     203000 | #Constraints:      30299
679.98/681.74	c #Conflicts:     204000 | #Constraints:      31299
679.98/681.74	c #Conflicts:     205000 | #Constraints:      32299
679.98/681.74	c #Conflicts:     206000 | #Constraints:      33299
679.98/681.74	c #Conflicts:     207000 | #Constraints:      34299
679.98/681.74	c #Conflicts:     208000 | #Constraints:      35299
679.98/681.74	c #Conflicts:     209000 | #Constraints:      36299
679.98/681.74	c #Conflicts:     210000 | #Constraints:      37299
679.98/681.74	c #Conflicts:     211000 | #Constraints:      38299
679.98/681.74	c #Conflicts:     212000 | #Constraints:      39299
679.98/681.74	c #Conflicts:     213000 | #Constraints:      40299
679.98/681.74	c #Conflicts:     214000 | #Constraints:      41299
1497.31/1501.21	c #Conflicts:     215000 | #Constraints:      42299
1497.31/1501.21	c #Conflicts:     216000 | #Constraints:      43299
1497.31/1501.21	c #Conflicts:     217000 | #Constraints:      44299
1497.31/1501.21	c #Conflicts:     218000 | #Constraints:      45299
1497.31/1501.21	c #Conflicts:     219000 | #Constraints:      46299
1497.31/1501.21	c #Conflicts:     220000 | #Constraints:      47299
1497.31/1501.21	c #Conflicts:     221000 | #Constraints:      48299
1497.31/1501.21	c #Conflicts:     222000 | #Constraints:      49299
1497.31/1501.21	c #Conflicts:     223000 | #Constraints:      50299
1497.31/1501.21	c #Conflicts:     224000 | #Constraints:      51299
1497.31/1501.21	c #Conflicts:     225000 | #Constraints:      52299
1497.31/1501.21	c #Conflicts:     226000 | #Constraints:      53299
1497.31/1501.21	c #Conflicts:     227000 | #Constraints:      54299
1497.31/1501.21	c #Conflicts:     228000 | #Constraints:      55299
1497.31/1501.21	c INPROCESSING
1497.31/1501.21	c GARBAGE COLLECT
1497.31/1501.21	c #Conflicts:     229000 | #Constraints:      29245
1497.31/1501.21	c #Conflicts:     230000 | #Constraints:      30245
1497.31/1501.21	c #Conflicts:     231000 | #Constraints:      31245
1497.31/1501.21	c #Conflicts:     232000 | #Constraints:      32245
1497.31/1501.21	c #Conflicts:     233000 | #Constraints:      33245
1497.31/1501.21	c #Conflicts:     234000 | #Constraints:      34245
1497.31/1501.21	c #Conflicts:     235000 | #Constraints:      35245
1497.31/1501.21	c #Conflicts:     236000 | #Constraints:      36245
1497.31/1501.21	c #Conflicts:     237000 | #Constraints:      37245
1497.31/1501.21	c #Conflicts:     238000 | #Constraints:      38245
1497.31/1501.21	c INPROCESSING
1497.31/1501.21	c GARBAGE COLLECT
1497.31/1501.21	c #Conflicts:     239000 | #Constraints:      24625
1497.31/1501.21	c #Conflicts:     240000 | #Constraints:      25625
1497.31/1501.21	c #Conflicts:     241000 | #Constraints:      26625
1497.31/1501.21	c #Conflicts:     242000 | #Constraints:      27625
1497.31/1501.21	c #Conflicts:     243000 | #Constraints:      28625
1497.31/1501.21	c #Conflicts:     244000 | #Constraints:      29625
1497.31/1501.21	c #Conflicts:     245000 | #Constraints:      30625
1497.31/1501.21	c #Conflicts:     246000 | #Constraints:      31625
1497.31/1501.21	c #Conflicts:     247000 | #Constraints:      32625
1497.31/1501.21	c #Conflicts:     248000 | #Constraints:      33625
1497.31/1501.21	c #Conflicts:     249000 | #Constraints:      34625
1497.31/1501.21	c #Conflicts:     250000 | #Constraints:      35625
1497.31/1501.21	c #Conflicts:     251000 | #Constraints:      36625
1497.31/1501.21	c #Conflicts:     252000 | #Constraints:      37625
1497.31/1501.21	c #Conflicts:     253000 | #Constraints:      38625
1497.31/1501.21	c #Conflicts:     254000 | #Constraints:      39625
1497.31/1501.21	c #Conflicts:     255000 | #Constraints:      40625
1497.31/1501.21	c #Conflicts:     256000 | #Constraints:      41625
1497.31/1501.21	c #Conflicts:     257000 | #Constraints:      42625
1497.31/1501.21	c #Conflicts:     258000 | #Constraints:      43625
1497.31/1501.21	c #Conflicts:     259000 | #Constraints:      44625
1497.31/1501.21	c #Conflicts:     260000 | #Constraints:      45625
1497.31/1501.21	c #Conflicts:     261000 | #Constraints:      46625
1497.31/1501.21	c #Conflicts:     262000 | #Constraints:      47625
1497.31/1501.21	c #Conflicts:     263000 | #Constraints:      48625
1497.31/1501.21	c #Conflicts:     264000 | #Constraints:      49625
1497.31/1501.21	c #Conflicts:     265000 | #Constraints:      50625
1497.31/1501.21	c #Conflicts:     266000 | #Constraints:      51625
1497.31/1501.21	c #Conflicts:     267000 | #Constraints:      52625
1497.31/1501.21	c #Conflicts:     268000 | #Constraints:      53625
1497.31/1501.21	c #Conflicts:     269000 | #Constraints:      54625
1497.31/1501.21	c #Conflicts:     270000 | #Constraints:      55625
1497.31/1501.21	c #Conflicts:     271000 | #Constraints:      56625
1497.31/1501.21	c #Conflicts:     272000 | #Constraints:      57625
1497.31/1501.21	c #Conflicts:     273000 | #Constraints:      58625
1497.31/1501.21	c #Conflicts:     274000 | #Constraints:      59625
1497.31/1501.21	c #Conflicts:     275000 | #Constraints:      60625
1497.31/1501.21	c #Conflicts:     276000 | #Constraints:      61625
1497.31/1501.21	c #Conflicts:     277000 | #Constraints:      62625
1497.31/1501.21	c #Conflicts:     278000 | #Constraints:      63625
1497.31/1501.21	c INPROCESSING
1497.31/1501.21	c GARBAGE COLLECT
1497.31/1501.21	c #Conflicts:     279000 | #Constraints:      33198
1497.31/1501.21	c #Conflicts:     280000 | #Constraints:      34198
1497.31/1501.21	c #Conflicts:     281000 | #Constraints:      35198
1497.31/1501.21	c #Conflicts:     282000 | #Constraints:      36198
1497.31/1501.21	c #Conflicts:     283000 | #Constraints:      37198
1497.31/1501.21	c #Conflicts:     284000 | #Constraints:      38198
1497.31/1501.21	c #Conflicts:     285000 | #Constraints:      39198
1497.31/1501.21	c #Conflicts:     286000 | #Constraints:      40198
1497.31/1501.21	c #Conflicts:     287000 | #Constraints:      41198
1497.31/1501.21	c #Conflicts:     288000 | #Constraints:      42198
1497.31/1501.21	c #Conflicts:     289000 | #Constraints:      43198
1497.31/1501.21	c #Conflicts:     290000 | #Constraints:      44198
2508.20/2515.00	c INPROCESSING
2508.20/2515.00	c GARBAGE COLLECT
2508.20/2515.00	c #Conflicts:     291000 | #Constraints:      30468
2508.20/2515.00	c #Conflicts:     292000 | #Constraints:      31468
2508.20/2515.00	c #Conflicts:     293000 | #Constraints:      32468
2508.20/2515.00	c #Conflicts:     294000 | #Constraints:      33468
2508.20/2515.00	c #Conflicts:     295000 | #Constraints:      34468
2508.20/2515.00	c #Conflicts:     296000 | #Constraints:      35468
2508.20/2515.00	c #Conflicts:     297000 | #Constraints:      36468
2508.20/2515.00	c #Conflicts:     298000 | #Constraints:      37468
2508.20/2515.00	c #Conflicts:     299000 | #Constraints:      38468
2508.20/2515.00	c #Conflicts:     300000 | #Constraints:      39468
2508.20/2515.00	c #Conflicts:     301000 | #Constraints:      40468
2508.20/2515.00	c #Conflicts:     302000 | #Constraints:      41468
2508.20/2515.00	c #Conflicts:     303000 | #Constraints:      42468
2508.20/2515.00	c #Conflicts:     304000 | #Constraints:      43468
2508.20/2515.00	c #Conflicts:     305000 | #Constraints:      44468
2508.20/2515.00	c #Conflicts:     306000 | #Constraints:      45468
2508.20/2515.00	c #Conflicts:     307000 | #Constraints:      46468
2508.20/2515.00	c #Conflicts:     308000 | #Constraints:      47468
2508.20/2515.00	c #Conflicts:     309000 | #Constraints:      48468
2508.20/2515.00	c #Conflicts:     310000 | #Constraints:      49468
2508.20/2515.00	c #Conflicts:     311000 | #Constraints:      50468
2508.20/2515.00	c #Conflicts:     312000 | #Constraints:      51468
2508.20/2515.00	c #Conflicts:     313000 | #Constraints:      52468
2508.20/2515.00	c #Conflicts:     314000 | #Constraints:      53468
2508.20/2515.00	c #Conflicts:     315000 | #Constraints:      54468
2508.20/2515.00	c #Conflicts:     316000 | #Constraints:      55468
2508.20/2515.00	c #Conflicts:     317000 | #Constraints:      56468
2508.20/2515.00	c #Conflicts:     318000 | #Constraints:      57468
2508.20/2515.00	c #Conflicts:     319000 | #Constraints:      58468
2508.20/2515.00	c #Conflicts:     320000 | #Constraints:      59468
2508.20/2515.00	c #Conflicts:     321000 | #Constraints:      60468
2508.20/2515.00	c #Conflicts:     322000 | #Constraints:      61468
2508.20/2515.00	c #Conflicts:     323000 | #Constraints:      62468
2508.20/2515.00	c #Conflicts:     324000 | #Constraints:      63468
2508.20/2515.00	c #Conflicts:     325000 | #Constraints:      64468
2508.20/2515.00	c #Conflicts:     326000 | #Constraints:      65468
2508.20/2515.00	c #Conflicts:     327000 | #Constraints:      66468
2508.20/2515.00	c #Conflicts:     328000 | #Constraints:      67468
2508.20/2515.00	c #Conflicts:     329000 | #Constraints:      68468
2508.20/2515.00	c #Conflicts:     330000 | #Constraints:      69468
2508.20/2515.00	c #Conflicts:     331000 | #Constraints:      70468
2508.20/2515.00	c #Conflicts:     332000 | #Constraints:      71468
2508.20/2515.00	c #Conflicts:     333000 | #Constraints:      72468
2508.20/2515.00	c INPROCESSING
2508.20/2515.00	c GARBAGE COLLECT
2508.20/2515.00	c #Conflicts:     334000 | #Constraints:      37722
2508.20/2515.00	c #Conflicts:     335000 | #Constraints:      38722
2508.20/2515.00	c #Conflicts:     336000 | #Constraints:      39722
2508.20/2515.00	c #Conflicts:     337000 | #Constraints:      40722
2508.20/2515.00	c #Conflicts:     338000 | #Constraints:      41722
2508.20/2515.00	c #Conflicts:     339000 | #Constraints:      42722
2508.20/2515.00	c #Conflicts:     340000 | #Constraints:      43722
2508.20/2515.00	c #Conflicts:     341000 | #Constraints:      44722
2508.20/2515.00	c #Conflicts:     342000 | #Constraints:      45722
2508.20/2515.00	c #Conflicts:     343000 | #Constraints:      46722
2508.20/2515.00	c #Conflicts:     344000 | #Constraints:      47722
2508.20/2515.00	c #Conflicts:     345000 | #Constraints:      48722
2508.20/2515.00	c #Conflicts:     346000 | #Constraints:      49722
2508.20/2515.00	c INPROCESSING
2508.20/2515.00	c GARBAGE COLLECT
2508.20/2515.00	c #Conflicts:     347000 | #Constraints:      35849
2508.20/2515.00	c #Conflicts:     348000 | #Constraints:      36849
2508.20/2515.00	c #Conflicts:     349000 | #Constraints:      37849
2508.20/2515.00	c #Conflicts:     350000 | #Constraints:      38849
2508.20/2515.00	c #Conflicts:     351000 | #Constraints:      39849
2508.20/2515.00	c #Conflicts:     352000 | #Constraints:      40849
2508.20/2515.00	c #Conflicts:     353000 | #Constraints:      41849
2508.20/2515.00	c #Conflicts:     354000 | #Constraints:      42849
2508.20/2515.00	c #Conflicts:     355000 | #Constraints:      43849
2508.20/2515.00	c #Conflicts:     356000 | #Constraints:      44849
2508.20/2515.00	c #Conflicts:     357000 | #Constraints:      45849
2508.20/2515.00	c #Conflicts:     358000 | #Constraints:      46849
2508.20/2515.00	c #Conflicts:     359000 | #Constraints:      47849
2508.20/2515.00	c #Conflicts:     360000 | #Constraints:      48849
2508.20/2515.00	c #Conflicts:     361000 | #Constraints:      49849
2508.20/2515.00	c #Conflicts:     362000 | #Constraints:      50849
2508.20/2515.00	c #Conflicts:     363000 | #Constraints:      51849
2508.20/2515.00	c #Conflicts:     364000 | #Constraints:      52849
2508.20/2515.00	c #Conflicts:     365000 | #Constraints:      53849
2508.20/2515.00	c #Conflicts:     366000 | #Constraints:      54849
2508.20/2515.00	c #Conflicts:     367000 | #Constraints:      55849
3600.08/3610.11	c #Conflicts:     368000 | #Constraints:      56849
3600.08/3610.11	c #Conflicts:     369000 | #Constraints:      57849
3600.08/3610.11	c #Conflicts:     370000 | #Constraints:      58849
3600.08/3610.11	c #Conflicts:     371000 | #Constraints:      59849
3600.08/3610.11	c #Conflicts:     372000 | #Constraints:      60849
3600.08/3610.11	c #Conflicts:     373000 | #Constraints:      61849
3600.08/3610.11	c #Conflicts:     374000 | #Constraints:      62849
3600.08/3610.11	c #Conflicts:     375000 | #Constraints:      63849
3600.08/3610.11	c #Conflicts:     376000 | #Constraints:      64849
3600.08/3610.11	c #Conflicts:     377000 | #Constraints:      65849
3600.08/3610.11	c #Conflicts:     378000 | #Constraints:      66849
3600.08/3610.11	c #Conflicts:     379000 | #Constraints:      67849
3600.08/3610.11	c #Conflicts:     380000 | #Constraints:      68849
3600.08/3610.11	c #Conflicts:     381000 | #Constraints:      69849
3600.08/3610.11	c #Conflicts:     382000 | #Constraints:      70849
3600.08/3610.11	c #Conflicts:     383000 | #Constraints:      71849
3600.08/3610.11	c #Conflicts:     384000 | #Constraints:      72849
3600.08/3610.11	c #Conflicts:     385000 | #Constraints:      73849
3600.08/3610.11	c #Conflicts:     386000 | #Constraints:      74849
3600.08/3610.11	c #Conflicts:     387000 | #Constraints:      75849
3600.08/3610.11	c #Conflicts:     388000 | #Constraints:      76849
3600.08/3610.11	c #Conflicts:     389000 | #Constraints:      77849
3600.08/3610.11	c #Conflicts:     390000 | #Constraints:      78849
3600.08/3610.11	c #Conflicts:     391000 | #Constraints:      79849
3600.08/3610.11	c #Conflicts:     392000 | #Constraints:      80849
3600.08/3610.11	c INPROCESSING
3600.08/3610.11	c GARBAGE COLLECT
3600.08/3610.11	c #Conflicts:     393000 | #Constraints:      41812
3600.08/3610.11	c #Conflicts:     394000 | #Constraints:      42812
3600.08/3610.11	c #Conflicts:     395000 | #Constraints:      43812
3600.08/3610.11	c #Conflicts:     396000 | #Constraints:      44812
3600.08/3610.11	c #Conflicts:     397000 | #Constraints:      45812
3600.08/3610.11	c #Conflicts:     398000 | #Constraints:      46812
3600.08/3610.11	c #Conflicts:     399000 | #Constraints:      47812
3600.08/3610.11	c #Conflicts:     400000 | #Constraints:      48812
3600.08/3610.11	c #Conflicts:     401000 | #Constraints:      49812
3600.08/3610.11	c #Conflicts:     402000 | #Constraints:      50812
3600.08/3610.11	c #Conflicts:     403000 | #Constraints:      51812
3600.08/3610.11	c #Conflicts:     404000 | #Constraints:      52812
3600.08/3610.11	c #Conflicts:     405000 | #Constraints:      53812
3600.08/3610.11	c #Conflicts:     406000 | #Constraints:      54812
3600.08/3610.11	c #Conflicts:     407000 | #Constraints:      55812
3600.08/3610.11	c #Conflicts:     408000 | #Constraints:      56812
3600.08/3610.11	c #Conflicts:     409000 | #Constraints:      57812
3600.08/3610.11	c #Conflicts:     410000 | #Constraints:      58812
3600.08/3610.11	c #Conflicts:     411000 | #Constraints:      59812
3600.08/3610.11	c #Conflicts:     412000 | #Constraints:      60812
3600.08/3610.11	c #Conflicts:     413000 | #Constraints:      61812
3600.08/3610.11	c #Conflicts:     414000 | #Constraints:      62812
3600.08/3610.11	c #Conflicts:     415000 | #Constraints:      63812
3600.08/3610.11	c #Conflicts:     416000 | #Constraints:      64812
3600.08/3610.11	c #Conflicts:     417000 | #Constraints:      65812
3600.08/3610.11	c #Conflicts:     418000 | #Constraints:      66812
3600.08/3610.11	c #Conflicts:     419000 | #Constraints:      67812
3600.08/3610.11	c #Conflicts:     420000 | #Constraints:      68812
3600.08/3610.11	c #Conflicts:     421000 | #Constraints:      69812
3600.08/3610.11	c #Conflicts:     422000 | #Constraints:      70812
3600.08/3610.11	c #Conflicts:     423000 | #Constraints:      71812
3600.08/3610.11	c #Conflicts:     424000 | #Constraints:      72812
3600.08/3610.11	c #Conflicts:     425000 | #Constraints:      73812
3600.08/3610.11	c #Conflicts:     426000 | #Constraints:      74812
3600.08/3610.11	c Program interrupted by user.
3600.08/3610.11	c cpu time 3590.29 s
3600.08/3610.11	c deterministic time 266547342191 2.67e+11
3600.08/3610.11	c optimization time 617.935 s
3600.08/3610.11	c total solve time 2972.35 s
3600.08/3610.11	c core-guided solve time 2972.35 s
3600.08/3610.11	c propagation time 3252.88 s
3600.08/3610.11	c conflict analysis time 322.549 s
3600.08/3610.11	c propagations 74934873
3600.08/3610.11	c resolve steps 5468915
3600.08/3610.11	c decisions 7082791
3600.08/3610.11	c conflicts 426496
3600.08/3610.11	c restarts 1020
3600.08/3610.11	c inprocessing phases 36
3600.08/3610.11	c input clauses 226
3600.08/3610.11	c input cardinalities 446
3600.08/3610.11	c input general constraints 676
3600.08/3610.11	c input average constraint length 45.16
3600.08/3610.11	c input average constraint degree 21.42
3600.08/3610.11	c learned clauses 63527
3600.08/3610.11	c learned cardinalities 1353
3600.08/3610.11	c learned general constraints 361629
3600.08/3610.11	c learned average constraint length 129.91
3600.08/3610.11	c learned average constraint degree 3310111.66
3600.08/3610.11	c watched constraints 303833
3600.08/3610.11	c counting constraints 58472
3600.08/3610.11	c gcd simplifications 26570
3600.08/3610.11	c detected cardinalities 1098
3600.08/3610.11	c weakened non-implied lits 4738997
3600.08/3610.11	c weakened non-implying lits 20040
3600.08/3610.11	c original variables 476
3600.08/3610.11	c clausal propagations 16739755
3600.08/3610.11	c cardinality propagations 1064898
3600.08/3610.11	c watched propagations 10028425
3600.08/3610.11	c counting propagations 46785459
3600.08/3610.11	c watch lookups 67960355561
3600.08/3610.11	c watch backjump lookups 65257721837
3600.08/3610.11	c watch checks 118663393177
3600.08/3610.11	c propagation checks 14306980242
3600.08/3610.11	c constraint additions 194429730
3600.08/3610.11	c trail pops 82443979
3600.08/3610.11	c formula constraints 476
3600.08/3610.11	c learned constraints 426509
3600.08/3610.11	c bound constraints 108
3600.08/3610.11	c core-guided constraints 764
3600.08/3610.11	c encountered formula constraints 854272
3600.08/3610.11	c encountered learned constraints 4308519
3600.08/3610.11	c encountered bound constraints 71
3600.08/3610.11	c encountered core-guided constraints 732549
3600.08/3610.11	c LP total time 0 s
3600.08/3610.11	c LP solve time 0 s
3600.08/3610.11	c LP constraints added 0
3600.08/3610.11	c LP constraints removed 0
3600.08/3610.11	c LP pivots internal 0
3600.08/3610.11	c LP pivots root 0
3600.08/3610.11	c LP calls 0
3600.08/3610.11	c LP optimalities 0
3600.08/3610.11	c LP no pivot count 0
3600.08/3610.11	c LP infeasibilities 0
3600.08/3610.11	c LP valid Farkas constraints 0
3600.08/3610.11	c LP learned Farkas constraints 0
3600.08/3610.11	c LP basis resets 0
3600.08/3610.11	c LP cycling count 0
3600.08/3610.11	c LP singular count 0
3600.08/3610.11	c LP no primal count 0
3600.08/3610.11	c LP no farkas count 0
3600.08/3610.11	c LP other issue count 0
3600.08/3610.11	c LP Gomory cuts 0
3600.08/3610.11	c LP learned cuts 0
3600.08/3610.11	c LP deleted cuts 0
3600.08/3610.11	c LP encountered Gomory constraints 0
3600.08/3610.11	c LP encountered Farkas constraints 0
3600.08/3610.11	c LP encountered learned Farkas constraints 0
3600.08/3610.11	c CG auxiliary variables introduced 318
3600.08/3610.11	c CG solutions found 3
3600.08/3610.11	c CG cores constructed 95
3600.08/3610.11	c CG core cardinality constraints returned 0
3600.08/3610.11	c CG unit cores 0
3600.08/3610.11	c CG single cores 95
3600.08/3610.11	c CG blocks removed during cardinality reduction 0
3600.08/3610.11	c CG first core best 0
3600.08/3610.11	c CG decision core best 0
3600.08/3610.11	c CG core reduction tie 0
3600.08/3610.11	c CG core degree average 1.00
3600.08/3610.11	c CG core slack average 5.94
3600.08/3610.11	c CG exhausted 1
3600.08/3610.11	c CG exhaust time 41.5051 s
3600.08/3610.11	c CG trimmed 2
3600.08/3610.11	c CG trim time 0.013792 s
3600.08/3610.11	c CG minimized 0
3600.08/3610.11	c CG minimize time 0 s
3600.08/3610.11	c CG am1 prop time 0.023987 s
3600.08/3610.11	c CG # am1s reformulated 49
3600.08/3610.11	c CG lower bound derived from am1s 49
3600.08/3610.11	c CG # clausal cores 23
3600.08/3610.11	c CG # cardinality cores 0
3600.08/3610.11	c CG # pb cores 72
3600.08/3610.11	c CG # pb reforms 0
3600.08/3610.11	c CG # cores discarded because of pb reform 0
3600.08/3610.11	d LOWERBOUND 145
3600.08/3610.11	d NCORES 95
3600.08/3610.11	d NPBCORES 72
3600.08/3610.11	d NPBREFORM 0
3600.08/3610.11	d NTRIMMED 2
3600.08/3610.11	d NEXHAUSTED 1
3600.08/3610.11	d NAM1S 49
3600.08/3610.11	d AM1LB 49
3600.08/3610.11	o 213
3600.08/3610.11	s SATISFIABLE
3600.08/3610.11	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 -x442 x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 x469 x470 x471 -x472 -x473 -x474 x475 -x476

Verifier Data 

OK	213

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 (58874 MiB free)
  memory of node 1: 64510 MiB (62245 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435854-1721097078/watcher-4435854-1721097078 -o /tmp/evaluation-result-4435854-1721097078/solver-4435854-1721097078 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721093479-828365 --watchdog 3760 pb-oll-rs HOME/instance-4435854-1721097078.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=830376, runsolver pid=830373
Current StackSize limit: 8192 KiB


[startup+0.100087 s]*
/proc/loadavg: 4.09 4.10 4.13 5/260 830377
/proc/meminfo: memFree=124022592/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=41240 memory=10012 CPUtime=0.1 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 1331 0 0 0 9 1 0 0 20 0 1 0 161868005 42229760 2503 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 10310 2503 1368 291 0 1844 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41240 KiB
Current children cumulated memory: 10012 KiB

[startup+0.205882 s]*
/proc/loadavg: 4.09 4.10 4.13 4/258 830377
/proc/meminfo: memFree=124208372/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=43132 memory=14168 CPUtime=0.2 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 1826 0 0 0 19 1 0 0 20 0 1 0 161868005 44167168 3542 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 10783 3542 1368 291 0 2317 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 43132 KiB
Current children cumulated memory: 14168 KiB

[startup+0.305604 s]*
/proc/loadavg: 4.09 4.10 4.13 4/258 830377
/proc/meminfo: memFree=124206552/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=47572 memory=15884 CPUtime=0.3 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 2262 0 0 0 28 2 0 0 20 0 1 0 161868005 48713728 3971 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 11893 3971 1368 291 0 3427 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 47572 KiB
Current children cumulated memory: 15884 KiB

[startup+0.700185 s]
/proc/loadavg: 4.09 4.10 4.13 4/254 830408
/proc/meminfo: memFree=124208284/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=49432 memory=20532 CPUtime=0.69 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 2866 0 0 0 66 3 0 0 20 0 1 0 161868005 50618368 5133 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 12358 5133 1430 291 0 3892 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49432 KiB
Current children cumulated memory: 20532 KiB

[startup+1.50023 s]
/proc/loadavg: 4.09 4.10 4.13 5/260 830423
/proc/meminfo: memFree=124184900/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=57512 memory=26648 CPUtime=1.48 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 3861 0 0 0 143 5 0 0 20 0 1 0 161868005 58892288 6662 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 14378 6662 1430 291 0 5912 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 57512 KiB
Current children cumulated memory: 26648 KiB

[startup+3.10572 s]
/proc/loadavg: 4.09 4.10 4.13 5/260 830470
/proc/meminfo: memFree=124295992/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=67384 memory=31132 CPUtime=3.09 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 4986 0 0 0 298 11 0 0 20 0 1 0 161868005 69001216 7783 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 16846 7783 1430 291 0 8380 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 67384 KiB
Current children cumulated memory: 31132 KiB

[startup+6.30021 s]
/proc/loadavg: 4.09 4.09 4.12 5/260 830470
/proc/meminfo: memFree=124266556/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=70168 memory=35656 CPUtime=6.28 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 5650 0 0 0 609 19 0 0 20 0 1 0 161868005 71852032 8914 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 17542 8914 1430 291 0 9076 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 70168 KiB
Current children cumulated memory: 35656 KiB

[startup+12.7002 s]
/proc/loadavg: 4.16 4.11 4.13 5/260 830470
/proc/meminfo: memFree=124241908/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=77564 memory=43476 CPUtime=12.65 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 7117 0 0 0 1234 31 0 0 20 0 1 0 161868005 79425536 10869 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 19391 10869 1430 291 0 10925 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 77564 KiB
Current children cumulated memory: 43476 KiB

[startup+25.5002 s]
/proc/loadavg: 4.20 4.12 4.13 5/260 830474
/proc/meminfo: memFree=124194896/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=96724 memory=55352 CPUtime=25.41 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 9053 0 0 0 2486 55 0 0 20 0 1 0 161868005 99045376 13838 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 24181 13838 1430 291 0 15715 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 96724 KiB
Current children cumulated memory: 55352 KiB

[startup+51.1058 s]
/proc/loadavg: 4.13 4.11 4.13 5/260 830478
/proc/meminfo: memFree=124165244/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=99732 memory=60752 CPUtime=50.94 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 9844 0 0 0 5005 89 0 0 20 0 1 0 161868005 102125568 15188 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 24933 15188 1430 291 0 16467 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 99732 KiB
Current children cumulated memory: 60752 KiB

[startup+102.3 s]
/proc/loadavg: 4.11 4.11 4.12 5/258 830486
/proc/meminfo: memFree=124137916/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=103264 memory=68084 CPUtime=102.01 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 10717 0 0 0 10044 157 0 0 20 0 1 0 161868005 105742336 17021 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 25816 17021 1430 291 0 17350 0
Current children cumulated CPU time: 102.01 s
Current children cumulated vsize: 103264 KiB
Current children cumulated memory: 68084 KiB

[startup+162.3 s]
/proc/loadavg: 4.10 4.10 4.12 5/258 830498
/proc/meminfo: memFree=124109256/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=113320 memory=75808 CPUtime=161.87 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 12707 0 0 0 15987 200 0 0 20 0 1 0 161868005 116039680 18952 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 28330 18952 1430 291 0 19864 0
Current children cumulated CPU time: 161.87 s
Current children cumulated vsize: 113320 KiB
Current children cumulated memory: 75808 KiB

[startup+222.3 s]
/proc/loadavg: 4.17 4.12 4.12 5/258 830508
/proc/meminfo: memFree=124088208/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=118088 memory=81872 CPUtime=221.73 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 13821 0 0 0 21952 221 0 0 20 0 1 0 161868005 120922112 20468 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 29522 20468 1430 291 0 21056 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 118088 KiB
Current children cumulated memory: 81872 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.12 5/255 830518
/proc/meminfo: memFree=124076568/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=118196 memory=82004 CPUtime=281.59 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 13904 0 0 0 27903 256 0 0 20 0 1 0 161868005 121032704 20501 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 29549 20501 1430 291 0 21083 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 118196 KiB
Current children cumulated memory: 82004 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 4.14 4.12 5/255 830528
/proc/meminfo: memFree=124063948/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=118196 memory=82004 CPUtime=341.45 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 13936 0 0 0 33865 280 0 0 20 0 1 0 161868005 121032704 20501 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 29549 20501 1430 291 0 21083 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 118196 KiB
Current children cumulated memory: 82004 KiB

[startup+402.3 s]
/proc/loadavg: 4.12 4.12 4.12 5/254 830540
/proc/meminfo: memFree=124058960/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=120208 memory=83652 CPUtime=401.3 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 14429 0 0 0 39833 297 0 0 20 0 1 0 161868005 123092992 20913 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 30052 20913 1430 291 0 21586 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 120208 KiB
Current children cumulated memory: 83652 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.13 4.12 5/254 830550
/proc/meminfo: memFree=124034552/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=124432 memory=90732 CPUtime=461.14 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 15445 0 0 0 45800 314 0 0 20 0 1 0 161868005 127418368 22683 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 31108 22683 1430 291 0 22642 0

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

Current children cumulated memory: 130512 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.10 4.12 5/257 831568
/proc/meminfo: memFree=123726836/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=163404 memory=133116 CPUtime=2914.37 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 22210 0 0 0 290572 865 0 0 20 0 1 0 161868005 167325696 33279 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 40851 33279 1430 291 0 32385 0
Current children cumulated CPU time: 2914.37 s
Current children cumulated vsize: 163404 KiB
Current children cumulated memory: 133116 KiB

[startup+2982.3 s]
/proc/loadavg: 4.04 4.08 4.11 5/257 831579
/proc/meminfo: memFree=123722988/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=195792 memory=135436 CPUtime=2974.18 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 22984 0 0 0 296545 873 0 0 20 0 1 0 161868005 200491008 33859 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 48948 33859 1430 291 0 40482 0
Current children cumulated CPU time: 2974.18 s
Current children cumulated vsize: 195792 KiB
Current children cumulated memory: 135436 KiB

[startup+3042.3 s]
/proc/loadavg: 4.12 4.10 4.11 5/256 831589
/proc/meminfo: memFree=123718916/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=196808 memory=138536 CPUtime=3033.99 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 23519 0 0 0 302519 880 0 0 20 0 1 0 161868005 201531392 34634 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 49202 34634 1430 291 0 40736 0
Current children cumulated CPU time: 3033.99 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 138536 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.09 4.11 5/257 831601
/proc/meminfo: memFree=123718180/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=196808 memory=138536 CPUtime=3093.81 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 23568 0 0 0 308484 897 0 0 20 0 1 0 161868005 201531392 34634 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 49202 34634 1430 291 0 40736 0
Current children cumulated CPU time: 3093.81 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 138536 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.09 4.10 5/257 831613
/proc/meminfo: memFree=123716544/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=196808 memory=138536 CPUtime=3153.63 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 23617 0 0 0 314452 911 0 0 20 0 1 0 161868005 201531392 34634 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 49202 34634 1430 291 0 40736 0
Current children cumulated CPU time: 3153.63 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 138536 KiB

[startup+3222.3 s]
/proc/loadavg: 4.09 4.08 4.10 5/259 832010
/proc/meminfo: memFree=123815020/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=196808 memory=138536 CPUtime=3213.45 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 23669 0 0 0 320422 923 0 0 20 0 1 0 161868005 201531392 34634 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 49202 34634 1430 291 0 40736 0
Current children cumulated CPU time: 3213.45 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 138536 KiB

[startup+3282.3 s]
/proc/loadavg: 4.08 4.08 4.09 5/257 832020
/proc/meminfo: memFree=123811160/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=196808 memory=138536 CPUtime=3273.27 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 23721 0 0 0 326394 933 0 0 20 0 1 0 161868005 201531392 34634 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 49202 34634 1430 291 0 40736 0
Current children cumulated CPU time: 3273.27 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 138536 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.11 4.10 5/257 832030
/proc/meminfo: memFree=123801936/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=196808 memory=138536 CPUtime=3333.07 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 23774 0 0 0 332365 942 0 0 20 0 1 0 161868005 201531392 34634 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 49202 34634 1430 291 0 40736 0
Current children cumulated CPU time: 3333.07 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 138536 KiB

[startup+3402.3 s]
/proc/loadavg: 4.06 4.09 4.09 5/258 832211
/proc/meminfo: memFree=123788732/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=196808 memory=138536 CPUtime=3392.89 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 23830 0 0 0 338338 951 0 0 20 0 1 0 161868005 201531392 34634 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 49202 34634 1430 291 0 40736 0
Current children cumulated CPU time: 3392.89 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 138536 KiB

[startup+3462.3 s]
/proc/loadavg: 4.06 4.08 4.09 5/258 832221
/proc/meminfo: memFree=123775292/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=196808 memory=138536 CPUtime=3452.71 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 23885 0 0 0 344311 960 0 0 20 0 1 0 161868005 201531392 34634 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 49202 34634 1430 291 0 40736 0
Current children cumulated CPU time: 3452.71 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 138536 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/259 832288
/proc/meminfo: memFree=123765796/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=196808 memory=140216 CPUtime=3512.53 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 23889 0 0 0 350284 969 0 0 20 0 1 0 161868005 201531392 35054 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 49202 35054 1430 291 0 40736 0
Current children cumulated CPU time: 3512.53 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 140216 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.09 4.09 5/257 832299
/proc/meminfo: memFree=123761052/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=197288 memory=140216 CPUtime=3572.36 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 23978 0 0 0 356259 977 0 0 20 0 1 0 161868005 202022912 35054 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 49322 35054 1430 291 0 40856 0
Current children cumulated CPU time: 3572.36 s
Current children cumulated vsize: 197288 KiB
Current children cumulated memory: 140216 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.11 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 832350
/proc/meminfo: memFree=123898996/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=197288 memory=140336 CPUtime=3600.08 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 24039 0 0 0 359028 980 0 0 20 0 1 0 161868005 202022912 35084 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 49322 35084 1430 291 0 40856 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 197288 KiB
Current children cumulated memory: 140336 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.29 s, system=9.8096 s

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

[startup+3610.11 s]
/proc/loadavg: 4.06 4.08 4.09 5/257 832350
/proc/meminfo: memFree=123898996/131524600 swapFree=131071996/131071996
[pid=830376] ppid=830373 vsize=197288 memory=140336 CPUtime=3600.08 cores=1,3
/proc/830376/stat : 830376 (pb-oll-rs) R 830373 830376 828353 0 -1 4194304 24039 0 0 0 359028 980 0 0 20 0 1 0 161868005 202022912 35084 134679101440 4194304 5384005 140722440995728 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 29704192 140722441004055 140722441004132 140722441004132 140722441011147 0
/proc/830376/statm: 49322 35084 1430 291 0 40856 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 197288 KiB
Current children cumulated memory: 140336 KiB

Child status: 0

Real time (s): 3610.11
CPU time (s): 3600.1
CPU user time (s): 3590.29
CPU system time (s): 9.8096
CPU usage (%): 99.7227
Max. virtual memory (cumulated for all children) (KiB): 197776
Max. memory (cumulated for all children) (KiB): 140336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.29
system time used= 9.8096
maximum resident set size= 140460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24057
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= 45
involuntary context switches= 1908


# summary of solver processes directly reported to runsolver:
#   pid: 830376
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3590.29
#   total CPU system time (s): 9.8096

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.03792 second user time and 17.2176 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-16 04:31:30
IDJOB=4435854
IDBENCH=147547
IDSOLVER=3067
FILE ID=nodeC015/4435854-1721097078
RUNJOBID= nodeC015-1721093479-828365
SLURM_JOB_ID= 7505595
Free space on /tmp= 890076 MiB

SOLVER NAME= pb-oll-rs 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435854-1721097078/watcher-4435854-1721097078 -o /tmp/evaluation-result-4435854-1721097078/solver-4435854-1721097078 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721093479-828365 --watchdog 3760  pb-oll-rs HOME/instance-4435854-1721097078.opb

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

MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b
RANDOM SEED=1954763194

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        124027592 kB
MemAvailable:   129332240 kB
Buffers:          377296 kB
Cached:          5755992 kB
SwapCached:            0 kB
Active:          1205688 kB
Inactive:        5678648 kB
Active(anon):       1548 kB
Inactive(anon):   787216 kB
Active(file):    1204140 kB
Inactive(file):  4891432 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              4152 kB
Writeback:            52 kB
AnonPages:        740176 kB
Mapped:           108156 kB
Shmem:             37720 kB
KReclaimable:      97444 kB
Slab:             204680 kB
SReclaimable:      97444 kB
SUnreclaim:       107236 kB
KernelStack:        4192 kB
PageTables:        10888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    1075976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62272 kB
HardwareCorrupted:     0 kB
AnonHugePages:    569344 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:      228052 kB
DirectMap2M:    33099776 kB
DirectMap1G:    102760448 kB

Free space on /tmp at the end= 890060 MiB
End job on nodeC015 at 2024-07-16 05:31:40