Trace number 4454294

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)217 3600.04 3609.6

DiagnosticValue
AM1LB44
LOWERBOUND146
NAM1S44
NCORES101
NEXHAUSTED1
NPBCORES73
NPBREFORM0
NTRIMMED10

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_11.opb.PB06.opb
MD5SUM0daa95194506fa379fbbdb25b381edfb
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 benchmark180
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 variables473
Total number of constraints473
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 constraints473
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 473
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 473
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 473
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 473 #constraints 473
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= 0 @ 0.005176
0.00/0.01	c stratification level: 0
0.00/0.04	c bounds - >= 45 @ 0.00966
0.00/0.04	c bounds - >= 46 @ 0.009866
0.00/0.04	c bounds - >= 47 @ 0.009866
0.00/0.04	c bounds - >= 48 @ 0.009866
0.00/0.04	c bounds - >= 49 @ 0.009874
0.00/0.04	c bounds - >= 50 @ 0.009874
0.00/0.04	c bounds - >= 51 @ 0.009874
0.00/0.04	c bounds - >= 52 @ 0.009874
0.00/0.04	c bounds - >= 53 @ 0.009884
0.00/0.04	c bounds - >= 54 @ 0.009884
0.00/0.04	c bounds - >= 55 @ 0.009884
0.00/0.04	c bounds - >= 56 @ 0.009953
0.00/0.04	c bounds - >= 57 @ 0.010278
0.00/0.04	c bounds - >= 58 @ 0.010556
0.00/0.04	c bounds - >= 59 @ 0.01083
0.00/0.04	c bounds - >= 60 @ 0.0111
0.00/0.04	c bounds - >= 61 @ 0.011384
0.00/0.04	c bounds - >= 62 @ 0.011681
0.00/0.04	c bounds - >= 63 @ 0.011972
0.00/0.04	c bounds - >= 64 @ 0.012263
0.00/0.04	c bounds - >= 65 @ 0.012562
0.00/0.04	c bounds - >= 66 @ 0.012863
0.00/0.04	c bounds - >= 67 @ 0.013166
0.00/0.04	c bounds - >= 68 @ 0.013457
0.00/0.04	c bounds - >= 69 @ 0.01375
0.00/0.04	c bounds - >= 70 @ 0.013854
0.00/0.04	c bounds - >= 71 @ 0.013854
0.00/0.04	c bounds - >= 72 @ 0.013854
0.00/0.04	c bounds - >= 73 @ 0.013934
0.00/0.04	c bounds - >= 74 @ 0.014247
0.00/0.04	c bounds - >= 75 @ 0.014536
0.00/0.04	c bounds - >= 76 @ 0.014834
0.00/0.04	c bounds - >= 77 @ 0.015138
0.00/0.04	c bounds - >= 78 @ 0.015456
0.00/0.04	c bounds - >= 79 @ 0.015765
0.00/0.04	c bounds - >= 80 @ 0.015835
0.00/0.04	c bounds - >= 81 @ 0.015835
0.00/0.04	c bounds - >= 82 @ 0.015835
0.00/0.04	c bounds - >= 83 @ 0.015841
0.00/0.04	c bounds - >= 84 @ 0.015841
0.00/0.04	c bounds - >= 85 @ 0.015841
0.00/0.04	c bounds - >= 86 @ 0.015845
0.00/0.04	c bounds - >= 87 @ 0.015845
0.00/0.04	c bounds - >= 88 @ 0.015845
0.00/0.04	c bounds - >= 89 @ 0.01585
0.00/0.04	c bounds - >= 90 @ 0.01585
0.00/0.04	c bounds - >= 91 @ 0.015855
0.00/0.04	c bounds - >= 92 @ 0.016211
0.00/0.04	c bounds - >= 93 @ 0.016552
0.00/0.04	c bounds - >= 94 @ 0.016921
0.00/0.04	c bounds - >= 95 @ 0.017278
0.00/0.04	c bounds - >= 96 @ 0.017648
0.00/0.04	c bounds - >= 97 @ 0.017839
0.00/0.04	c bounds - >= 98 @ 0.017839
0.00/0.04	c bounds - >= 99 @ 0.017839
0.00/0.04	c bounds - >= 100 @ 0.017844
0.00/0.04	c bounds - >= 101 @ 0.017844
0.00/0.04	c bounds - >= 102 @ 0.017847
0.00/0.04	c bounds - >= 103 @ 0.017847
0.00/0.04	c bounds - >= 104 @ 0.017847
0.00/0.04	c bounds - >= 105 @ 0.017852
0.00/0.04	c bounds - >= 106 @ 0.017852
0.00/0.04	c bounds - >= 107 @ 0.017856
0.00/0.04	c bounds - >= 108 @ 0.017856
0.00/0.04	c bounds - >= 109 @ 0.017856
0.00/0.04	c bounds - >= 110 @ 0.018168
0.00/0.04	c bounds - >= 111 @ 0.018579
0.00/0.04	c bounds - >= 112 @ 0.018978
0.00/0.04	c bounds - >= 113 @ 0.019371
0.00/0.04	c bounds - >= 114 @ 0.019785
0.00/0.04	c bounds - >= 115 @ 0.019844
0.00/0.04	c bounds - >= 116 @ 0.019844
0.00/0.04	c bounds - >= 117 @ 0.019848
0.00/0.04	c bounds - >= 118 @ 0.019848
0.00/0.04	c bounds - >= 119 @ 0.01985
0.00/0.04	c bounds - >= 120 @ 0.01985
0.00/0.04	c bounds - >= 121 @ 0.019854
0.00/0.04	c bounds - >= 122 @ 0.019854
0.00/0.04	c bounds - >= 123 @ 0.019854
0.00/0.04	c bounds - >= 124 @ 0.019857
0.00/0.04	c bounds - >= 125 @ 0.019857
0.00/0.04	c bounds - >= 126 @ 0.019859
0.00/0.04	c bounds - >= 127 @ 0.019859
0.00/0.04	c finalizing WCE round: reformulating cores
41.16/41.38	c #Conflicts:       1000 | #Constraints:       1637
41.16/41.38	c #Conflicts:       2000 | #Constraints:       2642
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:       3000 | #Constraints:       2555
41.16/41.38	c #Conflicts:       4000 | #Constraints:       3557
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:       5000 | #Constraints:       2961
41.16/41.38	c #Conflicts:       6000 | #Constraints:       3963
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:       7000 | #Constraints:       2971
41.16/41.38	c #Conflicts:       8000 | #Constraints:       3973
41.16/41.38	c #Conflicts:       9000 | #Constraints:       4977
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:      10000 | #Constraints:       3681
41.16/41.38	c #Conflicts:      11000 | #Constraints:       4683
41.16/41.38	c #Conflicts:      12000 | #Constraints:       5685
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:      13000 | #Constraints:       4136
41.16/41.38	c #Conflicts:      14000 | #Constraints:       5138
41.16/41.38	c #Conflicts:      15000 | #Constraints:       6140
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:      16000 | #Constraints:       4372
41.16/41.38	c #Conflicts:      17000 | #Constraints:       5374
41.16/41.38	c #Conflicts:      18000 | #Constraints:       6376
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:      19000 | #Constraints:       4390
41.16/41.38	c #Conflicts:      20000 | #Constraints:       5392
41.16/41.38	c #Conflicts:      21000 | #Constraints:       6394
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:      22000 | #Constraints:       4202
41.16/41.38	c #Conflicts:      23000 | #Constraints:       5204
41.16/41.38	c #Conflicts:      24000 | #Constraints:       6208
41.16/41.38	c #Conflicts:      25000 | #Constraints:       7210
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:      26000 | #Constraints:       4821
41.16/41.38	c #Conflicts:      27000 | #Constraints:       5823
41.16/41.38	c #Conflicts:      28000 | #Constraints:       6825
41.16/41.38	c #Conflicts:      29000 | #Constraints:       7829
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:      30000 | #Constraints:       5229
41.16/41.38	c #Conflicts:      31000 | #Constraints:       6231
41.16/41.38	c #Conflicts:      32000 | #Constraints:       7233
41.16/41.38	c #Conflicts:      33000 | #Constraints:       8237
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:      34000 | #Constraints:       5443
41.16/41.38	c #Conflicts:      35000 | #Constraints:       6445
41.16/41.38	c #Conflicts:      36000 | #Constraints:       7447
41.16/41.38	c #Conflicts:      37000 | #Constraints:       8451
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:      38000 | #Constraints:       5454
41.16/41.38	c #Conflicts:      39000 | #Constraints:       6456
41.16/41.38	c #Conflicts:      40000 | #Constraints:       7458
41.16/41.38	c #Conflicts:      41000 | #Constraints:       8462
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:      42000 | #Constraints:       5264
41.16/41.38	c #Conflicts:      43000 | #Constraints:       6266
41.16/41.38	c #Conflicts:      44000 | #Constraints:       7270
41.16/41.38	c #Conflicts:      45000 | #Constraints:       8272
41.16/41.38	c #Conflicts:      46000 | #Constraints:       9274
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:      47000 | #Constraints:       5874
41.16/41.38	c #Conflicts:      48000 | #Constraints:       6876
41.16/41.38	c #Conflicts:      49000 | #Constraints:       7878
41.16/41.38	c #Conflicts:      50000 | #Constraints:       8882
41.16/41.38	c #Conflicts:      51000 | #Constraints:       9884
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:      52000 | #Constraints:       6288
41.16/41.38	c #Conflicts:      53000 | #Constraints:       7290
41.16/41.38	c #Conflicts:      54000 | #Constraints:       8292
41.16/41.38	c #Conflicts:      55000 | #Constraints:       9296
41.16/41.38	c #Conflicts:      56000 | #Constraints:      10298
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:      57000 | #Constraints:       6504
41.16/41.38	c #Conflicts:      58000 | #Constraints:       7506
41.16/41.38	c #Conflicts:      59000 | #Constraints:       8508
41.16/41.38	c #Conflicts:      60000 | #Constraints:       9512
41.16/41.38	c #Conflicts:      61000 | #Constraints:      10514
41.16/41.38	c INPROCESSING
41.16/41.38	c GARBAGE COLLECT
41.16/41.38	c #Conflicts:      62000 | #Constraints:       6521
41.16/41.38	c #Conflicts:      63000 | #Constraints:       7523
41.16/41.38	c bounds 219 >= 127 @ 40.501
41.16/41.38	c bounds 219 >= 128 @ 40.5123
41.16/41.38	c bounds 219 >= 129 @ 40.5154
41.16/41.38	c bounds 219 >= 130 @ 40.5172
41.16/41.38	c bounds 219 >= 131 @ 40.5219
41.16/41.38	c bounds 219 >= 132 @ 40.5256
41.16/41.38	c bounds 219 >= 133 @ 40.5278
41.16/41.38	c bounds 219 >= 134 @ 40.5309
41.16/41.38	c bounds 219 >= 135 @ 40.5322
41.26/41.49	c bounds 219 >= 136 @ 40.533
41.26/41.49	c bounds 219 >= 137 @ 40.5401
41.26/41.49	c bounds 219 >= 138 @ 40.5426
41.26/41.49	c bounds 219 >= 139 @ 40.5839
41.26/41.49	c finalizing WCE round: reformulating cores
52.63/52.83	c #Conflicts:      64000 | #Constraints:       8683
52.63/52.83	c #Conflicts:      65000 | #Constraints:       9687
52.63/52.83	c #Conflicts:      66000 | #Constraints:      10689
52.63/52.83	c INPROCESSING
52.63/52.83	c GARBAGE COLLECT
52.63/52.83	c #Conflicts:      67000 | #Constraints:       6442
52.63/52.83	c #Conflicts:      68000 | #Constraints:       7444
52.63/52.83	c #Conflicts:      69000 | #Constraints:       8448
52.63/52.83	c #Conflicts:      70000 | #Constraints:       9450
52.63/52.83	c #Conflicts:      71000 | #Constraints:      10452
52.63/52.83	c #Conflicts:      72000 | #Constraints:      11456
52.63/52.83	c INPROCESSING
52.63/52.83	c GARBAGE COLLECT
52.63/52.83	c bounds 218 >= 139 @ 49.4313
52.63/52.83	c bounds 218 >= 140 @ 49.4476
52.63/52.83	c bounds 218 >= 141 @ 49.4864
52.63/52.83	c #Conflicts:      73000 | #Constraints:       7153
52.63/52.83	c bounds 218 >= 142 @ 51.3308
52.63/52.83	c finalizing WCE round: reformulating cores
197.83/198.41	c #Conflicts:      74000 | #Constraints:       8289
197.83/198.41	c bounds 217 >= 141 @ 53.6257
197.83/198.41	c #Conflicts:      75000 | #Constraints:       9293
197.83/198.41	c #Conflicts:      76000 | #Constraints:      10295
197.83/198.41	c bounds 217 >= 143 @ 55.2729
197.83/198.41	c bounds 217 >= 144 @ 55.4147
197.83/198.41	c #Conflicts:      77000 | #Constraints:      11317
197.83/198.41	c #Conflicts:      78000 | #Constraints:      12317
197.83/198.41	c INPROCESSING
197.83/198.41	c GARBAGE COLLECT
197.83/198.41	c #Conflicts:      79000 | #Constraints:       7664
197.83/198.41	c bounds 217 >= 145 @ 61.3204
197.83/198.41	c #Conflicts:      80000 | #Constraints:       8746
197.83/198.41	c #Conflicts:      81000 | #Constraints:       9746
197.83/198.41	c #Conflicts:      82000 | #Constraints:      10746
197.83/198.41	c #Conflicts:      83000 | #Constraints:      11746
197.83/198.41	c #Conflicts:      84000 | #Constraints:      12746
197.83/198.41	c INPROCESSING
197.83/198.41	c GARBAGE COLLECT
197.83/198.41	c #Conflicts:      85000 | #Constraints:       7922
197.83/198.41	c #Conflicts:      86000 | #Constraints:       8922
197.83/198.41	c #Conflicts:      87000 | #Constraints:       9922
197.83/198.41	c #Conflicts:      88000 | #Constraints:      10922
197.83/198.41	c #Conflicts:      89000 | #Constraints:      11922
197.83/198.41	c #Conflicts:      90000 | #Constraints:      12922
197.83/198.41	c INPROCESSING
197.83/198.41	c GARBAGE COLLECT
197.83/198.41	c #Conflicts:      91000 | #Constraints:       7913
197.83/198.41	c #Conflicts:      92000 | #Constraints:       8913
197.83/198.41	c #Conflicts:      93000 | #Constraints:       9913
197.83/198.41	c #Conflicts:      94000 | #Constraints:      10913
197.83/198.41	c #Conflicts:      95000 | #Constraints:      11913
197.83/198.41	c #Conflicts:      96000 | #Constraints:      12913
197.83/198.41	c INPROCESSING
197.83/198.41	c GARBAGE COLLECT
197.83/198.41	c #Conflicts:      97000 | #Constraints:       7720
197.83/198.41	c #Conflicts:      98000 | #Constraints:       8720
197.83/198.41	c #Conflicts:      99000 | #Constraints:       9720
197.83/198.41	c #Conflicts:     100000 | #Constraints:      10720
197.83/198.41	c #Conflicts:     101000 | #Constraints:      11720
197.83/198.41	c #Conflicts:     102000 | #Constraints:      12720
197.83/198.41	c #Conflicts:     103000 | #Constraints:      13720
197.83/198.41	c INPROCESSING
197.83/198.41	c GARBAGE COLLECT
197.83/198.41	c #Conflicts:     104000 | #Constraints:       8327
197.83/198.41	c #Conflicts:     105000 | #Constraints:       9327
197.83/198.41	c #Conflicts:     106000 | #Constraints:      10327
197.83/198.41	c #Conflicts:     107000 | #Constraints:      11327
197.83/198.41	c #Conflicts:     108000 | #Constraints:      12327
197.83/198.41	c #Conflicts:     109000 | #Constraints:      13327
197.83/198.41	c #Conflicts:     110000 | #Constraints:      14327
197.83/198.41	c INPROCESSING
197.83/198.41	c GARBAGE COLLECT
197.83/198.41	c #Conflicts:     111000 | #Constraints:       8731
197.83/198.41	c #Conflicts:     112000 | #Constraints:       9731
197.83/198.41	c #Conflicts:     113000 | #Constraints:      10731
197.83/198.41	c #Conflicts:     114000 | #Constraints:      11731
197.83/198.41	c #Conflicts:     115000 | #Constraints:      12731
197.83/198.41	c #Conflicts:     116000 | #Constraints:      13731
197.83/198.41	c #Conflicts:     117000 | #Constraints:      14731
197.83/198.41	c INPROCESSING
197.83/198.41	c GARBAGE COLLECT
197.83/198.41	c #Conflicts:     118000 | #Constraints:       8932
197.83/198.41	c #Conflicts:     119000 | #Constraints:       9932
197.83/198.41	c #Conflicts:     120000 | #Constraints:      10932
197.83/198.41	c #Conflicts:     121000 | #Constraints:      11932
197.83/198.41	c #Conflicts:     122000 | #Constraints:      12932
197.83/198.41	c #Conflicts:     123000 | #Constraints:      13932
197.83/198.41	c #Conflicts:     124000 | #Constraints:      14932
197.83/198.41	c INPROCESSING
197.83/198.41	c GARBAGE COLLECT
197.83/198.41	c #Conflicts:     125000 | #Constraints:       8919
197.83/198.41	c #Conflicts:     126000 | #Constraints:       9919
197.83/198.41	c #Conflicts:     127000 | #Constraints:      10919
197.83/198.41	c #Conflicts:     128000 | #Constraints:      11919
197.83/198.41	c #Conflicts:     129000 | #Constraints:      12919
197.83/198.41	c #Conflicts:     130000 | #Constraints:      13919
197.83/198.41	c #Conflicts:     131000 | #Constraints:      14919
197.83/198.41	c INPROCESSING
197.83/198.41	c GARBAGE COLLECT
197.83/198.41	c #Conflicts:     132000 | #Constraints:       8730
197.83/198.41	c #Conflicts:     133000 | #Constraints:       9730
197.83/198.41	c #Conflicts:     134000 | #Constraints:      10730
197.83/198.41	c #Conflicts:     135000 | #Constraints:      11730
197.83/198.41	c #Conflicts:     136000 | #Constraints:      12730
197.83/198.41	c #Conflicts:     137000 | #Constraints:      13730
197.83/198.41	c #Conflicts:     138000 | #Constraints:      14730
197.83/198.41	c #Conflicts:     139000 | #Constraints:      15730
197.83/198.41	c INPROCESSING
197.83/198.41	c GARBAGE COLLECT
197.83/198.41	c #Conflicts:     140000 | #Constraints:       9321
197.83/198.41	c #Conflicts:     141000 | #Constraints:      10321
197.83/198.41	c #Conflicts:     142000 | #Constraints:      11321
197.83/198.41	c #Conflicts:     143000 | #Constraints:      12321
197.83/198.41	c #Conflicts:     144000 | #Constraints:      13321
795.09/797.21	c #Conflicts:     145000 | #Constraints:      14321
795.09/797.21	c #Conflicts:     146000 | #Constraints:      15321
795.09/797.21	c #Conflicts:     147000 | #Constraints:      16321
795.09/797.21	c #Conflicts:     148000 | #Constraints:      17321
795.09/797.21	c #Conflicts:     149000 | #Constraints:      18321
795.09/797.21	c #Conflicts:     150000 | #Constraints:      19321
795.09/797.21	c #Conflicts:     151000 | #Constraints:      20321
795.09/797.21	c #Conflicts:     152000 | #Constraints:      21321
795.09/797.21	c bounds 217 >= 146 @ 235.852
795.09/797.21	c #Conflicts:     153000 | #Constraints:      22394
795.09/797.21	c #Conflicts:     154000 | #Constraints:      23394
795.09/797.21	c #Conflicts:     155000 | #Constraints:      24394
795.09/797.21	c #Conflicts:     156000 | #Constraints:      25394
795.09/797.21	c #Conflicts:     157000 | #Constraints:      26394
795.09/797.21	c #Conflicts:     158000 | #Constraints:      27394
795.09/797.21	c #Conflicts:     159000 | #Constraints:      28394
795.09/797.21	c #Conflicts:     160000 | #Constraints:      29394
795.09/797.21	c #Conflicts:     161000 | #Constraints:      30394
795.09/797.21	c #Conflicts:     162000 | #Constraints:      31394
795.09/797.21	c #Conflicts:     163000 | #Constraints:      32394
795.09/797.21	c #Conflicts:     164000 | #Constraints:      33394
795.09/797.21	c #Conflicts:     165000 | #Constraints:      34394
795.09/797.21	c #Conflicts:     166000 | #Constraints:      35394
795.09/797.21	c #Conflicts:     167000 | #Constraints:      36394
795.09/797.21	c #Conflicts:     168000 | #Constraints:      37394
795.09/797.21	c #Conflicts:     169000 | #Constraints:      38394
795.09/797.21	c #Conflicts:     170000 | #Constraints:      39394
795.09/797.21	c #Conflicts:     171000 | #Constraints:      40394
795.09/797.21	c #Conflicts:     172000 | #Constraints:      41394
795.09/797.21	c #Conflicts:     173000 | #Constraints:      42394
795.09/797.21	c #Conflicts:     174000 | #Constraints:      43394
795.09/797.21	c INPROCESSING
795.09/797.21	c GARBAGE COLLECT
795.09/797.21	c #Conflicts:     175000 | #Constraints:      23286
795.09/797.21	c #Conflicts:     176000 | #Constraints:      24286
795.09/797.21	c #Conflicts:     177000 | #Constraints:      25286
795.09/797.21	c #Conflicts:     178000 | #Constraints:      26286
795.09/797.21	c #Conflicts:     179000 | #Constraints:      27286
795.09/797.21	c #Conflicts:     180000 | #Constraints:      28286
795.09/797.21	c #Conflicts:     181000 | #Constraints:      29286
795.09/797.21	c #Conflicts:     182000 | #Constraints:      30286
795.09/797.21	c INPROCESSING
795.09/797.21	c GARBAGE COLLECT
795.09/797.21	c #Conflicts:     183000 | #Constraints:      16274
795.09/797.21	c #Conflicts:     184000 | #Constraints:      17274
795.09/797.21	c #Conflicts:     185000 | #Constraints:      18274
795.09/797.21	c #Conflicts:     186000 | #Constraints:      19274
795.09/797.21	c #Conflicts:     187000 | #Constraints:      20274
795.09/797.21	c #Conflicts:     188000 | #Constraints:      21274
795.09/797.21	c #Conflicts:     189000 | #Constraints:      22274
795.09/797.21	c #Conflicts:     190000 | #Constraints:      23274
795.09/797.21	c #Conflicts:     191000 | #Constraints:      24274
795.09/797.21	c #Conflicts:     192000 | #Constraints:      25274
795.09/797.21	c #Conflicts:     193000 | #Constraints:      26274
795.09/797.21	c #Conflicts:     194000 | #Constraints:      27274
795.09/797.21	c #Conflicts:     195000 | #Constraints:      28274
795.09/797.21	c #Conflicts:     196000 | #Constraints:      29274
795.09/797.21	c #Conflicts:     197000 | #Constraints:      30274
795.09/797.21	c #Conflicts:     198000 | #Constraints:      31274
795.09/797.21	c #Conflicts:     199000 | #Constraints:      32274
795.09/797.21	c #Conflicts:     200000 | #Constraints:      33274
795.09/797.21	c #Conflicts:     201000 | #Constraints:      34274
795.09/797.21	c #Conflicts:     202000 | #Constraints:      35274
795.09/797.21	c #Conflicts:     203000 | #Constraints:      36274
795.09/797.21	c #Conflicts:     204000 | #Constraints:      37274
795.09/797.21	c #Conflicts:     205000 | #Constraints:      38274
795.09/797.21	c #Conflicts:     206000 | #Constraints:      39274
795.09/797.21	c #Conflicts:     207000 | #Constraints:      40274
795.09/797.21	c #Conflicts:     208000 | #Constraints:      41274
795.09/797.21	c #Conflicts:     209000 | #Constraints:      42274
795.09/797.21	c #Conflicts:     210000 | #Constraints:      43274
795.09/797.21	c #Conflicts:     211000 | #Constraints:      44274
795.09/797.21	c #Conflicts:     212000 | #Constraints:      45274
795.09/797.21	c #Conflicts:     213000 | #Constraints:      46274
795.09/797.21	c #Conflicts:     214000 | #Constraints:      47274
795.09/797.21	c #Conflicts:     215000 | #Constraints:      48274
795.09/797.21	c #Conflicts:     216000 | #Constraints:      49274
795.09/797.21	c #Conflicts:     217000 | #Constraints:      50274
795.09/797.21	c #Conflicts:     218000 | #Constraints:      51274
795.09/797.21	c #Conflicts:     219000 | #Constraints:      52274
795.09/797.21	c #Conflicts:     220000 | #Constraints:      53274
795.09/797.21	c INPROCESSING
1785.06/1789.85	c GARBAGE COLLECT
1785.06/1789.85	c #Conflicts:     221000 | #Constraints:      27829
1785.06/1789.85	c #Conflicts:     222000 | #Constraints:      28829
1785.06/1789.85	c #Conflicts:     223000 | #Constraints:      29829
1785.06/1789.85	c #Conflicts:     224000 | #Constraints:      30829
1785.06/1789.85	c #Conflicts:     225000 | #Constraints:      31829
1785.06/1789.85	c #Conflicts:     226000 | #Constraints:      32829
1785.06/1789.85	c #Conflicts:     227000 | #Constraints:      33829
1785.06/1789.85	c #Conflicts:     228000 | #Constraints:      34829
1785.06/1789.85	c #Conflicts:     229000 | #Constraints:      35829
1785.06/1789.85	c #Conflicts:     230000 | #Constraints:      36829
1785.06/1789.85	c #Conflicts:     231000 | #Constraints:      37829
1785.06/1789.85	c INPROCESSING
1785.06/1789.85	c GARBAGE COLLECT
1785.06/1789.85	c #Conflicts:     232000 | #Constraints:      21596
1785.06/1789.85	c #Conflicts:     233000 | #Constraints:      22596
1785.06/1789.85	c #Conflicts:     234000 | #Constraints:      23596
1785.06/1789.85	c #Conflicts:     235000 | #Constraints:      24596
1785.06/1789.85	c #Conflicts:     236000 | #Constraints:      25596
1785.06/1789.85	c #Conflicts:     237000 | #Constraints:      26596
1785.06/1789.85	c #Conflicts:     238000 | #Constraints:      27596
1785.06/1789.85	c #Conflicts:     239000 | #Constraints:      28596
1785.06/1789.85	c #Conflicts:     240000 | #Constraints:      29596
1785.06/1789.85	c #Conflicts:     241000 | #Constraints:      30596
1785.06/1789.85	c #Conflicts:     242000 | #Constraints:      31596
1785.06/1789.85	c #Conflicts:     243000 | #Constraints:      32596
1785.06/1789.85	c #Conflicts:     244000 | #Constraints:      33596
1785.06/1789.85	c #Conflicts:     245000 | #Constraints:      34596
1785.06/1789.85	c #Conflicts:     246000 | #Constraints:      35596
1785.06/1789.85	c #Conflicts:     247000 | #Constraints:      36596
1785.06/1789.85	c #Conflicts:     248000 | #Constraints:      37596
1785.06/1789.85	c #Conflicts:     249000 | #Constraints:      38596
1785.06/1789.85	c #Conflicts:     250000 | #Constraints:      39596
1785.06/1789.85	c #Conflicts:     251000 | #Constraints:      40596
1785.06/1789.85	c #Conflicts:     252000 | #Constraints:      41596
1785.06/1789.85	c #Conflicts:     253000 | #Constraints:      42596
1785.06/1789.85	c #Conflicts:     254000 | #Constraints:      43596
1785.06/1789.85	c #Conflicts:     255000 | #Constraints:      44596
1785.06/1789.85	c #Conflicts:     256000 | #Constraints:      45596
1785.06/1789.85	c #Conflicts:     257000 | #Constraints:      46596
1785.06/1789.85	c #Conflicts:     258000 | #Constraints:      47596
1785.06/1789.85	c #Conflicts:     259000 | #Constraints:      48596
1785.06/1789.85	c #Conflicts:     260000 | #Constraints:      49596
1785.06/1789.85	c #Conflicts:     261000 | #Constraints:      50596
1785.06/1789.85	c #Conflicts:     262000 | #Constraints:      51596
1785.06/1789.85	c #Conflicts:     263000 | #Constraints:      52596
1785.06/1789.85	c #Conflicts:     264000 | #Constraints:      53596
1785.06/1789.85	c #Conflicts:     265000 | #Constraints:      54596
1785.06/1789.85	c #Conflicts:     266000 | #Constraints:      55596
1785.06/1789.85	c #Conflicts:     267000 | #Constraints:      56596
1785.06/1789.85	c #Conflicts:     268000 | #Constraints:      57596
1785.06/1789.85	c #Conflicts:     269000 | #Constraints:      58596
1785.06/1789.85	c #Conflicts:     270000 | #Constraints:      59596
1785.06/1789.85	c #Conflicts:     271000 | #Constraints:      60596
1785.06/1789.85	c #Conflicts:     272000 | #Constraints:      61596
1785.06/1789.85	c INPROCESSING
1785.06/1789.85	c GARBAGE COLLECT
1785.06/1789.85	c #Conflicts:     273000 | #Constraints:      32388
1785.06/1789.85	c #Conflicts:     274000 | #Constraints:      33388
1785.06/1789.85	c #Conflicts:     275000 | #Constraints:      34388
1785.06/1789.85	c #Conflicts:     276000 | #Constraints:      35388
1785.06/1789.85	c #Conflicts:     277000 | #Constraints:      36388
1785.06/1789.85	c #Conflicts:     278000 | #Constraints:      37388
1785.06/1789.85	c #Conflicts:     279000 | #Constraints:      38388
1785.06/1789.85	c #Conflicts:     280000 | #Constraints:      39388
1785.06/1789.85	c #Conflicts:     281000 | #Constraints:      40388
1785.06/1789.85	c #Conflicts:     282000 | #Constraints:      41388
1785.06/1789.85	c #Conflicts:     283000 | #Constraints:      42388
1785.06/1789.85	c INPROCESSING
1785.06/1789.85	c GARBAGE COLLECT
1785.06/1789.85	c #Conflicts:     284000 | #Constraints:      27277
1785.06/1789.85	c #Conflicts:     285000 | #Constraints:      28277
1785.06/1789.85	c #Conflicts:     286000 | #Constraints:      29277
1785.06/1789.85	c #Conflicts:     287000 | #Constraints:      30277
1785.06/1789.85	c #Conflicts:     288000 | #Constraints:      31277
1785.06/1789.85	c #Conflicts:     289000 | #Constraints:      32277
1785.06/1789.85	c #Conflicts:     290000 | #Constraints:      33277
1785.06/1789.85	c #Conflicts:     291000 | #Constraints:      34277
1785.06/1789.85	c #Conflicts:     292000 | #Constraints:      35277
1785.06/1789.85	c #Conflicts:     293000 | #Constraints:      36277
1785.06/1789.85	c #Conflicts:     294000 | #Constraints:      37277
1785.06/1789.85	c #Conflicts:     295000 | #Constraints:      38277
1785.06/1789.85	c #Conflicts:     296000 | #Constraints:      39277
1785.06/1789.85	c #Conflicts:     297000 | #Constraints:      40277
3197.80/3206.36	c #Conflicts:     298000 | #Constraints:      41277
3197.80/3206.36	c #Conflicts:     299000 | #Constraints:      42277
3197.80/3206.36	c #Conflicts:     300000 | #Constraints:      43277
3197.80/3206.36	c #Conflicts:     301000 | #Constraints:      44277
3197.80/3206.36	c #Conflicts:     302000 | #Constraints:      45277
3197.80/3206.36	c #Conflicts:     303000 | #Constraints:      46277
3197.80/3206.36	c #Conflicts:     304000 | #Constraints:      47277
3197.80/3206.36	c #Conflicts:     305000 | #Constraints:      48277
3197.80/3206.36	c #Conflicts:     306000 | #Constraints:      49277
3197.80/3206.36	c #Conflicts:     307000 | #Constraints:      50277
3197.80/3206.36	c #Conflicts:     308000 | #Constraints:      51277
3197.80/3206.36	c #Conflicts:     309000 | #Constraints:      52277
3197.80/3206.36	c #Conflicts:     310000 | #Constraints:      53277
3197.80/3206.36	c #Conflicts:     311000 | #Constraints:      54277
3197.80/3206.36	c #Conflicts:     312000 | #Constraints:      55277
3197.80/3206.36	c #Conflicts:     313000 | #Constraints:      56277
3197.80/3206.36	c #Conflicts:     314000 | #Constraints:      57277
3197.80/3206.36	c #Conflicts:     315000 | #Constraints:      58277
3197.80/3206.36	c #Conflicts:     316000 | #Constraints:      59277
3197.80/3206.36	c #Conflicts:     317000 | #Constraints:      60277
3197.80/3206.36	c #Conflicts:     318000 | #Constraints:      61277
3197.80/3206.36	c #Conflicts:     319000 | #Constraints:      62277
3197.80/3206.36	c #Conflicts:     320000 | #Constraints:      63277
3197.80/3206.36	c #Conflicts:     321000 | #Constraints:      64277
3197.80/3206.36	c #Conflicts:     322000 | #Constraints:      65277
3197.80/3206.36	c #Conflicts:     323000 | #Constraints:      66277
3197.80/3206.36	c #Conflicts:     324000 | #Constraints:      67277
3197.80/3206.36	c #Conflicts:     325000 | #Constraints:      68277
3197.80/3206.36	c #Conflicts:     326000 | #Constraints:      69277
3197.80/3206.36	c #Conflicts:     327000 | #Constraints:      70277
3197.80/3206.36	c INPROCESSING
3197.80/3206.36	c GARBAGE COLLECT
3197.80/3206.36	c #Conflicts:     328000 | #Constraints:      36444
3197.80/3206.36	c #Conflicts:     329000 | #Constraints:      37444
3197.80/3206.36	c #Conflicts:     330000 | #Constraints:      38444
3197.80/3206.36	c #Conflicts:     331000 | #Constraints:      39444
3197.80/3206.36	c #Conflicts:     332000 | #Constraints:      40444
3197.80/3206.36	c #Conflicts:     333000 | #Constraints:      41444
3197.80/3206.36	c #Conflicts:     334000 | #Constraints:      42444
3197.80/3206.36	c #Conflicts:     335000 | #Constraints:      43444
3197.80/3206.36	c #Conflicts:     336000 | #Constraints:      44444
3197.80/3206.36	c #Conflicts:     337000 | #Constraints:      45444
3197.80/3206.36	c #Conflicts:     338000 | #Constraints:      46444
3197.80/3206.36	c #Conflicts:     339000 | #Constraints:      47444
3197.80/3206.36	c #Conflicts:     340000 | #Constraints:      48444
3197.80/3206.36	c INPROCESSING
3197.80/3206.36	c GARBAGE COLLECT
3197.80/3206.36	c #Conflicts:     341000 | #Constraints:      33852
3197.80/3206.36	c #Conflicts:     342000 | #Constraints:      34852
3197.80/3206.36	c #Conflicts:     343000 | #Constraints:      35852
3197.80/3206.36	c #Conflicts:     344000 | #Constraints:      36852
3197.80/3206.36	c #Conflicts:     345000 | #Constraints:      37852
3197.80/3206.36	c #Conflicts:     346000 | #Constraints:      38852
3197.80/3206.36	c #Conflicts:     347000 | #Constraints:      39852
3197.80/3206.36	c #Conflicts:     348000 | #Constraints:      40852
3197.80/3206.36	c #Conflicts:     349000 | #Constraints:      41852
3197.80/3206.36	c #Conflicts:     350000 | #Constraints:      42852
3197.80/3206.36	c #Conflicts:     351000 | #Constraints:      43852
3197.80/3206.36	c #Conflicts:     352000 | #Constraints:      44852
3197.80/3206.36	c #Conflicts:     353000 | #Constraints:      45852
3197.80/3206.36	c #Conflicts:     354000 | #Constraints:      46852
3197.80/3206.36	c #Conflicts:     355000 | #Constraints:      47852
3197.80/3206.36	c #Conflicts:     356000 | #Constraints:      48852
3197.80/3206.36	c #Conflicts:     357000 | #Constraints:      49852
3197.80/3206.36	c #Conflicts:     358000 | #Constraints:      50852
3197.80/3206.36	c #Conflicts:     359000 | #Constraints:      51852
3197.80/3206.36	c #Conflicts:     360000 | #Constraints:      52852
3197.80/3206.36	c #Conflicts:     361000 | #Constraints:      53852
3197.80/3206.36	c #Conflicts:     362000 | #Constraints:      54852
3197.80/3206.36	c #Conflicts:     363000 | #Constraints:      55852
3197.80/3206.36	c #Conflicts:     364000 | #Constraints:      56852
3197.80/3206.36	c #Conflicts:     365000 | #Constraints:      57852
3197.80/3206.36	c #Conflicts:     366000 | #Constraints:      58852
3197.80/3206.36	c #Conflicts:     367000 | #Constraints:      59852
3197.80/3206.36	c #Conflicts:     368000 | #Constraints:      60852
3197.80/3206.36	c #Conflicts:     369000 | #Constraints:      61852
3197.80/3206.36	c #Conflicts:     370000 | #Constraints:      62852
3197.80/3206.36	c #Conflicts:     371000 | #Constraints:      63852
3197.80/3206.36	c #Conflicts:     372000 | #Constraints:      64852
3197.80/3206.36	c #Conflicts:     373000 | #Constraints:      65852
3197.80/3206.36	c #Conflicts:     374000 | #Constraints:      66852
3600.02/3609.60	c #Conflicts:     375000 | #Constraints:      67852
3600.02/3609.60	c #Conflicts:     376000 | #Constraints:      68852
3600.02/3609.60	c #Conflicts:     377000 | #Constraints:      69852
3600.02/3609.60	c #Conflicts:     378000 | #Constraints:      70852
3600.02/3609.60	c #Conflicts:     379000 | #Constraints:      71852
3600.02/3609.60	c #Conflicts:     380000 | #Constraints:      72852
3600.02/3609.60	c #Conflicts:     381000 | #Constraints:      73852
3600.02/3609.60	c #Conflicts:     382000 | #Constraints:      74852
3600.02/3609.60	c #Conflicts:     383000 | #Constraints:      75852
3600.02/3609.60	c #Conflicts:     384000 | #Constraints:      76852
3600.02/3609.60	c #Conflicts:     385000 | #Constraints:      77852
3600.02/3609.60	c #Conflicts:     386000 | #Constraints:      78852
3600.02/3609.60	c #Conflicts:     387000 | #Constraints:      79852
3600.02/3609.60	c INPROCESSING
3600.02/3609.60	c GARBAGE COLLECT
3600.02/3609.60	c #Conflicts:     388000 | #Constraints:      41238
3600.02/3609.60	c #Conflicts:     389000 | #Constraints:      42238
3600.02/3609.60	c Program interrupted by user.
3600.02/3609.60	c cpu time 3590.75 s
3600.02/3609.60	c deterministic time 246766954884 2.47e+11
3600.02/3609.60	c optimization time 86.8172 s
3600.02/3609.60	c total solve time 3503.92 s
3600.02/3609.60	c core-guided solve time 3503.92 s
3600.02/3609.60	c propagation time 3258.36 s
3600.02/3609.60	c conflict analysis time 316.063 s
3600.02/3609.60	c propagations 60033772
3600.02/3609.60	c resolve steps 4390149
3600.02/3609.60	c decisions 6182238
3600.02/3609.60	c conflicts 389457
3600.02/3609.60	c restarts 944
3600.02/3609.60	c inprocessing phases 38
3600.02/3609.60	c input clauses 229
3600.02/3609.60	c input cardinalities 470
3600.02/3609.60	c input general constraints 680
3600.02/3609.60	c input average constraint length 45.38
3600.02/3609.60	c input average constraint degree 20.72
3600.02/3609.60	c learned clauses 84031
3600.02/3609.60	c learned cardinalities 2249
3600.02/3609.60	c learned general constraints 303201
3600.02/3609.60	c learned average constraint length 155.95
3600.02/3609.60	c learned average constraint degree 3383998.56
3600.02/3609.60	c watched constraints 241450
3600.02/3609.60	c counting constraints 62431
3600.02/3609.60	c gcd simplifications 30974
3600.02/3609.60	c detected cardinalities 1780
3600.02/3609.60	c weakened non-implied lits 6497530
3600.02/3609.60	c weakened non-implying lits 19963
3600.02/3609.60	c original variables 473
3600.02/3609.60	c clausal propagations 13698458
3600.02/3609.60	c cardinality propagations 881481
3600.02/3609.60	c watched propagations 10358539
3600.02/3609.60	c counting propagations 34684156
3600.02/3609.60	c watch lookups 67594870125
3600.02/3609.60	c watch backjump lookups 65446436488
3600.02/3609.60	c watch checks 103313146695
3600.02/3609.60	c propagation checks 10047652013
3600.02/3609.60	c constraint additions 232028163
3600.02/3609.60	c trail pops 66605389
3600.02/3609.60	c formula constraints 473
3600.02/3609.60	c learned constraints 389481
3600.02/3609.60	c bound constraints 111
3600.02/3609.60	c core-guided constraints 795
3600.02/3609.60	c encountered formula constraints 573456
3600.02/3609.60	c encountered learned constraints 3438013
3600.02/3609.60	c encountered bound constraints 75
3600.02/3609.60	c encountered core-guided constraints 768062
3600.02/3609.60	c LP total time 0 s
3600.02/3609.60	c LP solve time 0 s
3600.02/3609.60	c LP constraints added 0
3600.02/3609.60	c LP constraints removed 0
3600.02/3609.60	c LP pivots internal 0
3600.02/3609.60	c LP pivots root 0
3600.02/3609.60	c LP calls 0
3600.02/3609.60	c LP optimalities 0
3600.02/3609.60	c LP no pivot count 0
3600.02/3609.60	c LP infeasibilities 0
3600.02/3609.60	c LP valid Farkas constraints 0
3600.02/3609.60	c LP learned Farkas constraints 0
3600.02/3609.60	c LP basis resets 0
3600.02/3609.60	c LP cycling count 0
3600.02/3609.60	c LP singular count 0
3600.02/3609.60	c LP no primal count 0
3600.02/3609.60	c LP no farkas count 0
3600.02/3609.60	c LP other issue count 0
3600.02/3609.60	c LP Gomory cuts 0
3600.02/3609.60	c LP learned cuts 0
3600.02/3609.60	c LP deleted cuts 0
3600.02/3609.60	c LP encountered Gomory constraints 0
3600.02/3609.60	c LP encountered Farkas constraints 0
3600.02/3609.60	c LP encountered learned Farkas constraints 0
3600.02/3609.60	c CG auxiliary variables introduced 327
3600.02/3609.60	c CG solutions found 3
3600.02/3609.60	c CG cores constructed 101
3600.02/3609.60	c CG core cardinality constraints returned 0
3600.02/3609.60	c CG unit cores 0
3600.02/3609.60	c CG single cores 100
3600.02/3609.60	c CG blocks removed during cardinality reduction 0
3600.02/3609.60	c CG first core best 0
3600.02/3609.60	c CG decision core best 0
3600.02/3609.60	c CG core reduction tie 1
3600.02/3609.60	c CG core degree average 1.00
3600.02/3609.60	c CG core slack average 5.68
3600.02/3609.60	c CG exhausted 1
3600.02/3609.60	c CG exhaust time 52.1425 s
3600.02/3609.60	c CG trimmed 10
3600.02/3609.60	c CG trim time 0.017951 s
3600.02/3609.60	c CG minimized 0
3600.02/3609.60	c CG minimize time 0 s
3600.02/3609.60	c CG am1 prop time 0.026594 s
3600.02/3609.60	c CG # am1s reformulated 44
3600.02/3609.60	c CG lower bound derived from am1s 44
3600.02/3609.60	c CG # clausal cores 29
3600.02/3609.60	c CG # cardinality cores 0
3600.02/3609.60	c CG # pb cores 73
3600.02/3609.60	c CG # pb reforms 0
3600.02/3609.60	c CG # cores discarded because of pb reform 0
3600.02/3609.60	d LOWERBOUND 146
3600.02/3609.60	d NCORES 101
3600.02/3609.60	d NPBCORES 73
3600.02/3609.60	d NPBREFORM 0
3600.02/3609.60	d NTRIMMED 10
3600.02/3609.60	d NEXHAUSTED 1
3600.02/3609.60	d NAM1S 44
3600.02/3609.60	d AM1LB 44
3600.02/3609.60	o 217
3600.02/3609.60	s SATISFIABLE
3600.02/3609.60	v x1 x2 -x3 -x4 x5 x6 x7 x8 -x9 x10 x11 -x12 x13 x14 -x15 x16 x17 -x18 -x19 -x20 -x21 x22 -x23 x24 x25 -x26 -x27 x28 -x29 -x30 x31 x32 x33 x34 -x35 x36 -x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 x46 -x47 -x48 -x49 x50 -x51 x52 -x53 x54 -x55 x56 -x57 x58 x59 x60 x61 x62 x63 -x64 -x65 -x66 x67 -x68 -x69 x70 x71 -x72 -x73 x74 x75 -x76 x77 -x78 x79 x80 -x81 -x82 x83 -x84 x85 -x86 x87 x88 -x89 -x90 x91 -x92 -x93 x94 x95 -x96 -x97 x98 -x99 -x100 x101 x102 x103 -x104 x105 -x106 x107 x108 -x109 -x110 x111 -x112 -x113 x114 x115 x116 -x117 -x118 x119 x120 -x121 -x122 -x123 x124 -x125 -x126 x127 -x128 x129 -x130 -x131 x132 x133 -x134 x135 -x136 x137 x138 -x139 x140 x141 -x142 -x143 -x144 -x145 x146 x147 -x148 x149 -x150 x151 x152 -x153 -x154 x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 x163 -x164 -x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 -x175 x176 x177 x178 -x179 -x180 x181 -x182 -x183 -x184 x185 -x186 -x187 x188 x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 x200 -x201 -x202 -x203 x204 -x205 x206 x207 x208 -x209 -x210 x211 -x212 x213 -x214 -x215 x216 x217 -x218 -x219 x220 x221 x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 -x231 -x232 x233 -x234 -x235 x236 x237 x238 -x239 x240 -x241 -x242 -x243 -x244 -x245 x246 x247 -x248 -x249 -x250 x251 x252 -x253 x254 x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 x270 x271 x272 -x273 -x274 x275 -x276 -x277 x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 x286 -x287 -x288 -x289 x290 x291 x292 x293 x294 -x295 -x296 x297 x298 x299 x300 x301 -x302 -x303 -x304 x305 -x306 x307 -x308 -x309 -x310 -x311 x312 -x313 x314 -x315 x316 -x317 -x318 -x319 x320 -x321 -x322 x323 x324 -x325 -x326 -x327 -x328 x329 x330 -x331 -x332 x333 x334 x335 -x336 -x337 x338 -x339 x340 -x341 x342 x343 -x344 -x345 x346 -x347 -x348 x349 x350 x351 -x352 -x353 -x354 -x355 x356 -x357 x358 -x359 -x360 x361 x362 -x363 -x364 -x365 -x366 -x367 -x368 x369 -x370 x371 x372 x373 x374 x375 x376 x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 x389 -x390 x391 x392 -x393 x394 -x395 -x396 -x397 x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 x412 -x413 x414 -x415 -x416 -x417 x418 -x419 -x420 x421 x422 -x423 -x424 -x425 x426 x427 x428 x429 x430 x431 -x432 -x433 -x434 x435 x436 -x437 -x438 -x439 x440 -x441 -x442 x443 x444 -x445 -x446 x447 x448 -x449 x450 -x451 -x452 -x453 -x454 -x455 x456 x457 -x458 -x459 -x460 x461 x462 x463 x464 x465 -x466 -x467 x468 x469 x470 -x471 -x472 x473

