Trace number 4489134

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 2025-05-06SAT (TO)224 3600.05 3610.9

DiagnosticValue
AM1LB
LOWERBOUND
NAM1S
NCORES
NEXHAUSTED
NPBCORES
NPBREFORM
NTRIMMED

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
MD5SUM1da12ebdd4ab5e725928f3bf845b8b1e
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 benchmark186
Best CPU time to get the best result obtained on this benchmark3585.57
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables479
Total number of constraints479
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 constraints479
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 479
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 479
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 479
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c [STEP] parsing instance
0.00/0.01	c [STEP] solving
0.00/0.01	c #variables 479 #constraints 479
0.00/0.01	c SMALL=int, LARGE=long long
0.00/0.01	c bounds - >= 0 @ 0.002521
0.00/0.01	c stratification level: 0
0.00/0.02	c bounds - >= 57 @ 0.003164
0.00/0.02	c bounds - >= 58 @ 0.003185
0.00/0.02	c bounds - >= 59 @ 0.003185
0.00/0.02	c bounds - >= 60 @ 0.003185
0.00/0.02	c bounds - >= 61 @ 0.003185
0.00/0.02	c bounds - >= 62 @ 0.003185
0.00/0.02	c bounds - >= 63 @ 0.003185
0.00/0.02	c bounds - >= 64 @ 0.003185
0.00/0.02	c bounds - >= 65 @ 0.003185
0.00/0.02	c bounds - >= 66 @ 0.003215
0.00/0.02	c bounds - >= 67 @ 0.003326
0.00/0.02	c bounds - >= 68 @ 0.003439
0.00/0.02	c bounds - >= 69 @ 0.003549
0.00/0.02	c bounds - >= 70 @ 0.003657
0.00/0.02	c bounds - >= 71 @ 0.003763
0.00/0.02	c bounds - >= 72 @ 0.003879
0.00/0.02	c bounds - >= 73 @ 0.003996
0.00/0.02	c bounds - >= 74 @ 0.004112
0.00/0.02	c bounds - >= 75 @ 0.004215
0.00/0.02	c bounds - >= 76 @ 0.004337
0.00/0.02	c bounds - >= 77 @ 0.004455
0.00/0.02	c bounds - >= 78 @ 0.004584
0.00/0.02	c bounds - >= 79 @ 0.004706
0.00/0.02	c bounds - >= 80 @ 0.004829
0.00/0.02	c bounds - >= 81 @ 0.00496
0.00/0.02	c bounds - >= 82 @ 0.005082
0.00/0.02	c bounds - >= 83 @ 0.005205
0.00/0.02	c bounds - >= 84 @ 0.005333
0.00/0.02	c bounds - >= 85 @ 0.00546
0.00/0.02	c bounds - >= 86 @ 0.005583
0.00/0.02	c bounds - >= 87 @ 0.005708
0.00/0.02	c bounds - >= 88 @ 0.005833
0.00/0.02	c bounds - >= 89 @ 0.00596
0.00/0.02	c bounds - >= 90 @ 0.006084
0.00/0.02	c bounds - >= 91 @ 0.006169
0.00/0.02	c bounds - >= 92 @ 0.006169
0.00/0.02	c bounds - >= 93 @ 0.006169
0.00/0.02	c bounds - >= 94 @ 0.006169
0.00/0.02	c bounds - >= 95 @ 0.006169
0.00/0.02	c bounds - >= 96 @ 0.006169
0.00/0.02	c bounds - >= 97 @ 0.006169
0.00/0.02	c bounds - >= 98 @ 0.006169
0.00/0.02	c bounds - >= 99 @ 0.006169
0.00/0.02	c bounds - >= 100 @ 0.006173
0.00/0.02	c bounds - >= 101 @ 0.006173
0.00/0.02	c bounds - >= 102 @ 0.006173
0.00/0.02	c bounds - >= 103 @ 0.006173
0.00/0.02	c bounds - >= 104 @ 0.006173
0.00/0.02	c bounds - >= 105 @ 0.006173
0.00/0.02	c bounds - >= 106 @ 0.006173
0.00/0.02	c bounds - >= 107 @ 0.006173
0.00/0.02	c bounds - >= 108 @ 0.006173
0.00/0.02	c bounds - >= 109 @ 0.006173
0.00/0.02	c bounds - >= 110 @ 0.006173
0.00/0.02	c bounds - >= 111 @ 0.006173
0.00/0.02	c bounds - >= 112 @ 0.006173
0.00/0.02	c bounds - >= 113 @ 0.006173
0.00/0.02	c bounds - >= 114 @ 0.006173
0.00/0.02	c bounds - >= 115 @ 0.006173
0.00/0.02	c bounds - >= 116 @ 0.006173
0.00/0.02	c bounds - >= 117 @ 0.006173
0.00/0.02	c bounds - >= 118 @ 0.006173
0.00/0.02	c bounds - >= 119 @ 0.006173
0.00/0.02	c bounds - >= 120 @ 0.006173
0.00/0.02	c bounds - >= 121 @ 0.006173
0.00/0.02	c bounds - >= 122 @ 0.006173
0.00/0.02	c bounds - >= 123 @ 0.006246
0.00/0.02	c bounds - >= 124 @ 0.006404
0.00/0.02	c bounds - >= 125 @ 0.00655
0.00/0.02	c bounds - >= 126 @ 0.006688
0.00/0.02	c bounds - >= 127 @ 0.006829
0.00/0.02	c bounds - >= 128 @ 0.006964
0.00/0.02	c bounds - >= 129 @ 0.00711
0.00/0.02	c bounds - >= 130 @ 0.007139
0.00/0.02	c bounds - >= 131 @ 0.007139
0.00/0.02	c bounds - >= 132 @ 0.007139
0.00/0.02	c bounds - >= 133 @ 0.007139
0.00/0.02	c bounds - >= 134 @ 0.007139
0.00/0.02	c finalizing WCE round: reformulating cores
36.96/37.13	c #Conflicts:       1000 | #Constraints:       1640
36.96/37.13	c #Conflicts:       2000 | #Constraints:       2642
36.96/37.13	c INPROCESSING
36.96/37.13	c GARBAGE COLLECT
36.96/37.13	c #Conflicts:       3000 | #Constraints:       2562
36.96/37.13	c #Conflicts:       4000 | #Constraints:       3564
36.96/37.13	c INPROCESSING
36.96/37.13	c GARBAGE COLLECT
36.96/37.13	c #Conflicts:       5000 | #Constraints:       2973
36.96/37.13	c #Conflicts:       6000 | #Constraints:       3975
36.96/37.13	c INPROCESSING
36.96/37.13	c GARBAGE COLLECT
36.96/37.13	c #Conflicts:       7000 | #Constraints:       2980
36.96/37.13	c #Conflicts:       8000 | #Constraints:       3982
36.96/37.13	c #Conflicts:       9000 | #Constraints:       4986
36.96/37.13	c INPROCESSING
36.96/37.13	c GARBAGE COLLECT
36.96/37.13	c #Conflicts:      10000 | #Constraints:       3687
36.96/37.13	c #Conflicts:      11000 | #Constraints:       4689
36.96/37.13	c #Conflicts:      12000 | #Constraints:       5691
36.96/37.13	c INPROCESSING
36.96/37.13	c GARBAGE COLLECT
36.96/37.13	c #Conflicts:      13000 | #Constraints:       4144
36.96/37.13	c #Conflicts:      14000 | #Constraints:       5146
36.96/37.13	c #Conflicts:      15000 | #Constraints:       6148
36.96/37.13	c INPROCESSING
36.96/37.13	c GARBAGE COLLECT
36.96/37.13	c #Conflicts:      16000 | #Constraints:       4387
36.96/37.13	c #Conflicts:      17000 | #Constraints:       5389
36.96/37.13	c #Conflicts:      18000 | #Constraints:       6391
36.96/37.13	c INPROCESSING
36.96/37.13	c GARBAGE COLLECT
36.96/37.13	c #Conflicts:      19000 | #Constraints:       4409
36.96/37.13	c #Conflicts:      20000 | #Constraints:       5411
36.96/37.13	c #Conflicts:      21000 | #Constraints:       6413
36.96/37.13	c INPROCESSING
36.96/37.13	c GARBAGE COLLECT
36.96/37.13	c #Conflicts:      22000 | #Constraints:       4224
36.96/37.13	c #Conflicts:      23000 | #Constraints:       5226
36.96/37.13	c #Conflicts:      24000 | #Constraints:       6230
36.96/37.13	c #Conflicts:      25000 | #Constraints:       7232
36.96/37.13	c INPROCESSING
36.96/37.13	c GARBAGE COLLECT
36.96/37.13	c #Conflicts:      26000 | #Constraints:       4839
36.96/37.13	c #Conflicts:      27000 | #Constraints:       5841
36.96/37.13	c #Conflicts:      28000 | #Constraints:       6843
36.96/37.13	c #Conflicts:      29000 | #Constraints:       7847
36.96/37.13	c INPROCESSING
36.96/37.13	c GARBAGE COLLECT
36.96/37.13	c #Conflicts:      30000 | #Constraints:       5241
36.96/37.13	c #Conflicts:      31000 | #Constraints:       6243
36.96/37.13	c #Conflicts:      32000 | #Constraints:       7245
36.96/37.13	c #Conflicts:      33000 | #Constraints:       8249
36.96/37.13	c INPROCESSING
36.96/37.13	c GARBAGE COLLECT
36.96/37.13	c #Conflicts:      34000 | #Constraints:       5457
36.96/37.13	c #Conflicts:      35000 | #Constraints:       6459
36.96/37.13	c #Conflicts:      36000 | #Constraints:       7461
36.96/37.13	c #Conflicts:      37000 | #Constraints:       8465
36.96/37.13	c INPROCESSING
36.96/37.13	c GARBAGE COLLECT
36.96/37.13	c #Conflicts:      38000 | #Constraints:       5463
36.96/37.13	c #Conflicts:      39000 | #Constraints:       6465
36.96/37.13	c #Conflicts:      40000 | #Constraints:       7467
36.96/37.13	c #Conflicts:      41000 | #Constraints:       8471
36.96/37.13	c INPROCESSING
36.96/37.13	c GARBAGE COLLECT
36.96/37.13	c #Conflicts:      42000 | #Constraints:       5271
36.96/37.13	c #Conflicts:      43000 | #Constraints:       6273
36.96/37.13	c #Conflicts:      44000 | #Constraints:       7277
36.96/37.13	c #Conflicts:      45000 | #Constraints:       8279
36.96/37.13	c #Conflicts:      46000 | #Constraints:       9281
36.96/37.13	c INPROCESSING
36.96/37.13	c GARBAGE COLLECT
36.96/37.13	c #Conflicts:      47000 | #Constraints:       5887
36.96/37.13	c #Conflicts:      48000 | #Constraints:       6889
36.96/37.13	c #Conflicts:      49000 | #Constraints:       7891
36.96/37.13	c #Conflicts:      50000 | #Constraints:       8895
36.96/37.13	c #Conflicts:      51000 | #Constraints:       9897
36.96/37.13	c INPROCESSING
36.96/37.13	c GARBAGE COLLECT
36.96/37.13	c #Conflicts:      52000 | #Constraints:       6293
36.96/37.13	c #Conflicts:      53000 | #Constraints:       7295
36.96/37.13	c #Conflicts:      54000 | #Constraints:       8297
36.96/37.13	c #Conflicts:      55000 | #Constraints:       9301
36.96/37.13	c #Conflicts:      56000 | #Constraints:      10303
36.96/37.13	c INPROCESSING
36.96/37.13	c GARBAGE COLLECT
36.96/37.13	c #Conflicts:      57000 | #Constraints:       6511
36.96/37.13	c #Conflicts:      58000 | #Constraints:       7513
36.96/37.13	c #Conflicts:      59000 | #Constraints:       8515
36.96/37.13	c #Conflicts:      60000 | #Constraints:       9519
36.96/37.13	c bounds 226 >= 134 @ 35.705
36.96/37.13	c bounds 226 >= 135 @ 35.7191
36.96/37.13	c bounds 226 >= 136 @ 35.7229
36.96/37.13	c bounds 226 >= 137 @ 35.7287
36.96/37.13	c bounds 226 >= 138 @ 35.7347
36.96/37.13	c bounds 226 >= 139 @ 35.7405
36.96/37.13	c bounds 226 >= 140 @ 35.7466
36.96/37.13	c bounds 226 >= 141 @ 35.7528
36.96/37.13	c bounds 226 >= 142 @ 35.7545
36.96/37.13	c bounds 226 >= 143 @ 35.7584
36.96/37.13	c bounds 226 >= 144 @ 35.776
36.96/37.13	c bounds 226 >= 145 @ 35.801
36.96/37.13	c bounds 226 >= 146 @ 35.9486
36.96/37.13	c #Conflicts:      61000 | #Constraints:      10753
36.96/37.13	c INPROCESSING
37.95/38.17	c GARBAGE COLLECT
37.95/38.17	c #Conflicts:      62000 | #Constraints:       6686
37.95/38.17	c finalizing WCE round: reformulating cores
174.72/175.38	c #Conflicts:      63000 | #Constraints:       7689
174.72/175.38	c #Conflicts:      64000 | #Constraints:       8691
174.72/175.38	c #Conflicts:      65000 | #Constraints:       9693
174.72/175.38	c #Conflicts:      66000 | #Constraints:      10697
174.72/175.38	c INPROCESSING
174.72/175.38	c GARBAGE COLLECT
174.72/175.38	c #Conflicts:      67000 | #Constraints:       6471
174.72/175.38	c #Conflicts:      68000 | #Constraints:       7476
174.72/175.38	c #Conflicts:      69000 | #Constraints:       8478
174.72/175.38	c #Conflicts:      70000 | #Constraints:       9480
174.72/175.38	c #Conflicts:      71000 | #Constraints:      10484
174.72/175.38	c #Conflicts:      72000 | #Constraints:      11486
174.72/175.38	c INPROCESSING
174.72/175.38	c GARBAGE COLLECT
174.72/175.38	c bounds 224 >= 146 @ 51.0227
174.72/175.38	c bounds 224 >= 147 @ 51.0935
174.72/175.38	c #Conflicts:      73000 | #Constraints:       7107
174.72/175.38	c bounds 224 >= 148 @ 51.5794
174.72/175.38	c #Conflicts:      74000 | #Constraints:       8177
174.72/175.38	c #Conflicts:      75000 | #Constraints:       9177
174.72/175.38	c #Conflicts:      76000 | #Constraints:      10177
174.72/175.38	c #Conflicts:      77000 | #Constraints:      11177
174.72/175.38	c #Conflicts:      78000 | #Constraints:      12177
174.72/175.38	c INPROCESSING
174.72/175.38	c GARBAGE COLLECT
174.72/175.38	c #Conflicts:      79000 | #Constraints:       7588
174.72/175.38	c #Conflicts:      80000 | #Constraints:       8588
174.72/175.38	c #Conflicts:      81000 | #Constraints:       9588
174.72/175.38	c #Conflicts:      82000 | #Constraints:      10588
174.72/175.38	c #Conflicts:      83000 | #Constraints:      11588
174.72/175.38	c #Conflicts:      84000 | #Constraints:      12588
174.72/175.38	c INPROCESSING
174.72/175.38	c GARBAGE COLLECT
174.72/175.38	c #Conflicts:      85000 | #Constraints:       7794
174.72/175.38	c #Conflicts:      86000 | #Constraints:       8794
174.72/175.38	c #Conflicts:      87000 | #Constraints:       9794
174.72/175.38	c #Conflicts:      88000 | #Constraints:      10794
174.72/175.38	c #Conflicts:      89000 | #Constraints:      11794
174.72/175.38	c #Conflicts:      90000 | #Constraints:      12794
174.72/175.38	c INPROCESSING
174.72/175.38	c GARBAGE COLLECT
174.72/175.38	c #Conflicts:      91000 | #Constraints:       7804
174.72/175.38	c #Conflicts:      92000 | #Constraints:       8804
174.72/175.38	c #Conflicts:      93000 | #Constraints:       9804
174.72/175.38	c #Conflicts:      94000 | #Constraints:      10804
174.72/175.38	c #Conflicts:      95000 | #Constraints:      11804
174.72/175.38	c #Conflicts:      96000 | #Constraints:      12804
174.72/175.38	c INPROCESSING
174.72/175.38	c GARBAGE COLLECT
174.72/175.38	c #Conflicts:      97000 | #Constraints:       7608
174.72/175.38	c #Conflicts:      98000 | #Constraints:       8608
174.72/175.38	c #Conflicts:      99000 | #Constraints:       9608
174.72/175.38	c #Conflicts:     100000 | #Constraints:      10608
174.72/175.38	c #Conflicts:     101000 | #Constraints:      11608
174.72/175.38	c #Conflicts:     102000 | #Constraints:      12608
174.72/175.38	c #Conflicts:     103000 | #Constraints:      13608
174.72/175.38	c INPROCESSING
174.72/175.38	c GARBAGE COLLECT
174.72/175.38	c #Conflicts:     104000 | #Constraints:       8210
174.72/175.38	c #Conflicts:     105000 | #Constraints:       9210
174.72/175.38	c #Conflicts:     106000 | #Constraints:      10210
174.72/175.38	c #Conflicts:     107000 | #Constraints:      11210
174.72/175.38	c #Conflicts:     108000 | #Constraints:      12210
174.72/175.38	c #Conflicts:     109000 | #Constraints:      13210
174.72/175.38	c #Conflicts:     110000 | #Constraints:      14210
174.72/175.38	c INPROCESSING
174.72/175.38	c GARBAGE COLLECT
174.72/175.38	c #Conflicts:     111000 | #Constraints:       8613
174.72/175.38	c #Conflicts:     112000 | #Constraints:       9613
174.72/175.38	c #Conflicts:     113000 | #Constraints:      10613
174.72/175.38	c #Conflicts:     114000 | #Constraints:      11613
174.72/175.38	c #Conflicts:     115000 | #Constraints:      12613
174.72/175.38	c #Conflicts:     116000 | #Constraints:      13613
174.72/175.38	c #Conflicts:     117000 | #Constraints:      14613
174.72/175.38	c INPROCESSING
174.72/175.38	c GARBAGE COLLECT
174.72/175.38	c #Conflicts:     118000 | #Constraints:       8814
174.72/175.38	c #Conflicts:     119000 | #Constraints:       9814
174.72/175.38	c #Conflicts:     120000 | #Constraints:      10814
174.72/175.38	c #Conflicts:     121000 | #Constraints:      11814
174.72/175.38	c #Conflicts:     122000 | #Constraints:      12814
174.72/175.38	c #Conflicts:     123000 | #Constraints:      13814
174.72/175.38	c #Conflicts:     124000 | #Constraints:      14814
174.72/175.38	c INPROCESSING
174.72/175.38	c GARBAGE COLLECT
174.72/175.38	c #Conflicts:     125000 | #Constraints:       8821
174.72/175.38	c #Conflicts:     126000 | #Constraints:       9821
174.72/175.38	c #Conflicts:     127000 | #Constraints:      10821
174.72/175.38	c #Conflicts:     128000 | #Constraints:      11821
174.72/175.38	c #Conflicts:     129000 | #Constraints:      12821
174.72/175.38	c bounds 224 >= 149 @ 170.757
174.72/175.38	c #Conflicts:     130000 | #Constraints:      13912
174.72/175.38	c #Conflicts:     131000 | #Constraints:      14912
174.72/175.38	c INPROCESSING
174.72/175.38	c GARBAGE COLLECT
174.72/175.38	c #Conflicts:     132000 | #Constraints:       8672
778.74/781.08	c #Conflicts:     133000 | #Constraints:       9672
778.74/781.08	c #Conflicts:     134000 | #Constraints:      10672
778.74/781.08	c #Conflicts:     135000 | #Constraints:      11672
778.74/781.08	c #Conflicts:     136000 | #Constraints:      12672
778.74/781.08	c #Conflicts:     137000 | #Constraints:      13672
778.74/781.08	c #Conflicts:     138000 | #Constraints:      14672
778.74/781.08	c #Conflicts:     139000 | #Constraints:      15672
778.74/781.08	c INPROCESSING
778.74/781.08	c GARBAGE COLLECT
778.74/781.08	c #Conflicts:     140000 | #Constraints:       9253
778.74/781.08	c #Conflicts:     141000 | #Constraints:      10253
778.74/781.08	c #Conflicts:     142000 | #Constraints:      11253
778.74/781.08	c #Conflicts:     143000 | #Constraints:      12253
778.74/781.08	c #Conflicts:     144000 | #Constraints:      13253
778.74/781.08	c #Conflicts:     145000 | #Constraints:      14253
778.74/781.08	c #Conflicts:     146000 | #Constraints:      15253
778.74/781.08	c #Conflicts:     147000 | #Constraints:      16253
778.74/781.08	c INPROCESSING
778.74/781.08	c GARBAGE COLLECT
778.74/781.08	c #Conflicts:     148000 | #Constraints:       9661
778.74/781.08	c #Conflicts:     149000 | #Constraints:      10661
778.74/781.08	c #Conflicts:     150000 | #Constraints:      11661
778.74/781.08	c #Conflicts:     151000 | #Constraints:      12661
778.74/781.08	c #Conflicts:     152000 | #Constraints:      13661
778.74/781.08	c #Conflicts:     153000 | #Constraints:      14661
778.74/781.08	c #Conflicts:     154000 | #Constraints:      15661
778.74/781.08	c #Conflicts:     155000 | #Constraints:      16661
778.74/781.08	c INPROCESSING
778.74/781.08	c GARBAGE COLLECT
778.74/781.08	c #Conflicts:     156000 | #Constraints:       9869
778.74/781.08	c #Conflicts:     157000 | #Constraints:      10869
778.74/781.08	c #Conflicts:     158000 | #Constraints:      11869
778.74/781.08	c #Conflicts:     159000 | #Constraints:      12869
778.74/781.08	c #Conflicts:     160000 | #Constraints:      13869
778.74/781.08	c #Conflicts:     161000 | #Constraints:      14869
778.74/781.08	c #Conflicts:     162000 | #Constraints:      15869
778.74/781.08	c #Conflicts:     163000 | #Constraints:      16869
778.74/781.08	c INPROCESSING
778.74/781.08	c GARBAGE COLLECT
778.74/781.08	c #Conflicts:     164000 | #Constraints:       9878
778.74/781.08	c #Conflicts:     165000 | #Constraints:      10878
778.74/781.08	c #Conflicts:     166000 | #Constraints:      11878
778.74/781.08	c #Conflicts:     167000 | #Constraints:      12878
778.74/781.08	c #Conflicts:     168000 | #Constraints:      13878
778.74/781.08	c #Conflicts:     169000 | #Constraints:      14878
778.74/781.08	c #Conflicts:     170000 | #Constraints:      15878
778.74/781.08	c #Conflicts:     171000 | #Constraints:      16878
778.74/781.08	c #Conflicts:     172000 | #Constraints:      17878
778.74/781.08	c #Conflicts:     173000 | #Constraints:      18878
778.74/781.08	c #Conflicts:     174000 | #Constraints:      19878
778.74/781.08	c #Conflicts:     175000 | #Constraints:      20878
778.74/781.08	c #Conflicts:     176000 | #Constraints:      21878
778.74/781.08	c #Conflicts:     177000 | #Constraints:      22878
778.74/781.08	c #Conflicts:     178000 | #Constraints:      23878
778.74/781.08	c #Conflicts:     179000 | #Constraints:      24878
778.74/781.08	c #Conflicts:     180000 | #Constraints:      25878
778.74/781.08	c #Conflicts:     181000 | #Constraints:      26878
778.74/781.08	c #Conflicts:     182000 | #Constraints:      27878
778.74/781.08	c #Conflicts:     183000 | #Constraints:      28878
778.74/781.08	c #Conflicts:     184000 | #Constraints:      29878
778.74/781.08	c #Conflicts:     185000 | #Constraints:      30878
778.74/781.08	c #Conflicts:     186000 | #Constraints:      31878
778.74/781.08	c #Conflicts:     187000 | #Constraints:      32878
778.74/781.08	c #Conflicts:     188000 | #Constraints:      33878
778.74/781.08	c #Conflicts:     189000 | #Constraints:      34878
778.74/781.08	c #Conflicts:     190000 | #Constraints:      35878
778.74/781.08	c #Conflicts:     191000 | #Constraints:      36878
778.74/781.08	c #Conflicts:     192000 | #Constraints:      37878
778.74/781.08	c #Conflicts:     193000 | #Constraints:      38878
778.74/781.08	c #Conflicts:     194000 | #Constraints:      39878
778.74/781.08	c #Conflicts:     195000 | #Constraints:      40878
778.74/781.08	c #Conflicts:     196000 | #Constraints:      41878
778.74/781.08	c #Conflicts:     197000 | #Constraints:      42878
778.74/781.08	c #Conflicts:     198000 | #Constraints:      43878
778.74/781.08	c #Conflicts:     199000 | #Constraints:      44878
778.74/781.08	c #Conflicts:     200000 | #Constraints:      45878
778.74/781.08	c #Conflicts:     201000 | #Constraints:      46878
778.74/781.08	c INPROCESSING
778.74/781.08	c GARBAGE COLLECT
778.74/781.08	c #Conflicts:     202000 | #Constraints:      24836
778.74/781.08	c #Conflicts:     203000 | #Constraints:      25836
778.74/781.08	c #Conflicts:     204000 | #Constraints:      26836
778.74/781.08	c #Conflicts:     205000 | #Constraints:      27836
778.74/781.08	c #Conflicts:     206000 | #Constraints:      28836
778.74/781.08	c #Conflicts:     207000 | #Constraints:      29836
778.74/781.08	c #Conflicts:     208000 | #Constraints:      30836
2070.22/2076.42	c #Conflicts:     209000 | #Constraints:      31836
2070.22/2076.42	c #Conflicts:     210000 | #Constraints:      32836
2070.22/2076.42	c INPROCESSING
2070.22/2076.42	c GARBAGE COLLECT
2070.22/2076.42	c #Conflicts:     211000 | #Constraints:      17562
2070.22/2076.42	c #Conflicts:     212000 | #Constraints:      18562
2070.22/2076.42	c #Conflicts:     213000 | #Constraints:      19562
2070.22/2076.42	c #Conflicts:     214000 | #Constraints:      20562
2070.22/2076.42	c #Conflicts:     215000 | #Constraints:      21562
2070.22/2076.42	c #Conflicts:     216000 | #Constraints:      22562
2070.22/2076.42	c #Conflicts:     217000 | #Constraints:      23562
2070.22/2076.42	c #Conflicts:     218000 | #Constraints:      24562
2070.22/2076.42	c #Conflicts:     219000 | #Constraints:      25562
2070.22/2076.42	c #Conflicts:     220000 | #Constraints:      26562
2070.22/2076.42	c #Conflicts:     221000 | #Constraints:      27562
2070.22/2076.42	c #Conflicts:     222000 | #Constraints:      28562
2070.22/2076.42	c #Conflicts:     223000 | #Constraints:      29562
2070.22/2076.42	c #Conflicts:     224000 | #Constraints:      30562
2070.22/2076.42	c #Conflicts:     225000 | #Constraints:      31562
2070.22/2076.42	c #Conflicts:     226000 | #Constraints:      32562
2070.22/2076.42	c #Conflicts:     227000 | #Constraints:      33562
2070.22/2076.42	c #Conflicts:     228000 | #Constraints:      34562
2070.22/2076.42	c #Conflicts:     229000 | #Constraints:      35562
2070.22/2076.42	c #Conflicts:     230000 | #Constraints:      36562
2070.22/2076.42	c #Conflicts:     231000 | #Constraints:      37562
2070.22/2076.42	c #Conflicts:     232000 | #Constraints:      38562
2070.22/2076.42	c #Conflicts:     233000 | #Constraints:      39562
2070.22/2076.42	c #Conflicts:     234000 | #Constraints:      40562
2070.22/2076.42	c #Conflicts:     235000 | #Constraints:      41562
2070.22/2076.42	c #Conflicts:     236000 | #Constraints:      42562
2070.22/2076.42	c #Conflicts:     237000 | #Constraints:      43562
2070.22/2076.42	c #Conflicts:     238000 | #Constraints:      44562
2070.22/2076.42	c #Conflicts:     239000 | #Constraints:      45562
2070.22/2076.42	c #Conflicts:     240000 | #Constraints:      46562
2070.22/2076.42	c #Conflicts:     241000 | #Constraints:      47562
2070.22/2076.42	c #Conflicts:     242000 | #Constraints:      48562
2070.22/2076.42	c #Conflicts:     243000 | #Constraints:      49562
2070.22/2076.42	c #Conflicts:     244000 | #Constraints:      50562
2070.22/2076.42	c #Conflicts:     245000 | #Constraints:      51562
2070.22/2076.42	c #Conflicts:     246000 | #Constraints:      52562
2070.22/2076.42	c #Conflicts:     247000 | #Constraints:      53562
2070.22/2076.42	c #Conflicts:     248000 | #Constraints:      54562
2070.22/2076.42	c #Conflicts:     249000 | #Constraints:      55562
2070.22/2076.42	c #Conflicts:     250000 | #Constraints:      56562
2070.22/2076.42	c #Conflicts:     251000 | #Constraints:      57562
2070.22/2076.42	c #Conflicts:     252000 | #Constraints:      58562
2070.22/2076.42	c INPROCESSING
2070.22/2076.42	c GARBAGE COLLECT
2070.22/2076.42	c #Conflicts:     253000 | #Constraints:      30838
2070.22/2076.42	c #Conflicts:     254000 | #Constraints:      31838
2070.22/2076.42	c #Conflicts:     255000 | #Constraints:      32838
2070.22/2076.42	c #Conflicts:     256000 | #Constraints:      33838
2070.22/2076.42	c #Conflicts:     257000 | #Constraints:      34838
2070.22/2076.42	c #Conflicts:     258000 | #Constraints:      35838
2070.22/2076.42	c #Conflicts:     259000 | #Constraints:      36838
2070.22/2076.42	c #Conflicts:     260000 | #Constraints:      37838
2070.22/2076.42	c #Conflicts:     261000 | #Constraints:      38838
2070.22/2076.42	c #Conflicts:     262000 | #Constraints:      39838
2070.22/2076.42	c INPROCESSING
2070.22/2076.42	c GARBAGE COLLECT
2070.22/2076.42	c #Conflicts:     263000 | #Constraints:      22639
2070.22/2076.42	c #Conflicts:     264000 | #Constraints:      23639
2070.22/2076.42	c #Conflicts:     265000 | #Constraints:      24639
2070.22/2076.42	c #Conflicts:     266000 | #Constraints:      25639
2070.22/2076.42	c #Conflicts:     267000 | #Constraints:      26639
2070.22/2076.42	c #Conflicts:     268000 | #Constraints:      27639
2070.22/2076.42	c #Conflicts:     269000 | #Constraints:      28639
2070.22/2076.42	c #Conflicts:     270000 | #Constraints:      29639
2070.22/2076.42	c #Conflicts:     271000 | #Constraints:      30639
2070.22/2076.42	c #Conflicts:     272000 | #Constraints:      31639
2070.22/2076.42	c #Conflicts:     273000 | #Constraints:      32639
2070.22/2076.42	c #Conflicts:     274000 | #Constraints:      33639
2070.22/2076.42	c #Conflicts:     275000 | #Constraints:      34639
2070.22/2076.42	c #Conflicts:     276000 | #Constraints:      35639
2070.22/2076.42	c #Conflicts:     277000 | #Constraints:      36639
2070.22/2076.42	c #Conflicts:     278000 | #Constraints:      37639
2070.22/2076.42	c #Conflicts:     279000 | #Constraints:      38639
2070.22/2076.42	c #Conflicts:     280000 | #Constraints:      39639
2070.22/2076.42	c #Conflicts:     281000 | #Constraints:      40639
2070.22/2076.42	c #Conflicts:     282000 | #Constraints:      41639
2070.22/2076.42	c #Conflicts:     283000 | #Constraints:      42639
2070.22/2076.42	c #Conflicts:     284000 | #Constraints:      43639
3600.04/3610.90	c #Conflicts:     285000 | #Constraints:      44639
3600.04/3610.90	c #Conflicts:     286000 | #Constraints:      45639
3600.04/3610.90	c #Conflicts:     287000 | #Constraints:      46639
3600.04/3610.90	c #Conflicts:     288000 | #Constraints:      47639
3600.04/3610.90	c #Conflicts:     289000 | #Constraints:      48639
3600.04/3610.90	c #Conflicts:     290000 | #Constraints:      49639
3600.04/3610.90	c #Conflicts:     291000 | #Constraints:      50639
3600.04/3610.90	c #Conflicts:     292000 | #Constraints:      51639
3600.04/3610.90	c #Conflicts:     293000 | #Constraints:      52639
3600.04/3610.90	c #Conflicts:     294000 | #Constraints:      53639
3600.04/3610.90	c #Conflicts:     295000 | #Constraints:      54639
3600.04/3610.90	c #Conflicts:     296000 | #Constraints:      55639
3600.04/3610.90	c #Conflicts:     297000 | #Constraints:      56639
3600.04/3610.90	c #Conflicts:     298000 | #Constraints:      57639
3600.04/3610.90	c #Conflicts:     299000 | #Constraints:      58639
3600.04/3610.90	c #Conflicts:     300000 | #Constraints:      59639
3600.04/3610.90	c #Conflicts:     301000 | #Constraints:      60639
3600.04/3610.90	c #Conflicts:     302000 | #Constraints:      61639
3600.04/3610.90	c #Conflicts:     303000 | #Constraints:      62639
3600.04/3610.90	c #Conflicts:     304000 | #Constraints:      63639
3600.04/3610.90	c #Conflicts:     305000 | #Constraints:      64639
3600.04/3610.90	c #Conflicts:     306000 | #Constraints:      65639
3600.04/3610.90	c #Conflicts:     307000 | #Constraints:      66639
3600.04/3610.90	c INPROCESSING
3600.04/3610.90	c GARBAGE COLLECT
3600.04/3610.90	c #Conflicts:     308000 | #Constraints:      34817
3600.04/3610.90	c #Conflicts:     309000 | #Constraints:      35817
3600.04/3610.90	c #Conflicts:     310000 | #Constraints:      36817
3600.04/3610.90	c #Conflicts:     311000 | #Constraints:      37817
3600.04/3610.90	c #Conflicts:     312000 | #Constraints:      38817
3600.04/3610.90	c #Conflicts:     313000 | #Constraints:      39817
3600.04/3610.90	c #Conflicts:     314000 | #Constraints:      40817
3600.04/3610.90	c #Conflicts:     315000 | #Constraints:      41817
3600.04/3610.90	c #Conflicts:     316000 | #Constraints:      42817
3600.04/3610.90	c #Conflicts:     317000 | #Constraints:      43817
3600.04/3610.90	c #Conflicts:     318000 | #Constraints:      44817
3600.04/3610.90	c #Conflicts:     319000 | #Constraints:      45817
3600.04/3610.90	c INPROCESSING
3600.04/3610.90	c GARBAGE COLLECT
3600.04/3610.90	c #Conflicts:     320000 | #Constraints:      31405
3600.04/3610.90	c #Conflicts:     321000 | #Constraints:      32405
3600.04/3610.90	c #Conflicts:     322000 | #Constraints:      33405
3600.04/3610.90	c #Conflicts:     323000 | #Constraints:      34405
3600.04/3610.90	c #Conflicts:     324000 | #Constraints:      35405
3600.04/3610.90	c #Conflicts:     325000 | #Constraints:      36405
3600.04/3610.90	c #Conflicts:     326000 | #Constraints:      37405
3600.04/3610.90	c #Conflicts:     327000 | #Constraints:      38405
3600.04/3610.90	c #Conflicts:     328000 | #Constraints:      39405
3600.04/3610.90	c #Conflicts:     329000 | #Constraints:      40405
3600.04/3610.90	c #Conflicts:     330000 | #Constraints:      41405
3600.04/3610.90	c #Conflicts:     331000 | #Constraints:      42405
3600.04/3610.90	c #Conflicts:     332000 | #Constraints:      43405
3600.04/3610.90	c #Conflicts:     333000 | #Constraints:      44405
3600.04/3610.90	c #Conflicts:     334000 | #Constraints:      45405
3600.04/3610.90	c #Conflicts:     335000 | #Constraints:      46405
3600.04/3610.90	c #Conflicts:     336000 | #Constraints:      47405
3600.04/3610.90	c #Conflicts:     337000 | #Constraints:      48405
3600.04/3610.90	c #Conflicts:     338000 | #Constraints:      49405
3600.04/3610.90	c #Conflicts:     339000 | #Constraints:      50405
3600.04/3610.90	c #Conflicts:     340000 | #Constraints:      51405
3600.04/3610.90	c #Conflicts:     341000 | #Constraints:      52405
3600.04/3610.90	c #Conflicts:     342000 | #Constraints:      53405
3600.04/3610.90	c #Conflicts:     343000 | #Constraints:      54405
3600.04/3610.90	c #Conflicts:     344000 | #Constraints:      55405
3600.04/3610.90	c #Conflicts:     345000 | #Constraints:      56405
3600.04/3610.90	c Program interrupted by user.
3600.04/3610.90	c cpu time 3590.14 s
3600.04/3610.90	c deterministic time 251855997318 2.52e+11
3600.04/3610.90	c optimization time 667.573 s
3600.04/3610.90	c total solve time 2922.56 s
3600.04/3610.90	c core-guided solve time 2922.56 s
3600.04/3610.90	c propagation time 3305.5 s
3600.04/3610.90	c conflict analysis time 268.025 s
3600.04/3610.90	c propagations 51928230
3600.04/3610.90	c resolve steps 4493121
3600.04/3610.90	c decisions 7875048
3600.04/3610.90	c conflicts 345283
3600.04/3610.90	c restarts 819
3600.04/3610.90	c inprocessing phases 38
3600.04/3610.90	c input clauses 191
3600.04/3610.90	c input cardinalities 394
3600.04/3610.90	c input general constraints 636
3600.04/3610.90	c input average constraint length 46.35
3600.04/3610.90	c input average constraint degree 22.41
3600.04/3610.90	c learned clauses 64121
3600.04/3610.90	c learned cardinalities 2217
3600.04/3610.90	c learned general constraints 278962
3600.04/3610.90	c learned average constraint length 160.96
3600.04/3610.90	c learned average constraint degree 3450362.39
3600.04/3610.90	c watched constraints 218503
3600.04/3610.90	c counting constraints 61095
3600.04/3610.90	c gcd simplifications 28519
3600.04/3610.90	c detected cardinalities 1904
3600.04/3610.90	c weakened non-implied lits 5252631
3600.04/3610.90	c weakened non-implying lits 20345
3600.04/3610.90	c original variables 479
3600.04/3610.90	c clausal propagations 11733233
3600.04/3610.90	c cardinality propagations 1648132
3600.04/3610.90	c watched propagations 8106491
3600.04/3610.90	c counting propagations 30019325
3600.04/3610.90	c watch lookups 69031838860
3600.04/3610.90	c watch backjump lookups 67259986684
3600.04/3610.90	c watch checks 104256080110
3600.04/3610.90	c propagation checks 10979694841
3600.04/3610.90	c constraint additions 208445135
3600.04/3610.90	c trail pops 60148409
3600.04/3610.90	c formula constraints 479
3600.04/3610.90	c learned constraints 345300
3600.04/3610.90	c bound constraints 101
3600.04/3610.90	c core-guided constraints 641
3600.04/3610.90	c encountered formula constraints 750196
3600.04/3610.90	c encountered learned constraints 3378167
3600.04/3610.90	c encountered bound constraints 192
3600.04/3610.90	c encountered core-guided constraints 709849
3600.04/3610.90	c LP total time 0 s
3600.04/3610.90	c LP solve time 0 s
3600.04/3610.90	c LP constraints added 0
3600.04/3610.90	c LP constraints removed 0
3600.04/3610.90	c LP pivots internal 0
3600.04/3610.90	c LP pivots root 0
3600.04/3610.90	c LP calls 0
3600.04/3610.90	c LP optimalities 0
3600.04/3610.90	c LP no pivot count 0
3600.04/3610.90	c LP infeasibilities 0
3600.04/3610.90	c LP valid Farkas constraints 0
3600.04/3610.90	c LP learned Farkas constraints 0
3600.04/3610.90	c LP basis resets 0
3600.04/3610.90	c LP cycling count 0
3600.04/3610.90	c LP singular count 0
3600.04/3610.90	c LP no primal count 0
3600.04/3610.90	c LP no farkas count 0
3600.04/3610.90	c LP other issue count 0
3600.04/3610.90	c LP Gomory cuts 0
3600.04/3610.90	c LP learned cuts 0
3600.04/3610.90	c LP deleted cuts 0
3600.04/3610.90	c LP encountered Gomory constraints 0
3600.04/3610.90	c LP encountered Farkas constraints 0
3600.04/3610.90	c LP encountered learned Farkas constraints 0
3600.04/3610.90	c CG auxiliary variables introduced 281
3600.04/3610.90	c CG solutions found 2
3600.04/3610.90	c CG cores constructed 93
3600.04/3610.90	c CG core cardinality constraints returned 0
3600.04/3610.90	c CG unit cores 0
3600.04/3610.90	c CG single cores 93
3600.04/3610.90	c CG blocks removed during cardinality reduction 0
3600.04/3610.90	c CG first core best 0
3600.04/3610.90	c CG decision core best 0
3600.04/3610.90	c CG core reduction tie 0
3600.04/3610.90	c CG core degree average 1.00
3600.04/3610.90	c CG core slack average 5.46
3600.04/3610.90	c CG exhausted 0
3600.04/3610.90	c CG exhaust time 48.7795 s
3600.04/3610.90	c CG trimmed 3
3600.04/3610.90	c CG trim time 0.016969 s
3600.04/3610.90	c CG minimized 0
3600.04/3610.90	c CG minimize time 0 s
3600.04/3610.90	c CG am1 prop time 0.019098 s
3600.04/3610.90	c CG # am1s reformulated 56
3600.04/3610.90	c CG lower bound derived from am1s 56
3600.04/3610.90	c CG # clausal cores 34
3600.04/3610.90	c CG # cardinality cores 0
3600.04/3610.90	c CG # pb cores 59
3600.04/3610.90	c CG # pb reforms 0
3600.04/3610.90	c CG # cores discarded because of pb reform 0
3600.04/3610.90	d LOWERBOUND 149
3600.04/3610.90	d NCORES 93
3600.04/3610.90	d NPBCORES 59
3600.04/3610.90	d NPBREFORM 0
3600.04/3610.90	d NTRIMMED 3
3600.04/3610.90	d NEXHAUSTED 0
3600.04/3610.90	d NAM1S 56
3600.04/3610.90	d AM1LB 56
3600.04/3610.90	o 224
3600.04/3610.90	s SATISFIABLE
3600.04/3610.90	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 -x477 -x478 -x479

