Trace number 4454295

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-19SAT (TO)208 3600.1 3609.4

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.01	c [STEP] solving
0.00/0.01	c #variables 465 #constraints 465
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= 0 @ 0.006135
0.00/0.01	c stratification level: 0
0.00/0.04	c bounds - >= 52 @ 0.009095
0.00/0.04	c bounds - >= 53 @ 0.009596
0.00/0.04	c bounds - >= 54 @ 0.00984
0.00/0.04	c bounds - >= 55 @ 0.010047
0.00/0.04	c bounds - >= 56 @ 0.010288
0.00/0.04	c bounds - >= 57 @ 0.010526
0.00/0.04	c bounds - >= 58 @ 0.010804
0.00/0.04	c bounds - >= 59 @ 0.01107
0.00/0.04	c bounds - >= 60 @ 0.011354
0.00/0.04	c bounds - >= 61 @ 0.011641
0.00/0.04	c bounds - >= 62 @ 0.01192
0.00/0.04	c bounds - >= 63 @ 0.012067
0.00/0.04	c bounds - >= 64 @ 0.012067
0.00/0.04	c bounds - >= 65 @ 0.012067
0.00/0.04	c bounds - >= 66 @ 0.012141
0.00/0.04	c bounds - >= 67 @ 0.012424
0.00/0.04	c bounds - >= 68 @ 0.012724
0.00/0.04	c bounds - >= 69 @ 0.012998
0.00/0.04	c bounds - >= 70 @ 0.01306
0.00/0.04	c bounds - >= 71 @ 0.01306
0.00/0.04	c bounds - >= 72 @ 0.01306
0.00/0.04	c bounds - >= 73 @ 0.01306
0.00/0.04	c bounds - >= 74 @ 0.01306
0.00/0.04	c bounds - >= 75 @ 0.01306
0.00/0.04	c bounds - >= 76 @ 0.013234
0.00/0.04	c bounds - >= 77 @ 0.013585
0.00/0.04	c bounds - >= 78 @ 0.013919
0.00/0.04	c bounds - >= 79 @ 0.014008
0.00/0.04	c bounds - >= 80 @ 0.014008
0.00/0.04	c bounds - >= 81 @ 0.014008
0.00/0.04	c bounds - >= 82 @ 0.014008
0.00/0.04	c bounds - >= 83 @ 0.014008
0.00/0.04	c bounds - >= 84 @ 0.014008
0.00/0.04	c bounds - >= 85 @ 0.014208
0.00/0.04	c bounds - >= 86 @ 0.014541
0.00/0.04	c bounds - >= 87 @ 0.014861
0.00/0.04	c bounds - >= 88 @ 0.015169
0.00/0.04	c bounds - >= 89 @ 0.015531
0.00/0.04	c bounds - >= 90 @ 0.015868
0.00/0.04	c bounds - >= 91 @ 0.016224
0.00/0.04	c bounds - >= 92 @ 0.016599
0.00/0.04	c bounds - >= 93 @ 0.016948
0.00/0.04	c bounds - >= 94 @ 0.017293
0.00/0.04	c bounds - >= 95 @ 0.017649
0.00/0.04	c bounds - >= 96 @ 0.018031
0.00/0.04	c bounds - >= 97 @ 0.018423
0.00/0.04	c bounds - >= 98 @ 0.018837
0.00/0.04	c bounds - >= 99 @ 0.018941
0.00/0.04	c bounds - >= 100 @ 0.018941
0.00/0.04	c bounds - >= 101 @ 0.018966
0.00/0.04	c bounds - >= 102 @ 0.018966
0.00/0.04	c bounds - >= 103 @ 0.019057
0.00/0.04	c bounds - >= 104 @ 0.01948
0.00/0.04	c bounds - >= 105 @ 0.019926
0.00/0.04	c bounds - >= 106 @ 0.020346
0.00/0.04	c bounds - >= 107 @ 0.02075
0.00/0.04	c bounds - >= 108 @ 0.020948
0.00/0.04	c bounds - >= 109 @ 0.020948
0.00/0.04	c bounds - >= 110 @ 0.020948
0.00/0.04	c bounds - >= 111 @ 0.020948
0.00/0.04	c bounds - >= 112 @ 0.020948
0.00/0.04	c bounds - >= 113 @ 0.021257
0.00/0.04	c bounds - >= 114 @ 0.021639
0.00/0.04	c bounds - >= 115 @ 0.021927
0.00/0.04	c bounds - >= 116 @ 0.021927
0.00/0.04	c bounds - >= 117 @ 0.021927
0.00/0.04	c bounds - >= 118 @ 0.021927
0.00/0.04	c bounds - >= 119 @ 0.021927
0.00/0.04	c bounds - >= 120 @ 0.022024
0.00/0.04	c bounds - >= 121 @ 0.022409
0.00/0.04	c bounds - >= 122 @ 0.022827
0.00/0.04	c bounds - >= 123 @ 0.022907
0.00/0.04	c bounds - >= 124 @ 0.022907
0.00/0.04	c bounds - >= 125 @ 0.022907
0.00/0.04	c finalizing WCE round: reformulating cores
31.02/31.16	c #Conflicts:       1000 | #Constraints:       1621
31.02/31.16	c #Conflicts:       2000 | #Constraints:       2623
31.02/31.16	c INPROCESSING
31.02/31.16	c GARBAGE COLLECT
31.02/31.16	c #Conflicts:       3000 | #Constraints:       2549
31.02/31.16	c #Conflicts:       4000 | #Constraints:       3551
31.02/31.16	c INPROCESSING
31.02/31.16	c GARBAGE COLLECT
31.02/31.16	c #Conflicts:       5000 | #Constraints:       2961
31.02/31.16	c #Conflicts:       6000 | #Constraints:       3963
31.02/31.16	c INPROCESSING
31.02/31.16	c GARBAGE COLLECT
31.02/31.16	c #Conflicts:       7000 | #Constraints:       2963
31.02/31.16	c #Conflicts:       8000 | #Constraints:       3965
31.02/31.16	c #Conflicts:       9000 | #Constraints:       4969
31.02/31.16	c INPROCESSING
31.02/31.16	c GARBAGE COLLECT
31.02/31.16	c #Conflicts:      10000 | #Constraints:       3668
31.02/31.16	c #Conflicts:      11000 | #Constraints:       4670
31.02/31.16	c #Conflicts:      12000 | #Constraints:       5672
31.02/31.16	c INPROCESSING
31.02/31.16	c GARBAGE COLLECT
31.02/31.16	c #Conflicts:      13000 | #Constraints:       4124
31.02/31.16	c #Conflicts:      14000 | #Constraints:       5126
31.02/31.16	c #Conflicts:      15000 | #Constraints:       6128
31.02/31.16	c INPROCESSING
31.02/31.16	c GARBAGE COLLECT
31.02/31.16	c #Conflicts:      16000 | #Constraints:       4353
31.02/31.16	c #Conflicts:      17000 | #Constraints:       5355
31.02/31.16	c #Conflicts:      18000 | #Constraints:       6357
31.02/31.16	c INPROCESSING
31.02/31.16	c GARBAGE COLLECT
31.02/31.16	c #Conflicts:      19000 | #Constraints:       4376
31.02/31.16	c #Conflicts:      20000 | #Constraints:       5378
31.02/31.16	c #Conflicts:      21000 | #Constraints:       6380
31.02/31.16	c INPROCESSING
31.02/31.16	c GARBAGE COLLECT
31.02/31.16	c #Conflicts:      22000 | #Constraints:       4191
31.02/31.16	c #Conflicts:      23000 | #Constraints:       5193
31.02/31.16	c #Conflicts:      24000 | #Constraints:       6197
31.02/31.16	c #Conflicts:      25000 | #Constraints:       7199
31.02/31.16	c INPROCESSING
31.02/31.16	c GARBAGE COLLECT
31.02/31.16	c #Conflicts:      26000 | #Constraints:       4818
31.02/31.16	c #Conflicts:      27000 | #Constraints:       5820
31.02/31.16	c #Conflicts:      28000 | #Constraints:       6822
31.02/31.16	c #Conflicts:      29000 | #Constraints:       7826
31.02/31.16	c INPROCESSING
31.02/31.16	c GARBAGE COLLECT
31.02/31.16	c #Conflicts:      30000 | #Constraints:       5227
31.02/31.16	c #Conflicts:      31000 | #Constraints:       6229
31.02/31.16	c #Conflicts:      32000 | #Constraints:       7231
31.02/31.16	c #Conflicts:      33000 | #Constraints:       8235
31.02/31.16	c INPROCESSING
31.02/31.16	c GARBAGE COLLECT
31.02/31.16	c #Conflicts:      34000 | #Constraints:       5436
31.02/31.16	c #Conflicts:      35000 | #Constraints:       6438
31.02/31.16	c #Conflicts:      36000 | #Constraints:       7440
31.02/31.16	c #Conflicts:      37000 | #Constraints:       8444
31.02/31.16	c INPROCESSING
31.02/31.16	c GARBAGE COLLECT
31.02/31.16	c #Conflicts:      38000 | #Constraints:       5456
31.02/31.16	c #Conflicts:      39000 | #Constraints:       6458
31.02/31.16	c #Conflicts:      40000 | #Constraints:       7460
31.02/31.16	c #Conflicts:      41000 | #Constraints:       8464
31.02/31.16	c INPROCESSING
31.02/31.16	c GARBAGE COLLECT
31.02/31.16	c #Conflicts:      42000 | #Constraints:       5265
31.02/31.16	c #Conflicts:      43000 | #Constraints:       6267
31.02/31.16	c #Conflicts:      44000 | #Constraints:       7271
31.02/31.16	c #Conflicts:      45000 | #Constraints:       8273
31.02/31.16	c #Conflicts:      46000 | #Constraints:       9275
31.02/31.16	c INPROCESSING
31.02/31.16	c GARBAGE COLLECT
31.02/31.16	c #Conflicts:      47000 | #Constraints:       5880
31.02/31.16	c #Conflicts:      48000 | #Constraints:       6882
31.02/31.16	c #Conflicts:      49000 | #Constraints:       7884
31.02/31.16	c #Conflicts:      50000 | #Constraints:       8888
31.02/31.16	c #Conflicts:      51000 | #Constraints:       9890
31.02/31.16	c INPROCESSING
31.02/31.16	c GARBAGE COLLECT
31.02/31.16	c #Conflicts:      52000 | #Constraints:       6294
31.02/31.16	c #Conflicts:      53000 | #Constraints:       7296
31.02/31.16	c #Conflicts:      54000 | #Constraints:       8298
31.02/31.16	c #Conflicts:      55000 | #Constraints:       9302
31.02/31.16	c #Conflicts:      56000 | #Constraints:      10304
31.02/31.16	c INPROCESSING
31.02/31.16	c GARBAGE COLLECT
31.02/31.16	c bounds 211 >= 125 @ 30.2523
31.02/31.16	c bounds 211 >= 126 @ 30.2609
31.02/31.16	c bounds 211 >= 127 @ 30.2649
31.02/31.16	c bounds 211 >= 128 @ 30.2672
31.02/31.16	c bounds 211 >= 129 @ 30.2691
31.02/31.16	c bounds 211 >= 130 @ 30.2719
31.02/31.16	c bounds 211 >= 131 @ 30.2747
31.02/31.16	c bounds 211 >= 132 @ 30.2776
31.02/31.16	c bounds 211 >= 133 @ 30.2803
31.02/31.16	c bounds 211 >= 134 @ 30.2903
31.02/31.16	c finalizing WCE round: reformulating cores
101.03/101.36	c #Conflicts:      57000 | #Constraints:       6627
101.03/101.36	c #Conflicts:      58000 | #Constraints:       7629
101.03/101.36	c #Conflicts:      59000 | #Constraints:       8631
101.03/101.36	c #Conflicts:      60000 | #Constraints:       9635
101.03/101.36	c #Conflicts:      61000 | #Constraints:      10637
101.03/101.36	c INPROCESSING
101.03/101.36	c GARBAGE COLLECT
101.03/101.36	c #Conflicts:      62000 | #Constraints:       6604
101.03/101.36	c #Conflicts:      63000 | #Constraints:       7606
101.03/101.36	c #Conflicts:      64000 | #Constraints:       8608
101.03/101.36	c bounds 210 >= 134 @ 38.6317
101.03/101.36	c bounds 210 >= 135 @ 38.6536
101.03/101.36	c bounds 210 >= 136 @ 38.6582
101.03/101.36	c bounds 210 >= 137 @ 38.7204
101.03/101.36	c bounds 210 >= 138 @ 38.7737
101.03/101.36	c #Conflicts:      65000 | #Constraints:       9744
101.03/101.36	c #Conflicts:      66000 | #Constraints:      10744
101.03/101.36	c INPROCESSING
101.03/101.36	c GARBAGE COLLECT
101.03/101.36	c #Conflicts:      67000 | #Constraints:       6528
101.03/101.36	c #Conflicts:      68000 | #Constraints:       7528
101.03/101.36	c #Conflicts:      69000 | #Constraints:       8528
101.03/101.36	c #Conflicts:      70000 | #Constraints:       9528
101.03/101.36	c #Conflicts:      71000 | #Constraints:      10528
101.03/101.36	c #Conflicts:      72000 | #Constraints:      11528
101.03/101.36	c INPROCESSING
101.03/101.36	c GARBAGE COLLECT
101.03/101.36	c #Conflicts:      73000 | #Constraints:       7126
101.03/101.36	c #Conflicts:      74000 | #Constraints:       8126
101.03/101.36	c #Conflicts:      75000 | #Constraints:       9126
101.03/101.36	c #Conflicts:      76000 | #Constraints:      10126
101.03/101.36	c #Conflicts:      77000 | #Constraints:      11126
101.03/101.36	c #Conflicts:      78000 | #Constraints:      12126
101.03/101.36	c INPROCESSING
101.03/101.36	c GARBAGE COLLECT
101.03/101.36	c #Conflicts:      79000 | #Constraints:       7527
101.03/101.36	c #Conflicts:      80000 | #Constraints:       8527
101.03/101.36	c #Conflicts:      81000 | #Constraints:       9527
101.03/101.36	c #Conflicts:      82000 | #Constraints:      10527
101.03/101.36	c #Conflicts:      83000 | #Constraints:      11527
101.03/101.36	c #Conflicts:      84000 | #Constraints:      12527
101.03/101.36	c INPROCESSING
101.03/101.36	c GARBAGE COLLECT
101.03/101.36	c #Conflicts:      85000 | #Constraints:       7746
101.03/101.36	c #Conflicts:      86000 | #Constraints:       8746
101.03/101.36	c #Conflicts:      87000 | #Constraints:       9746
101.03/101.36	c #Conflicts:      88000 | #Constraints:      10746
101.03/101.36	c #Conflicts:      89000 | #Constraints:      11746
101.03/101.36	c #Conflicts:      90000 | #Constraints:      12746
101.03/101.36	c INPROCESSING
101.03/101.36	c GARBAGE COLLECT
101.03/101.36	c #Conflicts:      91000 | #Constraints:       7751
101.03/101.36	c #Conflicts:      92000 | #Constraints:       8751
101.03/101.36	c #Conflicts:      93000 | #Constraints:       9751
101.03/101.36	c #Conflicts:      94000 | #Constraints:      10751
101.03/101.36	c #Conflicts:      95000 | #Constraints:      11751
101.03/101.36	c #Conflicts:      96000 | #Constraints:      12751
101.03/101.36	c INPROCESSING
101.03/101.36	c GARBAGE COLLECT
101.03/101.36	c #Conflicts:      97000 | #Constraints:       7557
101.03/101.36	c #Conflicts:      98000 | #Constraints:       8557
101.03/101.36	c #Conflicts:      99000 | #Constraints:       9557
101.03/101.36	c #Conflicts:     100000 | #Constraints:      10557
101.03/101.36	c #Conflicts:     101000 | #Constraints:      11557
101.03/101.36	c #Conflicts:     102000 | #Constraints:      12557
101.03/101.36	c #Conflicts:     103000 | #Constraints:      13557
101.03/101.36	c INPROCESSING
101.03/101.36	c GARBAGE COLLECT
101.03/101.36	c #Conflicts:     104000 | #Constraints:       8146
101.03/101.36	c #Conflicts:     105000 | #Constraints:       9146
101.03/101.36	c bounds 210 >= 139 @ 99.8539
101.03/101.36	c finalizing WCE round: reformulating cores
289.37/290.19	c #Conflicts:     106000 | #Constraints:      10315
289.37/290.19	c #Conflicts:     107000 | #Constraints:      11320
289.37/290.19	c #Conflicts:     108000 | #Constraints:      12322
289.37/290.19	c bounds 208 >= 139 @ 101.694
289.37/290.19	c #Conflicts:     109000 | #Constraints:      13326
289.37/290.19	c bounds 208 >= 140 @ 101.985
289.37/290.19	c bounds 208 >= 141 @ 102.207
289.37/290.19	c #Conflicts:     110000 | #Constraints:      14357
289.37/290.19	c INPROCESSING
289.37/290.19	c GARBAGE COLLECT
289.37/290.19	c bounds 208 >= 142 @ 104.187
289.37/290.19	c #Conflicts:     111000 | #Constraints:       8739
289.37/290.19	c #Conflicts:     112000 | #Constraints:       9739
289.37/290.19	c #Conflicts:     113000 | #Constraints:      10739
289.37/290.19	c #Conflicts:     114000 | #Constraints:      11739
289.37/290.19	c #Conflicts:     115000 | #Constraints:      12739
289.37/290.19	c #Conflicts:     116000 | #Constraints:      13739
289.37/290.19	c #Conflicts:     117000 | #Constraints:      14739
289.37/290.19	c INPROCESSING
289.37/290.19	c GARBAGE COLLECT
289.37/290.19	c #Conflicts:     118000 | #Constraints:       8920
289.37/290.19	c #Conflicts:     119000 | #Constraints:       9920
289.37/290.19	c #Conflicts:     120000 | #Constraints:      10920
289.37/290.19	c #Conflicts:     121000 | #Constraints:      11920
289.37/290.19	c #Conflicts:     122000 | #Constraints:      12920
289.37/290.19	c #Conflicts:     123000 | #Constraints:      13920
289.37/290.19	c #Conflicts:     124000 | #Constraints:      14920
289.37/290.19	c INPROCESSING
289.37/290.19	c GARBAGE COLLECT
289.37/290.19	c #Conflicts:     125000 | #Constraints:       8912
289.37/290.19	c #Conflicts:     126000 | #Constraints:       9912
289.37/290.19	c #Conflicts:     127000 | #Constraints:      10912
289.37/290.19	c #Conflicts:     128000 | #Constraints:      11912
289.37/290.19	c #Conflicts:     129000 | #Constraints:      12912
289.37/290.19	c #Conflicts:     130000 | #Constraints:      13912
289.37/290.19	c #Conflicts:     131000 | #Constraints:      14912
289.37/290.19	c INPROCESSING
289.37/290.19	c GARBAGE COLLECT
289.37/290.19	c #Conflicts:     132000 | #Constraints:       8705
289.37/290.19	c #Conflicts:     133000 | #Constraints:       9705
289.37/290.19	c #Conflicts:     134000 | #Constraints:      10705
289.37/290.19	c #Conflicts:     135000 | #Constraints:      11705
289.37/290.19	c #Conflicts:     136000 | #Constraints:      12705
289.37/290.19	c #Conflicts:     137000 | #Constraints:      13705
289.37/290.19	c #Conflicts:     138000 | #Constraints:      14705
289.37/290.19	c #Conflicts:     139000 | #Constraints:      15705
289.37/290.19	c INPROCESSING
289.37/290.19	c GARBAGE COLLECT
289.37/290.19	c #Conflicts:     140000 | #Constraints:       9316
289.37/290.19	c #Conflicts:     141000 | #Constraints:      10316
289.37/290.19	c #Conflicts:     142000 | #Constraints:      11316
289.37/290.19	c #Conflicts:     143000 | #Constraints:      12316
289.37/290.19	c #Conflicts:     144000 | #Constraints:      13316
289.37/290.19	c #Conflicts:     145000 | #Constraints:      14316
289.37/290.19	c #Conflicts:     146000 | #Constraints:      15316
289.37/290.19	c #Conflicts:     147000 | #Constraints:      16316
289.37/290.19	c INPROCESSING
289.37/290.19	c GARBAGE COLLECT
289.37/290.19	c #Conflicts:     148000 | #Constraints:       9718
289.37/290.19	c #Conflicts:     149000 | #Constraints:      10718
289.37/290.19	c #Conflicts:     150000 | #Constraints:      11718
289.37/290.19	c #Conflicts:     151000 | #Constraints:      12718
289.37/290.19	c #Conflicts:     152000 | #Constraints:      13718
289.37/290.19	c #Conflicts:     153000 | #Constraints:      14718
289.37/290.19	c #Conflicts:     154000 | #Constraints:      15718
289.37/290.19	c #Conflicts:     155000 | #Constraints:      16718
289.37/290.19	c INPROCESSING
289.37/290.19	c GARBAGE COLLECT
289.37/290.19	c #Conflicts:     156000 | #Constraints:       9917
289.37/290.19	c #Conflicts:     157000 | #Constraints:      10917
289.37/290.19	c #Conflicts:     158000 | #Constraints:      11917
289.37/290.19	c #Conflicts:     159000 | #Constraints:      12917
289.37/290.19	c #Conflicts:     160000 | #Constraints:      13917
289.37/290.19	c #Conflicts:     161000 | #Constraints:      14917
289.37/290.19	c #Conflicts:     162000 | #Constraints:      15917
289.37/290.19	c #Conflicts:     163000 | #Constraints:      16917
289.37/290.19	c #Conflicts:     164000 | #Constraints:      17917
289.37/290.19	c #Conflicts:     165000 | #Constraints:      18917
289.37/290.19	c #Conflicts:     166000 | #Constraints:      19917
289.37/290.19	c #Conflicts:     167000 | #Constraints:      20917
289.37/290.19	c #Conflicts:     168000 | #Constraints:      21917
289.37/290.19	c #Conflicts:     169000 | #Constraints:      22917
289.37/290.19	c #Conflicts:     170000 | #Constraints:      23917
289.37/290.19	c #Conflicts:     171000 | #Constraints:      24917
289.37/290.19	c #Conflicts:     172000 | #Constraints:      25917
289.37/290.19	c #Conflicts:     173000 | #Constraints:      26917
289.37/290.19	c #Conflicts:     174000 | #Constraints:      27917
289.37/290.19	c #Conflicts:     175000 | #Constraints:      28917
289.37/290.19	c #Conflicts:     176000 | #Constraints:      29917
289.37/290.19	c #Conflicts:     177000 | #Constraints:      30917
289.37/290.19	c #Conflicts:     178000 | #Constraints:      31917
1053.71/1056.68	c #Conflicts:     179000 | #Constraints:      32917
1053.71/1056.68	c #Conflicts:     180000 | #Constraints:      33917
1053.71/1056.68	c bounds 208 >= 143 @ 306.03
1053.71/1056.68	c #Conflicts:     181000 | #Constraints:      34975
1053.71/1056.68	c #Conflicts:     182000 | #Constraints:      35975
1053.71/1056.68	c #Conflicts:     183000 | #Constraints:      36975
1053.71/1056.68	c #Conflicts:     184000 | #Constraints:      37975
1053.71/1056.68	c #Conflicts:     185000 | #Constraints:      38975
1053.71/1056.68	c #Conflicts:     186000 | #Constraints:      39975
1053.71/1056.68	c #Conflicts:     187000 | #Constraints:      40975
1053.71/1056.68	c #Conflicts:     188000 | #Constraints:      41975
1053.71/1056.68	c #Conflicts:     189000 | #Constraints:      42975
1053.71/1056.68	c #Conflicts:     190000 | #Constraints:      43975
1053.71/1056.68	c #Conflicts:     191000 | #Constraints:      44975
1053.71/1056.68	c #Conflicts:     192000 | #Constraints:      45975
1053.71/1056.68	c INPROCESSING
1053.71/1056.68	c GARBAGE COLLECT
1053.71/1056.68	c #Conflicts:     193000 | #Constraints:      24545
1053.71/1056.68	c #Conflicts:     194000 | #Constraints:      25545
1053.71/1056.68	c #Conflicts:     195000 | #Constraints:      26545
1053.71/1056.68	c #Conflicts:     196000 | #Constraints:      27545
1053.71/1056.68	c #Conflicts:     197000 | #Constraints:      28545
1053.71/1056.68	c #Conflicts:     198000 | #Constraints:      29545
1053.71/1056.68	c #Conflicts:     199000 | #Constraints:      30545
1053.71/1056.68	c #Conflicts:     200000 | #Constraints:      31545
1053.71/1056.68	c #Conflicts:     201000 | #Constraints:      32545
1053.71/1056.68	c INPROCESSING
1053.71/1056.68	c GARBAGE COLLECT
1053.71/1056.68	c #Conflicts:     202000 | #Constraints:      17683
1053.71/1056.68	c #Conflicts:     203000 | #Constraints:      18683
1053.71/1056.68	c #Conflicts:     204000 | #Constraints:      19683
1053.71/1056.68	c #Conflicts:     205000 | #Constraints:      20683
1053.71/1056.68	c #Conflicts:     206000 | #Constraints:      21683
1053.71/1056.68	c #Conflicts:     207000 | #Constraints:      22683
1053.71/1056.68	c #Conflicts:     208000 | #Constraints:      23683
1053.71/1056.68	c #Conflicts:     209000 | #Constraints:      24683
1053.71/1056.68	c #Conflicts:     210000 | #Constraints:      25683
1053.71/1056.68	c INPROCESSING
1053.71/1056.68	c GARBAGE COLLECT
1053.71/1056.68	c #Conflicts:     211000 | #Constraints:      14625
1053.71/1056.68	c #Conflicts:     212000 | #Constraints:      15625
1053.71/1056.68	c #Conflicts:     213000 | #Constraints:      16625
1053.71/1056.68	c #Conflicts:     214000 | #Constraints:      17625
1053.71/1056.68	c #Conflicts:     215000 | #Constraints:      18625
1053.71/1056.68	c #Conflicts:     216000 | #Constraints:      19625
1053.71/1056.68	c #Conflicts:     217000 | #Constraints:      20625
1053.71/1056.68	c #Conflicts:     218000 | #Constraints:      21625
1053.71/1056.68	c #Conflicts:     219000 | #Constraints:      22625
1053.71/1056.68	c #Conflicts:     220000 | #Constraints:      23625
1053.71/1056.68	c #Conflicts:     221000 | #Constraints:      24625
1053.71/1056.68	c #Conflicts:     222000 | #Constraints:      25625
1053.71/1056.68	c #Conflicts:     223000 | #Constraints:      26625
1053.71/1056.68	c #Conflicts:     224000 | #Constraints:      27625
1053.71/1056.68	c #Conflicts:     225000 | #Constraints:      28625
1053.71/1056.68	c #Conflicts:     226000 | #Constraints:      29625
1053.71/1056.68	c #Conflicts:     227000 | #Constraints:      30625
1053.71/1056.68	c #Conflicts:     228000 | #Constraints:      31625
1053.71/1056.68	c #Conflicts:     229000 | #Constraints:      32625
1053.71/1056.68	c #Conflicts:     230000 | #Constraints:      33625
1053.71/1056.68	c #Conflicts:     231000 | #Constraints:      34625
1053.71/1056.68	c #Conflicts:     232000 | #Constraints:      35625
1053.71/1056.68	c #Conflicts:     233000 | #Constraints:      36625
1053.71/1056.68	c #Conflicts:     234000 | #Constraints:      37625
1053.71/1056.68	c #Conflicts:     235000 | #Constraints:      38625
1053.71/1056.68	c #Conflicts:     236000 | #Constraints:      39625
1053.71/1056.68	c #Conflicts:     237000 | #Constraints:      40625
1053.71/1056.68	c #Conflicts:     238000 | #Constraints:      41625
1053.71/1056.68	c #Conflicts:     239000 | #Constraints:      42625
1053.71/1056.68	c #Conflicts:     240000 | #Constraints:      43625
1053.71/1056.68	c #Conflicts:     241000 | #Constraints:      44625
1053.71/1056.68	c #Conflicts:     242000 | #Constraints:      45625
1053.71/1056.68	c #Conflicts:     243000 | #Constraints:      46625
1053.71/1056.68	c #Conflicts:     244000 | #Constraints:      47625
1053.71/1056.68	c #Conflicts:     245000 | #Constraints:      48625
1053.71/1056.68	c #Conflicts:     246000 | #Constraints:      49625
1053.71/1056.68	c #Conflicts:     247000 | #Constraints:      50625
1053.71/1056.68	c #Conflicts:     248000 | #Constraints:      51625
1053.71/1056.68	c #Conflicts:     249000 | #Constraints:      52625
1053.71/1056.68	c #Conflicts:     250000 | #Constraints:      53625
1053.71/1056.68	c #Conflicts:     251000 | #Constraints:      54625
1053.71/1056.68	c #Conflicts:     252000 | #Constraints:      55625
1053.71/1056.68	c INPROCESSING
1053.71/1056.68	c GARBAGE COLLECT
1053.71/1056.68	c #Conflicts:     253000 | #Constraints:      29394
2286.28/2292.31	c #Conflicts:     254000 | #Constraints:      30394
2286.28/2292.31	c #Conflicts:     255000 | #Constraints:      31394
2286.28/2292.31	c #Conflicts:     256000 | #Constraints:      32394
2286.28/2292.31	c #Conflicts:     257000 | #Constraints:      33394
2286.28/2292.31	c #Conflicts:     258000 | #Constraints:      34394
2286.28/2292.31	c #Conflicts:     259000 | #Constraints:      35394
2286.28/2292.31	c #Conflicts:     260000 | #Constraints:      36394
2286.28/2292.31	c #Conflicts:     261000 | #Constraints:      37394
2286.28/2292.31	c #Conflicts:     262000 | #Constraints:      38394
2286.28/2292.31	c INPROCESSING
2286.28/2292.31	c GARBAGE COLLECT
2286.28/2292.31	c #Conflicts:     263000 | #Constraints:      21954
2286.28/2292.31	c #Conflicts:     264000 | #Constraints:      22954
2286.28/2292.31	c #Conflicts:     265000 | #Constraints:      23954
2286.28/2292.31	c #Conflicts:     266000 | #Constraints:      24954
2286.28/2292.31	c #Conflicts:     267000 | #Constraints:      25954
2286.28/2292.31	c #Conflicts:     268000 | #Constraints:      26954
2286.28/2292.31	c #Conflicts:     269000 | #Constraints:      27954
2286.28/2292.31	c #Conflicts:     270000 | #Constraints:      28954
2286.28/2292.31	c #Conflicts:     271000 | #Constraints:      29954
2286.28/2292.31	c #Conflicts:     272000 | #Constraints:      30954
2286.28/2292.31	c #Conflicts:     273000 | #Constraints:      31954
2286.28/2292.31	c #Conflicts:     274000 | #Constraints:      32954
2286.28/2292.31	c #Conflicts:     275000 | #Constraints:      33954
2286.28/2292.31	c #Conflicts:     276000 | #Constraints:      34954
2286.28/2292.31	c #Conflicts:     277000 | #Constraints:      35954
2286.28/2292.31	c #Conflicts:     278000 | #Constraints:      36954
2286.28/2292.31	c #Conflicts:     279000 | #Constraints:      37954
2286.28/2292.31	c #Conflicts:     280000 | #Constraints:      38954
2286.28/2292.31	c #Conflicts:     281000 | #Constraints:      39954
2286.28/2292.31	c #Conflicts:     282000 | #Constraints:      40954
2286.28/2292.31	c #Conflicts:     283000 | #Constraints:      41954
2286.28/2292.31	c #Conflicts:     284000 | #Constraints:      42954
2286.28/2292.31	c #Conflicts:     285000 | #Constraints:      43954
2286.28/2292.31	c #Conflicts:     286000 | #Constraints:      44954
2286.28/2292.31	c #Conflicts:     287000 | #Constraints:      45954
2286.28/2292.31	c #Conflicts:     288000 | #Constraints:      46954
2286.28/2292.31	c #Conflicts:     289000 | #Constraints:      47954
2286.28/2292.31	c #Conflicts:     290000 | #Constraints:      48954
2286.28/2292.31	c #Conflicts:     291000 | #Constraints:      49954
2286.28/2292.31	c #Conflicts:     292000 | #Constraints:      50954
2286.28/2292.31	c #Conflicts:     293000 | #Constraints:      51954
2286.28/2292.31	c #Conflicts:     294000 | #Constraints:      52954
2286.28/2292.31	c #Conflicts:     295000 | #Constraints:      53954
2286.28/2292.31	c #Conflicts:     296000 | #Constraints:      54954
2286.28/2292.31	c #Conflicts:     297000 | #Constraints:      55954
2286.28/2292.31	c #Conflicts:     298000 | #Constraints:      56954
2286.28/2292.31	c #Conflicts:     299000 | #Constraints:      57954
2286.28/2292.31	c #Conflicts:     300000 | #Constraints:      58954
2286.28/2292.31	c #Conflicts:     301000 | #Constraints:      59954
2286.28/2292.31	c #Conflicts:     302000 | #Constraints:      60954
2286.28/2292.31	c #Conflicts:     303000 | #Constraints:      61954
2286.28/2292.31	c #Conflicts:     304000 | #Constraints:      62954
2286.28/2292.31	c #Conflicts:     305000 | #Constraints:      63954
2286.28/2292.31	c #Conflicts:     306000 | #Constraints:      64954
2286.28/2292.31	c #Conflicts:     307000 | #Constraints:      65954
2286.28/2292.31	c INPROCESSING
2286.28/2292.31	c GARBAGE COLLECT
2286.28/2292.31	c #Conflicts:     308000 | #Constraints:      34494
2286.28/2292.31	c #Conflicts:     309000 | #Constraints:      35494
2286.28/2292.31	c #Conflicts:     310000 | #Constraints:      36494
2286.28/2292.31	c #Conflicts:     311000 | #Constraints:      37494
2286.28/2292.31	c #Conflicts:     312000 | #Constraints:      38494
2286.28/2292.31	c #Conflicts:     313000 | #Constraints:      39494
2286.28/2292.31	c #Conflicts:     314000 | #Constraints:      40494
2286.28/2292.31	c #Conflicts:     315000 | #Constraints:      41494
2286.28/2292.31	c #Conflicts:     316000 | #Constraints:      42494
2286.28/2292.31	c #Conflicts:     317000 | #Constraints:      43494
2286.28/2292.31	c #Conflicts:     318000 | #Constraints:      44494
2286.28/2292.31	c #Conflicts:     319000 | #Constraints:      45494
2286.28/2292.31	c INPROCESSING
2286.28/2292.31	c GARBAGE COLLECT
2286.28/2292.31	c #Conflicts:     320000 | #Constraints:      29367
2286.28/2292.31	c #Conflicts:     321000 | #Constraints:      30367
2286.28/2292.31	c #Conflicts:     322000 | #Constraints:      31367
2286.28/2292.31	c #Conflicts:     323000 | #Constraints:      32367
2286.28/2292.31	c #Conflicts:     324000 | #Constraints:      33367
2286.28/2292.31	c #Conflicts:     325000 | #Constraints:      34367
2286.28/2292.31	c #Conflicts:     326000 | #Constraints:      35367
2286.28/2292.31	c #Conflicts:     327000 | #Constraints:      36367
2286.28/2292.31	c #Conflicts:     328000 | #Constraints:      37367
2286.28/2292.31	c #Conflicts:     329000 | #Constraints:      38367
2286.28/2292.31	c #Conflicts:     330000 | #Constraints:      39367
3600.09/3609.40	c #Conflicts:     331000 | #Constraints:      40367
3600.09/3609.40	c #Conflicts:     332000 | #Constraints:      41367
3600.09/3609.40	c #Conflicts:     333000 | #Constraints:      42367
3600.09/3609.40	c #Conflicts:     334000 | #Constraints:      43367
3600.09/3609.40	c #Conflicts:     335000 | #Constraints:      44367
3600.09/3609.40	c #Conflicts:     336000 | #Constraints:      45367
3600.09/3609.40	c #Conflicts:     337000 | #Constraints:      46367
3600.09/3609.40	c #Conflicts:     338000 | #Constraints:      47367
3600.09/3609.40	c #Conflicts:     339000 | #Constraints:      48367
3600.09/3609.40	c #Conflicts:     340000 | #Constraints:      49367
3600.09/3609.40	c #Conflicts:     341000 | #Constraints:      50367
3600.09/3609.40	c #Conflicts:     342000 | #Constraints:      51367
3600.09/3609.40	c #Conflicts:     343000 | #Constraints:      52367
3600.09/3609.40	c #Conflicts:     344000 | #Constraints:      53367
3600.09/3609.40	c #Conflicts:     345000 | #Constraints:      54367
3600.09/3609.40	c #Conflicts:     346000 | #Constraints:      55367
3600.09/3609.40	c #Conflicts:     347000 | #Constraints:      56367
3600.09/3609.40	c #Conflicts:     348000 | #Constraints:      57367
3600.09/3609.40	c #Conflicts:     349000 | #Constraints:      58367
3600.09/3609.40	c #Conflicts:     350000 | #Constraints:      59367
3600.09/3609.40	c #Conflicts:     351000 | #Constraints:      60367
3600.09/3609.40	c #Conflicts:     352000 | #Constraints:      61367
3600.09/3609.40	c #Conflicts:     353000 | #Constraints:      62367
3600.09/3609.40	c #Conflicts:     354000 | #Constraints:      63367
3600.09/3609.40	c #Conflicts:     355000 | #Constraints:      64367
3600.09/3609.40	c #Conflicts:     356000 | #Constraints:      65367
3600.09/3609.40	c #Conflicts:     357000 | #Constraints:      66367
3600.09/3609.40	c #Conflicts:     358000 | #Constraints:      67367
3600.09/3609.40	c #Conflicts:     359000 | #Constraints:      68367
3600.09/3609.40	c #Conflicts:     360000 | #Constraints:      69367
3600.09/3609.40	c #Conflicts:     361000 | #Constraints:      70367
3600.09/3609.40	c #Conflicts:     362000 | #Constraints:      71367
3600.09/3609.40	c #Conflicts:     363000 | #Constraints:      72367
3600.09/3609.40	c #Conflicts:     364000 | #Constraints:      73367
3600.09/3609.40	c #Conflicts:     365000 | #Constraints:      74367
3600.09/3609.40	c #Conflicts:     366000 | #Constraints:      75367
3600.09/3609.40	c INPROCESSING
3600.09/3609.40	c GARBAGE COLLECT
3600.09/3609.40	c #Conflicts:     367000 | #Constraints:      38966
3600.09/3609.40	c #Conflicts:     368000 | #Constraints:      39966
3600.09/3609.40	c #Conflicts:     369000 | #Constraints:      40966
3600.09/3609.40	c #Conflicts:     370000 | #Constraints:      41966
3600.09/3609.40	c #Conflicts:     371000 | #Constraints:      42966
3600.09/3609.40	c #Conflicts:     372000 | #Constraints:      43966
3600.09/3609.40	c #Conflicts:     373000 | #Constraints:      44966
3600.09/3609.40	c #Conflicts:     374000 | #Constraints:      45966
3600.09/3609.40	c #Conflicts:     375000 | #Constraints:      46966
3600.09/3609.40	c #Conflicts:     376000 | #Constraints:      47966
3600.09/3609.40	c #Conflicts:     377000 | #Constraints:      48966
3600.09/3609.40	c #Conflicts:     378000 | #Constraints:      49966
3600.09/3609.40	c #Conflicts:     379000 | #Constraints:      50966
3600.09/3609.40	c #Conflicts:     380000 | #Constraints:      51966
3600.09/3609.40	c INPROCESSING
3600.09/3609.40	c GARBAGE COLLECT
3600.09/3609.40	c #Conflicts:     381000 | #Constraints:      36242
3600.09/3609.40	c #Conflicts:     382000 | #Constraints:      37242
3600.09/3609.40	c #Conflicts:     383000 | #Constraints:      38242
3600.09/3609.40	c #Conflicts:     384000 | #Constraints:      39242
3600.09/3609.40	c #Conflicts:     385000 | #Constraints:      40242
3600.09/3609.40	c #Conflicts:     386000 | #Constraints:      41242
3600.09/3609.40	c #Conflicts:     387000 | #Constraints:      42242
3600.09/3609.40	c #Conflicts:     388000 | #Constraints:      43242
3600.09/3609.40	c #Conflicts:     389000 | #Constraints:      44242
3600.09/3609.40	c Program interrupted by user.
3600.09/3609.40	c cpu time 3590.41 s
3600.09/3609.40	c deterministic time 269425014427 2.69e+11
3600.09/3609.40	c optimization time 207.003 s
3600.09/3609.40	c total solve time 3383.4 s
3600.09/3609.40	c core-guided solve time 3383.4 s
3600.09/3609.40	c propagation time 3260 s
3600.09/3609.40	c conflict analysis time 314.898 s
3600.09/3609.40	c propagations 67139491
3600.09/3609.40	c resolve steps 5132825
3600.09/3609.40	c decisions 6637821
3600.09/3609.40	c conflicts 389824
3600.09/3609.40	c restarts 945
3600.09/3609.40	c inprocessing phases 40
3600.09/3609.40	c input clauses 234
3600.09/3609.40	c input cardinalities 436
3600.09/3609.40	c input general constraints 669
3600.09/3609.40	c input average constraint length 42.64
3600.09/3609.40	c input average constraint degree 20.42
3600.09/3609.40	c learned clauses 71474
3600.09/3609.40	c learned cardinalities 1413
3600.09/3609.40	c learned general constraints 316947
3600.09/3609.40	c learned average constraint length 159.16
3600.09/3609.40	c learned average constraint degree 4507234.39
3600.09/3609.40	c watched constraints 255151
3600.09/3609.40	c counting constraints 62465
3600.09/3609.40	c gcd simplifications 29970
3600.09/3609.40	c detected cardinalities 1109
3600.09/3609.40	c weakened non-implied lits 5747524
3600.09/3609.40	c weakened non-implying lits 20935
3600.09/3609.40	c original variables 465
3600.09/3609.40	c clausal propagations 14226135
3600.09/3609.40	c cardinality propagations 947087
3600.09/3609.40	c watched propagations 10420818
3600.09/3609.40	c counting propagations 41170742
3600.09/3609.40	c watch lookups 65798072000
3600.09/3609.40	c watch backjump lookups 63312447289
3600.09/3609.40	c watch checks 129232538503
3600.09/3609.40	c propagation checks 10705630388
3600.09/3609.40	c constraint additions 228382064
3600.09/3609.40	c trail pops 74166870
3600.09/3609.40	c formula constraints 465
3600.09/3609.40	c learned constraints 389834
3600.09/3609.40	c bound constraints 101
3600.09/3609.40	c core-guided constraints 773
3600.09/3609.40	c encountered formula constraints 771724
3600.09/3609.40	c encountered learned constraints 3888033
3600.09/3609.40	c encountered bound constraints 127
3600.09/3609.40	c encountered core-guided constraints 862765
3600.09/3609.40	c LP total time 0 s
3600.09/3609.40	c LP solve time 0 s
3600.09/3609.40	c LP constraints added 0
3600.09/3609.40	c LP constraints removed 0
3600.09/3609.40	c LP pivots internal 0
3600.09/3609.40	c LP pivots root 0
3600.09/3609.40	c LP calls 0
3600.09/3609.40	c LP optimalities 0
3600.09/3609.40	c LP no pivot count 0
3600.09/3609.40	c LP infeasibilities 0
3600.09/3609.40	c LP valid Farkas constraints 0
3600.09/3609.40	c LP learned Farkas constraints 0
3600.09/3609.40	c LP basis resets 0
3600.09/3609.40	c LP cycling count 0
3600.09/3609.40	c LP singular count 0
3600.09/3609.40	c LP no primal count 0
3600.09/3609.40	c LP no farkas count 0
3600.09/3609.40	c LP other issue count 0
3600.09/3609.40	c LP Gomory cuts 0
3600.09/3609.40	c LP learned cuts 0
3600.09/3609.40	c LP deleted cuts 0
3600.09/3609.40	c LP encountered Gomory constraints 0
3600.09/3609.40	c LP encountered Farkas constraints 0
3600.09/3609.40	c LP encountered learned Farkas constraints 0
3600.09/3609.40	c CG auxiliary variables introduced 321
3600.09/3609.40	c CG solutions found 3
3600.09/3609.40	c CG cores constructed 91
3600.09/3609.40	c CG core cardinality constraints returned 0
3600.09/3609.40	c CG unit cores 0
3600.09/3609.40	c CG single cores 91
3600.09/3609.40	c CG blocks removed during cardinality reduction 0
3600.09/3609.40	c CG first core best 0
3600.09/3609.40	c CG decision core best 0
3600.09/3609.40	c CG core reduction tie 0
3600.09/3609.40	c CG core degree average 1.00
3600.09/3609.40	c CG core slack average 6.18
3600.09/3609.40	c CG exhausted 1
3600.09/3609.40	c CG exhaust time 40.1361 s
3600.09/3609.40	c CG trimmed 1
3600.09/3609.40	c CG trim time 0.015082 s
3600.09/3609.40	c CG minimized 0
3600.09/3609.40	c CG minimize time 0 s
3600.09/3609.40	c CG am1 prop time 0.020355 s
3600.09/3609.40	c CG # am1s reformulated 51
3600.09/3609.40	c CG lower bound derived from am1s 51
3600.09/3609.40	c CG # clausal cores 36
3600.09/3609.40	c CG # cardinality cores 0
3600.09/3609.40	c CG # pb cores 55
3600.09/3609.40	c CG # pb reforms 0
3600.09/3609.40	c CG # cores discarded because of pb reform 0
3600.09/3609.40	d LOWERBOUND 143
3600.09/3609.40	d NCORES 91
3600.09/3609.40	d NPBCORES 55
3600.09/3609.40	d NPBREFORM 0
3600.09/3609.40	d NTRIMMED 1
3600.09/3609.40	d NEXHAUSTED 1
3600.09/3609.40	d NAM1S 51
3600.09/3609.40	d AM1LB 51
3600.09/3609.40	o 208
3600.09/3609.40	s SATISFIABLE
3600.09/3609.40	v x1 x2 -x3 -x4 x5 x6 x7 -x8 x9 -x10 x11 -x12 -x13 x14 x15 -x16 -x17 -x18 x19 -x20 x21 x22 -x23 x24 x25 x26 -x27 x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 x38 x39 -x40 -x41 x42 x43 -x44 x45 -x46 -x47 -x48 -x49 x50 x51 -x52 x53 -x54 -x55 -x56 -x57 x58 -x59 x60 -x61 -x62 x63 x64 x65 x66 x67 -x68 x69 x70 -x71 -x72 x73 -x74 x75 -x76 -x77 x78 x79 -x80 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 x93 -x94 x95 x96 x97 -x98 -x99 -x100 x101 x102 -x103 -x104 -x105 x106 x107 -x108 x109 -x110 -x111 -x112 x113 x114 x115 x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 x129 x130 -x131 x132 -x133 -x134 x135 -x136 -x137 x138 x139 -x140 x141 -x142 -x143 x144 -x145 -x146 x147 -x148 x149 x150 -x151 x152 x153 -x154 x155 -x156 x157 x158 -x159 x160 x161 -x162 x163 -x164 x165 -x166 -x167 -x168 x169 -x170 x171 x172 -x173 x174 -x175 -x176 -x177 x178 -x179 x180 -x181 -x182 x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 -x192 x193 -x194 -x195 -x196 x197 -x198 -x199 x200 -x201 x202 -x203 -x204 x205 -x206 x207 x208 x209 -x210 -x211 x212 x213 -x214 -x215 x216 x217 -x218 -x219 x220 x221 x222 -x223 x224 x225 x226 x227 x228 x229 x230 -x231 -x232 x233 -x234 -x235 x236 -x237 x238 -x239 -x240 x241 -x242 -x243 -x244 x245 x246 x247 -x248 x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 x257 x258 -x259 x260 x261 -x262 -x263 -x264 -x265 x266 x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 x283 -x284 -x285 x286 x287 x288 x289 x290 x291 -x292 -x293 -x294 x295 x296 x297 -x298 -x299 x300 -x301 -x302 x303 -x304 -x305 -x306 x307 -x308 -x309 x310 x311 -x312 x313 -x314 x315 x316 -x317 -x318 -x319 x320 x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 x332 x333 x334 -x335 -x336 x337 -x338 x339 x340 x341 x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 x350 -x351 x352 -x353 x354 x355 x356 x357 -x358 x359 x360 x361 x362 -x363 x364 x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 x373 -x374 x375 x376 -x377 -x378 -x379 -x380 x381 -x382 x383 x384 -x385 x386 -x387 x388 -x389 -x390 x391 x392 -x393 x394 x395 x396 x397 -x398 -x399 x400 x401 -x402 -x403 x404 x405 x406 x407 -x408 x409 x410 -x411 -x412 -x413 -x414 -x415 x416 x417 -x418 x419 x420 x421 -x422 -x423 -x424 -x425 x426 -x427 -x428 -x429 -x430 x431 -x432 x433 x434 -x435 x436 x437 -x438 -x439 x440 -x441 -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: 64096 MiB (63092 MiB free)
  memory of node 1: 64473 MiB (61639 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454295-1721469303/watcher-4454295-1721469303 -o /tmp/evaluation-result-4454295-1721469303/solver-4454295-1721469303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721469315-1062596 --watchdog 3760 pb-oll-rs HOME/instance-4454295-1721469303.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
Current StackSize limit: 8192 KiB

solver pid=1062733, runsolver pid=1062721

[startup+0.101018 s]*
/proc/loadavg: 2.94 3.20 3.61 10/247 1062788
/proc/meminfo: memFree=127711104/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=40176 memory=7968 CPUtime=0.11 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 788 0 0 0 8 3 0 0 20 0 1 0 199089101 41140224 1992 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 10044 1992 1374 291 0 1578 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 40176 KiB
Current children cumulated memory: 7968 KiB

[startup+0.214693 s]*
/proc/loadavg: 2.94 3.20 3.61 9/246 1062822
/proc/meminfo: memFree=127702060/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=41228 memory=9652 CPUtime=0.21 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 1209 0 0 0 18 3 0 0 20 0 1 0 199089101 42217472 2413 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 10307 2413 1374 291 0 1841 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41228 KiB
Current children cumulated memory: 9652 KiB

[startup+0.321854 s]*
/proc/loadavg: 2.94 3.20 3.61 9/248 1062878
/proc/meminfo: memFree=127696548/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=41768 memory=12488 CPUtime=0.32 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 1428 0 0 0 28 4 0 0 20 0 1 0 199089101 42770432 3122 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 10442 3122 1374 291 0 1976 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 41768 KiB
Current children cumulated memory: 12488 KiB

[startup+0.700326 s]
/proc/loadavg: 2.94 3.20 3.61 7/248 1062975
/proc/meminfo: memFree=127687204/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=43852 memory=14336 CPUtime=0.69 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 1901 0 0 0 63 6 0 0 20 0 1 0 199089101 44904448 3584 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 10963 3584 1374 291 0 2497 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43852 KiB
Current children cumulated memory: 14336 KiB

[startup+1.50028 s]
/proc/loadavg: 2.94 3.20 3.61 8/245 1063004
/proc/meminfo: memFree=127675480/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=49312 memory=20324 CPUtime=1.48 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 2798 0 0 0 140 8 0 0 20 0 1 0 199089101 50495488 5081 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 12328 5081 1436 291 0 3862 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 49312 KiB
Current children cumulated memory: 20324 KiB

[startup+3.11356 s]
/proc/loadavg: 3.02 3.21 3.62 8/245 1063004
/proc/meminfo: memFree=127634208/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=58192 memory=27176 CPUtime=3.09 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 4009 0 0 0 294 15 0 0 20 0 1 0 199089101 59588608 6794 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 14548 6794 1436 291 0 6082 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 58192 KiB
Current children cumulated memory: 27176 KiB

[startup+6.30027 s]
/proc/loadavg: 3.02 3.21 3.62 8/245 1063006
/proc/meminfo: memFree=127604192/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=68992 memory=34428 CPUtime=6.27 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 5353 0 0 0 604 23 0 0 20 0 1 0 199089101 70647808 8607 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 17248 8607 1436 291 0 8782 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 68992 KiB
Current children cumulated memory: 34428 KiB

[startup+12.7003 s]
/proc/loadavg: 3.10 3.23 3.62 8/245 1063006
/proc/meminfo: memFree=127575020/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=75644 memory=44036 CPUtime=12.66 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 6690 0 0 0 1229 37 0 0 20 0 1 0 199089101 77459456 11009 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 18911 11009 1436 291 0 10445 0
Current children cumulated CPU time: 12.66 s
Current children cumulated vsize: 75644 KiB
Current children cumulated memory: 44036 KiB

[startup+25.5003 s]
/proc/loadavg: 3.37 3.28 3.63 8/245 1063007
/proc/meminfo: memFree=127537112/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=96536 memory=51692 CPUtime=25.42 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 8638 0 0 0 2486 56 0 0 20 0 1 0 199089101 98852864 12923 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 24134 12923 1436 291 0 15668 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 96536 KiB
Current children cumulated memory: 51692 KiB

[startup+51.1137 s]
/proc/loadavg: 3.59 3.34 3.64 8/245 1063014
/proc/meminfo: memFree=127489608/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=99548 memory=60300 CPUtime=50.97 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 9728 0 0 0 5015 82 0 0 20 0 1 0 199089101 101937152 15075 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 24887 15075 1436 291 0 16421 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 99548 KiB
Current children cumulated memory: 60300 KiB

[startup+102.3 s]
/proc/loadavg: 3.86 3.46 3.67 8/245 1063022
/proc/meminfo: memFree=127468968/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=101644 memory=62012 CPUtime=102.02 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 10211 0 0 0 10079 123 0 0 20 0 1 0 199089101 104083456 15503 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 25411 15503 1436 291 0 16945 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 101644 KiB
Current children cumulated memory: 62012 KiB

[startup+162.3 s]
/proc/loadavg: 4.05 3.59 3.70 8/245 1063032
/proc/meminfo: memFree=127451560/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=110076 memory=69252 CPUtime=161.88 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 12070 0 0 0 15991 197 0 0 20 0 1 0 199089101 112717824 17313 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 27519 17313 1436 291 0 19053 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 110076 KiB
Current children cumulated memory: 69252 KiB

[startup+222.3 s]
/proc/loadavg: 4.06 3.68 3.73 8/247 1063212
/proc/meminfo: memFree=127432904/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=113320 memory=77416 CPUtime=221.71 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 12746 0 0 0 21929 242 0 0 20 0 1 0 199089101 116039680 19354 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 28330 19354 1436 291 0 19864 0
Current children cumulated CPU time: 221.71 s
Current children cumulated vsize: 113320 KiB
Current children cumulated memory: 77416 KiB

[startup+282.3 s]
/proc/loadavg: 4.17 3.79 3.76 8/247 1063223
/proc/meminfo: memFree=127412440/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=125132 memory=89696 CPUtime=281.57 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 14869 0 0 0 27893 264 0 0 20 0 1 0 199089101 128135168 22424 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 31283 22424 1436 291 0 22817 0
Current children cumulated CPU time: 281.57 s
Current children cumulated vsize: 125132 KiB
Current children cumulated memory: 89696 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 3.84 3.79 8/243 1063235
/proc/meminfo: memFree=127385724/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=148736 memory=104492 CPUtime=341.43 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 16656 0 0 0 33850 293 0 0 20 0 1 0 199089101 152305664 26123 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 37184 26123 1436 291 0 28718 0
Current children cumulated CPU time: 341.43 s
Current children cumulated vsize: 148736 KiB
Current children cumulated memory: 104492 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 3.89 3.81 8/243 1063256
/proc/meminfo: memFree=127371436/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=153156 memory=111116 CPUtime=401.28 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 17803 0 0 0 39805 323 0 0 20 0 1 0 199089101 156831744 27779 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 38289 27779 1436 291 0 29823 0
Current children cumulated CPU time: 401.28 s
Current children cumulated vsize: 153156 KiB
Current children cumulated memory: 111116 KiB

[startup+462.3 s]
/proc/loadavg: 4.09 3.93 3.83 8/244 1063268
/proc/meminfo: memFree=127365600/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=153668 memory=111292 CPUtime=461.12 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 17903 0 0 0 45762 350 0 0 20 0 1 0 199089101 157356032 27823 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 38417 27823 1436 291 0 29951 0
Current children cumulated CPU time: 461.12 s

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

Current children cumulated memory: 172464 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.12 4.06 8/244 1064312
/proc/meminfo: memFree=127063320/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=218092 memory=173152 CPUtime=2854.86 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 28517 0 0 0 284634 852 0 0 20 0 1 0 199089101 223326208 43288 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 54523 43288 1436 291 0 46057 0
Current children cumulated CPU time: 2854.86 s
Current children cumulated vsize: 218092 KiB
Current children cumulated memory: 173152 KiB

[startup+2922.3 s]
/proc/loadavg: 4.18 4.13 4.07 8/244 1064322
/proc/meminfo: memFree=127061020/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=218760 memory=173436 CPUtime=2914.71 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 28739 0 0 0 290612 859 0 0 20 0 1 0 199089101 224010240 43359 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 54690 43359 1436 291 0 46224 0
Current children cumulated CPU time: 2914.71 s
Current children cumulated vsize: 218760 KiB
Current children cumulated memory: 173436 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.12 4.07 8/243 1064333
/proc/meminfo: memFree=127059852/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=219644 memory=175920 CPUtime=2974.55 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 29023 0 0 0 296589 866 0 0 20 0 1 0 199089101 224915456 43980 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 54911 43980 1436 291 0 46445 0
Current children cumulated CPU time: 2974.55 s
Current children cumulated vsize: 219644 KiB
Current children cumulated memory: 175920 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.12 4.08 8/243 1064344
/proc/meminfo: memFree=127056036/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=220412 memory=179532 CPUtime=3034.41 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 29246 0 0 0 302567 874 0 0 20 0 1 0 199089101 225701888 44883 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 55103 44883 1436 291 0 46637 0
Current children cumulated CPU time: 3034.41 s
Current children cumulated vsize: 220412 KiB
Current children cumulated memory: 179532 KiB

[startup+3102.3 s]
/proc/loadavg: 4.13 4.13 4.08 8/242 1064355
/proc/meminfo: memFree=127049656/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=227604 memory=183268 CPUtime=3094.25 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 30802 0 0 0 308544 881 0 0 20 0 1 0 199089101 233066496 45817 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 56901 45817 1436 291 0 48435 0
Current children cumulated CPU time: 3094.25 s
Current children cumulated vsize: 227604 KiB
Current children cumulated memory: 183268 KiB

[startup+3162.3 s]
/proc/loadavg: 4.17 4.13 4.09 8/242 1064365
/proc/meminfo: memFree=127044564/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=230952 memory=186704 CPUtime=3154.1 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 31463 0 0 0 314522 888 0 0 20 0 1 0 199089101 236494848 46676 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 57738 46676 1436 291 0 49272 0
Current children cumulated CPU time: 3154.1 s
Current children cumulated vsize: 230952 KiB
Current children cumulated memory: 186704 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.09 8/242 1064375
/proc/meminfo: memFree=127039736/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=231468 memory=189324 CPUtime=3213.95 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 31614 0 0 0 320496 899 0 0 20 0 1 0 199089101 237023232 47331 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 57867 47331 1436 291 0 49401 0
Current children cumulated CPU time: 3213.95 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 189324 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.14 4.09 8/242 1064386
/proc/meminfo: memFree=127038028/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=231468 memory=189324 CPUtime=3273.8 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 31680 0 0 0 326471 909 0 0 20 0 1 0 199089101 237023232 47331 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 57867 47331 1436 291 0 49401 0
Current children cumulated CPU time: 3273.8 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 189324 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.14 4.09 8/245 1064401
/proc/meminfo: memFree=127030256/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=231468 memory=189324 CPUtime=3333.65 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 31747 0 0 0 332446 919 0 0 20 0 1 0 199089101 237023232 47331 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 57867 47331 1436 291 0 49401 0
Current children cumulated CPU time: 3333.65 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 189324 KiB

[startup+3402.3 s]
/proc/loadavg: 4.14 4.14 4.09 8/245 1064411
/proc/meminfo: memFree=127026176/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=231468 memory=189324 CPUtime=3393.5 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 31816 0 0 0 338422 928 0 0 20 0 1 0 199089101 237023232 47331 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 57867 47331 1436 291 0 49401 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 189324 KiB

[startup+3462.3 s]
/proc/loadavg: 4.17 4.15 4.09 8/244 1064422
/proc/meminfo: memFree=127012772/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=231468 memory=189324 CPUtime=3453.35 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 31886 0 0 0 344398 937 0 0 20 0 1 0 199089101 237023232 47331 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 57867 47331 1436 291 0 49401 0
Current children cumulated CPU time: 3453.35 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 189324 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.14 4.09 8/244 1064432
/proc/meminfo: memFree=127011336/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=231468 memory=189324 CPUtime=3513.2 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 31948 0 0 0 350368 952 0 0 20 0 1 0 199089101 237023232 47331 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 57867 47331 1436 291 0 49401 0
Current children cumulated CPU time: 3513.2 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 189324 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.12 4.09 8/245 1064444
/proc/meminfo: memFree=127007232/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=231468 memory=189324 CPUtime=3573.06 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 32013 0 0 0 356343 963 0 0 20 0 1 0 199089101 237023232 47331 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 57867 47331 1436 291 0 49401 0
Current children cumulated CPU time: 3573.06 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 189324 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.11 4.13 4.09 8/245 1064449
/proc/meminfo: memFree=127004532/131655788 swapFree=131071996/131071996
[pid=1062733] ppid=1062721 vsize=231468 memory=189324 CPUtime=3600.09 cores=1,3
/proc/1062733/stat : 1062733 (pb-oll-rs) R 1062721 1062733 1062548 0 -1 4194304 32014 0 0 0 359041 968 0 0 20 0 1 0 199089101 237023232 47331 134679101440 4194304 5384485 140726392205200 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 8597504 140726392210453 140726392210530 140726392210530 140726392217547 0
/proc/1062733/statm: 57867 47331 1436 291 0 49401 0
Current children cumulated CPU time: 3600.09 s
Current children cumulated vsize: 231468 KiB
Current children cumulated memory: 189324 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.41 s, system=9.68915 s

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

Child status: 0

Real time (s): 3609.4
CPU time (s): 3600.1
CPU user time (s): 3590.41
CPU system time (s): 9.68915
CPU usage (%): 99.7423
Max. virtual memory (cumulated for all children) (KiB): 231468
Max. memory (cumulated for all children) (KiB): 189324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.41
system time used= 9.68915
maximum resident set size= 189376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32029
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= 53
involuntary context switches= 2462


# summary of solver processes directly reported to runsolver:
#   pid: 1062733
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3590.41
#   total CPU system time (s): 9.68915

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5681 second user time and 37.3318 second system time

The end

Launcher Data 

Begin job on nodeC005 at 2024-07-20 11:55:15
IDJOB=4454295
IDBENCH=147540
IDSOLVER=3082
FILE ID=nodeC005/4454295-1721469303
RUNJOBID= nodeC005-1721469315-1062596
SLURM_JOB_ID= 7545729
Free space on /tmp= 723784 MiB

SOLVER NAME= pb-oll-rs 2024-07-19
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-4454295-1721469303/watcher-4454295-1721469303 -o /tmp/evaluation-result-4454295-1721469303/solver-4454295-1721469303 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC005-1721469315-1062596 --watchdog 3760  pb-oll-rs HOME/instance-4454295-1721469303.opb

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

MD5SUM BENCH= 62fadc113b966a642e431cfbd80ddcdc
RANDOM SEED=1611870262

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        127727204 kB
MemAvailable:   129900808 kB
Buffers:          567156 kB
Cached:          2433152 kB
SwapCached:            0 kB
Active:          1189348 kB
Inactive:        2137224 kB
Active(anon):       3324 kB
Inactive(anon):   368836 kB
Active(file):    1186024 kB
Inactive(file):  1768388 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7988 kB
Writeback:             0 kB
AnonPages:        325880 kB
Mapped:           109052 kB
Shmem:             45896 kB
KReclaimable:     118780 kB
Slab:             228792 kB
SReclaimable:     118780 kB
SUnreclaim:       110012 kB
KernelStack:        3740 kB
PageTables:        10500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     683728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            62656 kB
HardwareCorrupted:     0 kB
AnonHugePages:    296960 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:      303944 kB
DirectMap2M:    40495104 kB
DirectMap1G:    95420416 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC005 at 2024-07-20 12:55:25