Verifier Data 

OK	217

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454294-1721469924/watcher-4454294-1721469924 -o /tmp/evaluation-result-4454294-1721469924/solver-4454294-1721469924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721469936-1056731 --watchdog 3760 pb-oll-rs HOME/instance-4454294-1721469924.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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

solver pid=1056792, runsolver pid=1056789

[startup+0.100867 s]*
/proc/loadavg: 1.10 1.53 2.38 9/245 1056793
/proc/meminfo: memFree=128339444/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=40044 memory=7836 CPUtime=0.11 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 717 0 0 0 8 3 0 0 20 0 1 0 199150431 41005056 1959 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 10011 1959 1405 291 0 1545 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 40044 KiB
Current children cumulated memory: 7836 KiB

[startup+0.213303 s]*
/proc/loadavg: 1.10 1.53 2.38 7/245 1056793
/proc/meminfo: memFree=128329772/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=40836 memory=9156 CPUtime=0.21 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 1097 0 0 0 18 3 0 0 20 0 1 0 199150431 41816064 2289 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 10209 2289 1405 291 0 1743 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 40836 KiB
Current children cumulated memory: 9156 KiB

[startup+0.312994 s]*
/proc/loadavg: 1.10 1.53 2.38 8/245 1056793
/proc/meminfo: memFree=128326832/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=41232 memory=10212 CPUtime=0.31 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 1354 0 0 0 27 4 0 0 20 0 1 0 199150431 42221568 2553 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 10308 2553 1405 291 0 1842 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41232 KiB
Current children cumulated memory: 10212 KiB

