Trace number 4435853

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)208 3600.07 3610.8

DiagnosticValue
AM1LB51
LOWERBOUND143
NAM1S51
NCORES91
NEXHAUSTED1
NPBCORES55
NPBREFORM0
NTRIMMED1

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb
MD5SUM62fadc113b966a642e431cfbd80ddcdc
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 benchmark176
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 variables465
Total number of constraints465
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 constraints465
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 465
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 465
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 465
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 465 #constraints 465
0.00/0.00	c SMALL=int, LARGE=long long
0.00/0.00	c bounds - >= 0 @ 0.00165
0.00/0.00	c stratification level: 0
0.00/0.01	c bounds - >= 52 @ 0.003128
0.00/0.01	c bounds - >= 53 @ 0.003228
0.00/0.01	c bounds - >= 54 @ 0.003269
0.00/0.01	c bounds - >= 55 @ 0.003306
0.00/0.01	c bounds - >= 56 @ 0.003345
0.00/0.01	c bounds - >= 57 @ 0.003385
0.00/0.01	c bounds - >= 58 @ 0.00343
0.00/0.01	c bounds - >= 59 @ 0.003477
0.00/0.01	c bounds - >= 60 @ 0.003589
0.00/0.01	c bounds - >= 61 @ 0.003684
0.00/0.01	c bounds - >= 62 @ 0.003792
0.00/0.01	c bounds - >= 63 @ 0.003881
0.00/0.01	c bounds - >= 64 @ 0.003979
0.00/0.01	c bounds - >= 65 @ 0.004085
0.00/0.01	c bounds - >= 66 @ 0.004184
0.00/0.01	c bounds - >= 67 @ 0.004276
0.00/0.01	c bounds - >= 68 @ 0.004374
0.00/0.01	c bounds - >= 69 @ 0.004464
0.00/0.01	c bounds - >= 70 @ 0.004585
0.00/0.01	c bounds - >= 71 @ 0.004689
0.00/0.01	c bounds - >= 72 @ 0.004806
0.00/0.01	c bounds - >= 73 @ 0.004908
0.00/0.01	c bounds - >= 74 @ 0.005009
0.00/0.01	c bounds - >= 75 @ 0.005117
0.00/0.01	c bounds - >= 76 @ 0.005221
0.00/0.01	c bounds - >= 77 @ 0.005332
0.00/0.01	c bounds - >= 78 @ 0.005439
0.00/0.01	c bounds - >= 79 @ 0.005468
0.00/0.01	c bounds - >= 80 @ 0.005468
0.00/0.01	c bounds - >= 81 @ 0.005468
0.00/0.01	c bounds - >= 82 @ 0.005468
0.00/0.01	c bounds - >= 83 @ 0.005468
0.00/0.01	c bounds - >= 84 @ 0.005468
0.00/0.01	c bounds - >= 85 @ 0.005468
0.00/0.01	c bounds - >= 86 @ 0.005468
0.00/0.01	c bounds - >= 87 @ 0.005488
0.00/0.01	c bounds - >= 88 @ 0.005502
0.00/0.01	c bounds - >= 89 @ 0.005502
0.00/0.01	c bounds - >= 90 @ 0.005502
0.00/0.01	c bounds - >= 91 @ 0.005502
0.00/0.01	c bounds - >= 92 @ 0.005502
0.00/0.01	c bounds - >= 93 @ 0.005502
0.00/0.01	c bounds - >= 94 @ 0.005502
0.00/0.01	c bounds - >= 95 @ 0.005502
0.00/0.01	c bounds - >= 96 @ 0.005502
0.00/0.01	c bounds - >= 97 @ 0.005502
0.00/0.01	c bounds - >= 98 @ 0.005502
0.00/0.01	c bounds - >= 99 @ 0.005502
0.00/0.01	c bounds - >= 100 @ 0.005502
0.00/0.01	c bounds - >= 101 @ 0.005502
0.00/0.01	c bounds - >= 102 @ 0.005502
0.00/0.01	c bounds - >= 103 @ 0.005502
0.00/0.01	c bounds - >= 104 @ 0.005502
0.00/0.01	c bounds - >= 105 @ 0.005502
0.00/0.01	c bounds - >= 106 @ 0.005502
0.00/0.01	c bounds - >= 107 @ 0.005502
0.00/0.01	c bounds - >= 108 @ 0.005502
0.00/0.01	c bounds - >= 109 @ 0.005502
0.00/0.01	c bounds - >= 110 @ 0.005502
0.00/0.01	c bounds - >= 111 @ 0.005502
0.00/0.01	c bounds - >= 112 @ 0.005502
0.00/0.01	c bounds - >= 113 @ 0.005502
0.00/0.01	c bounds - >= 114 @ 0.005502
0.00/0.01	c bounds - >= 115 @ 0.005502
0.00/0.01	c bounds - >= 116 @ 0.005502
0.00/0.01	c bounds - >= 117 @ 0.005545
0.00/0.01	c bounds - >= 118 @ 0.005676
0.00/0.01	c bounds - >= 119 @ 0.005824
0.00/0.01	c bounds - >= 120 @ 0.00595
0.00/0.01	c bounds - >= 121 @ 0.006073
0.00/0.01	c bounds - >= 122 @ 0.006209
0.00/0.01	c bounds - >= 123 @ 0.006321
0.00/0.01	c bounds - >= 124 @ 0.006419
0.00/0.01	c bounds - >= 125 @ 0.006602
0.00/0.01	c finalizing WCE round: reformulating cores
29.61/29.73	c #Conflicts:       1000 | #Constraints:       1621
29.61/29.73	c #Conflicts:       2000 | #Constraints:       2623
29.61/29.73	c INPROCESSING
29.61/29.73	c GARBAGE COLLECT
29.61/29.73	c #Conflicts:       3000 | #Constraints:       2549
29.61/29.73	c #Conflicts:       4000 | #Constraints:       3551
29.61/29.73	c INPROCESSING
29.61/29.73	c GARBAGE COLLECT
29.61/29.73	c #Conflicts:       5000 | #Constraints:       2961
29.61/29.73	c #Conflicts:       6000 | #Constraints:       3963
29.61/29.73	c INPROCESSING
29.61/29.73	c GARBAGE COLLECT
29.61/29.73	c #Conflicts:       7000 | #Constraints:       2963
29.61/29.73	c #Conflicts:       8000 | #Constraints:       3965
29.61/29.73	c #Conflicts:       9000 | #Constraints:       4969
29.61/29.73	c INPROCESSING
29.61/29.73	c GARBAGE COLLECT
29.61/29.73	c #Conflicts:      10000 | #Constraints:       3668
29.61/29.73	c #Conflicts:      11000 | #Constraints:       4670
29.61/29.73	c #Conflicts:      12000 | #Constraints:       5672
29.61/29.73	c INPROCESSING
29.61/29.73	c GARBAGE COLLECT
29.61/29.73	c #Conflicts:      13000 | #Constraints:       4124
29.61/29.73	c #Conflicts:      14000 | #Constraints:       5126
29.61/29.73	c #Conflicts:      15000 | #Constraints:       6128
29.61/29.73	c INPROCESSING
29.61/29.73	c GARBAGE COLLECT
29.61/29.73	c #Conflicts:      16000 | #Constraints:       4353
29.61/29.73	c #Conflicts:      17000 | #Constraints:       5355
29.61/29.73	c #Conflicts:      18000 | #Constraints:       6357
29.61/29.73	c INPROCESSING
29.61/29.73	c GARBAGE COLLECT
29.61/29.73	c #Conflicts:      19000 | #Constraints:       4376
29.61/29.73	c #Conflicts:      20000 | #Constraints:       5378
29.61/29.73	c #Conflicts:      21000 | #Constraints:       6380
29.61/29.73	c INPROCESSING
29.61/29.73	c GARBAGE COLLECT
29.61/29.73	c #Conflicts:      22000 | #Constraints:       4191
29.61/29.73	c #Conflicts:      23000 | #Constraints:       5193
29.61/29.73	c #Conflicts:      24000 | #Constraints:       6197
29.61/29.73	c #Conflicts:      25000 | #Constraints:       7199
29.61/29.73	c INPROCESSING
29.61/29.73	c GARBAGE COLLECT
29.61/29.73	c #Conflicts:      26000 | #Constraints:       4818
29.61/29.73	c #Conflicts:      27000 | #Constraints:       5820
29.61/29.73	c #Conflicts:      28000 | #Constraints:       6822
29.61/29.73	c #Conflicts:      29000 | #Constraints:       7826
29.61/29.73	c INPROCESSING
29.61/29.73	c GARBAGE COLLECT
29.61/29.73	c #Conflicts:      30000 | #Constraints:       5227
29.61/29.73	c #Conflicts:      31000 | #Constraints:       6229
29.61/29.73	c #Conflicts:      32000 | #Constraints:       7231
29.61/29.73	c #Conflicts:      33000 | #Constraints:       8235
29.61/29.73	c INPROCESSING
29.61/29.73	c GARBAGE COLLECT
29.61/29.73	c #Conflicts:      34000 | #Constraints:       5436
29.61/29.73	c #Conflicts:      35000 | #Constraints:       6438
29.61/29.73	c #Conflicts:      36000 | #Constraints:       7440
29.61/29.73	c #Conflicts:      37000 | #Constraints:       8444
29.61/29.73	c INPROCESSING
29.61/29.73	c GARBAGE COLLECT
29.61/29.73	c #Conflicts:      38000 | #Constraints:       5456
29.61/29.73	c #Conflicts:      39000 | #Constraints:       6458
29.61/29.73	c #Conflicts:      40000 | #Constraints:       7460
29.61/29.73	c #Conflicts:      41000 | #Constraints:       8464
29.61/29.73	c INPROCESSING
29.61/29.73	c GARBAGE COLLECT
29.61/29.73	c #Conflicts:      42000 | #Constraints:       5265
29.61/29.73	c #Conflicts:      43000 | #Constraints:       6267
29.61/29.73	c #Conflicts:      44000 | #Constraints:       7271
29.61/29.73	c #Conflicts:      45000 | #Constraints:       8273
29.61/29.73	c #Conflicts:      46000 | #Constraints:       9275
29.61/29.73	c INPROCESSING
29.61/29.73	c GARBAGE COLLECT
29.61/29.73	c #Conflicts:      47000 | #Constraints:       5880
29.61/29.73	c #Conflicts:      48000 | #Constraints:       6882
29.61/29.73	c #Conflicts:      49000 | #Constraints:       7884
29.61/29.73	c #Conflicts:      50000 | #Constraints:       8888
29.61/29.73	c #Conflicts:      51000 | #Constraints:       9890
29.61/29.73	c INPROCESSING
29.61/29.73	c GARBAGE COLLECT
29.61/29.73	c #Conflicts:      52000 | #Constraints:       6294
29.61/29.73	c #Conflicts:      53000 | #Constraints:       7296
29.61/29.73	c #Conflicts:      54000 | #Constraints:       8298
29.61/29.73	c #Conflicts:      55000 | #Constraints:       9302
29.61/29.73	c #Conflicts:      56000 | #Constraints:      10304
29.61/29.73	c INPROCESSING
29.61/29.73	c GARBAGE COLLECT
29.61/29.73	c bounds 211 >= 125 @ 28.9227
29.61/29.73	c bounds 211 >= 126 @ 28.931
29.61/29.73	c bounds 211 >= 127 @ 28.9347
29.61/29.73	c bounds 211 >= 128 @ 28.9368
29.61/29.73	c bounds 211 >= 129 @ 28.9387
29.61/29.73	c bounds 211 >= 130 @ 28.9413
29.61/29.73	c bounds 211 >= 131 @ 28.944
29.61/29.73	c bounds 211 >= 132 @ 28.9468
29.61/29.73	c bounds 211 >= 133 @ 28.9493
29.61/29.73	c bounds 211 >= 134 @ 28.9584
29.61/29.73	c finalizing WCE round: reformulating cores
97.93/98.24	c #Conflicts:      57000 | #Constraints:       6627
97.93/98.24	c #Conflicts:      58000 | #Constraints:       7629
97.93/98.24	c #Conflicts:      59000 | #Constraints:       8631
97.93/98.24	c #Conflicts:      60000 | #Constraints:       9635
97.93/98.24	c #Conflicts:      61000 | #Constraints:      10637
97.93/98.24	c INPROCESSING
97.93/98.24	c GARBAGE COLLECT
97.93/98.24	c #Conflicts:      62000 | #Constraints:       6604
97.93/98.24	c #Conflicts:      63000 | #Constraints:       7606
97.93/98.24	c #Conflicts:      64000 | #Constraints:       8608
97.93/98.24	c bounds 210 >= 134 @ 37.1735
97.93/98.24	c bounds 210 >= 135 @ 37.1959
97.93/98.24	c bounds 210 >= 136 @ 37.2008
97.93/98.24	c bounds 210 >= 137 @ 37.2645
97.93/98.24	c bounds 210 >= 138 @ 37.3127
97.93/98.24	c #Conflicts:      65000 | #Constraints:       9744
97.93/98.24	c #Conflicts:      66000 | #Constraints:      10744
97.93/98.24	c INPROCESSING
97.93/98.24	c GARBAGE COLLECT
97.93/98.24	c #Conflicts:      67000 | #Constraints:       6528
97.93/98.24	c #Conflicts:      68000 | #Constraints:       7528
97.93/98.24	c #Conflicts:      69000 | #Constraints:       8528
97.93/98.24	c #Conflicts:      70000 | #Constraints:       9528
97.93/98.24	c #Conflicts:      71000 | #Constraints:      10528
97.93/98.24	c #Conflicts:      72000 | #Constraints:      11528
97.93/98.24	c INPROCESSING
97.93/98.24	c GARBAGE COLLECT
97.93/98.24	c #Conflicts:      73000 | #Constraints:       7126
97.93/98.24	c #Conflicts:      74000 | #Constraints:       8126
97.93/98.24	c #Conflicts:      75000 | #Constraints:       9126
97.93/98.24	c #Conflicts:      76000 | #Constraints:      10126
97.93/98.24	c #Conflicts:      77000 | #Constraints:      11126
97.93/98.24	c #Conflicts:      78000 | #Constraints:      12126
97.93/98.24	c INPROCESSING
97.93/98.24	c GARBAGE COLLECT
97.93/98.24	c #Conflicts:      79000 | #Constraints:       7527
97.93/98.24	c #Conflicts:      80000 | #Constraints:       8527
97.93/98.24	c #Conflicts:      81000 | #Constraints:       9527
97.93/98.24	c #Conflicts:      82000 | #Constraints:      10527
97.93/98.24	c #Conflicts:      83000 | #Constraints:      11527
97.93/98.24	c #Conflicts:      84000 | #Constraints:      12527
97.93/98.24	c INPROCESSING
97.93/98.24	c GARBAGE COLLECT
97.93/98.24	c #Conflicts:      85000 | #Constraints:       7746
97.93/98.24	c #Conflicts:      86000 | #Constraints:       8746
97.93/98.24	c #Conflicts:      87000 | #Constraints:       9746
97.93/98.24	c #Conflicts:      88000 | #Constraints:      10746
97.93/98.24	c #Conflicts:      89000 | #Constraints:      11746
97.93/98.24	c #Conflicts:      90000 | #Constraints:      12746
97.93/98.24	c INPROCESSING
97.93/98.24	c GARBAGE COLLECT
97.93/98.24	c #Conflicts:      91000 | #Constraints:       7751
97.93/98.24	c #Conflicts:      92000 | #Constraints:       8751
97.93/98.24	c #Conflicts:      93000 | #Constraints:       9751
97.93/98.24	c #Conflicts:      94000 | #Constraints:      10751
97.93/98.24	c #Conflicts:      95000 | #Constraints:      11751
97.93/98.24	c #Conflicts:      96000 | #Constraints:      12751
97.93/98.24	c INPROCESSING
97.93/98.24	c GARBAGE COLLECT
97.93/98.24	c #Conflicts:      97000 | #Constraints:       7557
97.93/98.24	c #Conflicts:      98000 | #Constraints:       8557
97.93/98.24	c #Conflicts:      99000 | #Constraints:       9557
97.93/98.24	c #Conflicts:     100000 | #Constraints:      10557
97.93/98.24	c #Conflicts:     101000 | #Constraints:      11557
97.93/98.24	c #Conflicts:     102000 | #Constraints:      12557
97.93/98.24	c #Conflicts:     103000 | #Constraints:      13557
97.93/98.24	c INPROCESSING
97.93/98.24	c GARBAGE COLLECT
97.93/98.24	c #Conflicts:     104000 | #Constraints:       8146
97.93/98.24	c #Conflicts:     105000 | #Constraints:       9146
97.93/98.24	c bounds 210 >= 139 @ 96.7923
97.93/98.24	c finalizing WCE round: reformulating cores
276.11/276.80	c #Conflicts:     106000 | #Constraints:      10315
276.11/276.80	c #Conflicts:     107000 | #Constraints:      11320
276.11/276.80	c #Conflicts:     108000 | #Constraints:      12322
276.11/276.80	c bounds 208 >= 139 @ 98.5586
276.11/276.80	c #Conflicts:     109000 | #Constraints:      13326
276.11/276.80	c bounds 208 >= 140 @ 98.8262
276.11/276.80	c bounds 208 >= 141 @ 99.0153
276.11/276.80	c #Conflicts:     110000 | #Constraints:      14357
276.11/276.80	c INPROCESSING
276.11/276.80	c GARBAGE COLLECT
276.11/276.80	c bounds 208 >= 142 @ 100.728
276.11/276.80	c #Conflicts:     111000 | #Constraints:       8739
276.11/276.80	c #Conflicts:     112000 | #Constraints:       9739
276.11/276.80	c #Conflicts:     113000 | #Constraints:      10739
276.11/276.80	c #Conflicts:     114000 | #Constraints:      11739
276.11/276.80	c #Conflicts:     115000 | #Constraints:      12739
276.11/276.80	c #Conflicts:     116000 | #Constraints:      13739
276.11/276.80	c #Conflicts:     117000 | #Constraints:      14739
276.11/276.80	c INPROCESSING
276.11/276.80	c GARBAGE COLLECT
276.11/276.80	c #Conflicts:     118000 | #Constraints:       8920
276.11/276.80	c #Conflicts:     119000 | #Constraints:       9920
276.11/276.80	c #Conflicts:     120000 | #Constraints:      10920
276.11/276.80	c #Conflicts:     121000 | #Constraints:      11920
276.11/276.80	c #Conflicts:     122000 | #Constraints:      12920
276.11/276.80	c #Conflicts:     123000 | #Constraints:      13920
276.11/276.80	c #Conflicts:     124000 | #Constraints:      14920
276.11/276.80	c INPROCESSING
276.11/276.80	c GARBAGE COLLECT
276.11/276.80	c #Conflicts:     125000 | #Constraints:       8912
276.11/276.80	c #Conflicts:     126000 | #Constraints:       9912
276.11/276.80	c #Conflicts:     127000 | #Constraints:      10912
276.11/276.80	c #Conflicts:     128000 | #Constraints:      11912
276.11/276.80	c #Conflicts:     129000 | #Constraints:      12912
276.11/276.80	c #Conflicts:     130000 | #Constraints:      13912
276.11/276.80	c #Conflicts:     131000 | #Constraints:      14912
276.11/276.80	c INPROCESSING
276.11/276.80	c GARBAGE COLLECT
276.11/276.80	c #Conflicts:     132000 | #Constraints:       8705
276.11/276.80	c #Conflicts:     133000 | #Constraints:       9705
276.11/276.80	c #Conflicts:     134000 | #Constraints:      10705
276.11/276.80	c #Conflicts:     135000 | #Constraints:      11705
276.11/276.80	c #Conflicts:     136000 | #Constraints:      12705
276.11/276.80	c #Conflicts:     137000 | #Constraints:      13705
276.11/276.80	c #Conflicts:     138000 | #Constraints:      14705
276.11/276.80	c #Conflicts:     139000 | #Constraints:      15705
276.11/276.80	c INPROCESSING
276.11/276.80	c GARBAGE COLLECT
276.11/276.80	c #Conflicts:     140000 | #Constraints:       9316
276.11/276.80	c #Conflicts:     141000 | #Constraints:      10316
276.11/276.80	c #Conflicts:     142000 | #Constraints:      11316
276.11/276.80	c #Conflicts:     143000 | #Constraints:      12316
276.11/276.80	c #Conflicts:     144000 | #Constraints:      13316
276.11/276.80	c #Conflicts:     145000 | #Constraints:      14316
276.11/276.80	c #Conflicts:     146000 | #Constraints:      15316
276.11/276.80	c #Conflicts:     147000 | #Constraints:      16316
276.11/276.80	c INPROCESSING
276.11/276.80	c GARBAGE COLLECT
276.11/276.80	c #Conflicts:     148000 | #Constraints:       9718
276.11/276.80	c #Conflicts:     149000 | #Constraints:      10718
276.11/276.80	c #Conflicts:     150000 | #Constraints:      11718
276.11/276.80	c #Conflicts:     151000 | #Constraints:      12718
276.11/276.80	c #Conflicts:     152000 | #Constraints:      13718
276.11/276.80	c #Conflicts:     153000 | #Constraints:      14718
276.11/276.80	c #Conflicts:     154000 | #Constraints:      15718
276.11/276.80	c #Conflicts:     155000 | #Constraints:      16718
276.11/276.80	c INPROCESSING
276.11/276.80	c GARBAGE COLLECT
276.11/276.80	c #Conflicts:     156000 | #Constraints:       9917
276.11/276.80	c #Conflicts:     157000 | #Constraints:      10917
276.11/276.80	c #Conflicts:     158000 | #Constraints:      11917
276.11/276.80	c #Conflicts:     159000 | #Constraints:      12917
276.11/276.80	c #Conflicts:     160000 | #Constraints:      13917
276.11/276.80	c #Conflicts:     161000 | #Constraints:      14917
276.11/276.80	c #Conflicts:     162000 | #Constraints:      15917
276.11/276.80	c #Conflicts:     163000 | #Constraints:      16917
276.11/276.80	c #Conflicts:     164000 | #Constraints:      17917
276.11/276.80	c #Conflicts:     165000 | #Constraints:      18917
276.11/276.80	c #Conflicts:     166000 | #Constraints:      19917
276.11/276.80	c #Conflicts:     167000 | #Constraints:      20917
276.11/276.80	c #Conflicts:     168000 | #Constraints:      21917
276.11/276.80	c #Conflicts:     169000 | #Constraints:      22917
276.11/276.80	c #Conflicts:     170000 | #Constraints:      23917
276.11/276.80	c #Conflicts:     171000 | #Constraints:      24917
276.11/276.80	c #Conflicts:     172000 | #Constraints:      25917
276.11/276.80	c #Conflicts:     173000 | #Constraints:      26917
276.11/276.80	c #Conflicts:     174000 | #Constraints:      27917
276.11/276.80	c #Conflicts:     175000 | #Constraints:      28917
276.11/276.80	c #Conflicts:     176000 | #Constraints:      29917
276.11/276.80	c #Conflicts:     177000 | #Constraints:      30917
276.11/276.80	c #Conflicts:     178000 | #Constraints:      31917
1001.74/1004.50	c #Conflicts:     179000 | #Constraints:      32917
1001.74/1004.50	c #Conflicts:     180000 | #Constraints:      33917
1001.74/1004.50	c bounds 208 >= 143 @ 292.148
1001.74/1004.50	c #Conflicts:     181000 | #Constraints:      34975
1001.74/1004.50	c #Conflicts:     182000 | #Constraints:      35975
1001.74/1004.50	c #Conflicts:     183000 | #Constraints:      36975
1001.74/1004.50	c #Conflicts:     184000 | #Constraints:      37975
1001.74/1004.50	c #Conflicts:     185000 | #Constraints:      38975
1001.74/1004.50	c #Conflicts:     186000 | #Constraints:      39975
1001.74/1004.50	c #Conflicts:     187000 | #Constraints:      40975
1001.74/1004.50	c #Conflicts:     188000 | #Constraints:      41975
1001.74/1004.50	c #Conflicts:     189000 | #Constraints:      42975
1001.74/1004.50	c #Conflicts:     190000 | #Constraints:      43975
1001.74/1004.50	c #Conflicts:     191000 | #Constraints:      44975
1001.74/1004.50	c #Conflicts:     192000 | #Constraints:      45975
1001.74/1004.50	c INPROCESSING
1001.74/1004.50	c GARBAGE COLLECT
1001.74/1004.50	c #Conflicts:     193000 | #Constraints:      24545
1001.74/1004.50	c #Conflicts:     194000 | #Constraints:      25545
1001.74/1004.50	c #Conflicts:     195000 | #Constraints:      26545
1001.74/1004.50	c #Conflicts:     196000 | #Constraints:      27545
1001.74/1004.50	c #Conflicts:     197000 | #Constraints:      28545
1001.74/1004.50	c #Conflicts:     198000 | #Constraints:      29545
1001.74/1004.50	c #Conflicts:     199000 | #Constraints:      30545
1001.74/1004.50	c #Conflicts:     200000 | #Constraints:      31545
1001.74/1004.50	c #Conflicts:     201000 | #Constraints:      32545
1001.74/1004.50	c INPROCESSING
1001.74/1004.50	c GARBAGE COLLECT
1001.74/1004.50	c #Conflicts:     202000 | #Constraints:      17683
1001.74/1004.50	c #Conflicts:     203000 | #Constraints:      18683
1001.74/1004.50	c #Conflicts:     204000 | #Constraints:      19683
1001.74/1004.50	c #Conflicts:     205000 | #Constraints:      20683
1001.74/1004.50	c #Conflicts:     206000 | #Constraints:      21683
1001.74/1004.50	c #Conflicts:     207000 | #Constraints:      22683
1001.74/1004.50	c #Conflicts:     208000 | #Constraints:      23683
1001.74/1004.50	c #Conflicts:     209000 | #Constraints:      24683
1001.74/1004.50	c #Conflicts:     210000 | #Constraints:      25683
1001.74/1004.50	c INPROCESSING
1001.74/1004.50	c GARBAGE COLLECT
1001.74/1004.50	c #Conflicts:     211000 | #Constraints:      14625
1001.74/1004.50	c #Conflicts:     212000 | #Constraints:      15625
1001.74/1004.50	c #Conflicts:     213000 | #Constraints:      16625
1001.74/1004.50	c #Conflicts:     214000 | #Constraints:      17625
1001.74/1004.50	c #Conflicts:     215000 | #Constraints:      18625
1001.74/1004.50	c #Conflicts:     216000 | #Constraints:      19625
1001.74/1004.50	c #Conflicts:     217000 | #Constraints:      20625
1001.74/1004.50	c #Conflicts:     218000 | #Constraints:      21625
1001.74/1004.50	c #Conflicts:     219000 | #Constraints:      22625
1001.74/1004.50	c #Conflicts:     220000 | #Constraints:      23625
1001.74/1004.50	c #Conflicts:     221000 | #Constraints:      24625
1001.74/1004.50	c #Conflicts:     222000 | #Constraints:      25625
1001.74/1004.50	c #Conflicts:     223000 | #Constraints:      26625
1001.74/1004.50	c #Conflicts:     224000 | #Constraints:      27625
1001.74/1004.50	c #Conflicts:     225000 | #Constraints:      28625
1001.74/1004.50	c #Conflicts:     226000 | #Constraints:      29625
1001.74/1004.50	c #Conflicts:     227000 | #Constraints:      30625
1001.74/1004.50	c #Conflicts:     228000 | #Constraints:      31625
1001.74/1004.50	c #Conflicts:     229000 | #Constraints:      32625
1001.74/1004.50	c #Conflicts:     230000 | #Constraints:      33625
1001.74/1004.50	c #Conflicts:     231000 | #Constraints:      34625
1001.74/1004.50	c #Conflicts:     232000 | #Constraints:      35625
1001.74/1004.50	c #Conflicts:     233000 | #Constraints:      36625
1001.74/1004.50	c #Conflicts:     234000 | #Constraints:      37625
1001.74/1004.50	c #Conflicts:     235000 | #Constraints:      38625
1001.74/1004.50	c #Conflicts:     236000 | #Constraints:      39625
1001.74/1004.50	c #Conflicts:     237000 | #Constraints:      40625
1001.74/1004.50	c #Conflicts:     238000 | #Constraints:      41625
1001.74/1004.50	c #Conflicts:     239000 | #Constraints:      42625
1001.74/1004.50	c #Conflicts:     240000 | #Constraints:      43625
1001.74/1004.50	c #Conflicts:     241000 | #Constraints:      44625
1001.74/1004.50	c #Conflicts:     242000 | #Constraints:      45625
1001.74/1004.50	c #Conflicts:     243000 | #Constraints:      46625
1001.74/1004.50	c #Conflicts:     244000 | #Constraints:      47625
1001.74/1004.50	c #Conflicts:     245000 | #Constraints:      48625
1001.74/1004.50	c #Conflicts:     246000 | #Constraints:      49625
1001.74/1004.50	c #Conflicts:     247000 | #Constraints:      50625
1001.74/1004.50	c #Conflicts:     248000 | #Constraints:      51625
1001.74/1004.50	c #Conflicts:     249000 | #Constraints:      52625
1001.74/1004.50	c #Conflicts:     250000 | #Constraints:      53625
1001.74/1004.50	c #Conflicts:     251000 | #Constraints:      54625
1001.74/1004.50	c #Conflicts:     252000 | #Constraints:      55625
1001.74/1004.50	c INPROCESSING
1001.74/1004.50	c GARBAGE COLLECT
1001.74/1004.50	c #Conflicts:     253000 | #Constraints:      29394
2209.49/2215.99	c #Conflicts:     254000 | #Constraints:      30394
2209.49/2215.99	c #Conflicts:     255000 | #Constraints:      31394
2209.49/2215.99	c #Conflicts:     256000 | #Constraints:      32394
2209.49/2215.99	c #Conflicts:     257000 | #Constraints:      33394
2209.49/2215.99	c #Conflicts:     258000 | #Constraints:      34394
2209.49/2215.99	c #Conflicts:     259000 | #Constraints:      35394
2209.49/2215.99	c #Conflicts:     260000 | #Constraints:      36394
2209.49/2215.99	c #Conflicts:     261000 | #Constraints:      37394
2209.49/2215.99	c #Conflicts:     262000 | #Constraints:      38394
2209.49/2215.99	c INPROCESSING
2209.49/2215.99	c GARBAGE COLLECT
2209.49/2215.99	c #Conflicts:     263000 | #Constraints:      21954
2209.49/2215.99	c #Conflicts:     264000 | #Constraints:      22954
2209.49/2215.99	c #Conflicts:     265000 | #Constraints:      23954
2209.49/2215.99	c #Conflicts:     266000 | #Constraints:      24954
2209.49/2215.99	c #Conflicts:     267000 | #Constraints:      25954
2209.49/2215.99	c #Conflicts:     268000 | #Constraints:      26954
2209.49/2215.99	c #Conflicts:     269000 | #Constraints:      27954
2209.49/2215.99	c #Conflicts:     270000 | #Constraints:      28954
2209.49/2215.99	c #Conflicts:     271000 | #Constraints:      29954
2209.49/2215.99	c #Conflicts:     272000 | #Constraints:      30954
2209.49/2215.99	c #Conflicts:     273000 | #Constraints:      31954
2209.49/2215.99	c #Conflicts:     274000 | #Constraints:      32954
2209.49/2215.99	c #Conflicts:     275000 | #Constraints:      33954
2209.49/2215.99	c #Conflicts:     276000 | #Constraints:      34954
2209.49/2215.99	c #Conflicts:     277000 | #Constraints:      35954
2209.49/2215.99	c #Conflicts:     278000 | #Constraints:      36954
2209.49/2215.99	c #Conflicts:     279000 | #Constraints:      37954
2209.49/2215.99	c #Conflicts:     280000 | #Constraints:      38954
2209.49/2215.99	c #Conflicts:     281000 | #Constraints:      39954
2209.49/2215.99	c #Conflicts:     282000 | #Constraints:      40954
2209.49/2215.99	c #Conflicts:     283000 | #Constraints:      41954
2209.49/2215.99	c #Conflicts:     284000 | #Constraints:      42954
2209.49/2215.99	c #Conflicts:     285000 | #Constraints:      43954
2209.49/2215.99	c #Conflicts:     286000 | #Constraints:      44954
2209.49/2215.99	c #Conflicts:     287000 | #Constraints:      45954
2209.49/2215.99	c #Conflicts:     288000 | #Constraints:      46954
2209.49/2215.99	c #Conflicts:     289000 | #Constraints:      47954
2209.49/2215.99	c #Conflicts:     290000 | #Constraints:      48954
2209.49/2215.99	c #Conflicts:     291000 | #Constraints:      49954
2209.49/2215.99	c #Conflicts:     292000 | #Constraints:      50954
2209.49/2215.99	c #Conflicts:     293000 | #Constraints:      51954
2209.49/2215.99	c #Conflicts:     294000 | #Constraints:      52954
2209.49/2215.99	c #Conflicts:     295000 | #Constraints:      53954
2209.49/2215.99	c #Conflicts:     296000 | #Constraints:      54954
2209.49/2215.99	c #Conflicts:     297000 | #Constraints:      55954
2209.49/2215.99	c #Conflicts:     298000 | #Constraints:      56954
2209.49/2215.99	c #Conflicts:     299000 | #Constraints:      57954
2209.49/2215.99	c #Conflicts:     300000 | #Constraints:      58954
2209.49/2215.99	c #Conflicts:     301000 | #Constraints:      59954
2209.49/2215.99	c #Conflicts:     302000 | #Constraints:      60954
2209.49/2215.99	c #Conflicts:     303000 | #Constraints:      61954
2209.49/2215.99	c #Conflicts:     304000 | #Constraints:      62954
2209.49/2215.99	c #Conflicts:     305000 | #Constraints:      63954
2209.49/2215.99	c #Conflicts:     306000 | #Constraints:      64954
2209.49/2215.99	c #Conflicts:     307000 | #Constraints:      65954
2209.49/2215.99	c INPROCESSING
2209.49/2215.99	c GARBAGE COLLECT
2209.49/2215.99	c #Conflicts:     308000 | #Constraints:      34494
2209.49/2215.99	c #Conflicts:     309000 | #Constraints:      35494
2209.49/2215.99	c #Conflicts:     310000 | #Constraints:      36494
2209.49/2215.99	c #Conflicts:     311000 | #Constraints:      37494
2209.49/2215.99	c #Conflicts:     312000 | #Constraints:      38494
2209.49/2215.99	c #Conflicts:     313000 | #Constraints:      39494
2209.49/2215.99	c #Conflicts:     314000 | #Constraints:      40494
2209.49/2215.99	c #Conflicts:     315000 | #Constraints:      41494
2209.49/2215.99	c #Conflicts:     316000 | #Constraints:      42494
2209.49/2215.99	c #Conflicts:     317000 | #Constraints:      43494
2209.49/2215.99	c #Conflicts:     318000 | #Constraints:      44494
2209.49/2215.99	c #Conflicts:     319000 | #Constraints:      45494
2209.49/2215.99	c INPROCESSING
2209.49/2215.99	c GARBAGE COLLECT
2209.49/2215.99	c #Conflicts:     320000 | #Constraints:      29367
2209.49/2215.99	c #Conflicts:     321000 | #Constraints:      30367
2209.49/2215.99	c #Conflicts:     322000 | #Constraints:      31367
2209.49/2215.99	c #Conflicts:     323000 | #Constraints:      32367
2209.49/2215.99	c #Conflicts:     324000 | #Constraints:      33367
2209.49/2215.99	c #Conflicts:     325000 | #Constraints:      34367
2209.49/2215.99	c #Conflicts:     326000 | #Constraints:      35367
2209.49/2215.99	c #Conflicts:     327000 | #Constraints:      36367
2209.49/2215.99	c #Conflicts:     328000 | #Constraints:      37367
2209.49/2215.99	c #Conflicts:     329000 | #Constraints:      38367
2209.49/2215.99	c #Conflicts:     330000 | #Constraints:      39367
3600.06/3610.80	c #Conflicts:     331000 | #Constraints:      40367
3600.06/3610.80	c #Conflicts:     332000 | #Constraints:      41367
3600.06/3610.80	c #Conflicts:     333000 | #Constraints:      42367
3600.06/3610.80	c #Conflicts:     334000 | #Constraints:      43367
3600.06/3610.80	c #Conflicts:     335000 | #Constraints:      44367
3600.06/3610.80	c #Conflicts:     336000 | #Constraints:      45367
3600.06/3610.80	c #Conflicts:     337000 | #Constraints:      46367
3600.06/3610.80	c #Conflicts:     338000 | #Constraints:      47367
3600.06/3610.80	c #Conflicts:     339000 | #Constraints:      48367
3600.06/3610.80	c #Conflicts:     340000 | #Constraints:      49367
3600.06/3610.80	c #Conflicts:     341000 | #Constraints:      50367
3600.06/3610.80	c #Conflicts:     342000 | #Constraints:      51367
3600.06/3610.80	c #Conflicts:     343000 | #Constraints:      52367
3600.06/3610.80	c #Conflicts:     344000 | #Constraints:      53367
3600.06/3610.80	c #Conflicts:     345000 | #Constraints:      54367
3600.06/3610.80	c #Conflicts:     346000 | #Constraints:      55367
3600.06/3610.80	c #Conflicts:     347000 | #Constraints:      56367
3600.06/3610.80	c #Conflicts:     348000 | #Constraints:      57367
3600.06/3610.80	c #Conflicts:     349000 | #Constraints:      58367
3600.06/3610.80	c #Conflicts:     350000 | #Constraints:      59367
3600.06/3610.80	c #Conflicts:     351000 | #Constraints:      60367
3600.06/3610.80	c #Conflicts:     352000 | #Constraints:      61367
3600.06/3610.80	c #Conflicts:     353000 | #Constraints:      62367
3600.06/3610.80	c #Conflicts:     354000 | #Constraints:      63367
3600.06/3610.80	c #Conflicts:     355000 | #Constraints:      64367
3600.06/3610.80	c #Conflicts:     356000 | #Constraints:      65367
3600.06/3610.80	c #Conflicts:     357000 | #Constraints:      66367
3600.06/3610.80	c #Conflicts:     358000 | #Constraints:      67367
3600.06/3610.80	c #Conflicts:     359000 | #Constraints:      68367
3600.06/3610.80	c #Conflicts:     360000 | #Constraints:      69367
3600.06/3610.80	c #Conflicts:     361000 | #Constraints:      70367
3600.06/3610.80	c #Conflicts:     362000 | #Constraints:      71367
3600.06/3610.80	c #Conflicts:     363000 | #Constraints:      72367
3600.06/3610.80	c #Conflicts:     364000 | #Constraints:      73367
3600.06/3610.80	c #Conflicts:     365000 | #Constraints:      74367
3600.06/3610.80	c #Conflicts:     366000 | #Constraints:      75367
3600.06/3610.80	c INPROCESSING
3600.06/3610.80	c GARBAGE COLLECT
3600.06/3610.80	c #Conflicts:     367000 | #Constraints:      38966
3600.06/3610.80	c #Conflicts:     368000 | #Constraints:      39966
3600.06/3610.80	c #Conflicts:     369000 | #Constraints:      40966
3600.06/3610.80	c #Conflicts:     370000 | #Constraints:      41966
3600.06/3610.80	c #Conflicts:     371000 | #Constraints:      42966
3600.06/3610.80	c #Conflicts:     372000 | #Constraints:      43966
3600.06/3610.80	c #Conflicts:     373000 | #Constraints:      44966
3600.06/3610.80	c #Conflicts:     374000 | #Constraints:      45966
3600.06/3610.80	c #Conflicts:     375000 | #Constraints:      46966
3600.06/3610.80	c #Conflicts:     376000 | #Constraints:      47966
3600.06/3610.80	c #Conflicts:     377000 | #Constraints:      48966
3600.06/3610.80	c #Conflicts:     378000 | #Constraints:      49966
3600.06/3610.80	c #Conflicts:     379000 | #Constraints:      50966
3600.06/3610.80	c #Conflicts:     380000 | #Constraints:      51966
3600.06/3610.80	c INPROCESSING
3600.06/3610.80	c GARBAGE COLLECT
3600.06/3610.80	c #Conflicts:     381000 | #Constraints:      36242
3600.06/3610.80	c #Conflicts:     382000 | #Constraints:      37242
3600.06/3610.80	c #Conflicts:     383000 | #Constraints:      38242
3600.06/3610.80	c #Conflicts:     384000 | #Constraints:      39242
3600.06/3610.80	c #Conflicts:     385000 | #Constraints:      40242
3600.06/3610.80	c #Conflicts:     386000 | #Constraints:      41242
3600.06/3610.80	c #Conflicts:     387000 | #Constraints:      42242
3600.06/3610.80	c #Conflicts:     388000 | #Constraints:      43242
3600.06/3610.80	c #Conflicts:     389000 | #Constraints:      44242
3600.06/3610.80	c #Conflicts:     390000 | #Constraints:      45242
3600.06/3610.80	c #Conflicts:     391000 | #Constraints:      46242
3600.06/3610.80	c #Conflicts:     392000 | #Constraints:      47242
3600.06/3610.80	c #Conflicts:     393000 | #Constraints:      48242
3600.06/3610.80	c #Conflicts:     394000 | #Constraints:      49242
3600.06/3610.80	c Program interrupted by user.
3600.06/3610.80	c cpu time 3590.22 s
3600.06/3610.80	c deterministic time 275177711540 2.75e+11
3600.06/3610.80	c optimization time 299.198 s
3600.06/3610.80	c total solve time 3291.02 s
3600.06/3610.80	c core-guided solve time 3291.02 s
3600.06/3610.80	c propagation time 3260.15 s
3600.06/3610.80	c conflict analysis time 314.752 s
3600.06/3610.80	c propagations 68162632
3600.06/3610.80	c resolve steps 5208920
3600.06/3610.80	c decisions 6726590
3600.06/3610.80	c conflicts 394797
3600.06/3610.80	c restarts 955
3600.06/3610.80	c inprocessing phases 40
3600.06/3610.80	c input clauses 234
3600.06/3610.80	c input cardinalities 436
3600.06/3610.80	c input general constraints 669
3600.06/3610.80	c input average constraint length 42.64
3600.06/3610.80	c input average constraint degree 20.42
3600.06/3610.80	c learned clauses 72226
3600.06/3610.80	c learned cardinalities 1413
3600.06/3610.80	c learned general constraints 321168
3600.06/3610.80	c learned average constraint length 158.87
3600.06/3610.80	c learned average constraint degree 4506508.59
3600.06/3610.80	c watched constraints 258923
3600.06/3610.80	c counting constraints 62914
3600.06/3610.80	c gcd simplifications 30178
3600.06/3610.80	c detected cardinalities 1109
3600.06/3610.80	c weakened non-implied lits 5789817
3600.06/3610.80	c weakened non-implying lits 21137
3600.06/3610.80	c original variables 465
3600.06/3610.80	c clausal propagations 14469279
3600.06/3610.80	c cardinality propagations 956819
3600.06/3610.80	c watched propagations 10566467
3600.06/3610.80	c counting propagations 41794527
3600.06/3610.80	c watch lookups 67531706898
3600.06/3610.80	c watch backjump lookups 65009226853
3600.06/3610.80	c watch checks 131273245454
3600.06/3610.80	c propagation checks 10982177876
3600.06/3610.80	c constraint additions 231181470
3600.06/3610.80	c trail pops 75283766
3600.06/3610.80	c formula constraints 465
3600.06/3610.80	c learned constraints 394807
3600.06/3610.80	c bound constraints 101
3600.06/3610.80	c core-guided constraints 773
3600.06/3610.80	c encountered formula constraints 780327
3600.06/3610.80	c encountered learned constraints 3948670
3600.06/3610.80	c encountered bound constraints 127
3600.06/3610.80	c encountered core-guided constraints 874593
3600.06/3610.80	c LP total time 0 s
3600.06/3610.80	c LP solve time 0 s
3600.06/3610.80	c LP constraints added 0
3600.06/3610.80	c LP constraints removed 0
3600.06/3610.80	c LP pivots internal 0
3600.06/3610.80	c LP pivots root 0
3600.06/3610.80	c LP calls 0
3600.06/3610.80	c LP optimalities 0
3600.06/3610.80	c LP no pivot count 0
3600.06/3610.80	c LP infeasibilities 0
3600.06/3610.80	c LP valid Farkas constraints 0
3600.06/3610.80	c LP learned Farkas constraints 0
3600.06/3610.80	c LP basis resets 0
3600.06/3610.80	c LP cycling count 0
3600.06/3610.80	c LP singular count 0
3600.06/3610.80	c LP no primal count 0
3600.06/3610.80	c LP no farkas count 0
3600.06/3610.80	c LP other issue count 0
3600.06/3610.80	c LP Gomory cuts 0
3600.06/3610.80	c LP learned cuts 0
3600.06/3610.80	c LP deleted cuts 0
3600.06/3610.80	c LP encountered Gomory constraints 0
3600.06/3610.80	c LP encountered Farkas constraints 0
3600.06/3610.80	c LP encountered learned Farkas constraints 0
3600.06/3610.80	c CG auxiliary variables introduced 321
3600.06/3610.80	c CG solutions found 3
3600.06/3610.80	c CG cores constructed 91
3600.06/3610.80	c CG core cardinality constraints returned 0
3600.06/3610.80	c CG unit cores 0
3600.06/3610.80	c CG single cores 91
3600.06/3610.80	c CG blocks removed during cardinality reduction 0
3600.06/3610.80	c CG first core best 0
3600.06/3610.80	c CG decision core best 0
3600.06/3610.80	c CG core reduction tie 0
3600.06/3610.80	c CG core degree average 1.00
3600.06/3610.80	c CG core slack average 6.18
3600.06/3610.80	c CG exhausted 1
3600.06/3610.80	c CG exhaust time 38.6229 s
3600.06/3610.80	c CG trimmed 1
3600.06/3610.80	c CG trim time 0.014119 s
3600.06/3610.80	c CG minimized 0
3600.06/3610.80	c CG minimize time 0 s
3600.06/3610.80	c CG am1 prop time 0.01864 s
3600.06/3610.80	c CG # am1s reformulated 51
3600.06/3610.80	c CG lower bound derived from am1s 51
3600.06/3610.80	c CG # clausal cores 36
3600.06/3610.80	c CG # cardinality cores 0
3600.06/3610.80	c CG # pb cores 55
3600.06/3610.80	c CG # pb reforms 0
3600.06/3610.80	c CG # cores discarded because of pb reform 0
3600.06/3610.80	d LOWERBOUND 143
3600.06/3610.80	d NCORES 91
3600.06/3610.80	d NPBCORES 55
3600.06/3610.80	d NPBREFORM 0
3600.06/3610.80	d NTRIMMED 1
3600.06/3610.80	d NEXHAUSTED 1
3600.06/3610.80	d NAM1S 51
3600.06/3610.80	d AM1LB 51
3600.06/3610.80	o 208
3600.06/3610.80	s SATISFIABLE
3600.06/3610.80	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

