Trace number 4460354

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
RoundingSat log (2)? (TO) 3602.03 3613.3

General information on the benchmark

NamePB24/normalized-PB10/OPT-LIN/oliveras/
j120opt/normalized-j1207_5.std.opb
MD5SUM58b69e9a96bb9e80c29d595afb46d459
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 benchmark132
Best CPU time to get the best result obtained on this benchmark3600.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234036
Number of constraints which are clauses232836
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint65
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
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.66/2.65	c #variables 72842 #constraints 206738
22.48/24.55	c bounds - >= 0 @ 0.567825
22.48/24.55	c bounds 300 >= 0 @ 1.44947
22.48/24.55	c bounds 300 >= 89 @ 1.46269
22.48/24.55	c bounds 300 >= 90 @ 1.47351
22.48/24.55	c bounds 300 >= 91 @ 1.48327
22.48/24.55	c bounds 300 >= 92 @ 1.49281
22.48/24.55	c bounds 299 >= 92 @ 1.51234
22.48/24.55	c bounds 299 >= 93 @ 1.53073
22.48/24.55	c bounds 298 >= 93 @ 1.55208
22.48/24.55	c bounds 298 >= 94 @ 1.57814
22.48/24.55	c bounds 297 >= 94 @ 1.59874
22.48/24.55	c bounds 296 >= 94 @ 1.61564
22.48/24.55	c bounds 295 >= 94 @ 1.63165
22.48/24.55	c bounds 295 >= 95 @ 1.68681
22.48/24.55	c bounds 294 >= 95 @ 1.70437
22.48/24.55	c bounds 293 >= 95 @ 1.72211
22.48/24.55	c bounds 292 >= 95 @ 1.7361
22.48/24.55	c bounds 291 >= 95 @ 1.75072
22.48/24.55	c bounds 290 >= 95 @ 1.76572
22.48/24.55	c bounds 289 >= 95 @ 1.78593
22.48/24.55	c bounds 289 >= 96 @ 1.84896
22.48/24.55	c bounds 288 >= 96 @ 1.86893
22.48/24.55	c bounds 287 >= 96 @ 1.88633
22.48/24.55	c bounds 286 >= 96 @ 1.90235
22.48/24.55	c bounds 285 >= 96 @ 1.91789
22.48/24.55	c bounds 284 >= 96 @ 1.93526
22.48/24.55	c bounds 283 >= 96 @ 1.94905
22.48/24.55	c #Conflicts:       1000 | #Constraints:     207779
22.48/24.55	c bounds 283 >= 97 @ 2.0674
22.48/24.55	c bounds 282 >= 97 @ 2.08502
22.48/24.55	c bounds 281 >= 97 @ 2.09855
22.48/24.55	c bounds 280 >= 97 @ 2.1151
22.48/24.55	c bounds 279 >= 97 @ 2.12995
22.48/24.55	c bounds 278 >= 97 @ 2.14621
22.48/24.55	c bounds 277 >= 97 @ 2.16141
22.48/24.55	c bounds 276 >= 97 @ 2.17712
22.48/24.55	c bounds 275 >= 97 @ 2.19296
22.48/24.55	c bounds 274 >= 97 @ 2.20759
22.48/24.55	c bounds 273 >= 97 @ 2.22483
22.48/24.55	c bounds 272 >= 97 @ 2.24039
22.48/24.55	c bounds 271 >= 97 @ 2.25581
22.48/24.55	c bounds 270 >= 97 @ 2.27103
22.48/24.55	c bounds 270 >= 98 @ 2.49256
22.48/24.55	c bounds 269 >= 98 @ 2.51049
22.48/24.55	c bounds 268 >= 98 @ 2.52554
22.48/24.55	c bounds 267 >= 98 @ 2.54073
22.48/24.55	c bounds 266 >= 98 @ 2.55585
22.48/24.55	c bounds 264 >= 98 @ 2.57002
22.48/24.55	c bounds 263 >= 98 @ 2.58297
22.48/24.55	c bounds 262 >= 98 @ 2.5968
22.48/24.55	c bounds 261 >= 98 @ 2.61209
22.48/24.55	c bounds 260 >= 98 @ 2.62543
22.48/24.55	c bounds 259 >= 98 @ 2.64156
22.48/24.55	c bounds 258 >= 98 @ 2.65605
22.48/24.55	c bounds 255 >= 98 @ 2.6705
22.48/24.55	c bounds 254 >= 98 @ 2.68635
22.48/24.55	c bounds 253 >= 98 @ 2.70171
22.48/24.55	c bounds 252 >= 98 @ 2.71529
22.48/24.55	c bounds 251 >= 98 @ 2.72884
22.48/24.55	c bounds 250 >= 98 @ 2.74324
22.48/24.55	c bounds 249 >= 98 @ 2.7609
22.48/24.55	c bounds 248 >= 98 @ 2.7759
22.48/24.55	c bounds 247 >= 98 @ 2.78893
22.48/24.55	c bounds 246 >= 98 @ 2.80136
22.48/24.55	c bounds 245 >= 98 @ 2.8147
22.48/24.55	c bounds 244 >= 98 @ 2.82851
22.48/24.55	c bounds 243 >= 98 @ 2.84063
22.48/24.55	c bounds 242 >= 98 @ 2.85342
22.48/24.55	c bounds 241 >= 98 @ 2.86812
22.48/24.55	c bounds 240 >= 98 @ 2.88161
22.48/24.55	c #Conflicts:       2000 | #Constraints:     208825
22.48/24.55	c INPROCESSING
22.48/24.55	c GARBAGE COLLECT
22.48/24.55	c bounds 239 >= 98 @ 20.6017
22.48/24.55	c bounds 238 >= 98 @ 20.6174
22.48/24.55	c bounds 237 >= 98 @ 20.6319
22.48/24.55	c bounds 236 >= 98 @ 20.6462
22.48/24.55	c bounds 235 >= 98 @ 20.6604
22.48/24.55	c bounds 234 >= 98 @ 20.6735
22.48/24.55	c bounds 233 >= 98 @ 20.6897
22.48/24.55	c bounds 233 >= 99 @ 20.9494
22.48/24.55	c bounds 232 >= 99 @ 20.9652
22.48/24.55	c bounds 231 >= 99 @ 20.9786
22.48/24.55	c bounds 230 >= 99 @ 20.9911
22.48/24.55	c bounds 229 >= 99 @ 21.0042
22.48/24.55	c bounds 228 >= 99 @ 21.0204
22.48/24.55	c bounds 227 >= 99 @ 21.0366
22.48/24.55	c bounds 226 >= 99 @ 21.0517
22.48/24.55	c bounds 225 >= 99 @ 21.0676
22.48/24.55	c bounds 224 >= 99 @ 21.0818
22.48/24.55	c bounds 223 >= 99 @ 21.0958
22.48/24.55	c bounds 222 >= 99 @ 21.1076
22.48/24.55	c bounds 221 >= 99 @ 21.1213
22.48/24.55	c bounds 220 >= 99 @ 21.1395
22.48/24.55	c bounds 219 >= 99 @ 21.1532
22.48/24.55	c bounds 218 >= 99 @ 21.1679
22.48/24.55	c bounds 217 >= 99 @ 21.1822
22.48/24.55	c bounds 216 >= 99 @ 21.1961
22.48/24.55	c bounds 215 >= 99 @ 21.2089
22.48/24.55	c bounds 214 >= 99 @ 21.2223
22.48/24.55	c #Conflicts:       3000 | #Constraints:     133480
22.48/24.55	c bounds 213 >= 99 @ 21.2366
22.48/24.55	c bounds 212 >= 99 @ 21.2484
22.48/24.55	c bounds 211 >= 99 @ 21.2619
22.48/24.55	c bounds 210 >= 99 @ 21.2746
22.48/24.55	c bounds 209 >= 99 @ 21.2879
22.48/24.55	c bounds 208 >= 99 @ 21.3013
22.48/24.55	c bounds 207 >= 99 @ 21.3143
22.48/24.55	c bounds 206 >= 99 @ 21.3278
22.48/24.55	c bounds 205 >= 99 @ 21.3411
22.48/24.55	c bounds 204 >= 99 @ 21.3525
22.48/24.55	c bounds 203 >= 99 @ 21.3635
22.48/24.55	c bounds 202 >= 99 @ 21.3774
22.48/24.55	c #Conflicts:       4000 | #Constraints:     134492
22.48/24.55	c INPROCESSING
22.48/24.55	c GARBAGE COLLECT
22.48/24.55	c bounds 201 >= 99 @ 21.7637
22.48/24.55	c bounds 200 >= 99 @ 21.7767
22.48/24.55	c bounds 199 >= 99 @ 21.7906
22.48/24.55	c bounds 198 >= 99 @ 21.8034
22.48/24.55	c bounds 197 >= 99 @ 21.817
22.48/24.55	c bounds 196 >= 99 @ 21.831
22.48/24.55	c bounds 195 >= 99 @ 21.8433
22.48/24.55	c bounds 194 >= 99 @ 21.8555
22.48/24.55	c bounds 193 >= 99 @ 21.8683
22.48/24.55	c bounds 192 >= 99 @ 21.882
22.48/24.55	c bounds 191 >= 99 @ 21.8949
22.48/24.55	c bounds 190 >= 99 @ 21.9085
22.48/24.55	c bounds 189 >= 99 @ 21.9216
22.48/24.55	c bounds 188 >= 99 @ 21.9345
22.48/24.55	c bounds 187 >= 99 @ 21.9472
22.48/24.55	c bounds 186 >= 99 @ 21.9601
22.48/24.55	c bounds 185 >= 99 @ 21.9724
22.48/24.55	c bounds 184 >= 99 @ 21.9852
22.48/24.55	c bounds 183 >= 99 @ 21.9966
22.48/24.55	c bounds 182 >= 99 @ 22.0075
22.48/24.55	c bounds 181 >= 99 @ 22.019
22.48/24.55	c bounds 180 >= 99 @ 22.0303
22.48/24.55	c bounds 179 >= 99 @ 22.0416
22.48/24.55	c bounds 178 >= 99 @ 22.0539
22.48/24.55	c bounds 177 >= 99 @ 22.0652
919.92/924.14	c bounds 176 >= 99 @ 22.0764
919.92/924.14	c bounds 175 >= 99 @ 22.0877
919.92/924.14	c bounds 174 >= 99 @ 22.0997
919.92/924.14	c bounds 173 >= 99 @ 22.1106
919.92/924.14	c bounds 172 >= 99 @ 22.1224
919.92/924.14	c bounds 171 >= 99 @ 22.1342
919.92/924.14	c bounds 170 >= 99 @ 22.1461
919.92/924.14	c bounds 169 >= 99 @ 22.1566
919.92/924.14	c bounds 168 >= 99 @ 22.167
919.92/924.14	c bounds 167 >= 99 @ 22.1804
919.92/924.14	c bounds 166 >= 99 @ 22.1917
919.92/924.14	c bounds 165 >= 99 @ 22.2018
919.92/924.14	c bounds 164 >= 99 @ 22.213
919.92/924.14	c bounds 163 >= 99 @ 22.2221
919.92/924.14	c bounds 162 >= 99 @ 22.2329
919.92/924.14	c bounds 161 >= 99 @ 22.244
919.92/924.14	c bounds 160 >= 99 @ 22.2528
919.92/924.14	c bounds 159 >= 99 @ 22.2623
919.92/924.14	c bounds 158 >= 99 @ 22.2884
919.92/924.14	c bounds 157 >= 99 @ 22.299
919.92/924.14	c bounds 156 >= 99 @ 22.3097
919.92/924.14	c bounds 155 >= 99 @ 22.3211
919.92/924.14	c bounds 154 >= 99 @ 22.338
919.92/924.14	c bounds 153 >= 99 @ 22.3527
919.92/924.14	c bounds 152 >= 99 @ 22.3808
919.92/924.14	c bounds 151 >= 99 @ 22.392
919.92/924.14	c #Conflicts:       5000 | #Constraints:     104110
919.92/924.14	c #Conflicts:       6000 | #Constraints:     105110
919.92/924.14	c bounds 151 >= 100 @ 64.2983
919.92/924.14	c bounds 150 >= 100 @ 64.3205
919.92/924.14	c bounds 149 >= 100 @ 64.3407
919.92/924.14	c bounds 148 >= 100 @ 64.3601
919.92/924.14	c bounds 147 >= 100 @ 64.392
919.92/924.14	c INPROCESSING
919.92/924.14	c GARBAGE COLLECT
919.92/924.14	c bounds 146 >= 100 @ 64.518
919.92/924.14	c #Conflicts:       7000 | #Constraints:      60697
919.92/924.14	c bounds 145 >= 100 @ 64.8937
919.92/924.14	c bounds 144 >= 100 @ 64.9054
919.92/924.14	c bounds 143 >= 100 @ 64.9191
919.92/924.14	c #Conflicts:       8000 | #Constraints:      61700
919.92/924.14	c bounds 142 >= 100 @ 65.1321
919.92/924.14	c #Conflicts:       9000 | #Constraints:      62701
919.92/924.14	c INPROCESSING
919.92/924.14	c GARBAGE COLLECT
919.92/924.14	c #Conflicts:      10000 | #Constraints:      57551
919.92/924.14	c bounds 141 >= 100 @ 241.979
919.92/924.14	c #Conflicts:      11000 | #Constraints:      58552
919.92/924.14	c #Conflicts:      12000 | #Constraints:      59552
919.92/924.14	c INPROCESSING
919.92/924.14	c GARBAGE COLLECT
919.92/924.14	c #Conflicts:      13000 | #Constraints:      57235
919.92/924.14	c #Conflicts:      14000 | #Constraints:      58235
919.92/924.14	c #Conflicts:      15000 | #Constraints:      59235
919.92/924.14	c INPROCESSING
919.92/924.14	c GARBAGE COLLECT
919.92/924.14	c #Conflicts:      16000 | #Constraints:      57485
919.92/924.14	c #Conflicts:      17000 | #Constraints:      58485
919.92/924.14	c #Conflicts:      18000 | #Constraints:      59485
919.92/924.14	c INPROCESSING
919.92/924.14	c GARBAGE COLLECT
919.92/924.14	c #Conflicts:      19000 | #Constraints:      57517
919.92/924.14	c #Conflicts:      20000 | #Constraints:      58517
919.92/924.14	c #Conflicts:      21000 | #Constraints:      59517
919.92/924.14	c INPROCESSING
919.92/924.14	c GARBAGE COLLECT
919.92/924.14	c #Conflicts:      22000 | #Constraints:      57318
919.92/924.14	c #Conflicts:      23000 | #Constraints:      58319
919.92/924.14	c #Conflicts:      24000 | #Constraints:      59319
919.92/924.14	c #Conflicts:      25000 | #Constraints:      60319
919.92/924.14	c INPROCESSING
919.92/924.14	c GARBAGE COLLECT
919.92/924.14	c #Conflicts:      26000 | #Constraints:      57951
919.92/924.14	c #Conflicts:      27000 | #Constraints:      58951
919.92/924.14	c #Conflicts:      28000 | #Constraints:      59951
919.92/924.14	c #Conflicts:      29000 | #Constraints:      60951
919.92/924.14	c INPROCESSING
919.92/924.14	c GARBAGE COLLECT
919.92/924.14	c #Conflicts:      30000 | #Constraints:      58348
919.92/924.14	c #Conflicts:      31000 | #Constraints:      59348
919.92/924.14	c #Conflicts:      32000 | #Constraints:      60348
919.92/924.14	c bounds 141 >= 101 @ 296.933
919.92/924.14	c #Conflicts:      33000 | #Constraints:      61351
919.92/924.14	c INPROCESSING
919.92/924.14	c GARBAGE COLLECT
919.92/924.14	c #Conflicts:      34000 | #Constraints:      58558
919.92/924.14	c #Conflicts:      35000 | #Constraints:      59558
919.92/924.14	c #Conflicts:      36000 | #Constraints:      60558
919.92/924.14	c #Conflicts:      37000 | #Constraints:      61558
919.92/924.14	c INPROCESSING
919.92/924.14	c GARBAGE COLLECT
919.92/924.14	c #Conflicts:      38000 | #Constraints:      58564
919.92/924.14	c #Conflicts:      39000 | #Constraints:      59565
919.92/924.14	c #Conflicts:      40000 | #Constraints:      60565
919.92/924.14	c #Conflicts:      41000 | #Constraints:      61565
919.92/924.14	c INPROCESSING
919.92/924.14	c GARBAGE COLLECT
919.92/924.14	c #Conflicts:      42000 | #Constraints:      58368
919.92/924.14	c #Conflicts:      43000 | #Constraints:      59368
919.92/924.14	c #Conflicts:      44000 | #Constraints:      60368
919.92/924.14	c #Conflicts:      45000 | #Constraints:      61368
919.92/924.14	c #Conflicts:      46000 | #Constraints:      62368
919.92/924.14	c INPROCESSING
919.92/924.14	c GARBAGE COLLECT
919.92/924.14	c #Conflicts:      47000 | #Constraints:      58965
919.92/924.14	c #Conflicts:      48000 | #Constraints:      59965
919.92/924.14	c #Conflicts:      49000 | #Constraints:      60965
919.92/924.14	c #Conflicts:      50000 | #Constraints:      61965
919.92/924.14	c #Conflicts:      51000 | #Constraints:      62965
919.92/924.14	c INPROCESSING
919.92/924.14	c GARBAGE COLLECT
919.92/924.14	c #Conflicts:      52000 | #Constraints:      59369
919.92/924.14	c #Conflicts:      53000 | #Constraints:      60369
1690.70/1696.78	c #Conflicts:      54000 | #Constraints:      61369
1690.70/1696.78	c #Conflicts:      55000 | #Constraints:      62369
1690.70/1696.78	c #Conflicts:      56000 | #Constraints:      63369
1690.70/1696.78	c INPROCESSING
1690.70/1696.78	c GARBAGE COLLECT
1690.70/1696.78	c #Conflicts:      57000 | #Constraints:      59576
1690.70/1696.78	c #Conflicts:      58000 | #Constraints:      60576
1690.70/1696.78	c #Conflicts:      59000 | #Constraints:      61576
1690.70/1696.78	c #Conflicts:      60000 | #Constraints:      62576
1690.70/1696.78	c #Conflicts:      61000 | #Constraints:      63576
1690.70/1696.78	c INPROCESSING
1690.70/1696.78	c GARBAGE COLLECT
1690.70/1696.78	c #Conflicts:      62000 | #Constraints:      59577
1690.70/1696.78	c bounds 140 >= 101 @ 960.246
1690.70/1696.78	c #Conflicts:      63000 | #Constraints:      60578
1690.70/1696.78	c #Conflicts:      64000 | #Constraints:      61578
1690.70/1696.78	c #Conflicts:      65000 | #Constraints:      62578
1690.70/1696.78	c #Conflicts:      66000 | #Constraints:      63579
1690.70/1696.78	c INPROCESSING
1690.70/1696.78	c GARBAGE COLLECT
1690.70/1696.78	c #Conflicts:      67000 | #Constraints:      58612
1690.70/1696.78	c bounds 139 >= 101 @ 990.818
1690.70/1696.78	c #Conflicts:      68000 | #Constraints:      59613
1690.70/1696.78	c #Conflicts:      69000 | #Constraints:      60613
1690.70/1696.78	c #Conflicts:      70000 | #Constraints:      61613
1690.70/1696.78	c #Conflicts:      71000 | #Constraints:      62613
1690.70/1696.78	c #Conflicts:      72000 | #Constraints:      63613
1690.70/1696.78	c #Conflicts:      73000 | #Constraints:      64613
1690.70/1696.78	c #Conflicts:      74000 | #Constraints:      65613
1690.70/1696.78	c #Conflicts:      75000 | #Constraints:      66613
1690.70/1696.78	c #Conflicts:      76000 | #Constraints:      67613
1690.70/1696.78	c #Conflicts:      77000 | #Constraints:      68613
1690.70/1696.78	c #Conflicts:      78000 | #Constraints:      69613
1690.70/1696.78	c #Conflicts:      79000 | #Constraints:      70613
1690.70/1696.78	c #Conflicts:      80000 | #Constraints:      71613
1690.70/1696.78	c #Conflicts:      81000 | #Constraints:      72613
1690.70/1696.78	c #Conflicts:      82000 | #Constraints:      73614
1690.70/1696.78	c #Conflicts:      83000 | #Constraints:      74614
1690.70/1696.78	c #Conflicts:      84000 | #Constraints:      75614
1690.70/1696.78	c #Conflicts:      85000 | #Constraints:      76614
1690.70/1696.78	c #Conflicts:      86000 | #Constraints:      77614
1690.70/1696.78	c #Conflicts:      87000 | #Constraints:      78614
1690.70/1696.78	c #Conflicts:      88000 | #Constraints:      79614
1690.70/1696.78	c #Conflicts:      89000 | #Constraints:      80614
1690.70/1696.78	c INPROCESSING
1690.70/1696.78	c GARBAGE COLLECT
1690.70/1696.78	c #Conflicts:      90000 | #Constraints:      66878
1690.70/1696.78	c #Conflicts:      91000 | #Constraints:      67878
1690.70/1696.78	c #Conflicts:      92000 | #Constraints:      68879
1690.70/1696.78	c bounds 139 >= 102 @ 1034.49
1690.70/1696.78	c #Conflicts:      93000 | #Constraints:      69882
1690.70/1696.78	c #Conflicts:      94000 | #Constraints:      70882
1690.70/1696.78	c #Conflicts:      95000 | #Constraints:      71882
1690.70/1696.78	c #Conflicts:      96000 | #Constraints:      72882
1690.70/1696.78	c INPROCESSING
1690.70/1696.78	c GARBAGE COLLECT
1690.70/1696.78	c #Conflicts:      97000 | #Constraints:      63572
1690.70/1696.78	c #Conflicts:      98000 | #Constraints:      64572
1690.70/1696.78	c #Conflicts:      99000 | #Constraints:      65572
1690.70/1696.78	c #Conflicts:     100000 | #Constraints:      66572
1690.70/1696.78	c #Conflicts:     101000 | #Constraints:      67572
1690.70/1696.78	c #Conflicts:     102000 | #Constraints:      68572
1690.70/1696.78	c INPROCESSING
1690.70/1696.78	c GARBAGE COLLECT
1690.70/1696.78	c #Conflicts:     103000 | #Constraints:      60969
1690.70/1696.78	c #Conflicts:     104000 | #Constraints:      61969
1690.70/1696.78	c #Conflicts:     105000 | #Constraints:      62969
1690.70/1696.78	c #Conflicts:     106000 | #Constraints:      63970
1690.70/1696.78	c #Conflicts:     107000 | #Constraints:      64970
1690.70/1696.78	c #Conflicts:     108000 | #Constraints:      65970
1690.70/1696.78	c #Conflicts:     109000 | #Constraints:      66970
1690.70/1696.78	c #Conflicts:     110000 | #Constraints:      67970
1690.70/1696.78	c INPROCESSING
1690.70/1696.78	c GARBAGE COLLECT
1690.70/1696.78	WSVECS04 Frhs2[72644]: 6 -102 0 shouldn't be
2354.24/2362.15	c #Conflicts:     111000 | #Constraints:      61123
2354.24/2362.15	c #Conflicts:     112000 | #Constraints:      62123
2354.24/2362.15	c #Conflicts:     113000 | #Constraints:      63123
2354.24/2362.15	c #Conflicts:     114000 | #Constraints:      64123
2354.24/2362.15	c #Conflicts:     115000 | #Constraints:      65123
2354.24/2362.15	c #Conflicts:     116000 | #Constraints:      66123
2354.24/2362.15	c #Conflicts:     117000 | #Constraints:      67123
2354.24/2362.15	c INPROCESSING
2354.24/2362.15	c GARBAGE COLLECT
2354.24/2362.15	c #Conflicts:     118000 | #Constraints:      60560
2354.24/2362.15	c #Conflicts:     119000 | #Constraints:      61560
2354.24/2362.15	c #Conflicts:     120000 | #Constraints:      62560
2354.24/2362.15	c #Conflicts:     121000 | #Constraints:      63560
2354.24/2362.15	c #Conflicts:     122000 | #Constraints:      64560
2354.24/2362.15	c bounds 138 >= 102 @ 2221.4
2354.24/2362.15	c #Conflicts:     123000 | #Constraints:      65562
2354.24/2362.15	c #Conflicts:     124000 | #Constraints:      66562
2354.24/2362.15	c #Conflicts:     125000 | #Constraints:      67562
2354.24/2362.15	c #Conflicts:     126000 | #Constraints:      68562
2354.24/2362.15	c #Conflicts:     127000 | #Constraints:      69562
2354.24/2362.15	c #Conflicts:     128000 | #Constraints:      70562
2354.24/2362.15	c #Conflicts:     129000 | #Constraints:      71562
2354.24/2362.15	c #Conflicts:     130000 | #Constraints:      72562
2354.24/2362.15	c #Conflicts:     131000 | #Constraints:      73562
2354.24/2362.15	c #Conflicts:     132000 | #Constraints:      74562
2354.24/2362.15	c bounds 138 >= 103 @ 2250.31
2354.24/2362.15	c #Conflicts:     133000 | #Constraints:      75565
2354.24/2362.15	c #Conflicts:     134000 | #Constraints:      76565
2354.24/2362.15	c #Conflicts:     135000 | #Constraints:      77565
2354.24/2362.15	c #Conflicts:     136000 | #Constraints:      78565
2354.24/2362.15	c #Conflicts:     137000 | #Constraints:      79565
2354.24/2362.15	c #Conflicts:     138000 | #Constraints:      80565
2354.24/2362.15	c #Conflicts:     139000 | #Constraints:      81565
2354.24/2362.15	c #Conflicts:     140000 | #Constraints:      82565
2354.24/2362.15	c #Conflicts:     141000 | #Constraints:      83565
2354.24/2362.15	c #Conflicts:     142000 | #Constraints:      84565
2354.24/2362.15	c #Conflicts:     143000 | #Constraints:      85565
2354.24/2362.15	c #Conflicts:     144000 | #Constraints:      86565
2354.24/2362.15	c #Conflicts:     145000 | #Constraints:      87565
2354.24/2362.15	c #Conflicts:     146000 | #Constraints:      88565
2354.24/2362.15	c INPROCESSING
2354.24/2362.15	c GARBAGE COLLECT
2354.24/2362.15	c #Conflicts:     147000 | #Constraints:      70373
2354.24/2362.15	c #Conflicts:     148000 | #Constraints:      71373
2354.24/2362.15	c #Conflicts:     149000 | #Constraints:      72373
2354.24/2362.15	c #Conflicts:     150000 | #Constraints:      73373
2354.24/2362.15	c #Conflicts:     151000 | #Constraints:      74373
2354.24/2362.15	c #Conflicts:     152000 | #Constraints:      75373
2354.24/2362.15	c #Conflicts:     153000 | #Constraints:      76373
2354.24/2362.15	c #Conflicts:     154000 | #Constraints:      77373
2354.24/2362.15	c #Conflicts:     155000 | #Constraints:      78373
2354.24/2362.15	c INPROCESSING
2354.24/2362.15	c GARBAGE COLLECT
2354.24/2362.15	c #Conflicts:     156000 | #Constraints:      65937
2354.24/2362.15	c #Conflicts:     157000 | #Constraints:      66937
2354.24/2362.15	c #Conflicts:     158000 | #Constraints:      67937
2354.24/2362.15	c #Conflicts:     159000 | #Constraints:      68937
2354.24/2362.15	c #Conflicts:     160000 | #Constraints:      69937
2354.24/2362.15	c #Conflicts:     161000 | #Constraints:      70937
2354.24/2362.15	c #Conflicts:     162000 | #Constraints:      71937
2354.24/2362.15	c #Conflicts:     163000 | #Constraints:      72937
2354.24/2362.15	c INPROCESSING
2354.24/2362.15	c GARBAGE COLLECT
2354.24/2362.15	c #Conflicts:     164000 | #Constraints:      62838
2354.24/2362.15	c #Conflicts:     165000 | #Constraints:      63839
2354.24/2362.15	c #Conflicts:     166000 | #Constraints:      64839
2354.24/2362.15	c #Conflicts:     167000 | #Constraints:      65839
2354.24/2362.15	c #Conflicts:     168000 | #Constraints:      66839
2354.24/2362.15	c #Conflicts:     169000 | #Constraints:      67839
2354.24/2362.15	c #Conflicts:     170000 | #Constraints:      68839
2354.24/2362.15	c #Conflicts:     171000 | #Constraints:      69839
2354.24/2362.15	c #Conflicts:     172000 | #Constraints:      70839
2354.24/2362.15	c INPROCESSING
2354.24/2362.15	c GARBAGE COLLECT
2354.24/2362.15	c #Conflicts:     173000 | #Constraints:      61777
2354.24/2362.15	c #Conflicts:     174000 | #Constraints:      62777
2354.24/2362.15	c #Conflicts:     175000 | #Constraints:      63777
2354.24/2362.15	c #Conflicts:     176000 | #Constraints:      64777
2354.24/2362.15	c #Conflicts:     177000 | #Constraints:      65777
2354.24/2362.15	c #Conflicts:     178000 | #Constraints:      66777
2354.24/2362.15	c #Conflicts:     179000 | #Constraints:      67777
2354.24/2362.15	c #Conflicts:     180000 | #Constraints:      68777
2354.24/2362.15	c #Conflicts:     181000 | #Constraints:      69778
2354.24/2362.15	c #Conflicts:     182000 | #Constraints:      70778
2354.24/2362.15	c #Conflicts:     183000 | #Constraints:      71778
2354.24/2362.15	c #Conflicts:     184000 | #Constraints:      72778
2354.24/2362.15	c #Conflicts:     185000 | #Constraints:      73778
2686.97/2695.80	c #Conflicts:     186000 | #Constraints:      74778
2686.97/2695.80	c #Conflicts:     187000 | #Constraints:      75778
2686.97/2695.80	c #Conflicts:     188000 | #Constraints:      76778
2686.97/2695.80	c #Conflicts:     189000 | #Constraints:      77778
2686.97/2695.80	c #Conflicts:     190000 | #Constraints:      78778
2686.97/2695.80	c #Conflicts:     191000 | #Constraints:      79778
2686.97/2695.80	c #Conflicts:     192000 | #Constraints:      80778
2686.97/2695.80	c #Conflicts:     193000 | #Constraints:      81778
2686.97/2695.80	c #Conflicts:     194000 | #Constraints:      82778
2686.97/2695.80	c #Conflicts:     195000 | #Constraints:      83778
2686.97/2695.80	c #Conflicts:     196000 | #Constraints:      84778
2686.97/2695.80	c #Conflicts:     197000 | #Constraints:      85778
2686.97/2695.80	c #Conflicts:     198000 | #Constraints:      86778
2686.97/2695.80	c #Conflicts:     199000 | #Constraints:      87778
2686.97/2695.80	c #Conflicts:     200000 | #Constraints:      88778
2686.97/2695.80	c #Conflicts:     201000 | #Constraints:      89778
2686.97/2695.80	c #Conflicts:     202000 | #Constraints:      90778
2686.97/2695.80	c #Conflicts:     203000 | #Constraints:      91778
2686.97/2695.80	c #Conflicts:     204000 | #Constraints:      92778
2686.97/2695.80	c #Conflicts:     205000 | #Constraints:      93778
2686.97/2695.80	c #Conflicts:     206000 | #Constraints:      94778
2686.97/2695.80	c #Conflicts:     207000 | #Constraints:      95778
2686.97/2695.80	c INPROCESSING
2686.97/2695.80	c GARBAGE COLLECT
2686.97/2695.80	c #Conflicts:     208000 | #Constraints:      74548
2686.97/2695.80	c #Conflicts:     209000 | #Constraints:      75548
2686.97/2695.80	c #Conflicts:     210000 | #Constraints:      76548
2686.97/2695.80	c #Conflicts:     211000 | #Constraints:      77548
2686.97/2695.80	c #Conflicts:     212000 | #Constraints:      78548
2686.97/2695.80	c #Conflicts:     213000 | #Constraints:      79548
2686.97/2695.80	c #Conflicts:     214000 | #Constraints:      80548
2686.97/2695.80	c #Conflicts:     215000 | #Constraints:      81548
2686.97/2695.80	c #Conflicts:     216000 | #Constraints:      82548
2686.97/2695.80	c #Conflicts:     217000 | #Constraints:      83549
2686.97/2695.80	c INPROCESSING
2686.97/2695.80	c GARBAGE COLLECT
2686.97/2695.80	c #Conflicts:     218000 | #Constraints:      68236
2686.97/2695.80	c #Conflicts:     219000 | #Constraints:      69236
2686.97/2695.80	c bounds 138 >= 104 @ 2429.4
2686.97/2695.80	c #Conflicts:     220000 | #Constraints:      70239
2686.97/2695.80	c #Conflicts:     221000 | #Constraints:      71239
2686.97/2695.80	c #Conflicts:     222000 | #Constraints:      72239
2686.97/2695.80	c #Conflicts:     223000 | #Constraints:      73239
2686.97/2695.80	c #Conflicts:     224000 | #Constraints:      74239
2686.97/2695.80	c #Conflicts:     225000 | #Constraints:      75239
2686.97/2695.80	c #Conflicts:     226000 | #Constraints:      76239
2686.97/2695.80	c #Conflicts:     227000 | #Constraints:      77239
2686.97/2695.80	c #Conflicts:     228000 | #Constraints:      78239
2686.97/2695.80	c INPROCESSING
2686.97/2695.80	c GARBAGE COLLECT
2686.97/2695.80	c #Conflicts:     229000 | #Constraints:      65853
2686.97/2695.80	c #Conflicts:     230000 | #Constraints:      66853
2686.97/2695.80	c #Conflicts:     231000 | #Constraints:      67853
2686.97/2695.80	c #Conflicts:     232000 | #Constraints:      68853
2686.97/2695.80	c #Conflicts:     233000 | #Constraints:      69853
2686.97/2695.80	c #Conflicts:     234000 | #Constraints:      70853
2686.97/2695.80	c #Conflicts:     235000 | #Constraints:      71853
2686.97/2695.80	c #Conflicts:     236000 | #Constraints:      72853
2686.97/2695.80	c #Conflicts:     237000 | #Constraints:      73853
2686.97/2695.80	c #Conflicts:     238000 | #Constraints:      74853
2686.97/2695.80	c INPROCESSING
2686.97/2695.80	c GARBAGE COLLECT
2686.97/2695.80	c rational objective 111.687

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

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