[startup+0.700296 s]
/proc/loadavg: 1.10 1.53 2.38 8/245 1056793
/proc/meminfo: memFree=128316788/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=43836 memory=14632 CPUtime=0.68 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 1958 0 0 0 63 5 0 0 20 0 1 0 199150431 44888064 3658 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 10959 3658 1405 291 0 2493 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43836 KiB
Current children cumulated memory: 14632 KiB

[startup+1.50029 s]
/proc/loadavg: 1.10 1.53 2.38 8/245 1056793
/proc/meminfo: memFree=128296608/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=49536 memory=20776 CPUtime=1.49 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 2910 0 0 0 141 8 0 0 20 0 1 0 199150431 50724864 5194 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 12384 5194 1459 291 0 3918 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 49536 KiB
Current children cumulated memory: 20776 KiB

[startup+3.11265 s]
/proc/loadavg: 1.10 1.53 2.38 8/245 1056793
/proc/meminfo: memFree=128259680/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=60180 memory=28652 CPUtime=3.09 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 4402 0 0 0 296 13 0 0 20 0 1 0 199150431 61624320 7163 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 15045 7163 1459 291 0 6579 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 60180 KiB
Current children cumulated memory: 28652 KiB

[startup+6.30026 s]
/proc/loadavg: 1.33 1.57 2.39 8/245 1056793
/proc/meminfo: memFree=128232284/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=69600 memory=35496 CPUtime=6.27 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 5579 0 0 0 606 21 0 0 20 0 1 0 199150431 71270400 8874 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 17400 8874 1459 291 0 8934 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 69600 KiB
Current children cumulated memory: 35496 KiB