Verifier Data 

OK	208

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435853-1721093467/watcher-4435853-1721093467 -o /tmp/evaluation-result-4435853-1721093467/solver-4435853-1721093467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721093479-828366 --watchdog 3760 pb-oll-rs HOME/instance-4435853-1721093467.opb 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

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


[startup+0.100086 s]*
/proc/loadavg: 2.77 3.83 4.12 5/261 828427
/proc/meminfo: memFree=124416664/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=41768 memory=11976 CPUtime=0.09 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 1305 0 0 0 8 1 0 0 20 0 1 0 161506945 42770432 2994 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 10442 2994 1379 291 0 1976 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41768 KiB
Current children cumulated memory: 11976 KiB

[startup+0.206799 s]*
/proc/loadavg: 2.77 3.83 4.12 8/261 828427
/proc/meminfo: memFree=124407500/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=42852 memory=13296 CPUtime=0.2 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 1604 0 0 0 18 2 0 0 20 0 1 0 161506945 43880448 3324 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 10713 3324 1379 291 0 2247 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 42852 KiB
Current children cumulated memory: 13296 KiB

[startup+0.306423 s]*
/proc/loadavg: 2.77 3.83 4.12 7/261 828427
/proc/meminfo: memFree=124399152/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=44428 memory=15408 CPUtime=0.3 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 2134 0 0 0 28 2 0 0 20 0 1 0 161506945 45494272 3852 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 11107 3852 1379 291 0 2641 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 44428 KiB
Current children cumulated memory: 15408 KiB

