Trace number 4454296

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

DiagnosticValue
AM1LB49
LOWERBOUND145
NAM1S49
NCORES95
NEXHAUSTED1
NPBCORES72
NPBREFORM0
NTRIMMED2

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_13.opb.PB06.opb
MD5SUM15e811bd466a2fe28afb8f0d217d004b
Bench CategoryOPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark183
Best CPU time to get the best result obtained on this benchmark3558
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables476
Total number of constraints476
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints476
Minimum length of a constraint3
Maximum length of a constraint20
Number of terms in the objective function 476
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 476
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 476
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c [STEP] parsing instance
0.00/0.01	c [STEP] solving
0.00/0.01	c #variables 476 #constraints 476
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= 0 @ 0.007962
0.00/0.01	c stratification level: 0
0.00/0.04	c bounds - >= 50 @ 0.010041
0.00/0.04	c bounds - >= 51 @ 0.010196
0.00/0.04	c bounds - >= 52 @ 0.010504
0.00/0.04	c bounds - >= 53 @ 0.010794
0.00/0.04	c bounds - >= 54 @ 0.011078
0.00/0.04	c bounds - >= 55 @ 0.011366
0.00/0.04	c bounds - >= 56 @ 0.011639
0.00/0.04	c bounds - >= 57 @ 0.011929
0.00/0.04	c bounds - >= 58 @ 0.01222
0.00/0.04	c bounds - >= 59 @ 0.012506
0.00/0.04	c bounds - >= 60 @ 0.012789
0.00/0.04	c bounds - >= 61 @ 0.013076
0.00/0.04	c bounds - >= 62 @ 0.013352
0.00/0.04	c bounds - >= 63 @ 0.013641
0.00/0.04	c bounds - >= 64 @ 0.013936
0.00/0.04	c bounds - >= 65 @ 0.014236
0.00/0.04	c bounds - >= 66 @ 0.014523
0.00/0.04	c bounds - >= 67 @ 0.01482
0.00/0.04	c bounds - >= 68 @ 0.014986
0.00/0.04	c bounds - >= 69 @ 0.014986
0.00/0.04	c bounds - >= 70 @ 0.014986
0.00/0.04	c bounds - >= 71 @ 0.015072
0.00/0.04	c bounds - >= 72 @ 0.015398
0.00/0.04	c bounds - >= 73 @ 0.015715
0.00/0.04	c bounds - >= 74 @ 0.016071
0.00/0.04	c bounds - >= 75 @ 0.016391
0.00/0.04	c bounds - >= 76 @ 0.016724
0.00/0.04	c bounds - >= 77 @ 0.017058
0.00/0.04	c bounds - >= 78 @ 0.017403
0.00/0.04	c bounds - >= 79 @ 0.017729
0.00/0.04	c bounds - >= 80 @ 0.017969
0.00/0.04	c bounds - >= 81 @ 0.017969
0.00/0.04	c bounds - >= 82 @ 0.017969
0.00/0.04	c bounds - >= 83 @ 0.017969
0.00/0.04	c bounds - >= 84 @ 0.017969
0.00/0.04	c bounds - >= 85 @ 0.017969
0.00/0.04	c bounds - >= 86 @ 0.017969
0.00/0.04	c bounds - >= 87 @ 0.017969
0.00/0.04	c bounds - >= 88 @ 0.017969
0.00/0.04	c bounds - >= 89 @ 0.017969
0.00/0.04	c bounds - >= 90 @ 0.017969
0.00/0.04	c bounds - >= 91 @ 0.017982
0.00/0.04	c bounds - >= 92 @ 0.018345
0.00/0.04	c bounds - >= 93 @ 0.018705
0.00/0.04	c bounds - >= 94 @ 0.019065
0.00/0.04	c bounds - >= 95 @ 0.01943
0.00/0.04	c bounds - >= 96 @ 0.019824
0.00/0.04	c bounds - >= 97 @ 0.020252
0.00/0.04	c bounds - >= 98 @ 0.020638
0.00/0.04	c bounds - >= 99 @ 0.021029
0.00/0.04	c bounds - >= 100 @ 0.021404
0.00/0.04	c bounds - >= 101 @ 0.021772
0.00/0.04	c bounds - >= 102 @ 0.021942
0.00/0.04	c bounds - >= 103 @ 0.021942
0.00/0.04	c bounds - >= 104 @ 0.021942
0.00/0.04	c bounds - >= 105 @ 0.021942
0.00/0.04	c bounds - >= 106 @ 0.021942
0.00/0.04	c bounds - >= 107 @ 0.022017
0.00/0.04	c bounds - >= 108 @ 0.022395
0.00/0.04	c bounds - >= 109 @ 0.022748
0.00/0.04	c bounds - >= 110 @ 0.022935
0.00/0.04	c bounds - >= 111 @ 0.022935
0.00/0.04	c bounds - >= 112 @ 0.022935
0.00/0.04	c bounds - >= 113 @ 0.022935
0.00/0.04	c bounds - >= 114 @ 0.022935
0.00/0.04	c bounds - >= 115 @ 0.022935
0.00/0.04	c bounds - >= 116 @ 0.022935
0.00/0.04	c bounds - >= 117 @ 0.022935
0.00/0.04	c bounds - >= 118 @ 0.022935
0.00/0.04	c bounds - >= 119 @ 0.022935
0.00/0.04	c bounds - >= 120 @ 0.022935
0.00/0.04	c bounds - >= 121 @ 0.022935
0.00/0.04	c bounds - >= 122 @ 0.022935
0.00/0.04	c bounds - >= 123 @ 0.023173
0.00/0.04	c bounds - >= 124 @ 0.023666
0.00/0.04	c bounds - >= 125 @ 0.023923
0.00/0.04	c finalizing WCE round: reformulating cores
34.55/34.74	c #Conflicts:       1000 | #Constraints:       1641
34.55/34.74	c #Conflicts:       2000 | #Constraints:       2643
34.55/34.74	c INPROCESSING
34.55/34.74	c GARBAGE COLLECT
34.55/34.74	c #Conflicts:       3000 | #Constraints:       2562
34.55/34.74	c #Conflicts:       4000 | #Constraints:       3564
34.55/34.74	c INPROCESSING
34.55/34.74	c GARBAGE COLLECT
34.55/34.74	c #Conflicts:       5000 | #Constraints:       2969
34.55/34.74	c #Conflicts:       6000 | #Constraints:       3971
34.55/34.74	c INPROCESSING
34.55/34.74	c GARBAGE COLLECT
34.55/34.74	c #Conflicts:       7000 | #Constraints:       2976
34.55/34.74	c #Conflicts:       8000 | #Constraints:       3978
34.55/34.74	c #Conflicts:       9000 | #Constraints:       4982
34.55/34.74	c INPROCESSING
34.55/34.74	c GARBAGE COLLECT
34.55/34.74	c #Conflicts:      10000 | #Constraints:       3688
34.55/34.74	c #Conflicts:      11000 | #Constraints:       4690
34.55/34.74	c #Conflicts:      12000 | #Constraints:       5692
34.55/34.74	c INPROCESSING
34.55/34.74	c GARBAGE COLLECT
34.55/34.74	c #Conflicts:      13000 | #Constraints:       4140
34.55/34.74	c #Conflicts:      14000 | #Constraints:       5142
34.55/34.74	c #Conflicts:      15000 | #Constraints:       6144
34.55/34.74	c INPROCESSING
34.55/34.74	c GARBAGE COLLECT
34.55/34.74	c #Conflicts:      16000 | #Constraints:       4374
34.55/34.74	c #Conflicts:      17000 | #Constraints:       5376
34.55/34.74	c #Conflicts:      18000 | #Constraints:       6378
34.55/34.74	c INPROCESSING
34.55/34.74	c GARBAGE COLLECT
34.55/34.74	c #Conflicts:      19000 | #Constraints:       4396
34.55/34.74	c #Conflicts:      20000 | #Constraints:       5398
34.55/34.74	c #Conflicts:      21000 | #Constraints:       6400
34.55/34.74	c INPROCESSING
34.55/34.74	c GARBAGE COLLECT
34.55/34.74	c #Conflicts:      22000 | #Constraints:       4211
34.55/34.74	c #Conflicts:      23000 | #Constraints:       5213
34.55/34.74	c #Conflicts:      24000 | #Constraints:       6217
34.55/34.74	c #Conflicts:      25000 | #Constraints:       7219
34.55/34.74	c INPROCESSING
34.55/34.74	c GARBAGE COLLECT
34.55/34.74	c #Conflicts:      26000 | #Constraints:       4831
34.55/34.74	c #Conflicts:      27000 | #Constraints:       5833
34.55/34.74	c #Conflicts:      28000 | #Constraints:       6835
34.55/34.74	c #Conflicts:      29000 | #Constraints:       7839
34.55/34.74	c INPROCESSING
34.55/34.74	c GARBAGE COLLECT
34.55/34.74	c #Conflicts:      30000 | #Constraints:       5239
34.55/34.74	c #Conflicts:      31000 | #Constraints:       6241
34.55/34.74	c #Conflicts:      32000 | #Constraints:       7243
34.55/34.74	c #Conflicts:      33000 | #Constraints:       8247
34.55/34.74	c INPROCESSING
34.55/34.74	c GARBAGE COLLECT
34.55/34.74	c #Conflicts:      34000 | #Constraints:       5452
34.55/34.74	c #Conflicts:      35000 | #Constraints:       6454
34.55/34.74	c #Conflicts:      36000 | #Constraints:       7456
34.55/34.74	c #Conflicts:      37000 | #Constraints:       8460
34.55/34.74	c INPROCESSING
34.55/34.74	c GARBAGE COLLECT
34.55/34.74	c #Conflicts:      38000 | #Constraints:       5458
34.55/34.74	c #Conflicts:      39000 | #Constraints:       6460
34.55/34.74	c #Conflicts:      40000 | #Constraints:       7462
34.55/34.74	c #Conflicts:      41000 | #Constraints:       8466
34.55/34.74	c INPROCESSING
34.55/34.74	c GARBAGE COLLECT
34.55/34.74	c #Conflicts:      42000 | #Constraints:       5275
34.55/34.74	c #Conflicts:      43000 | #Constraints:       6277
34.55/34.74	c #Conflicts:      44000 | #Constraints:       7281
34.55/34.74	c #Conflicts:      45000 | #Constraints:       8283
34.55/34.74	c #Conflicts:      46000 | #Constraints:       9285
34.55/34.74	c INPROCESSING
34.55/34.74	c GARBAGE COLLECT
34.55/34.74	c #Conflicts:      47000 | #Constraints:       5887
34.55/34.74	c #Conflicts:      48000 | #Constraints:       6889
34.55/34.74	c #Conflicts:      49000 | #Constraints:       7891
34.55/34.74	c #Conflicts:      50000 | #Constraints:       8895
34.55/34.74	c #Conflicts:      51000 | #Constraints:       9897
34.55/34.75	c INPROCESSING
34.55/34.75	c GARBAGE COLLECT
34.55/34.75	c #Conflicts:      52000 | #Constraints:       6297
34.55/34.75	c #Conflicts:      53000 | #Constraints:       7299
34.55/34.75	c #Conflicts:      54000 | #Constraints:       8301
34.55/34.75	c #Conflicts:      55000 | #Constraints:       9305
34.55/34.75	c #Conflicts:      56000 | #Constraints:      10307
34.55/34.75	c INPROCESSING
34.55/34.75	c GARBAGE COLLECT
34.55/34.75	c bounds 216 >= 125 @ 33.6844
34.55/34.75	c bounds 216 >= 126 @ 33.691
34.55/34.75	c bounds 216 >= 127 @ 33.6931
34.55/34.75	c bounds 216 >= 128 @ 33.6946
34.55/34.75	c bounds 216 >= 129 @ 33.6965
34.55/34.75	c bounds 216 >= 130 @ 33.6982
34.55/34.75	c bounds 216 >= 131 @ 33.6983
34.55/34.75	c bounds 216 >= 132 @ 33.6988
34.55/34.75	c bounds 216 >= 133 @ 33.7001
34.55/34.75	c bounds 216 >= 134 @ 33.7029
34.55/34.75	c bounds 216 >= 135 @ 33.7063
34.55/34.75	c bounds 216 >= 136 @ 33.7083
34.55/34.75	c bounds 216 >= 137 @ 33.7316
34.55/34.75	c finalizing WCE round: reformulating cores
44.22/44.48	c #Conflicts:      57000 | #Constraints:       6635
44.22/44.48	c #Conflicts:      58000 | #Constraints:       7637
44.22/44.48	c #Conflicts:      59000 | #Constraints:       8639
44.22/44.48	c #Conflicts:      60000 | #Constraints:       9643
44.22/44.48	c #Conflicts:      61000 | #Constraints:      10645
44.22/44.48	c INPROCESSING
44.22/44.48	c GARBAGE COLLECT
44.22/44.48	c #Conflicts:      62000 | #Constraints:       6615
44.22/44.48	c #Conflicts:      63000 | #Constraints:       7617
44.22/44.48	c #Conflicts:      64000 | #Constraints:       8619
44.22/44.48	c #Conflicts:      65000 | #Constraints:       9623
44.22/44.48	c bounds 214 >= 137 @ 40.7456
44.22/44.48	c bounds 214 >= 138 @ 40.7638
44.22/44.48	c bounds 214 >= 139 @ 40.7833
44.22/44.48	c bounds 214 >= 140 @ 40.8391
44.22/44.48	c bounds 214 >= 141 @ 41.1134
44.22/44.48	c #Conflicts:      66000 | #Constraints:      10825
44.22/44.48	c finalizing WCE round: reformulating cores
192.36/193.08	c INPROCESSING
192.36/193.08	c GARBAGE COLLECT
192.36/193.08	c #Conflicts:      67000 | #Constraints:       6581
192.36/193.08	c #Conflicts:      68000 | #Constraints:       7583
192.36/193.08	c bounds 213 >= 140 @ 45.0816
192.36/193.08	c #Conflicts:      69000 | #Constraints:       8589
192.36/193.08	c bounds 213 >= 142 @ 46.5827
192.36/193.08	c bounds 213 >= 143 @ 46.712
192.36/193.08	c #Conflicts:      70000 | #Constraints:       9638
192.36/193.08	c bounds 213 >= 144 @ 50.001
192.36/193.08	c #Conflicts:      71000 | #Constraints:      10729
192.36/193.08	c #Conflicts:      72000 | #Constraints:      11729
192.36/193.08	c INPROCESSING
192.36/193.08	c GARBAGE COLLECT
192.36/193.08	c #Conflicts:      73000 | #Constraints:       7291
192.36/193.08	c #Conflicts:      74000 | #Constraints:       8291
192.36/193.08	c #Conflicts:      75000 | #Constraints:       9291
192.36/193.08	c #Conflicts:      76000 | #Constraints:      10291
192.36/193.08	c #Conflicts:      77000 | #Constraints:      11291
192.36/193.08	c #Conflicts:      78000 | #Constraints:      12291
192.36/193.08	c INPROCESSING
192.36/193.08	c GARBAGE COLLECT
192.36/193.08	c #Conflicts:      79000 | #Constraints:       7692
192.36/193.08	c #Conflicts:      80000 | #Constraints:       8692
192.36/193.08	c #Conflicts:      81000 | #Constraints:       9692
192.36/193.08	c #Conflicts:      82000 | #Constraints:      10692
192.36/193.08	c #Conflicts:      83000 | #Constraints:      11692
192.36/193.08	c #Conflicts:      84000 | #Constraints:      12692
192.36/193.08	c INPROCESSING
192.36/193.08	c GARBAGE COLLECT
192.36/193.08	c #Conflicts:      85000 | #Constraints:       7895
192.36/193.08	c #Conflicts:      86000 | #Constraints:       8895
192.36/193.08	c #Conflicts:      87000 | #Constraints:       9895
192.36/193.08	c #Conflicts:      88000 | #Constraints:      10895
192.36/193.08	c #Conflicts:      89000 | #Constraints:      11895
192.36/193.08	c #Conflicts:      90000 | #Constraints:      12895
192.36/193.08	c INPROCESSING
192.36/193.08	c GARBAGE COLLECT
192.36/193.08	c #Conflicts:      91000 | #Constraints:       7903
192.36/193.08	c #Conflicts:      92000 | #Constraints:       8903
192.36/193.08	c #Conflicts:      93000 | #Constraints:       9903
192.36/193.08	c #Conflicts:      94000 | #Constraints:      10903
192.36/193.08	c #Conflicts:      95000 | #Constraints:      11903
192.36/193.08	c #Conflicts:      96000 | #Constraints:      12903
192.36/193.08	c INPROCESSING
192.36/193.08	c GARBAGE COLLECT
192.36/193.08	c #Conflicts:      97000 | #Constraints:       7713
192.36/193.08	c #Conflicts:      98000 | #Constraints:       8713
192.36/193.08	c #Conflicts:      99000 | #Constraints:       9713
192.36/193.08	c #Conflicts:     100000 | #Constraints:      10713
192.36/193.08	c #Conflicts:     101000 | #Constraints:      11713
192.36/193.08	c #Conflicts:     102000 | #Constraints:      12713
192.36/193.08	c #Conflicts:     103000 | #Constraints:      13713
192.36/193.08	c INPROCESSING
192.36/193.08	c GARBAGE COLLECT
192.36/193.08	c #Conflicts:     104000 | #Constraints:       8307
192.36/193.08	c #Conflicts:     105000 | #Constraints:       9307
192.36/193.08	c #Conflicts:     106000 | #Constraints:      10307
192.36/193.08	c bounds 213 >= 145 @ 94.7507
192.36/193.08	c #Conflicts:     107000 | #Constraints:      11392
192.36/193.08	c #Conflicts:     108000 | #Constraints:      12392
192.36/193.08	c #Conflicts:     109000 | #Constraints:      13392
192.36/193.08	c #Conflicts:     110000 | #Constraints:      14392
192.36/193.08	c INPROCESSING
192.36/193.08	c GARBAGE COLLECT
192.36/193.08	c #Conflicts:     111000 | #Constraints:       8761
192.36/193.08	c #Conflicts:     112000 | #Constraints:       9761
192.36/193.08	c #Conflicts:     113000 | #Constraints:      10761
192.36/193.08	c #Conflicts:     114000 | #Constraints:      11761
192.36/193.08	c #Conflicts:     115000 | #Constraints:      12761
192.36/193.08	c #Conflicts:     116000 | #Constraints:      13761
192.36/193.08	c #Conflicts:     117000 | #Constraints:      14761
192.36/193.08	c #Conflicts:     118000 | #Constraints:      15761
192.36/193.08	c #Conflicts:     119000 | #Constraints:      16761
192.36/193.08	c #Conflicts:     120000 | #Constraints:      17761
192.36/193.08	c #Conflicts:     121000 | #Constraints:      18761
192.36/193.08	c #Conflicts:     122000 | #Constraints:      19761
192.36/193.08	c #Conflicts:     123000 | #Constraints:      20761
192.36/193.08	c #Conflicts:     124000 | #Constraints:      21761
192.36/193.08	c #Conflicts:     125000 | #Constraints:      22761
192.36/193.08	c #Conflicts:     126000 | #Constraints:      23761
192.36/193.08	c #Conflicts:     127000 | #Constraints:      24761
192.36/193.08	c #Conflicts:     128000 | #Constraints:      25761
192.36/193.08	c #Conflicts:     129000 | #Constraints:      26761
192.36/193.08	c #Conflicts:     130000 | #Constraints:      27761
192.36/193.08	c #Conflicts:     131000 | #Constraints:      28761
192.36/193.08	c #Conflicts:     132000 | #Constraints:      29761
192.36/193.08	c #Conflicts:     133000 | #Constraints:      30761
192.36/193.08	c #Conflicts:     134000 | #Constraints:      31761
192.36/193.08	c #Conflicts:     135000 | #Constraints:      32761
192.36/193.08	c #Conflicts:     136000 | #Constraints:      33761
192.36/193.08	c #Conflicts:     137000 | #Constraints:      34761
721.32/723.78	c #Conflicts:     138000 | #Constraints:      35761
721.32/723.78	c #Conflicts:     139000 | #Constraints:      36761
721.32/723.78	c #Conflicts:     140000 | #Constraints:      37761
721.32/723.78	c INPROCESSING
721.32/723.78	c GARBAGE COLLECT
721.32/723.78	c #Conflicts:     141000 | #Constraints:      20250
721.32/723.78	c #Conflicts:     142000 | #Constraints:      21250
721.32/723.78	c #Conflicts:     143000 | #Constraints:      22250
721.32/723.78	c #Conflicts:     144000 | #Constraints:      23250
721.32/723.78	c #Conflicts:     145000 | #Constraints:      24250
721.32/723.78	c #Conflicts:     146000 | #Constraints:      25250
721.32/723.78	c #Conflicts:     147000 | #Constraints:      26250
721.32/723.78	c #Conflicts:     148000 | #Constraints:      27250
721.32/723.78	c INPROCESSING
721.32/723.78	c GARBAGE COLLECT
721.32/723.78	c #Conflicts:     149000 | #Constraints:      14953
721.32/723.78	c #Conflicts:     150000 | #Constraints:      15953
721.32/723.78	c #Conflicts:     151000 | #Constraints:      16953
721.32/723.78	c #Conflicts:     152000 | #Constraints:      17953
721.32/723.78	c #Conflicts:     153000 | #Constraints:      18953
721.32/723.78	c #Conflicts:     154000 | #Constraints:      19953
721.32/723.78	c #Conflicts:     155000 | #Constraints:      20953
721.32/723.78	c #Conflicts:     156000 | #Constraints:      21953
721.32/723.78	c #Conflicts:     157000 | #Constraints:      22953
721.32/723.78	c #Conflicts:     158000 | #Constraints:      23953
721.32/723.78	c #Conflicts:     159000 | #Constraints:      24953
721.32/723.78	c #Conflicts:     160000 | #Constraints:      25953
721.32/723.78	c #Conflicts:     161000 | #Constraints:      26953
721.32/723.78	c #Conflicts:     162000 | #Constraints:      27953
721.32/723.78	c #Conflicts:     163000 | #Constraints:      28953
721.32/723.78	c #Conflicts:     164000 | #Constraints:      29953
721.32/723.78	c #Conflicts:     165000 | #Constraints:      30953
721.32/723.78	c #Conflicts:     166000 | #Constraints:      31953
721.32/723.78	c #Conflicts:     167000 | #Constraints:      32953
721.32/723.78	c #Conflicts:     168000 | #Constraints:      33953
721.32/723.78	c #Conflicts:     169000 | #Constraints:      34953
721.32/723.78	c #Conflicts:     170000 | #Constraints:      35953
721.32/723.78	c #Conflicts:     171000 | #Constraints:      36953
721.32/723.78	c #Conflicts:     172000 | #Constraints:      37953
721.32/723.78	c #Conflicts:     173000 | #Constraints:      38953
721.32/723.78	c #Conflicts:     174000 | #Constraints:      39953
721.32/723.78	c #Conflicts:     175000 | #Constraints:      40953
721.32/723.79	c #Conflicts:     176000 | #Constraints:      41953
721.32/723.79	c #Conflicts:     177000 | #Constraints:      42953
721.32/723.79	c #Conflicts:     178000 | #Constraints:      43953
721.32/723.79	c #Conflicts:     179000 | #Constraints:      44953
721.32/723.79	c #Conflicts:     180000 | #Constraints:      45953
721.32/723.79	c #Conflicts:     181000 | #Constraints:      46953
721.32/723.79	c #Conflicts:     182000 | #Constraints:      47953
721.32/723.79	c INPROCESSING
721.32/723.79	c GARBAGE COLLECT
721.32/723.79	c #Conflicts:     183000 | #Constraints:      25567
721.32/723.79	c #Conflicts:     184000 | #Constraints:      26567
721.32/723.79	c #Conflicts:     185000 | #Constraints:      27567
721.32/723.79	c #Conflicts:     186000 | #Constraints:      28567
721.32/723.79	c #Conflicts:     187000 | #Constraints:      29567
721.32/723.79	c #Conflicts:     188000 | #Constraints:      30567
721.32/723.79	c #Conflicts:     189000 | #Constraints:      31567
721.32/723.79	c #Conflicts:     190000 | #Constraints:      32567
721.32/723.79	c #Conflicts:     191000 | #Constraints:      33567
721.32/723.79	c INPROCESSING
721.32/723.79	c GARBAGE COLLECT
721.32/723.79	c #Conflicts:     192000 | #Constraints:      19299
721.32/723.79	c #Conflicts:     193000 | #Constraints:      20299
721.32/723.79	c #Conflicts:     194000 | #Constraints:      21299
721.32/723.79	c #Conflicts:     195000 | #Constraints:      22299
721.32/723.79	c #Conflicts:     196000 | #Constraints:      23299
721.32/723.79	c #Conflicts:     197000 | #Constraints:      24299
721.32/723.79	c #Conflicts:     198000 | #Constraints:      25299
721.32/723.79	c #Conflicts:     199000 | #Constraints:      26299
721.32/723.79	c #Conflicts:     200000 | #Constraints:      27299
721.32/723.79	c #Conflicts:     201000 | #Constraints:      28299
721.32/723.79	c #Conflicts:     202000 | #Constraints:      29299
721.32/723.79	c #Conflicts:     203000 | #Constraints:      30299
721.32/723.79	c #Conflicts:     204000 | #Constraints:      31299
721.32/723.79	c #Conflicts:     205000 | #Constraints:      32299
721.32/723.79	c #Conflicts:     206000 | #Constraints:      33299
721.32/723.79	c #Conflicts:     207000 | #Constraints:      34299
721.32/723.79	c #Conflicts:     208000 | #Constraints:      35299
721.32/723.79	c #Conflicts:     209000 | #Constraints:      36299
721.32/723.79	c #Conflicts:     210000 | #Constraints:      37299
721.32/723.79	c #Conflicts:     211000 | #Constraints:      38299
721.32/723.79	c #Conflicts:     212000 | #Constraints:      39299
721.32/723.79	c #Conflicts:     213000 | #Constraints:      40299
721.32/723.79	c #Conflicts:     214000 | #Constraints:      41299
1586.17/1591.57	c #Conflicts:     215000 | #Constraints:      42299
1586.17/1591.57	c #Conflicts:     216000 | #Constraints:      43299
1586.17/1591.57	c #Conflicts:     217000 | #Constraints:      44299
1586.17/1591.57	c #Conflicts:     218000 | #Constraints:      45299
1586.17/1591.57	c #Conflicts:     219000 | #Constraints:      46299
1586.17/1591.57	c #Conflicts:     220000 | #Constraints:      47299
1586.17/1591.57	c #Conflicts:     221000 | #Constraints:      48299
1586.17/1591.57	c #Conflicts:     222000 | #Constraints:      49299
1586.17/1591.57	c #Conflicts:     223000 | #Constraints:      50299
1586.17/1591.57	c #Conflicts:     224000 | #Constraints:      51299
1586.17/1591.57	c #Conflicts:     225000 | #Constraints:      52299
1586.17/1591.57	c #Conflicts:     226000 | #Constraints:      53299
1586.17/1591.57	c #Conflicts:     227000 | #Constraints:      54299
1586.17/1591.57	c #Conflicts:     228000 | #Constraints:      55299
1586.17/1591.57	c INPROCESSING
1586.17/1591.57	c GARBAGE COLLECT
1586.17/1591.57	c #Conflicts:     229000 | #Constraints:      29245
1586.17/1591.57	c #Conflicts:     230000 | #Constraints:      30245
1586.17/1591.57	c #Conflicts:     231000 | #Constraints:      31245
1586.17/1591.57	c #Conflicts:     232000 | #Constraints:      32245
1586.17/1591.57	c #Conflicts:     233000 | #Constraints:      33245
1586.17/1591.57	c #Conflicts:     234000 | #Constraints:      34245
1586.17/1591.57	c #Conflicts:     235000 | #Constraints:      35245
1586.17/1591.57	c #Conflicts:     236000 | #Constraints:      36245
1586.17/1591.57	c #Conflicts:     237000 | #Constraints:      37245
1586.17/1591.57	c #Conflicts:     238000 | #Constraints:      38245
1586.17/1591.57	c INPROCESSING
1586.17/1591.57	c GARBAGE COLLECT
1586.17/1591.57	c #Conflicts:     239000 | #Constraints:      24625
1586.17/1591.57	c #Conflicts:     240000 | #Constraints:      25625
1586.17/1591.57	c #Conflicts:     241000 | #Constraints:      26625
1586.17/1591.57	c #Conflicts:     242000 | #Constraints:      27625
1586.17/1591.57	c #Conflicts:     243000 | #Constraints:      28625
1586.17/1591.57	c #Conflicts:     244000 | #Constraints:      29625
1586.17/1591.57	c #Conflicts:     245000 | #Constraints:      30625
1586.17/1591.57	c #Conflicts:     246000 | #Constraints:      31625
1586.17/1591.57	c #Conflicts:     247000 | #Constraints:      32625
1586.17/1591.57	c #Conflicts:     248000 | #Constraints:      33625
1586.17/1591.57	c #Conflicts:     249000 | #Constraints:      34625
1586.17/1591.57	c #Conflicts:     250000 | #Constraints:      35625
1586.17/1591.57	c #Conflicts:     251000 | #Constraints:      36625
1586.17/1591.57	c #Conflicts:     252000 | #Constraints:      37625
1586.17/1591.57	c #Conflicts:     253000 | #Constraints:      38625
1586.17/1591.57	c #Conflicts:     254000 | #Constraints:      39625
1586.17/1591.57	c #Conflicts:     255000 | #Constraints:      40625
1586.17/1591.57	c #Conflicts:     256000 | #Constraints:      41625
1586.17/1591.57	c #Conflicts:     257000 | #Constraints:      42625
1586.17/1591.57	c #Conflicts:     258000 | #Constraints:      43625
1586.17/1591.57	c #Conflicts:     259000 | #Constraints:      44625
1586.17/1591.57	c #Conflicts:     260000 | #Constraints:      45625
1586.17/1591.57	c #Conflicts:     261000 | #Constraints:      46625
1586.17/1591.57	c #Conflicts:     262000 | #Constraints:      47625
1586.17/1591.57	c #Conflicts:     263000 | #Constraints:      48625
1586.17/1591.57	c #Conflicts:     264000 | #Constraints:      49625
1586.17/1591.57	c #Conflicts:     265000 | #Constraints:      50625
1586.17/1591.57	c #Conflicts:     266000 | #Constraints:      51625
1586.17/1591.57	c #Conflicts:     267000 | #Constraints:      52625
1586.17/1591.57	c #Conflicts:     268000 | #Constraints:      53625
1586.17/1591.57	c #Conflicts:     269000 | #Constraints:      54625
1586.17/1591.57	c #Conflicts:     270000 | #Constraints:      55625
1586.17/1591.57	c #Conflicts:     271000 | #Constraints:      56625
1586.17/1591.57	c #Conflicts:     272000 | #Constraints:      57625
1586.17/1591.57	c #Conflicts:     273000 | #Constraints:      58625
1586.17/1591.57	c #Conflicts:     274000 | #Constraints:      59625
1586.17/1591.57	c #Conflicts:     275000 | #Constraints:      60625
1586.17/1591.57	c #Conflicts:     276000 | #Constraints:      61625
1586.17/1591.57	c #Conflicts:     277000 | #Constraints:      62625
1586.17/1591.57	c #Conflicts:     278000 | #Constraints:      63625
1586.17/1591.57	c INPROCESSING
1586.17/1591.57	c GARBAGE COLLECT
1586.17/1591.57	c #Conflicts:     279000 | #Constraints:      33198
1586.17/1591.57	c #Conflicts:     280000 | #Constraints:      34198
1586.17/1591.57	c #Conflicts:     281000 | #Constraints:      35198
1586.17/1591.57	c #Conflicts:     282000 | #Constraints:      36198
1586.17/1591.57	c #Conflicts:     283000 | #Constraints:      37198
1586.17/1591.57	c #Conflicts:     284000 | #Constraints:      38198
1586.17/1591.57	c #Conflicts:     285000 | #Constraints:      39198
1586.17/1591.57	c #Conflicts:     286000 | #Constraints:      40198
1586.17/1591.57	c #Conflicts:     287000 | #Constraints:      41198
1586.17/1591.57	c #Conflicts:     288000 | #Constraints:      42198
1586.17/1591.57	c #Conflicts:     289000 | #Constraints:      43198
1586.17/1591.57	c #Conflicts:     290000 | #Constraints:      44198
2618.10/2627.17	c INPROCESSING
2618.10/2627.17	c GARBAGE COLLECT
2618.10/2627.17	c #Conflicts:     291000 | #Constraints:      30468
2618.10/2627.17	c #Conflicts:     292000 | #Constraints:      31468
2618.10/2627.17	c #Conflicts:     293000 | #Constraints:      32468
2618.10/2627.17	c #Conflicts:     294000 | #Constraints:      33468
2618.10/2627.17	c #Conflicts:     295000 | #Constraints:      34468
2618.10/2627.17	c #Conflicts:     296000 | #Constraints:      35468
2618.10/2627.17	c #Conflicts:     297000 | #Constraints:      36468
2618.10/2627.17	c #Conflicts:     298000 | #Constraints:      37468
2618.10/2627.17	c #Conflicts:     299000 | #Constraints:      38468
2618.10/2627.17	c #Conflicts:     300000 | #Constraints:      39468
2618.10/2627.17	c #Conflicts:     301000 | #Constraints:      40468
2618.10/2627.17	c #Conflicts:     302000 | #Constraints:      41468
2618.10/2627.17	c #Conflicts:     303000 | #Constraints:      42468
2618.10/2627.17	c #Conflicts:     304000 | #Constraints:      43468
2618.10/2627.17	c #Conflicts:     305000 | #Constraints:      44468
2618.10/2627.17	c #Conflicts:     306000 | #Constraints:      45468
2618.10/2627.17	c #Conflicts:     307000 | #Constraints:      46468
2618.10/2627.17	c #Conflicts:     308000 | #Constraints:      47468
2618.10/2627.17	c #Conflicts:     309000 | #Constraints:      48468
2618.10/2627.17	c #Conflicts:     310000 | #Constraints:      49468
2618.10/2627.17	c #Conflicts:     311000 | #Constraints:      50468
2618.10/2627.17	c #Conflicts:     312000 | #Constraints:      51468
2618.10/2627.17	c #Conflicts:     313000 | #Constraints:      52468
2618.10/2627.17	c #Conflicts:     314000 | #Constraints:      53468
2618.10/2627.17	c #Conflicts:     315000 | #Constraints:      54468
2618.10/2627.17	c #Conflicts:     316000 | #Constraints:      55468
2618.10/2627.17	c #Conflicts:     317000 | #Constraints:      56468
2618.10/2627.17	c #Conflicts:     318000 | #Constraints:      57468
2618.10/2627.17	c #Conflicts:     319000 | #Constraints:      58468
2618.10/2627.17	c #Conflicts:     320000 | #Constraints:      59468
2618.10/2627.17	c #Conflicts:     321000 | #Constraints:      60468
2618.10/2627.17	c #Conflicts:     322000 | #Constraints:      61468
2618.10/2627.17	c #Conflicts:     323000 | #Constraints:      62468
2618.10/2627.17	c #Conflicts:     324000 | #Constraints:      63468
2618.10/2627.17	c #Conflicts:     325000 | #Constraints:      64468
2618.10/2627.17	c #Conflicts:     326000 | #Constraints:      65468
2618.10/2627.17	c #Conflicts:     327000 | #Constraints:      66468
2618.10/2627.17	c #Conflicts:     328000 | #Constraints:      67468
2618.10/2627.17	c #Conflicts:     329000 | #Constraints:      68468
2618.10/2627.17	c #Conflicts:     330000 | #Constraints:      69468
2618.10/2627.17	c #Conflicts:     331000 | #Constraints:      70468
2618.10/2627.17	c #Conflicts:     332000 | #Constraints:      71468
2618.10/2627.17	c #Conflicts:     333000 | #Constraints:      72468
2618.10/2627.17	c INPROCESSING
2618.10/2627.17	c GARBAGE COLLECT
2618.10/2627.17	c #Conflicts:     334000 | #Constraints:      37722
2618.10/2627.17	c #Conflicts:     335000 | #Constraints:      38722
2618.10/2627.17	c #Conflicts:     336000 | #Constraints:      39722
2618.10/2627.17	c #Conflicts:     337000 | #Constraints:      40722
2618.10/2627.17	c #Conflicts:     338000 | #Constraints:      41722
2618.10/2627.17	c #Conflicts:     339000 | #Constraints:      42722
2618.10/2627.17	c #Conflicts:     340000 | #Constraints:      43722
2618.10/2627.17	c #Conflicts:     341000 | #Constraints:      44722
2618.10/2627.17	c #Conflicts:     342000 | #Constraints:      45722
2618.10/2627.17	c #Conflicts:     343000 | #Constraints:      46722
2618.10/2627.17	c #Conflicts:     344000 | #Constraints:      47722
2618.10/2627.17	c #Conflicts:     345000 | #Constraints:      48722
2618.10/2627.17	c #Conflicts:     346000 | #Constraints:      49722
2618.10/2627.17	c INPROCESSING
2618.10/2627.17	c GARBAGE COLLECT
2618.10/2627.17	c #Conflicts:     347000 | #Constraints:      35849
2618.10/2627.17	c #Conflicts:     348000 | #Constraints:      36849
2618.10/2627.17	c #Conflicts:     349000 | #Constraints:      37849
2618.10/2627.17	c #Conflicts:     350000 | #Constraints:      38849
2618.10/2627.17	c #Conflicts:     351000 | #Constraints:      39849
2618.10/2627.17	c #Conflicts:     352000 | #Constraints:      40849
2618.10/2627.17	c #Conflicts:     353000 | #Constraints:      41849
2618.10/2627.17	c #Conflicts:     354000 | #Constraints:      42849
2618.10/2627.17	c #Conflicts:     355000 | #Constraints:      43849
2618.10/2627.17	c #Conflicts:     356000 | #Constraints:      44849
2618.10/2627.17	c #Conflicts:     357000 | #Constraints:      45849
2618.10/2627.17	c #Conflicts:     358000 | #Constraints:      46849
2618.10/2627.17	c #Conflicts:     359000 | #Constraints:      47849
2618.10/2627.17	c #Conflicts:     360000 | #Constraints:      48849
2618.10/2627.17	c #Conflicts:     361000 | #Constraints:      49849
2618.10/2627.17	c #Conflicts:     362000 | #Constraints:      50849
2618.10/2627.17	c #Conflicts:     363000 | #Constraints:      51849
2618.10/2627.17	c #Conflicts:     364000 | #Constraints:      52849
2618.10/2627.17	c #Conflicts:     365000 | #Constraints:      53849
2618.10/2627.17	c #Conflicts:     366000 | #Constraints:      54849
2618.10/2627.17	c #Conflicts:     367000 | #Constraints:      55849
3600.08/3612.20	c #Conflicts:     368000 | #Constraints:      56849
3600.08/3612.20	c #Conflicts:     369000 | #Constraints:      57849
3600.08/3612.20	c #Conflicts:     370000 | #Constraints:      58849
3600.08/3612.20	c #Conflicts:     371000 | #Constraints:      59849
3600.08/3612.20	c #Conflicts:     372000 | #Constraints:      60849
3600.08/3612.20	c #Conflicts:     373000 | #Constraints:      61849
3600.08/3612.20	c #Conflicts:     374000 | #Constraints:      62849
3600.08/3612.20	c #Conflicts:     375000 | #Constraints:      63849
3600.08/3612.20	c #Conflicts:     376000 | #Constraints:      64849
3600.08/3612.20	c #Conflicts:     377000 | #Constraints:      65849
3600.08/3612.20	c #Conflicts:     378000 | #Constraints:      66849
3600.08/3612.20	c #Conflicts:     379000 | #Constraints:      67849
3600.08/3612.20	c #Conflicts:     380000 | #Constraints:      68849
3600.08/3612.20	c #Conflicts:     381000 | #Constraints:      69849
3600.08/3612.20	c #Conflicts:     382000 | #Constraints:      70849
3600.08/3612.20	c #Conflicts:     383000 | #Constraints:      71849
3600.08/3612.20	c #Conflicts:     384000 | #Constraints:      72849
3600.08/3612.20	c #Conflicts:     385000 | #Constraints:      73849
3600.08/3612.20	c #Conflicts:     386000 | #Constraints:      74849
3600.08/3612.20	c #Conflicts:     387000 | #Constraints:      75849
3600.08/3612.20	c #Conflicts:     388000 | #Constraints:      76849
3600.08/3612.20	c #Conflicts:     389000 | #Constraints:      77849
3600.08/3612.20	c #Conflicts:     390000 | #Constraints:      78849
3600.08/3612.20	c #Conflicts:     391000 | #Constraints:      79849
3600.08/3612.20	c #Conflicts:     392000 | #Constraints:      80849
3600.08/3612.20	c INPROCESSING
3600.08/3612.20	c GARBAGE COLLECT
3600.08/3612.20	c #Conflicts:     393000 | #Constraints:      41812
3600.08/3612.20	c #Conflicts:     394000 | #Constraints:      42812
3600.08/3612.20	c #Conflicts:     395000 | #Constraints:      43812
3600.08/3612.20	c #Conflicts:     396000 | #Constraints:      44812
3600.08/3612.20	c #Conflicts:     397000 | #Constraints:      45812
3600.08/3612.20	c #Conflicts:     398000 | #Constraints:      46812
3600.08/3612.20	c #Conflicts:     399000 | #Constraints:      47812
3600.08/3612.20	c #Conflicts:     400000 | #Constraints:      48812
3600.08/3612.20	c #Conflicts:     401000 | #Constraints:      49812
3600.08/3612.20	c #Conflicts:     402000 | #Constraints:      50812
3600.08/3612.20	c #Conflicts:     403000 | #Constraints:      51812
3600.08/3612.20	c #Conflicts:     404000 | #Constraints:      52812
3600.08/3612.20	c #Conflicts:     405000 | #Constraints:      53812
3600.08/3612.20	c #Conflicts:     406000 | #Constraints:      54812
3600.08/3612.20	c #Conflicts:     407000 | #Constraints:      55812
3600.08/3612.20	c #Conflicts:     408000 | #Constraints:      56812
3600.08/3612.20	c #Conflicts:     409000 | #Constraints:      57812
3600.08/3612.20	c #Conflicts:     410000 | #Constraints:      58812
3600.08/3612.20	c #Conflicts:     411000 | #Constraints:      59812
3600.08/3612.20	c #Conflicts:     412000 | #Constraints:      60812
3600.08/3612.20	c #Conflicts:     413000 | #Constraints:      61812
3600.08/3612.20	c #Conflicts:     414000 | #Constraints:      62812
3600.08/3612.20	c #Conflicts:     415000 | #Constraints:      63812
3600.08/3612.20	c #Conflicts:     416000 | #Constraints:      64812
3600.08/3612.20	c #Conflicts:     417000 | #Constraints:      65812
3600.08/3612.20	c #Conflicts:     418000 | #Constraints:      66812
3600.08/3612.20	c #Conflicts:     419000 | #Constraints:      67812
3600.08/3612.20	c #Conflicts:     420000 | #Constraints:      68812
3600.08/3612.20	c Program interrupted by user.
3600.08/3612.20	c cpu time 3590.59 s
3600.08/3612.20	c deterministic time 258117907040 2.58e+11
3600.08/3612.20	c optimization time 498.118 s
3600.08/3612.20	c total solve time 3092.46 s
3600.08/3612.20	c core-guided solve time 3092.46 s
3600.08/3612.20	c propagation time 3256.6 s
3600.08/3612.20	c conflict analysis time 319.102 s
3600.08/3612.20	c propagations 73775541
3600.08/3612.20	c resolve steps 5381200
3600.08/3612.20	c decisions 6979451
3600.08/3612.20	c conflicts 420476
3600.08/3612.20	c restarts 1019
3600.08/3612.20	c inprocessing phases 36
3600.08/3612.20	c input clauses 226
3600.08/3612.20	c input cardinalities 446
3600.08/3612.20	c input general constraints 676
3600.08/3612.20	c input average constraint length 45.16
3600.08/3612.20	c input average constraint degree 21.42
3600.08/3612.20	c learned clauses 62585
3600.08/3612.20	c learned cardinalities 1353
3600.08/3612.20	c learned general constraints 356552
3600.08/3612.20	c learned average constraint length 130.39
3600.08/3612.20	c learned average constraint degree 3282731.01
3600.08/3612.20	c watched constraints 299181
3600.08/3612.20	c counting constraints 58047
3600.08/3612.20	c gcd simplifications 26319
3600.08/3612.20	c detected cardinalities 1098
3600.08/3612.20	c weakened non-implied lits 4699909
3600.08/3612.20	c weakened non-implying lits 19719
3600.08/3612.20	c original variables 476
3600.08/3612.20	c clausal propagations 16461946
3600.08/3612.20	c cardinality propagations 1053645
3600.08/3612.20	c watched propagations 9870779
3600.08/3612.20	c counting propagations 46073888
3600.08/3612.20	c watch lookups 65863102123
3600.08/3612.20	c watch backjump lookups 63249490797
3600.08/3612.20	c watch checks 114767831430
3600.08/3612.20	c propagation checks 13883488713
3600.08/3612.20	c constraint additions 192063562
3600.08/3612.20	c trail pops 81175422
3600.08/3612.20	c formula constraints 476
3600.08/3612.20	c learned constraints 420490
3600.08/3612.20	c bound constraints 108
3600.08/3612.20	c core-guided constraints 764
3600.08/3612.20	c encountered formula constraints 843952
3600.08/3612.20	c encountered learned constraints 4236276
3600.08/3612.20	c encountered bound constraints 71
3600.08/3612.20	c encountered core-guided constraints 721377
3600.08/3612.20	c LP total time 0 s
3600.08/3612.20	c LP solve time 0 s
3600.08/3612.20	c LP constraints added 0
3600.08/3612.20	c LP constraints removed 0
3600.08/3612.20	c LP pivots internal 0
3600.08/3612.20	c LP pivots root 0
3600.08/3612.20	c LP calls 0
3600.08/3612.20	c LP optimalities 0
3600.08/3612.20	c LP no pivot count 0
3600.08/3612.20	c LP infeasibilities 0
3600.08/3612.20	c LP valid Farkas constraints 0
3600.08/3612.20	c LP learned Farkas constraints 0
3600.08/3612.20	c LP basis resets 0
3600.08/3612.20	c LP cycling count 0
3600.08/3612.20	c LP singular count 0
3600.08/3612.20	c LP no primal count 0
3600.08/3612.20	c LP no farkas count 0
3600.08/3612.20	c LP other issue count 0
3600.08/3612.20	c LP Gomory cuts 0
3600.08/3612.20	c LP learned cuts 0
3600.08/3612.20	c LP deleted cuts 0
3600.08/3612.20	c LP encountered Gomory constraints 0
3600.08/3612.20	c LP encountered Farkas constraints 0
3600.08/3612.20	c LP encountered learned Farkas constraints 0
3600.08/3612.20	c CG auxiliary variables introduced 318
3600.08/3612.20	c CG solutions found 3
3600.08/3612.20	c CG cores constructed 95
3600.08/3612.20	c CG core cardinality constraints returned 0
3600.08/3612.20	c CG unit cores 0
3600.08/3612.20	c CG single cores 95
3600.08/3612.20	c CG blocks removed during cardinality reduction 0
3600.08/3612.20	c CG first core best 0
3600.08/3612.20	c CG decision core best 0
3600.08/3612.20	c CG core reduction tie 0
3600.08/3612.20	c CG core degree average 1.00
3600.08/3612.20	c CG core slack average 5.94
3600.08/3612.20	c CG exhausted 1
3600.08/3612.20	c CG exhaust time 43.2754 s
3600.08/3612.20	c CG trimmed 2
3600.08/3612.20	c CG trim time 0.015116 s
3600.08/3612.20	c CG minimized 0
3600.08/3612.20	c CG minimize time 0 s
3600.08/3612.20	c CG am1 prop time 0.025299 s
3600.08/3612.20	c CG # am1s reformulated 49
3600.08/3612.20	c CG lower bound derived from am1s 49
3600.08/3612.20	c CG # clausal cores 23
3600.08/3612.20	c CG # cardinality cores 0
3600.08/3612.20	c CG # pb cores 72
3600.08/3612.20	c CG # pb reforms 0
3600.08/3612.20	c CG # cores discarded because of pb reform 0
3600.08/3612.20	d LOWERBOUND 145
3600.08/3612.20	d NCORES 95
3600.08/3612.20	d NPBCORES 72
3600.08/3612.20	d NPBREFORM 0
3600.08/3612.20	d NTRIMMED 2
3600.08/3612.20	d NEXHAUSTED 1
3600.08/3612.20	d NAM1S 49
3600.08/3612.20	d AM1LB 49
3600.08/3612.20	o 213
3600.08/3612.20	s SATISFIABLE
3600.08/3612.20	v -x1 x2 -x3 x4 x5 -x6 x7 x8 -x9 -x10 -x11 -x12 x13 -x14 x15 -x16 -x17 -x18 x19 x20 x21 x22 x23 -x24 x25 -x26 x27 x28 x29 -x30 -x31 -x32 x33 x34 x35 -x36 -x37 -x38 x39 -x40 x41 -x42 x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 x52 -x53 x54 -x55 -x56 -x57 x58 x59 x60 x61 x62 -x63 -x64 x65 -x66 -x67 -x68 x69 x70 -x71 x72 x73 -x74 x75 x76 -x77 -x78 x79 x80 x81 x82 -x83 x84 -x85 x86 -x87 -x88 x89 -x90 -x91 -x92 x93 x94 -x95 x96 x97 x98 x99 x100 -x101 -x102 x103 -x104 -x105 x106 -x107 -x108 x109 -x110 -x111 -x112 -x113 -x114 x115 -x116 -x117 -x118 -x119 x120 -x121 x122 -x123 x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 -x132 -x133 -x134 x135 x136 x137 -x138 -x139 -x140 x141 x142 x143 -x144 -x145 x146 x147 -x148 -x149 x150 x151 -x152 x153 x154 -x155 -x156 x157 x158 -x159 x160 x161 x162 x163 -x164 -x165 -x166 x167 -x168 -x169 x170 -x171 x172 -x173 -x174 -x175 x176 x177 x178 x179 -x180 -x181 x182 x183 x184 x185 x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 x194 x195 x196 x197 -x198 x199 -x200 x201 -x202 -x203 x204 -x205 -x206 -x207 x208 x209 -x210 x211 -x212 -x213 -x214 x215 -x216 x217 x218 x219 -x220 -x221 -x222 -x223 x224 x225 x226 -x227 -x228 x229 x230 -x231 x232 x233 x234 -x235 x236 -x237 -x238 -x239 x240 -x241 x242 -x243 x244 x245 -x246 x247 -x248 -x249 -x250 x251 -x252 -x253 -x254 -x255 -x256 x257 x258 x259 -x260 x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 x270 -x271 x272 -x273 -x274 x275 -x276 x277 -x278 x279 -x280 -x281 -x282 x283 -x284 x285 x286 x287 -x288 x289 -x290 x291 -x292 -x293 x294 -x295 -x296 x297 -x298 x299 x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 x313 -x314 -x315 x316 -x317 -x318 -x319 x320 x321 -x322 x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 x333 x334 x335 -x336 x337 -x338 x339 -x340 x341 x342 -x343 x344 x345 -x346 -x347 x348 -x349 x350 -x351 -x352 x353 -x354 -x355 -x356 x357 x358 -x359 x360 x361 x362 -x363 -x364 x365 x366 x367 x368 -x369 x370 x371 -x372 -x373 -x374 -x375 x376 x377 x378 x379 -x380 -x381 x382 -x383 x384 x385 x386 -x387 -x388 x389 -x390 -x391 -x392 x393 x394 -x395 x396 x397 -x398 x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 x407 x408 -x409 -x410 x411 x412 -x413 -x414 -x415 -x416 -x417 -x418 x419 -x420 x421 x422 x423 -x424 x425 x426 x427 -x428 x429 -x430 x431 -x432 x433 x434 -x435 x436 x437 -x438 -x439 x440 x441 -x442 x443 -x444 x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 x469 x470 x471 -x472 -x473 -x474 x475 -x476