[startup+12.7003 s]
/proc/loadavg: 1.62 1.63 2.40 8/243 1056795
/proc/meminfo: memFree=128193348/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=77604 memory=45632 CPUtime=12.65 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 7070 0 0 0 1230 35 0 0 20 0 1 0 199150431 79466496 11408 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 19401 11408 1459 291 0 10935 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 77604 KiB
Current children cumulated memory: 45632 KiB

[startup+25.5003 s]
/proc/loadavg: 2.15 1.74 2.43 8/243 1056796
/proc/meminfo: memFree=128151472/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=97152 memory=55332 CPUtime=25.41 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 9038 0 0 0 2488 53 0 0 20 0 1 0 199150431 99483648 13833 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 24288 13833 1459 291 0 15822 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 97152 KiB
Current children cumulated memory: 55332 KiB

[startup+51.1133 s]
/proc/loadavg: 2.78 1.93 2.47 8/243 1056801
/proc/meminfo: memFree=128115384/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=101056 memory=64032 CPUtime=50.95 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 10184 0 0 0 5014 81 0 0 20 0 1 0 199150431 103481344 16008 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 25264 16008 1459 291 0 16798 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 101056 KiB
Current children cumulated memory: 64032 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 2.26 2.56 8/243 1056810
/proc/meminfo: memFree=128086684/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=108264 memory=70260 CPUtime=101.99 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 11729 0 0 0 10056 143 0 0 20 0 1 0 199150431 110862336 17565 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 27066 17565 1459 291 0 18600 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 108264 KiB
Current children cumulated memory: 70260 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.61 2.66 8/243 1056821
/proc/meminfo: memFree=128064008/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=110184 memory=77436 CPUtime=161.81 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 12186 0 0 0 15984 197 0 0 20 0 1 0 199150431 112828416 19359 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 27546 19359 1459 291 0 19080 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 110184 KiB
Current children cumulated memory: 77436 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.88 2.75 8/243 1056831
/proc/meminfo: memFree=128041768/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=112920 memory=79208 CPUtime=221.68 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 12736 0 0 0 21925 243 0 0 20 0 1 0 199150431 115630080 19802 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 28230 19802 1459 291 0 19764 0
Current children cumulated CPU time: 221.68 s
Current children cumulated vsize: 112920 KiB
Current children cumulated memory: 79208 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 3.10 2.84 8/242 1056842
/proc/meminfo: memFree=128031832/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=121092 memory=87320 CPUtime=281.53 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 14359 0 0 0 27876 277 0 0 20 0 1 0 199150431 123998208 21830 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 30273 21830 1459 291 0 21807 0
Current children cumulated CPU time: 281.53 s
Current children cumulated vsize: 121092 KiB
Current children cumulated memory: 87320 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.28 2.92 8/243 1056857
/proc/meminfo: memFree=128018384/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=144564 memory=98996 CPUtime=341.37 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 16063 0 0 0 33837 300 0 0 20 0 1 0 199150431 148033536 24749 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 36141 24749 1459 291 0 27675 0
Current children cumulated CPU time: 341.37 s
Current children cumulated vsize: 144564 KiB
Current children cumulated memory: 98996 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.45 3.00 8/243 1056868
/proc/meminfo: memFree=128010656/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=144820 memory=99360 CPUtime=401.22 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 16315 0 0 0 39799 323 0 0 20 0 1 0 199150431 148295680 24840 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 36205 24840 1459 291 0 27739 0
Current children cumulated CPU time: 401.22 s
Current children cumulated vsize: 144820 KiB
Current children cumulated memory: 99360 KiB