NUMA information:
  number of nodes: 2
  memory of node 0: 63931 MiB (60389 MiB free)
  memory of node 1: 64510 MiB (61684 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460354-1722068464/watcher-4460354-1722068464 -o /tmp/evaluation-result-4460354-1722068464/solver-4460354-1722068464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722064836-317470 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460354-1722068464 --lp-cut-gomory=0 HOME/instance-4460354-1722068464.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
solver pid=321536, runsolver pid=321533
Current StackSize limit: 8192 KiB


[startup+0.100078 s]*
/proc/loadavg: 4.13 4.10 4.03 4/261 321537
/proc/meminfo: memFree=125002284/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=37376 memory=2644 CPUtime=0 cores=4,6
/proc/321536/stat : 321536 (roundingsat) D 321533 321536 317459 0 -1 1078198272 218 0 0 0 0 0 0 0 20 0 1 0 43375674 38273024 661 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 9344 661 605 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2644 KiB

[startup+0.204491 s]*
/proc/loadavg: 4.13 4.10 4.03 3/261 321537
/proc/meminfo: memFree=124998120/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=37376 memory=2644 CPUtime=0 cores=4,6
/proc/321536/stat : 321536 (roundingsat) D 321533 321536 317459 0 -1 1078198272 218 0 0 0 0 0 0 0 20 0 1 0 43375674 38273024 661 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 9344 661 605 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2644 KiB

[startup+0.304786 s]*
/proc/loadavg: 4.13 4.10 4.03 3/261 321537
/proc/meminfo: memFree=124998712/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=37376 memory=2644 CPUtime=0 cores=4,6
/proc/321536/stat : 321536 (roundingsat) D 321533 321536 317459 0 -1 1077936128 218 0 0 0 0 0 0 0 20 0 1 0 43375674 38273024 661 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 9344 661 605 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2644 KiB

[startup+0.700141 s]
/proc/loadavg: 4.13 4.10 4.03 3/261 321537
/proc/meminfo: memFree=124998220/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=37376 memory=2644 CPUtime=0 cores=4,6
/proc/321536/stat : 321536 (roundingsat) D 321533 321536 317459 0 -1 1077936128 218 0 0 0 0 0 0 0 20 0 1 0 43375674 38273024 661 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 9344 661 605 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2644 KiB

[startup+1.50015 s]
/proc/loadavg: 4.13 4.10 4.03 3/261 321537
/proc/meminfo: memFree=124997872/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=37376 memory=2644 CPUtime=0 cores=4,6
/proc/321536/stat : 321536 (roundingsat) D 321533 321536 317459 0 -1 1077936128 218 0 0 0 0 0 0 0 20 0 1 0 43375674 38273024 661 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 9344 661 605 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2644 KiB

[startup+3.10574 s]
/proc/loadavg: 4.13 4.10 4.03 4/255 321563
/proc/meminfo: memFree=124883540/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=196700 memory=158132 CPUtime=1.16 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 31754 0 0 0 98 18 0 0 20 0 1 0 43375674 201420800 39533 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 6 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 49175 39533 1765 992 0 41033 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 196700 KiB
Current children cumulated memory: 158132 KiB
heavy processes:

[startup+6.30019 s]
/proc/loadavg: 4.12 4.10 4.03 4/256 321567
/proc/meminfo: memFree=124816132/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=210900 memory=174696 CPUtime=4.33 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 33807 0 0 0 400 33 0 0 20 0 1 0 43375674 215961600 43674 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 52725 43674 1829 992 0 44583 0
Current children cumulated CPU time: 4.33 s
Current children cumulated vsize: 210900 KiB
Current children cumulated memory: 174696 KiB
heavy processes:

[startup+12.7002 s]
/proc/loadavg: 4.11 4.10 4.03 4/261 321587
/proc/meminfo: memFree=124764760/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=215452 memory=177100 CPUtime=10.71 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 34426 0 0 0 1036 35 0 0 20 0 1 0 43375674 220622848 44275 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 53863 44275 1829 992 0 45721 0
Current children cumulated CPU time: 10.71 s
Current children cumulated vsize: 215452 KiB
Current children cumulated memory: 177100 KiB

[startup+25.5002 s]
/proc/loadavg: 4.17 4.11 4.03 5/261 321637
/proc/meminfo: memFree=124726120/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=218892 memory=182184 CPUtime=23.48 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 35240 0 0 0 2297 51 0 0 20 0 1 0 43375674 224145408 45546 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 54723 45546 1829 992 0 46581 0
Current children cumulated CPU time: 23.48 s
Current children cumulated vsize: 218892 KiB
Current children cumulated memory: 182184 KiB

[startup+51.1057 s]
/proc/loadavg: 4.38 4.17 4.05 5/262 321641
/proc/meminfo: memFree=124621592/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=222692 memory=185468 CPUtime=49 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 35941 0 0 0 4844 56 0 0 20 0 1 0 43375674 228036608 46367 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 55673 46367 1892 992 0 47531 0
Current children cumulated CPU time: 49 s
Current children cumulated vsize: 222692 KiB
Current children cumulated memory: 185468 KiB

[startup+102.3 s]
/proc/loadavg: 4.37 4.21 4.08 5/262 321649
/proc/meminfo: memFree=124430624/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=225144 memory=187728 CPUtime=100.05 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 36576 0 0 0 9936 69 0 0 20 0 1 0 43375674 230547456 46932 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 56286 46932 1892 992 0 48144 0
Current children cumulated CPU time: 100.05 s
Current children cumulated vsize: 225144 KiB
Current children cumulated memory: 187728 KiB

[startup+162.3 s]
/proc/loadavg: 4.25 4.20 4.08 5/262 321660
/proc/meminfo: memFree=124260864/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=225144 memory=195884 CPUtime=159.9 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 36730 0 0 0 15915 75 0 0 20 0 1 0 43375674 230547456 48971 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 56286 48971 1892 992 0 48144 0
Current children cumulated CPU time: 159.9 s
Current children cumulated vsize: 225144 KiB
Current children cumulated memory: 195884 KiB

[startup+222.3 s]
/proc/loadavg: 4.15 4.18 4.08 5/262 321671
/proc/meminfo: memFree=124113672/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=227672 memory=196936 CPUtime=219.76 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 37069 0 0 0 21896 80 0 0 20 0 1 0 43375674 233136128 49234 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 56918 49234 1892 992 0 48776 0
Current children cumulated CPU time: 219.76 s
Current children cumulated vsize: 227672 KiB
Current children cumulated memory: 196936 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.17 4.09 5/262 322065
/proc/meminfo: memFree=123940156/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=227672 memory=197008 CPUtime=279.61 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 37157 0 0 0 27863 98 0 0 20 0 1 0 43375674 233136128 49252 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 56918 49252 1892 992 0 48776 0
Current children cumulated CPU time: 279.61 s
Current children cumulated vsize: 227672 KiB
Current children cumulated memory: 197008 KiB

[startup+342.3 s]
/proc/loadavg: 4.15 4.17 4.09 5/260 322075
/proc/meminfo: memFree=123730608/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=228012 memory=197588 CPUtime=339.47 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 37411 0 0 0 33825 122 0 0 20 0 1 0 43375674 233484288 49397 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 57003 49397 1908 992 0 48861 0
Current children cumulated CPU time: 339.47 s
Current children cumulated vsize: 228012 KiB
Current children cumulated memory: 197588 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.15 4.09 5/260 322086
/proc/meminfo: memFree=123601728/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=233192 memory=203036 CPUtime=399.34 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 38814 0 0 0 39805 129 0 0 20 0 1 0 43375674 238788608 50759 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 58298 50759 1908 992 0 50156 0
Current children cumulated CPU time: 399.34 s
Current children cumulated vsize: 233192 KiB
Current children cumulated memory: 203036 KiB

[startup+462.3 s]
/proc/loadavg: 4.08 4.14 4.09 5/261 322266
/proc/meminfo: memFree=123534740/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=237512 memory=205532 CPUtime=459.19 cores=4,6

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

[startup+3102.3 s]
/proc/loadavg: 4.28 4.16 4.10 5/262 323475
/proc/meminfo: memFree=110424740/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=310252 memory=271084 CPUtime=3092.26 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 50902 0 0 0 308573 653 0 0 20 0 1 0 43375674 317698048 67771 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 77563 67771 2004 992 0 69421 0
Current children cumulated CPU time: 3092.26 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 271084 KiB

[startup+3162.3 s]
/proc/loadavg: 4.15 4.14 4.10 5/262 323486
/proc/meminfo: memFree=109929744/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=310252 memory=278592 CPUtime=3152.11 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 51036 0 0 0 314552 659 0 0 20 0 1 0 43375674 317698048 69648 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 77563 69648 2004 992 0 69421 0
Current children cumulated CPU time: 3152.11 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 278592 KiB

[startup+3222.3 s]
/proc/loadavg: 4.16 4.14 4.10 5/261 323497
/proc/meminfo: memFree=109612304/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=310252 memory=278592 CPUtime=3211.97 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 51107 0 0 0 320533 664 0 0 20 0 1 0 43375674 317698048 69648 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 77563 69648 2004 992 0 69421 0
Current children cumulated CPU time: 3211.97 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 278592 KiB

[startup+3282.3 s]
/proc/loadavg: 4.17 4.15 4.10 5/257 323507
/proc/meminfo: memFree=109393704/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=310252 memory=278592 CPUtime=3271.83 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 51249 0 0 0 326516 667 0 0 20 0 1 0 43375674 317698048 69648 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 77563 69648 2004 992 0 69421 0
Current children cumulated CPU time: 3271.83 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 278592 KiB

[startup+3342.3 s]
/proc/loadavg: 4.18 4.15 4.10 5/257 323517
/proc/meminfo: memFree=109190228/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=310252 memory=278592 CPUtime=3331.69 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 51391 0 0 0 332498 671 0 0 20 0 1 0 43375674 317698048 69648 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 77563 69648 2004 992 0 69421 0
Current children cumulated CPU time: 3331.69 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 278592 KiB

[startup+3402.3 s]
/proc/loadavg: 4.13 4.14 4.09 5/257 323528
/proc/meminfo: memFree=108980676/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=310252 memory=278592 CPUtime=3391.55 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 51538 0 0 0 338481 674 0 0 20 0 1 0 43375674 317698048 69648 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 77563 69648 2004 992 0 69421 0
Current children cumulated CPU time: 3391.55 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 278592 KiB

[startup+3462.3 s]
/proc/loadavg: 4.09 4.12 4.09 5/257 323539
/proc/meminfo: memFree=108734220/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=310252 memory=278592 CPUtime=3451.41 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 51683 0 0 0 344463 678 0 0 20 0 1 0 43375674 317698048 69648 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 77563 69648 2004 992 0 69421 0
Current children cumulated CPU time: 3451.41 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 278592 KiB

[startup+3522.3 s]
/proc/loadavg: 4.14 4.13 4.09 5/257 323549
/proc/meminfo: memFree=108493700/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=310252 memory=278592 CPUtime=3511.28 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 51828 0 0 0 350446 682 0 0 20 0 1 0 43375674 317698048 69648 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 77563 69648 2004 992 0 69421 0
Current children cumulated CPU time: 3511.28 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 278592 KiB

[startup+3582.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/259 323563
/proc/meminfo: memFree=108230796/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=310252 memory=278592 CPUtime=3571.11 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 51976 0 0 0 356426 685 0 0 20 0 1 0 43375674 317698048 69648 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 77563 69648 2004 992 0 69421 0
Current children cumulated CPU time: 3571.11 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 278592 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3611.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/259 323570
/proc/meminfo: memFree=108097596/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=310252 memory=278592 CPUtime=3600.02 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 52048 0 0 0 359316 686 0 0 20 0 1 0 43375674 317698048 69648 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 77563 69648 2004 992 0 69421 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 278592 KiB

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

Sending SIGKILL to process tree (bottom up)

[startup+3613.3 s]
# the end of solver process 321536 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)

# cumulated CPU time of all completed processes:  user=3595.16 s, system=6.8714 s

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

[startup+3612 s]*
/proc/loadavg: 4.13 4.12 4.09 5/259 323570
/proc/meminfo: memFree=108086168/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=310252 memory=278592 CPUtime=3600.72 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 52048 0 0 0 359386 686 0 0 20 0 1 0 43375674 317698048 69648 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 77563 69648 2004 992 0 69421 0
Current children cumulated CPU time: 3600.72 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 278592 KiB

[startup+3612.8 s]
/proc/loadavg: 4.13 4.12 4.09 5/259 323570
/proc/meminfo: memFree=108086168/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=310252 memory=278592 CPUtime=3601.52 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 52048 0 0 0 359465 687 0 0 20 0 1 0 43375674 317698048 69648 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 77563 69648 2004 992 0 69421 0
Current children cumulated CPU time: 3601.52 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 278592 KiB

[startup+3613.2 s]
/proc/loadavg: 4.13 4.12 4.09 5/259 323570
/proc/meminfo: memFree=108078920/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=310252 memory=278592 CPUtime=3601.92 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 52048 0 0 0 359505 687 0 0 20 0 1 0 43375674 317698048 69648 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 77563 69648 2004 992 0 69421 0
Current children cumulated CPU time: 3601.92 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 278592 KiB

[startup+3613.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/259 323570
/proc/meminfo: memFree=108078920/131524600 swapFree=131053920/131071996
[pid=321536] ppid=321533 vsize=310252 memory=278592 CPUtime=3602.02 cores=4,6
/proc/321536/stat : 321536 (roundingsat) R 321533 321536 317459 0 -1 4194304 52048 0 0 0 359515 687 0 0 20 0 1 0 43375674 317698048 69648 134679101440 4194304 8254357 140726953936896 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 10289152 140726953939803 140726953940065 140726953940065 140726953947081 0
/proc/321536/statm: 77563 69648 2004 992 0 69421 0
Current children cumulated CPU time: 3602.02 s
Current children cumulated vsize: 310252 KiB
Current children cumulated memory: 278592 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3613.3
CPU time (s): 3602.03
CPU user time (s): 3595.16
CPU system time (s): 6.8714
CPU usage (%): 99.688
Max. virtual memory (cumulated for all children) (KiB): 310252
Max. memory (cumulated for all children) (KiB): 278592

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3595.16
system time used= 6.8714
maximum resident set size= 278592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52048
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4309200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40
involuntary context switches= 2069


# summary of solver processes directly reported to runsolver:
#   pid: 321536
#   total CPU time (s): 3602.03
#   total CPU user time (s): 3595.16
#   total CPU system time (s): 6.8714

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83275 second user time and 16.2176 second system time

The end

Launcher Data 

Begin job on nodeC023 at 2024-07-27 10:21:04
IDJOB=4460354
IDBENCH=149087
IDSOLVER=3086
FILE ID=nodeC023/4460354-1722068464
RUNJOBID= nodeC023-1722064836-317470
SLURM_JOB_ID= 8248092
Free space on /tmp= 890056 MiB

SOLVER NAME= RoundingSat log
BENCH NAME= PB24/normalized-PB10/OPT-LIN/oliveras/j120opt/normalized-j1207_5.std.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460354-1722068464/watcher-4460354-1722068464 -o /tmp/evaluation-result-4460354-1722068464/solver-4460354-1722068464 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC023-1722064836-317470 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460354-1722068464 --lp-cut-gomory=0 HOME/instance-4460354-1722068464.opb

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

MD5SUM BENCH= 58b69e9a96bb9e80c29d595afb46d459
RANDOM SEED=40065274

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

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

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


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125003964 kB
MemAvailable:   129572504 kB
Buffers:          366832 kB
Cached:          4994280 kB
SwapCached:          208 kB
Active:          1696024 kB
Inactive:        4146776 kB
Active(anon):       2368 kB
Inactive(anon):   531484 kB
Active(file):    1693656 kB
Inactive(file):  3615292 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131053920 kB
Dirty:             47744 kB
Writeback:             0 kB
AnonPages:        479344 kB
Mapped:           104916 kB
Shmem:             52148 kB
KReclaimable:     198476 kB
Slab:             318956 kB
SReclaimable:     198476 kB
SUnreclaim:       120480 kB
KernelStack:        4128 kB
PageTables:        10532 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     761432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            21472 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 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:      410324 kB
DirectMap2M:    61229056 kB
DirectMap1G:    74448896 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC023 at 2024-07-27 11:21:17