Verifier Data 

OK	213

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 64059 MiB (62965 MiB free)
  memory of node 1: 64510 MiB (62377 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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=1056786, runsolver pid=1056775

[startup+0.100486 s]*
/proc/loadavg: 1.10 1.53 2.38 7/245 1056793
/proc/meminfo: memFree=128339780/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=40052 memory=9812 CPUtime=0.1 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 736 0 0 0 8 2 0 0 20 0 1 0 199150430 41013248 2453 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 10013 2453 1400 291 0 1547 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40052 KiB
Current children cumulated memory: 9812 KiB

[startup+0.215305 s]*
/proc/loadavg: 1.10 1.53 2.38 6/245 1056793
/proc/meminfo: memFree=128329772/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=41108 memory=10864 CPUtime=0.21 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 1009 0 0 0 18 3 0 0 20 0 1 0 199150430 42094592 2716 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 10277 2716 1400 291 0 1811 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 41108 KiB
Current children cumulated memory: 10864 KiB

[startup+0.313698 s]*
/proc/loadavg: 1.10 1.53 2.38 7/245 1056793
/proc/meminfo: memFree=128326832/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=41372 memory=11128 CPUtime=0.31 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 1050 0 0 0 27 4 0 0 20 0 1 0 199150430 42364928 2782 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 10343 2782 1400 291 0 1877 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 41372 KiB
Current children cumulated memory: 11128 KiB

[startup+0.700295 s]
/proc/loadavg: 1.10 1.53 2.38 7/245 1056793
/proc/meminfo: memFree=128316788/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=43276 memory=14032 CPUtime=0.68 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 1769 0 0 0 63 5 0 0 20 0 1 0 199150430 44314624 3508 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 10819 3508 1400 291 0 2353 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43276 KiB
Current children cumulated memory: 14032 KiB

[startup+1.5003 s]
/proc/loadavg: 1.10 1.53 2.38 7/245 1056793
/proc/meminfo: memFree=128296944/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=49012 memory=18316 CPUtime=1.47 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 2843 0 0 0 140 7 0 0 20 0 1 0 199150430 50188288 4579 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 12253 4579 1453 291 0 3787 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 49012 KiB
Current children cumulated memory: 18316 KiB

[startup+3.1141 s]
/proc/loadavg: 1.10 1.53 2.38 7/245 1056793
/proc/meminfo: memFree=128259680/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=58284 memory=28324 CPUtime=3.08 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 4788 0 0 0 296 12 0 0 20 0 1 0 199150430 59682816 7081 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 14571 7081 1453 291 0 6105 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 58284 KiB
Current children cumulated memory: 28324 KiB

[startup+6.30033 s]
/proc/loadavg: 1.33 1.57 2.39 7/245 1056793
/proc/meminfo: memFree=128232284/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=69112 memory=33408 CPUtime=6.26 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 6066 0 0 0 605 21 0 0 20 0 1 0 199150430 70770688 8352 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 17278 8352 1453 291 0 8812 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 69112 KiB
Current children cumulated memory: 33408 KiB

[startup+12.7003 s]
/proc/loadavg: 1.62 1.63 2.40 7/243 1056795
/proc/meminfo: memFree=128193348/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=75896 memory=43288 CPUtime=12.64 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 7546 0 0 0 1230 34 0 0 20 0 1 0 199150430 77717504 10822 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 18974 10822 1453 291 0 10508 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 75896 KiB
Current children cumulated memory: 43288 KiB

[startup+25.5004 s]
/proc/loadavg: 2.15 1.74 2.43 7/243 1056796
/proc/meminfo: memFree=128151472/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=96148 memory=53856 CPUtime=25.39 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 9644 0 0 0 2479 60 0 0 20 0 1 0 199150430 98455552 13464 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 24037 13464 1453 291 0 15571 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 96148 KiB
Current children cumulated memory: 53856 KiB

[startup+51.1138 s]
/proc/loadavg: 2.78 1.93 2.47 7/243 1056801
/proc/meminfo: memFree=128115384/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=99732 memory=65588 CPUtime=50.91 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 10533 0 0 0 5000 91 0 0 20 0 1 0 199150430 102125568 16397 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 24933 16397 1453 291 0 16467 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 99732 KiB
Current children cumulated memory: 65588 KiB

[startup+102.3 s]
/proc/loadavg: 3.54 2.26 2.56 7/243 1056810
/proc/meminfo: memFree=128086684/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=103264 memory=69204 CPUtime=101.93 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 11407 0 0 0 10035 158 0 0 20 0 1 0 199150430 105742336 17301 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 25816 17301 1453 291 0 17350 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 103264 KiB
Current children cumulated memory: 69204 KiB

[startup+162.3 s]
/proc/loadavg: 3.93 2.61 2.66 7/243 1056821
/proc/meminfo: memFree=128064008/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=112664 memory=76376 CPUtime=161.74 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 13284 0 0 0 15975 199 0 0 20 0 1 0 199150430 115367936 19094 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 28166 19094 1453 291 0 19700 0
Current children cumulated CPU time: 161.74 s
Current children cumulated vsize: 112664 KiB
Current children cumulated memory: 76376 KiB

[startup+222.3 s]
/proc/loadavg: 4.02 2.88 2.75 7/243 1056831
/proc/meminfo: memFree=128041768/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=118088 memory=80944 CPUtime=221.55 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 14493 0 0 0 21935 220 0 0 20 0 1 0 199150430 120922112 20236 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 29522 20236 1453 291 0 21056 0
Current children cumulated CPU time: 221.55 s
Current children cumulated vsize: 118088 KiB
Current children cumulated memory: 80944 KiB

[startup+282.3 s]
/proc/loadavg: 4.04 3.10 2.84 7/242 1056842
/proc/meminfo: memFree=128031832/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=118196 memory=81076 CPUtime=281.36 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 14577 0 0 0 27883 253 0 0 20 0 1 0 199150430 121032704 20269 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 29549 20269 1453 291 0 21083 0
Current children cumulated CPU time: 281.36 s
Current children cumulated vsize: 118196 KiB
Current children cumulated memory: 81076 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 3.28 2.92 7/243 1056857
/proc/meminfo: memFree=128018384/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=118196 memory=81076 CPUtime=341.17 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 14607 0 0 0 33840 277 0 0 20 0 1 0 199150430 121032704 20269 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 29549 20269 1453 291 0 21083 0
Current children cumulated CPU time: 341.17 s
Current children cumulated vsize: 118196 KiB
Current children cumulated memory: 81076 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 3.45 3.00 7/243 1056868
/proc/meminfo: memFree=128010656/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=119624 memory=84104 CPUtime=400.98 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 14926 0 0 0 39805 293 0 0 20 0 1 0 199150430 122494976 21026 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 29906 21026 1453 291 0 21440 0
Current children cumulated CPU time: 400.98 s
Current children cumulated vsize: 119624 KiB
Current children cumulated memory: 84104 KiB

[startup+462.3 s]
/proc/loadavg: 5.10 3.79 3.15 7/243 1056878
/proc/meminfo: memFree=127997692/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=123008 memory=89892 CPUtime=460.79 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 15819 0 0 0 45773 306 0 0 20 0 1 0 199150430 125960192 22473 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 30752 22473 1453 291 0 22286 0

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

Current children cumulated memory: 130108 KiB

[startup+2862.3 s]
/proc/loadavg: 4.28 4.16 4.07 7/244 1057936
/proc/meminfo: memFree=127696576/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=161296 memory=130108 CPUtime=2852.53 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 23019 0 0 0 284415 838 0 0 20 0 1 0 199150430 165167104 32527 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 40324 32527 1453 291 0 31858 0
Current children cumulated CPU time: 2852.53 s
Current children cumulated vsize: 161296 KiB
Current children cumulated memory: 130108 KiB

[startup+2922.3 s]
/proc/loadavg: 4.10 4.13 4.06 7/244 1057946
/proc/meminfo: memFree=127695844/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=162128 memory=130484 CPUtime=2912.35 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 23172 0 0 0 290389 846 0 0 20 0 1 0 199150430 166019072 32621 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 40532 32621 1453 291 0 32066 0
Current children cumulated CPU time: 2912.35 s
Current children cumulated vsize: 162128 KiB
Current children cumulated memory: 130484 KiB

[startup+2982.3 s]
/proc/loadavg: 4.14 4.14 4.07 7/244 1057958
/proc/meminfo: memFree=127695120/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=162508 memory=130668 CPUtime=2972.16 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 23316 0 0 0 296362 854 0 0 20 0 1 0 199150430 166408192 32667 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 40627 32667 1453 291 0 32161 0
Current children cumulated CPU time: 2972.16 s
Current children cumulated vsize: 162508 KiB
Current children cumulated memory: 130668 KiB

[startup+3042.3 s]
/proc/loadavg: 4.14 4.14 4.08 7/243 1058355
/proc/meminfo: memFree=127794820/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=163404 memory=132048 CPUtime=3031.97 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 23743 0 0 0 302336 861 0 0 20 0 1 0 199150430 167325696 33012 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 40851 33012 1453 291 0 32385 0
Current children cumulated CPU time: 3031.97 s
Current children cumulated vsize: 163404 KiB
Current children cumulated memory: 132048 KiB

[startup+3102.3 s]
/proc/loadavg: 4.10 4.13 4.08 7/243 1058365
/proc/meminfo: memFree=127790180/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=195792 memory=136064 CPUtime=3091.78 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 24399 0 0 0 308310 868 0 0 20 0 1 0 199150430 200491008 34016 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 48948 34016 1453 291 0 40482 0
Current children cumulated CPU time: 3091.78 s
Current children cumulated vsize: 195792 KiB
Current children cumulated memory: 136064 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.12 4.08 7/243 1058376
/proc/meminfo: memFree=127786128/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=196808 memory=138824 CPUtime=3151.6 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 24871 0 0 0 314284 876 0 0 20 0 1 0 199150430 201531392 34706 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 49202 34706 1453 291 0 40736 0
Current children cumulated CPU time: 3151.6 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 138824 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.11 4.08 7/244 1058556
/proc/meminfo: memFree=127784520/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=196808 memory=138824 CPUtime=3211.41 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 24918 0 0 0 320251 890 0 0 20 0 1 0 199150430 201531392 34706 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 49202 34706 1453 291 0 40736 0
Current children cumulated CPU time: 3211.41 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 138824 KiB

[startup+3282.3 s]
/proc/loadavg: 4.21 4.13 4.09 7/244 1058566
/proc/meminfo: memFree=127783452/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=196808 memory=138824 CPUtime=3271.22 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 24968 0 0 0 326221 901 0 0 20 0 1 0 199150430 201531392 34706 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 49202 34706 1453 291 0 40736 0
Current children cumulated CPU time: 3271.22 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 138824 KiB

[startup+3342.3 s]
/proc/loadavg: 4.08 4.11 4.08 7/246 1058591
/proc/meminfo: memFree=127776908/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=196808 memory=141400 CPUtime=3331.03 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 25024 0 0 0 332192 911 0 0 20 0 1 0 199150430 201531392 35350 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 49202 35350 1453 291 0 40736 0
Current children cumulated CPU time: 3331.03 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 141400 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.10 4.08 7/247 1058602
/proc/meminfo: memFree=127767480/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=196808 memory=141400 CPUtime=3390.84 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 25080 0 0 0 338162 922 0 0 20 0 1 0 199150430 201531392 35350 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 49202 35350 1453 291 0 40736 0
Current children cumulated CPU time: 3390.84 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 141400 KiB

[startup+3462.3 s]
/proc/loadavg: 4.29 4.16 4.10 7/247 1058615
/proc/meminfo: memFree=127752680/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=196808 memory=141400 CPUtime=3450.66 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 25137 0 0 0 344133 933 0 0 20 0 1 0 199150430 201531392 35350 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 49202 35350 1453 291 0 40736 0
Current children cumulated CPU time: 3450.66 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 141400 KiB

[startup+3522.3 s]
/proc/loadavg: 4.16 4.14 4.10 7/245 1058625
/proc/meminfo: memFree=127743256/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=196808 memory=141400 CPUtime=3510.47 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 25195 0 0 0 350107 940 0 0 20 0 1 0 199150430 201531392 35350 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 49202 35350 1453 291 0 40736 0
Current children cumulated CPU time: 3510.47 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 141400 KiB

[startup+3582.3 s]
/proc/loadavg: 4.17 4.15 4.10 7/245 1058636
/proc/meminfo: memFree=127730100/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=196808 memory=141400 CPUtime=3570.28 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 25254 0 0 0 356081 947 0 0 20 0 1 0 199150430 201531392 35350 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 49202 35350 1453 291 0 40736 0
Current children cumulated CPU time: 3570.28 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 141400 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.2 s]
/proc/loadavg: 4.02 4.11 4.09 5/245 1058780
/proc/meminfo: memFree=128161916/131655788 swapFree=131071996/131071996
[pid=1056786] ppid=1056775 vsize=196808 memory=141400 CPUtime=3600.08 cores=0,2
/proc/1056786/stat : 1056786 (pb-oll-rs) R 1056775 1056786 1056719 0 -1 4194304 25255 0 0 0 359058 950 0 0 20 0 1 0 199150430 201531392 35350 134679101440 4194304 5384485 140726433803632 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5674704 5678696 16445440 140726433809429 140726433809506 140726433809506 140726433816523 0
/proc/1056786/statm: 49202 35350 1453 291 0 40736 0
Current children cumulated CPU time: 3600.08 s
Current children cumulated vsize: 196808 KiB
Current children cumulated memory: 141400 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.59 s, system=9.50909 s

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