[startup+462.3 s]
/proc/loadavg: 5.10 3.79 3.15 8/243 1056878
/proc/meminfo: memFree=127997692/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=145184 memory=99536 CPUtime=461.07 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 16398 0 0 0 45755 352 0 0 20 0 1 0 199150431 148668416 24884 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 36296 24884 1459 291 0 27830 0

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

Current children cumulated memory: 159836 KiB

[startup+2862.3 s]
/proc/loadavg: 4.28 4.16 4.07 8/244 1057936
/proc/meminfo: memFree=127696576/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=210204 memory=160752 CPUtime=2854.7 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 26513 0 0 0 284644 826 0 0 20 0 1 0 199150431 215248896 40188 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 52551 40188 1459 291 0 44085 0
Current children cumulated CPU time: 2854.7 s
Current children cumulated vsize: 210204 KiB
Current children cumulated memory: 160752 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.13 4.06 8/244 1057946
/proc/meminfo: memFree=127695844/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=210204 memory=160756 CPUtime=2914.54 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 26581 0 0 0 290620 834 0 0 20 0 1 0 199150431 215248896 40189 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 52551 40189 1459 291 0 44085 0
Current children cumulated CPU time: 2914.54 s
Current children cumulated vsize: 210204 KiB
Current children cumulated memory: 160756 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.14 4.07 8/244 1057958
/proc/meminfo: memFree=127695120/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=210204 memory=160756 CPUtime=2974.39 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 26651 0 0 0 296595 844 0 0 20 0 1 0 199150431 215248896 40189 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 52551 40189 1459 291 0 44085 0
Current children cumulated CPU time: 2974.39 s
Current children cumulated vsize: 210204 KiB
Current children cumulated memory: 160756 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.14 4.08 8/243 1058355
/proc/meminfo: memFree=127794820/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=210204 memory=160760 CPUtime=3034.23 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 26722 0 0 0 302568 855 0 0 20 0 1 0 199150431 215248896 40190 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 52551 40190 1459 291 0 44085 0
Current children cumulated CPU time: 3034.23 s
Current children cumulated vsize: 210204 KiB
Current children cumulated memory: 160760 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.08 8/243 1058365
/proc/meminfo: memFree=127790180/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=210204 memory=160760 CPUtime=3094.07 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 26794 0 0 0 308544 863 0 0 20 0 1 0 199150431 215248896 40190 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 52551 40190 1459 291 0 44085 0
Current children cumulated CPU time: 3094.07 s
Current children cumulated vsize: 210204 KiB
Current children cumulated memory: 160760 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.08 8/243 1058376
/proc/meminfo: memFree=127786128/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=210204 memory=160764 CPUtime=3153.92 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 26866 0 0 0 314521 871 0 0 20 0 1 0 199150431 215248896 40191 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 52551 40191 1459 291 0 44085 0
Current children cumulated CPU time: 3153.92 s
Current children cumulated vsize: 210204 KiB
Current children cumulated memory: 160764 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.08 8/244 1058556
/proc/meminfo: memFree=127784520/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=210900 memory=161012 CPUtime=3213.76 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 27067 0 0 0 320498 878 0 0 20 0 1 0 199150431 215961600 40253 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 52725 40253 1459 291 0 44259 0
Current children cumulated CPU time: 3213.76 s
Current children cumulated vsize: 210900 KiB
Current children cumulated memory: 161012 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.13 4.09 8/244 1058566
/proc/meminfo: memFree=127783452/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=211156 memory=161248 CPUtime=3273.6 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 27199 0 0 0 326474 886 0 0 20 0 1 0 199150431 216223744 40312 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 52789 40312 1459 291 0 44323 0
Current children cumulated CPU time: 3273.6 s
Current children cumulated vsize: 211156 KiB
Current children cumulated memory: 161248 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.08 8/246 1058591
/proc/meminfo: memFree=127776908/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=211924 memory=163436 CPUtime=3333.44 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 27434 0 0 0 332451 893 0 0 20 0 1 0 199150431 217010176 40859 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 52981 40859 1459 291 0 44515 0
Current children cumulated CPU time: 3333.44 s
Current children cumulated vsize: 211924 KiB
Current children cumulated memory: 163436 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.08 8/247 1058602
/proc/meminfo: memFree=127767480/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=213724 memory=166492 CPUtime=3393.28 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 27807 0 0 0 338428 900 0 0 20 0 1 0 199150431 218853376 41623 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 53431 41623 1459 291 0 44965 0
Current children cumulated CPU time: 3393.28 s
Current children cumulated vsize: 213724 KiB
Current children cumulated memory: 166492 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.16 4.10 8/247 1058615
/proc/meminfo: memFree=127752680/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=220428 memory=171940 CPUtime=3453.12 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 28825 0 0 0 344404 908 0 0 20 0 1 0 199150431 225718272 42985 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 55107 42985 1459 291 0 46641 0
Current children cumulated CPU time: 3453.12 s
Current children cumulated vsize: 220428 KiB
Current children cumulated memory: 171940 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.10 8/245 1058625
/proc/meminfo: memFree=127743256/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=225072 memory=177308 CPUtime=3512.95 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 29548 0 0 0 350381 914 0 0 20 0 1 0 199150431 230473728 44327 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 56268 44327 1459 291 0 47802 0
Current children cumulated CPU time: 3512.95 s
Current children cumulated vsize: 225072 KiB
Current children cumulated memory: 177308 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.15 4.10 8/245 1058636
/proc/meminfo: memFree=127730100/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=226432 memory=186148 CPUtime=3572.79 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 29882 0 0 0 356357 922 0 0 20 0 1 0 199150431 231866368 46537 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 56608 46537 1459 291 0 48142 0
Current children cumulated CPU time: 3572.79 s
Current children cumulated vsize: 226432 KiB
Current children cumulated memory: 186148 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.6 s]
/proc/loadavg: 4.11 4.13 4.09 8/245 1058642
/proc/meminfo: memFree=127727564/131655788 swapFree=131071996/131071996
[pid=1056792] ppid=1056789 vsize=226432 memory=186148 CPUtime=3600.02 cores=1,3
/proc/1056792/stat : 1056792 (pb-oll-rs) R 1056789 1056792 1056719 0 -1 4194304 29882 0 0 0 359074 928 0 0 20 0 1 0 199150431 231866368 46537 134679101440 4194304 5384485 140735531338528 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 5674704 5678696 38764544 140735531344917 140735531344994 140735531344994 140735531352011 0
/proc/1056792/statm: 56608 46537 1459 291 0 48142 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 226432 KiB
Current children cumulated memory: 186148 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.75 s, system=9.29235 s

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