Verifier Data 

OK	224

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: 63708 MiB (60547 MiB free)
  memory of node 1: 64465 MiB (60865 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4489134-1751343685/watcher-4489134-1751343685 -o /tmp/evaluation-result-4489134-1751343685/solver-4489134-1751343685 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751336454-45257 --watchdog 3760 pb-oll-rs HOME/instance-4489134-1751343685.opb 

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=46685, runsolver pid=46682

[startup+0.100061 s]*
/proc/loadavg: 4.04 4.10 4.09 5/264 46686
/proc/meminfo: memFree=124326220/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=22280 memory=10324 CPUtime=0.09 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 936 0 0 0 8 1 0 0 20 0 1 0 50043032 22814720 2581 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 5570 2581 1344 243 0 1819 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 22280 KiB
Current children cumulated memory: 10324 KiB

[startup+0.20557 s]*
/proc/loadavg: 4.04 4.10 4.09 5/264 46686
/proc/meminfo: memFree=124324456/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=24172 memory=14172 CPUtime=0.19 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 1400 0 0 0 17 2 0 0 20 0 1 0 50043032 24752128 3543 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 6043 3543 1344 243 0 2292 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 24172 KiB
Current children cumulated memory: 14172 KiB

[startup+0.305444 s]*
/proc/loadavg: 4.04 4.10 4.09 5/264 46686
/proc/meminfo: memFree=124322692/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=24868 memory=14684 CPUtime=0.29 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 1541 0 0 0 27 2 0 0 20 0 1 0 50043032 25464832 3671 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 6217 3671 1344 243 0 2466 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 24868 KiB
Current children cumulated memory: 14684 KiB

[startup+0.700172 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 46686
/proc/meminfo: memFree=124316424/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=29604 memory=17628 CPUtime=0.67 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 2268 0 0 0 64 3 0 0 20 0 1 0 50043032 30314496 4407 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 7401 4407 1344 243 0 3650 0
Current children cumulated CPU time: 0.67 s
Current children cumulated vsize: 29604 KiB
Current children cumulated memory: 17628 KiB

[startup+1.50017 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 46686
/proc/meminfo: memFree=124309368/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=37068 memory=22620 CPUtime=1.48 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 3521 0 0 0 142 6 0 0 20 0 1 0 50043032 37957632 5655 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 9267 5655 1344 243 0 5516 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 37068 KiB
Current children cumulated memory: 22620 KiB

[startup+3.10546 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 46686
/proc/meminfo: memFree=124287980/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=50392 memory=31780 CPUtime=3.07 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 5285 0 0 0 298 9 0 0 20 0 1 0 50043032 51601408 7945 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 12598 7945 1344 243 0 8847 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 50392 KiB
Current children cumulated memory: 31780 KiB

[startup+6.30016 s]
/proc/loadavg: 4.04 4.10 4.09 5/264 46686
/proc/meminfo: memFree=124275028/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=51800 memory=36368 CPUtime=6.26 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 5942 0 0 0 611 15 0 0 20 0 1 0 50043032 53043200 9092 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 12950 9092 1344 243 0 9199 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 51800 KiB
Current children cumulated memory: 36368 KiB

[startup+12.7002 s]
/proc/loadavg: 4.04 4.09 4.08 5/264 46686
/proc/meminfo: memFree=124256316/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=59640 memory=44988 CPUtime=12.64 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 7567 0 0 0 1238 26 0 0 20 0 1 0 50043032 61071360 11247 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 14910 11247 1344 243 0 11159 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 59640 KiB
Current children cumulated memory: 44988 KiB

[startup+25.5002 s]
/proc/loadavg: 4.03 4.09 4.08 5/264 46732
/proc/meminfo: memFree=124872516/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=77652 memory=57580 CPUtime=25.39 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 9695 0 0 0 2493 46 0 0 20 0 1 0 50043032 79515648 14395 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 19413 14395 1344 243 0 15662 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 77652 KiB
Current children cumulated memory: 57580 KiB

[startup+51.1055 s]
/proc/loadavg: 4.07 4.10 4.09 5/264 46732
/proc/meminfo: memFree=124786272/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=82516 memory=67124 CPUtime=50.91 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 11065 0 0 0 5016 75 0 0 20 0 1 0 50043032 84496384 16781 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 20629 16781 1344 243 0 16878 0
Current children cumulated CPU time: 50.91 s
Current children cumulated vsize: 82516 KiB
Current children cumulated memory: 67124 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.09 4.09 5/265 46735
/proc/meminfo: memFree=124744556/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=87544 memory=71220 CPUtime=101.95 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 12100 0 0 0 10082 113 0 0 20 0 1 0 50043032 89645056 17805 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 21886 17805 1344 243 0 18135 0
Current children cumulated CPU time: 101.95 s
Current children cumulated vsize: 87544 KiB
Current children cumulated memory: 71220 KiB

[startup+162.3 s]
/proc/loadavg: 4.13 4.10 4.09 5/265 46742
/proc/meminfo: memFree=124716572/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=88852 memory=72372 CPUtime=161.76 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 12391 0 0 0 16021 155 0 0 20 0 1 0 50043032 90984448 18093 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 22213 18093 1344 243 0 18462 0
Current children cumulated CPU time: 161.76 s
Current children cumulated vsize: 88852 KiB
Current children cumulated memory: 72372 KiB

[startup+222.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/265 46745
/proc/meminfo: memFree=124633724/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=92416 memory=79540 CPUtime=221.6 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 13098 0 0 0 21933 227 0 0 20 0 1 0 50043032 94633984 19885 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 23104 19885 1344 243 0 19353 0
Current children cumulated CPU time: 221.6 s
Current children cumulated vsize: 92416 KiB
Current children cumulated memory: 79540 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.11 4.09 5/266 46750
/proc/meminfo: memFree=124653528/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=94280 memory=80564 CPUtime=281.45 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 13400 0 0 0 27863 282 0 0 20 0 1 0 50043032 96542720 20141 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 23570 20141 1344 243 0 19819 0
Current children cumulated CPU time: 281.45 s
Current children cumulated vsize: 94280 KiB
Current children cumulated memory: 80564 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.10 4.09 5/266 46752
/proc/meminfo: memFree=124656048/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=98272 memory=83764 CPUtime=341.3 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 14227 0 0 0 33811 319 0 0 20 0 1 0 50043032 100630528 20941 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 24568 20941 1344 243 0 20817 0
Current children cumulated CPU time: 341.3 s
Current children cumulated vsize: 98272 KiB
Current children cumulated memory: 83764 KiB

[startup+402.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/265 46754
/proc/meminfo: memFree=124650660/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=102984 memory=87476 CPUtime=401.13 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 15221 0 0 0 39773 340 0 0 20 0 1 0 50043032 105455616 21869 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 25746 21869 1344 243 0 21995 0
Current children cumulated CPU time: 401.13 s
Current children cumulated vsize: 102984 KiB
Current children cumulated memory: 87476 KiB

[startup+462.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/265 46757
/proc/meminfo: memFree=124650792/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=106456 memory=90016 CPUtime=460.95 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 16243 0 0 0 45738 357 0 0 20 0 1 0 50043032 109010944 22504 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 26614 22504 1344 243 0 22863 0

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

Current children cumulated memory: 149408 KiB

[startup+2922.3 s]
/proc/loadavg: 4.23 4.15 4.11 5/265 46888
/proc/meminfo: memFree=124339944/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=192812 memory=149408 CPUtime=2913.55 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 26565 0 0 0 290488 867 0 0 20 0 1 0 50043032 197439488 37352 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 48203 37352 1344 243 0 44452 0
Current children cumulated CPU time: 2913.55 s
Current children cumulated vsize: 192812 KiB
Current children cumulated memory: 149408 KiB

[startup+2982.3 s]
/proc/loadavg: 4.13 4.14 4.10 5/265 46890
/proc/meminfo: memFree=124326200/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=192812 memory=149408 CPUtime=2973.36 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 26568 0 0 0 296459 877 0 0 20 0 1 0 50043032 197439488 37352 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 48203 37352 1344 243 0 44452 0
Current children cumulated CPU time: 2973.36 s
Current children cumulated vsize: 192812 KiB
Current children cumulated memory: 149408 KiB

[startup+3042.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/264 46892
/proc/meminfo: memFree=124330592/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=193300 memory=149920 CPUtime=3033.19 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 26690 0 0 0 302427 892 0 0 20 0 1 0 50043032 197939200 37480 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 48325 37480 1344 243 0 44574 0
Current children cumulated CPU time: 3033.19 s
Current children cumulated vsize: 193300 KiB
Current children cumulated memory: 149920 KiB

[startup+3102.3 s]
/proc/loadavg: 4.12 4.13 4.10 5/264 46895
/proc/meminfo: memFree=124319428/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=193300 memory=154528 CPUtime=3093 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 26691 0 0 0 308394 906 0 0 20 0 1 0 50043032 197939200 38632 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 48325 38632 1344 243 0 44574 0
Current children cumulated CPU time: 3093 s
Current children cumulated vsize: 193300 KiB
Current children cumulated memory: 154528 KiB

[startup+3162.3 s]
/proc/loadavg: 4.08 4.12 4.09 5/264 46901
/proc/meminfo: memFree=124318640/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=193300 memory=154528 CPUtime=3152.82 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 26691 0 0 0 314364 918 0 0 20 0 1 0 50043032 197939200 38632 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 48325 38632 1344 243 0 44574 0
Current children cumulated CPU time: 3152.82 s
Current children cumulated vsize: 193300 KiB
Current children cumulated memory: 154528 KiB

[startup+3222.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/263 46903
/proc/meminfo: memFree=124310544/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=193300 memory=154528 CPUtime=3212.64 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 26746 0 0 0 320334 930 0 0 20 0 1 0 50043032 197939200 38632 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 48325 38632 1344 243 0 44574 0
Current children cumulated CPU time: 3212.64 s
Current children cumulated vsize: 193300 KiB
Current children cumulated memory: 154528 KiB

[startup+3282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/264 46908
/proc/meminfo: memFree=124309516/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=193300 memory=154528 CPUtime=3272.46 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 26747 0 0 0 326306 940 0 0 20 0 1 0 50043032 197939200 38632 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 48325 38632 1344 243 0 44574 0
Current children cumulated CPU time: 3272.46 s
Current children cumulated vsize: 193300 KiB
Current children cumulated memory: 154528 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/264 46910
/proc/meminfo: memFree=124307940/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=193300 memory=154528 CPUtime=3332.27 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 26748 0 0 0 332276 951 0 0 20 0 1 0 50043032 197939200 38632 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 48325 38632 1344 243 0 44574 0
Current children cumulated CPU time: 3332.27 s
Current children cumulated vsize: 193300 KiB
Current children cumulated memory: 154528 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/264 46912
/proc/meminfo: memFree=124305988/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=193300 memory=154528 CPUtime=3392.08 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 26749 0 0 0 338248 960 0 0 20 0 1 0 50043032 197939200 38632 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 48325 38632 1344 243 0 44574 0
Current children cumulated CPU time: 3392.08 s
Current children cumulated vsize: 193300 KiB
Current children cumulated memory: 154528 KiB

[startup+3462.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/264 46914
/proc/meminfo: memFree=124299804/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=193300 memory=154528 CPUtime=3451.9 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 26750 0 0 0 344221 969 0 0 20 0 1 0 50043032 197939200 38632 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 48325 38632 1344 243 0 44574 0
Current children cumulated CPU time: 3451.9 s
Current children cumulated vsize: 193300 KiB
Current children cumulated memory: 154528 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/264 46916
/proc/meminfo: memFree=124298420/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=193300 memory=154528 CPUtime=3511.71 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 26752 0 0 0 350194 977 0 0 20 0 1 0 50043032 197939200 38632 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 48325 38632 1344 243 0 44574 0
Current children cumulated CPU time: 3511.71 s
Current children cumulated vsize: 193300 KiB
Current children cumulated memory: 154528 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/263 46918
/proc/meminfo: memFree=124296776/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=193300 memory=154528 CPUtime=3571.52 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 26754 0 0 0 356166 986 0 0 20 0 1 0 50043032 197939200 38632 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 48325 38632 1344 243 0 44574 0
Current children cumulated CPU time: 3571.52 s
Current children cumulated vsize: 193300 KiB
Current children cumulated memory: 154528 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3610.9 s]
/proc/loadavg: 4.13 4.12 4.09 4/257 46950
/proc/meminfo: memFree=124476680/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=193040 memory=154304 CPUtime=3600.04 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 26760 0 0 0 359013 991 0 0 20 0 1 0 50043032 197672960 38576 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 48260 38576 1344 243 0 44509 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 193040 KiB
Current children cumulated memory: 154304 KiB

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

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

# cumulated CPU time of all completed processes:  user=3590.14 s, system=9.91146 s

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

[startup+3610.9 s]
/proc/loadavg: 4.13 4.12 4.09 4/257 46950
/proc/meminfo: memFree=124476680/131249992 swapFree=33010160/33010684
[pid=46685] ppid=46682 vsize=193040 memory=154304 CPUtime=3600.04 cores=0,2
/proc/46685/stat : 46685 (pb-oll-rs) R 46682 46685 45247 0 -1 4194304 26760 0 0 0 359013 991 0 0 20 0 1 0 50043032 197672960 38576 18446744073709551615 4218880 5211445 140735003708752 0 0 0 0 0 8404994 0 0 0 17 0 0 0 0 0 0 5494472 5498400 34451456 140735003711900 140735003711977 140735003711977 140735003717579 0
/proc/46685/statm: 48260 38576 1344 243 0 44509 0
Current children cumulated CPU time: 3600.04 s
Current children cumulated vsize: 193040 KiB
Current children cumulated memory: 154304 KiB

Child status: 0

Real time (s): 3610.9
CPU time (s): 3600.05
CPU user time (s): 3590.14
CPU system time (s): 9.91146
CPU usage (%): 99.6994
Max. virtual memory (cumulated for all children) (KiB): 193300
Max. memory (cumulated for all children) (KiB): 154528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3590.14
system time used= 9.91146
maximum resident set size= 154560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26775
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= 126
involuntary context switches= 7976


# summary of solver processes directly reported to runsolver:
#   pid: 46685
#   total CPU time (s): 3600.05
#   total CPU user time (s): 3590.14
#   total CPU system time (s): 9.91146

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87562 second user time and 17.2954 second system time

The end

Launcher Data 

Begin job on nodeC035 at 2025-07-01 06:21:25
IDJOB=4489134
IDBENCH=147541
IDSOLVER=3345
FILE ID=nodeC035/4489134-1751343685
RUNJOBID= nodeC035-1751336454-45257
SLURM_JOB_ID= 9594384
Free space on /tmp= 433056 MiB

SOLVER NAME= pb-oll-rs-2024 2025-05-06
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
COMMAND LINE= pb-oll-rs BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4489134-1751343685/watcher-4489134-1751343685 -o /tmp/evaluation-result-4489134-1751343685/solver-4489134-1751343685 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC035-1751336454-45257 --watchdog 3760  pb-oll-rs HOME/instance-4489134-1751343685.opb

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

MD5SUM BENCH= 1da12ebdd4ab5e725928f3bf845b8b1e
RANDOM SEED=1991011252

nodeC035 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3636.610
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.748
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.733
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.603
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.751
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.748
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.991
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.223
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6999.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131249992 kB
MemFree:        124326472 kB
MemAvailable:   129032148 kB
Buffers:            1840 kB
Cached:          5458616 kB
SwapCached:            8 kB
Active:          1061300 kB
Inactive:        5178924 kB
Active(anon):     786204 kB
Inactive(anon):    11616 kB
Active(file):     275096 kB
Inactive(file):  5167308 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010160 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:              5436 kB
Writeback:            32 kB
AnonPages:        782880 kB
Mapped:           106980 kB
Shmem:             18048 kB
KReclaimable:     205020 kB
Slab:             294320 kB
SReclaimable:     205020 kB
SUnreclaim:        89300 kB
KernelStack:        4288 kB
PageTables:         4572 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635680 kB
Committed_AS:    1209000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      150536 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:    655360 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205524 kB
DirectMap2M:     7954432 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 433056 MiB
End job on nodeC035 at 2025-07-01 07:21:36