[startup+0.700207 s]
/proc/loadavg: 2.77 3.83 4.12 7/261 828427
/proc/meminfo: memFree=124392488/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=49312 memory=19092 CPUtime=0.69 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 3044 0 0 0 65 4 0 0 20 0 1 0 161506945 50495488 4773 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 12328 4773 1442 291 0 3862 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 49312 KiB
Current children cumulated memory: 19092 KiB

[startup+1.50023 s]
/proc/loadavg: 2.77 3.83 4.12 6/261 828427
/proc/meminfo: memFree=124369408/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=57232 memory=25876 CPUtime=1.49 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 4192 0 0 0 142 7 0 0 20 0 1 0 161506945 58605568 6469 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 14308 6469 1442 291 0 5842 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 57232 KiB
Current children cumulated memory: 25876 KiB

[startup+3.10686 s]
/proc/loadavg: 2.77 3.83 4.12 6/261 828427
/proc/meminfo: memFree=124337104/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=60244 memory=29832 CPUtime=3.08 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 5212 0 0 0 296 12 0 0 20 0 1 0 161506945 61689856 7458 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 15061 7458 1442 291 0 6595 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 60244 KiB
Current children cumulated memory: 29832 KiB

[startup+6.30022 s]
/proc/loadavg: 3.11 3.89 4.13 6/261 828429
/proc/meminfo: memFree=124315320/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=70272 memory=37160 CPUtime=6.27 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 6012 0 0 0 609 18 0 0 20 0 1 0 161506945 71958528 9290 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 17568 9290 1442 291 0 9102 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 70272 KiB
Current children cumulated memory: 37160 KiB