Child status: 0

Real time (s): 3609.6
CPU time (s): 3600.04
CPU user time (s): 3590.75
CPU system time (s): 9.29235
CPU usage (%): 99.735
Max. virtual memory (cumulated for all children) (KiB): 226432
Max. memory (cumulated for all children) (KiB): 186148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.75
system time used= 9.29235
maximum resident set size= 186148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29902
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= 52
involuntary context switches= 2665


# summary of solver processes directly reported to runsolver:
#   pid: 1056792
#   total CPU time (s): 3600.04
#   total CPU user time (s): 3590.75
#   total CPU system time (s): 9.29235

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.9446 second user time and 35.178 second system time

The end

Launcher Data 

Begin job on nodeC002 at 2024-07-20 12:05:36
IDJOB=4454294
IDBENCH=147549
IDSOLVER=3082
FILE ID=nodeC002/4454294-1721469924
RUNJOBID= nodeC002-1721469936-1056731
SLURM_JOB_ID= 7545731
Free space on /tmp= 723776 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_11.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4454294-1721469924/watcher-4454294-1721469924 -o /tmp/evaluation-result-4454294-1721469924/solver-4454294-1721469924 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC002-1721469936-1056731 --watchdog 3760  pb-oll-rs HOME/instance-4454294-1721469924.opb

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

MD5SUM BENCH= 0daa95194506fa379fbbdb25b381edfb
RANDOM SEED=651035397

nodeC002.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		: 1197.173
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.38
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.190
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.31
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.150
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.38
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.150
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.31
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.165
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.38
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.152
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.31
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.151
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.38
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.153
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.31
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128350136 kB
MemAvailable:   129876388 kB
Buffers:          588932 kB
Cached:          1772148 kB
SwapCached:            0 kB
Active:          1071500 kB
Inactive:        1650108 kB
Active(anon):       2588 kB
Inactive(anon):   403836 kB
Active(file):    1068912 kB
Inactive(file):  1246272 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7932 kB
Writeback:             0 kB
AnonPages:        360576 kB
Mapped:           107444 kB
Shmem:             45896 kB
KReclaimable:     102196 kB
Slab:             207632 kB
SReclaimable:     102196 kB
SUnreclaim:       105436 kB
KernelStack:        3696 kB
PageTables:         9980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     678932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            63712 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 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:      252744 kB
DirectMap2M:    34254848 kB
DirectMap1G:    101711872 kB

Free space on /tmp at the end= 723772 MiB
End job on nodeC002 at 2024-07-20 13:05:46