Child status: 0

Real time (s): 3612.21
CPU time (s): 3600.1
CPU user time (s): 3590.59
CPU system time (s): 9.50909
CPU usage (%): 99.6648
Max. virtual memory (cumulated for all children) (KiB): 197284
Max. memory (cumulated for all children) (KiB): 141400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.59
system time used= 9.50909
maximum resident set size= 141544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25272
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48
involuntary context switches= 24685


# summary of solver processes directly reported to runsolver:
#   pid: 1056786
#   total CPU time (s): 3600.1
#   total CPU user time (s): 3590.59
#   total CPU system time (s): 9.50909

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.3912 second user time and 34.0974 second system time

The end

Launcher Data 

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

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

MD5SUM BENCH= 15e811bd466a2fe28afb8f0d217d004b
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.159
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.161
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		: 1287.561
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.151
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		: 1199.346
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		: 1200.477
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		: 1200.477
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.797
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:        128351864 kB
MemAvailable:   129878116 kB
Buffers:          588932 kB
Cached:          1772148 kB
SwapCached:            0 kB
Active:          1071500 kB
Inactive:        1649460 kB
Active(anon):       2588 kB
Inactive(anon):   403188 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:        359604 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= 723764 MiB
End job on nodeC002 at 2024-07-20 13:05:49