[startup+12.7002 s]
/proc/loadavg: 3.18 3.89 4.13 6/261 828429
/proc/meminfo: memFree=124282096/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=76028 memory=43944 CPUtime=12.66 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 7166 0 0 0 1236 30 0 0 20 0 1 0 161506945 77852672 10986 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 19007 10986 1442 291 0 10541 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 76028 KiB
Current children cumulated memory: 43944 KiB

[startup+25.5002 s]
/proc/loadavg: 3.66 3.96 4.15 6/261 828432
/proc/meminfo: memFree=124242552/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=97240 memory=55052 CPUtime=25.42 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 9431 0 0 0 2493 49 0 0 20 0 1 0 161506945 99573760 13763 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 24310 13763 1442 291 0 15844 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 97240 KiB
Current children cumulated memory: 55052 KiB

[startup+51.1069 s]
/proc/loadavg: 4.05 4.03 4.17 6/261 828435
/proc/meminfo: memFree=124203812/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=99548 memory=59880 CPUtime=50.96 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 10131 0 0 0 5020 76 0 0 20 0 1 0 161506945 101937152 14970 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 24887 14970 1442 291 0 16421 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 99548 KiB
Current children cumulated memory: 59880 KiB

[startup+102.3 s]
/proc/loadavg: 4.53 4.18 4.21 5/260 828444
/proc/meminfo: memFree=124183132/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=102516 memory=66948 CPUtime=102.02 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 10870 0 0 0 10080 122 0 0 20 0 1 0 161506945 104976384 16737 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 25629 16737 1442 291 0 17163 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 102516 KiB
Current children cumulated memory: 66948 KiB

[startup+162.3 s]
/proc/loadavg: 4.52 4.25 4.23 6/259 828455
/proc/meminfo: memFree=124160508/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=110076 memory=73584 CPUtime=161.89 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 12554 0 0 0 16004 185 0 0 20 0 1 0 161506945 112717824 18396 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 27519 18396 1442 291 0 19053 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 110076 KiB
Current children cumulated memory: 73584 KiB

[startup+222.3 s]
/proc/loadavg: 4.31 4.24 4.23 6/258 828482
/proc/meminfo: memFree=124146708/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=113964 memory=77512 CPUtime=221.74 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 13609 0 0 0 21948 226 0 0 20 0 1 0 161506945 116699136 19378 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 28491 19378 1442 291 0 20025 0
Current children cumulated CPU time: 221.74 s
Current children cumulated vsize: 113964 KiB
Current children cumulated memory: 77512 KiB

[startup+282.3 s]
/proc/loadavg: 4.22 4.23 4.23 6/255 828492
/proc/meminfo: memFree=124122532/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=127112 memory=92752 CPUtime=281.6 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 15948 0 0 0 27914 246 0 0 20 0 1 0 161506945 130162688 23188 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 31778 23188 1442 291 0 23312 0
Current children cumulated CPU time: 281.6 s
Current children cumulated vsize: 127112 KiB
Current children cumulated memory: 92752 KiB

[startup+342.3 s]
/proc/loadavg: 4.14 4.20 4.22 6/254 828502
/proc/meminfo: memFree=124096604/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=149124 memory=106600 CPUtime=341.44 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 17491 0 0 0 33864 280 0 0 20 0 1 0 161506945 152702976 26650 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 37281 26650 1442 291 0 28815 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 149124 KiB
Current children cumulated memory: 106600 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.18 4.20 6/254 828513
/proc/meminfo: memFree=124082124/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=153156 memory=112592 CPUtime=401.28 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 18496 0 0 0 39819 309 0 0 20 0 1 0 161506945 156831744 28148 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 38289 28148 1442 291 0 29823 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 153156 KiB
Current children cumulated memory: 112592 KiB

[startup+462.3 s]
/proc/loadavg: 4.20 4.19 4.20 6/254 828523
/proc/meminfo: memFree=124074576/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=154088 memory=113048 CPUtime=461.12 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 18671 0 0 0 45768 344 0 0 20 0 1 0 161506945 157786112 28262 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0

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

Current children cumulated memory: 172532 KiB

[startup+2862.3 s]
/proc/loadavg: 4.09 4.26 4.20 6/255 829535
/proc/meminfo: memFree=123754380/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=219264 memory=175196 CPUtime=2853.94 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 29414 0 0 0 284539 855 0 0 20 0 1 0 161506945 224526336 43799 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 54816 43799 1442 291 0 46350 0
Current children cumulated CPU time: 2853.94 s
Current children cumulated vsize: 219264 KiB
Current children cumulated memory: 175196 KiB

[startup+2922.3 s]
/proc/loadavg: 4.09 4.23 4.19 6/255 829546
/proc/meminfo: memFree=123753028/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=219900 memory=177532 CPUtime=2913.75 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 29632 0 0 0 290511 864 0 0 20 0 1 0 161506945 225177600 44383 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 54975 44383 1442 291 0 46509 0
Current children cumulated CPU time: 2913.75 s
Current children cumulated vsize: 219900 KiB
Current children cumulated memory: 177532 KiB

[startup+2982.3 s]
/proc/loadavg: 4.08 4.20 4.18 6/257 829561
/proc/meminfo: memFree=123745508/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=224256 memory=182040 CPUtime=2973.57 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 30731 0 0 0 296486 871 0 0 20 0 1 0 161506945 229638144 45510 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 56064 45510 1442 291 0 47598 0
Current children cumulated CPU time: 2973.57 s
Current children cumulated vsize: 224256 KiB
Current children cumulated memory: 182040 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.19 4.18 6/257 829571
/proc/meminfo: memFree=123739300/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=229920 memory=189284 CPUtime=3033.38 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 31764 0 0 0 302460 878 0 0 20 0 1 0 161506945 235438080 47321 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 57480 47321 1442 291 0 49014 0
Current children cumulated CPU time: 3033.38 s
Current children cumulated vsize: 229920 KiB
Current children cumulated memory: 189284 KiB

[startup+3102.3 s]
/proc/loadavg: 4.05 4.15 4.17 6/257 829581
/proc/meminfo: memFree=123732204/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=231468 memory=192044 CPUtime=3093.2 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 32076 0 0 0 308433 887 0 0 20 0 1 0 161506945 237023232 48011 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 57867 48011 1442 291 0 49401 0
Current children cumulated CPU time: 3093.2 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 192044 KiB

[startup+3162.3 s]
/proc/loadavg: 4.13 4.15 4.17 6/256 829592
/proc/meminfo: memFree=123724668/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=231468 memory=192276 CPUtime=3153.02 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 32144 0 0 0 314403 899 0 0 20 0 1 0 161506945 237023232 48069 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 57867 48069 1442 291 0 49401 0
Current children cumulated CPU time: 3153.02 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 192276 KiB

[startup+3222.3 s]
/proc/loadavg: 4.11 4.14 4.16 6/256 829603
/proc/meminfo: memFree=123722312/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=231468 memory=192276 CPUtime=3212.83 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 32214 0 0 0 320373 910 0 0 20 0 1 0 161506945 237023232 48069 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 57867 48069 1442 291 0 49401 0
Current children cumulated CPU time: 3212.83 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 192276 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.13 4.15 6/254 829996
/proc/meminfo: memFree=123717852/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=231468 memory=192276 CPUtime=3272.63 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 32285 0 0 0 326342 921 0 0 20 0 1 0 161506945 237023232 48069 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 57867 48069 1442 291 0 49401 0
Current children cumulated CPU time: 3272.63 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 192276 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.12 4.15 6/255 830007
/proc/meminfo: memFree=123713364/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=231468 memory=192276 CPUtime=3332.43 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 32358 0 0 0 332310 933 0 0 20 0 1 0 161506945 237023232 48069 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 57867 48069 1442 291 0 49401 0
Current children cumulated CPU time: 3332.43 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 192276 KiB

[startup+3402.3 s]
/proc/loadavg: 4.09 4.11 4.14 6/255 830018
/proc/meminfo: memFree=123708520/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=231468 memory=192276 CPUtime=3392.24 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 32431 0 0 0 338277 947 0 0 20 0 1 0 161506945 237023232 48069 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 57867 48069 1442 291 0 49401 0
Current children cumulated CPU time: 3392.24 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 192276 KiB

[startup+3462.3 s]
/proc/loadavg: 4.07 4.10 4.14 6/257 830199
/proc/meminfo: memFree=123704092/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=231468 memory=192276 CPUtime=3452.05 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 32499 0 0 0 344246 959 0 0 20 0 1 0 161506945 237023232 48069 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 57867 48069 1442 291 0 49401 0
Current children cumulated CPU time: 3452.05 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 192276 KiB

[startup+3522.3 s]
/proc/loadavg: 4.06 4.10 4.13 6/257 830209
/proc/meminfo: memFree=123691620/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=231468 memory=192276 CPUtime=3511.85 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 32568 0 0 0 350214 971 0 0 20 0 1 0 161506945 237023232 48069 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 57867 48069 1442 291 0 49401 0
Current children cumulated CPU time: 3511.85 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 192276 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.09 4.13 6/260 830279
/proc/meminfo: memFree=123685704/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=231468 memory=192276 CPUtime=3571.65 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 32640 0 0 0 356183 982 0 0 20 0 1 0 161506945 237023232 48069 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 57867 48069 1442 291 0 49401 0
Current children cumulated CPU time: 3571.65 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 192276 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.8 s]
/proc/loadavg: 4.09 4.10 4.13 6/260 830331
/proc/meminfo: memFree=123820464/131524600 swapFree=131071996/131071996
[pid=828418] ppid=828408 vsize=231468 memory=192276 CPUtime=3600.06 cores=5,7
/proc/828418/stat : 828418 (pb-oll-rs) R 828408 828418 828353 0 -1 4194304 32712 0 0 0 359021 985 0 0 20 0 1 0 161506945 237023232 48069 134679101440 4194304 5384005 140726301080960 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 5674704 5678696 15921152 140726301082647 140726301082724 140726301082724 140726301089739 0
/proc/828418/statm: 57867 48069 1442 291 0 49401 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 192276 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.22 s, system=9.85227 s

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

Child status: 0

Real time (s): 3610.8
CPU time (s): 3600.07
CPU user time (s): 3590.22
CPU system time (s): 9.85227
CPU usage (%): 99.7027
Max. virtual memory (cumulated for all children) (KiB): 231468
Max. memory (cumulated for all children) (KiB): 192276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.22
system time used= 9.85227
maximum resident set size= 192276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32726
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= 3544


# summary of solver processes directly reported to runsolver:
#   pid: 828418
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3590.22
#   total CPU system time (s): 9.85227

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96887 second user time and 21.5764 second system time

The end

Launcher Data 

Begin job on nodeC015 at 2024-07-16 03:31:19
IDJOB=4435853
IDBENCH=147540
IDSOLVER=3067
FILE ID=nodeC015/4435853-1721093467
RUNJOBID= nodeC015-1721093479-828366
SLURM_JOB_ID= 7505595
Free space on /tmp= 890084 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_12.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435853-1721093467/watcher-4435853-1721093467 -o /tmp/evaluation-result-4435853-1721093467/solver-4435853-1721093467 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC015-1721093479-828366 --watchdog 3760  pb-oll-rs HOME/instance-4435853-1721093467.opb

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

MD5SUM BENCH= 62fadc113b966a642e431cfbd80ddcdc
RANDOM SEED=540962907

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		: 3185.706
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		: 3398.785
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		: 3494.677
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		: 3755.200
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		: 3671.158
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		: 3792.986
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		: 3615.953
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		: 3654.212
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:        124443232 kB
MemAvailable:   129703292 kB
Buffers:          376212 kB
Cached:          5712888 kB
SwapCached:            0 kB
Active:          1203684 kB
Inactive:        5266108 kB
Active(anon):       1492 kB
Inactive(anon):   417292 kB
Active(file):    1202192 kB
Inactive(file):  4848816 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              8076 kB
Writeback:             0 kB
AnonPages:        379368 kB
Mapped:           103848 kB
Shmem:             37720 kB
KReclaimable:      97396 kB
Slab:             204412 kB
SReclaimable:      97396 kB
SUnreclaim:       107016 kB
KernelStack:        3856 kB
PageTables:         9928 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     836668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62176 kB
HardwareCorrupted:     0 kB
AnonHugePages:    249856 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= 890076 MiB
End job on nodeC015 at 2024-07-16 04:31:30