Trace number 4462744

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 (3)? (TO) 3602.06 3617.6

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.72/2.40	c #variables 72842 #constraints 206738
19.66/21.43	c bounds - >= 0 @ 0.552269
19.66/21.43	c bounds 300 >= 0 @ 1.42205
19.66/21.43	c bounds 300 >= 89 @ 1.43538
19.66/21.43	c bounds 300 >= 90 @ 1.44616
19.66/21.43	c bounds 300 >= 91 @ 1.45454
19.66/21.43	c bounds 300 >= 92 @ 1.46173
19.66/21.43	c bounds 299 >= 92 @ 1.4798
19.66/21.43	c bounds 299 >= 93 @ 1.4961
19.66/21.43	c bounds 298 >= 93 @ 1.51578
19.66/21.43	c bounds 298 >= 94 @ 1.53923
19.66/21.43	c bounds 297 >= 94 @ 1.55678
19.66/21.43	c bounds 296 >= 94 @ 1.57119
19.66/21.43	c bounds 295 >= 94 @ 1.58596
19.66/21.43	c bounds 295 >= 95 @ 1.64232
19.66/21.43	c bounds 294 >= 95 @ 1.65953
19.66/21.43	c bounds 293 >= 95 @ 1.67316
19.66/21.43	c bounds 292 >= 95 @ 1.68816
19.66/21.43	c bounds 291 >= 95 @ 1.70319
19.66/21.43	c bounds 290 >= 95 @ 1.71781
19.66/21.43	c bounds 289 >= 95 @ 1.73643
19.66/21.43	c bounds 289 >= 96 @ 1.79293
19.66/21.43	c bounds 288 >= 96 @ 1.81012
19.66/21.43	c bounds 287 >= 96 @ 1.8263
19.66/21.43	c bounds 286 >= 96 @ 1.84213
19.66/21.43	c bounds 285 >= 96 @ 1.85733
19.66/21.43	c bounds 284 >= 96 @ 1.87417
19.66/21.43	c bounds 283 >= 96 @ 1.88834
19.66/21.43	c #Conflicts:       1000 | #Constraints:     207771
19.66/21.43	c bounds 283 >= 97 @ 2.00598
19.66/21.43	c bounds 282 >= 97 @ 2.02074
19.66/21.43	c bounds 281 >= 97 @ 2.03737
19.66/21.43	c bounds 280 >= 97 @ 2.05267
19.66/21.43	c bounds 279 >= 97 @ 2.06745
19.66/21.43	c bounds 278 >= 97 @ 2.08238
19.66/21.43	c bounds 277 >= 97 @ 2.09753
19.66/21.43	c bounds 276 >= 97 @ 2.11221
19.66/21.43	c bounds 275 >= 97 @ 2.12479
19.66/21.43	c bounds 274 >= 97 @ 2.14018
19.66/21.43	c bounds 273 >= 97 @ 2.1529
19.66/21.43	c bounds 272 >= 97 @ 2.16729
19.66/21.43	c bounds 271 >= 97 @ 2.18275
19.66/21.43	c bounds 270 >= 97 @ 2.19699
19.66/21.43	c bounds 270 >= 98 @ 2.40723
19.66/21.43	c bounds 269 >= 98 @ 2.42396
19.66/21.43	c bounds 268 >= 98 @ 2.43837
19.66/21.43	c bounds 267 >= 98 @ 2.45173
19.66/21.43	c bounds 266 >= 98 @ 2.46481
19.66/21.43	c bounds 264 >= 98 @ 2.47681
19.66/21.43	c bounds 263 >= 98 @ 2.48937
19.66/21.43	c bounds 262 >= 98 @ 2.5028
19.66/21.43	c bounds 261 >= 98 @ 2.51632
19.66/21.43	c bounds 260 >= 98 @ 2.53074
19.66/21.43	c bounds 259 >= 98 @ 2.54474
19.66/21.43	c bounds 258 >= 98 @ 2.55821
19.66/21.43	c bounds 255 >= 98 @ 2.57146
19.66/21.43	c bounds 254 >= 98 @ 2.58482
19.66/21.43	c bounds 253 >= 98 @ 2.59783
19.66/21.43	c bounds 252 >= 98 @ 2.61142
19.66/21.43	c bounds 251 >= 98 @ 2.62483
19.66/21.43	c bounds 250 >= 98 @ 2.63772
19.66/21.43	c bounds 249 >= 98 @ 2.65131
19.66/21.43	c bounds 248 >= 98 @ 2.66377
19.66/21.43	c bounds 247 >= 98 @ 2.67654
19.66/21.43	c bounds 246 >= 98 @ 2.6884
19.66/21.43	c bounds 245 >= 98 @ 2.70254
19.66/21.43	c bounds 244 >= 98 @ 2.71548
19.66/21.43	c bounds 243 >= 98 @ 2.72699
19.66/21.43	c bounds 242 >= 98 @ 2.73951
19.66/21.43	c bounds 241 >= 98 @ 2.75089
19.66/21.43	c bounds 240 >= 98 @ 2.76126
19.66/21.43	c #Conflicts:       2000 | #Constraints:     208815
19.66/21.43	c INPROCESSING
19.66/21.43	c GARBAGE COLLECT
19.66/21.43	c bounds 239 >= 98 @ 17.9319
19.66/21.43	c bounds 238 >= 98 @ 17.9421
19.66/21.43	c bounds 237 >= 98 @ 17.9561
19.66/21.43	c bounds 236 >= 98 @ 17.9691
19.66/21.43	c bounds 235 >= 98 @ 17.9809
19.66/21.43	c bounds 234 >= 98 @ 17.9943
19.66/21.43	c bounds 233 >= 98 @ 18.0054
19.66/21.43	c bounds 233 >= 99 @ 18.2537
19.66/21.43	c bounds 232 >= 99 @ 18.2682
19.66/21.43	c bounds 231 >= 99 @ 18.278
19.66/21.43	c bounds 230 >= 99 @ 18.2886
19.66/21.43	c bounds 229 >= 99 @ 18.2998
19.66/21.43	c bounds 228 >= 99 @ 18.314
19.66/21.43	c bounds 227 >= 99 @ 18.3265
19.66/21.43	c bounds 226 >= 99 @ 18.3402
19.66/21.43	c bounds 225 >= 99 @ 18.3528
19.66/21.43	c bounds 224 >= 99 @ 18.3642
19.66/21.43	c bounds 223 >= 99 @ 18.3764
19.66/21.43	c bounds 222 >= 99 @ 18.3873
19.66/21.43	c bounds 221 >= 99 @ 18.3992
19.66/21.43	c bounds 220 >= 99 @ 18.4155
19.66/21.43	c bounds 219 >= 99 @ 18.425
19.66/21.43	c bounds 218 >= 99 @ 18.437
19.66/21.43	c bounds 217 >= 99 @ 18.4474
19.66/21.43	c bounds 216 >= 99 @ 18.4588
19.66/21.43	c bounds 215 >= 99 @ 18.4687
19.66/21.43	c bounds 214 >= 99 @ 18.4803
19.66/21.43	c #Conflicts:       3000 | #Constraints:     133478
19.66/21.43	c bounds 213 >= 99 @ 18.4937
19.66/21.43	c bounds 212 >= 99 @ 18.5038
19.66/21.43	c bounds 211 >= 99 @ 18.5157
19.66/21.43	c bounds 210 >= 99 @ 18.5278
19.66/21.43	c bounds 209 >= 99 @ 18.5374
19.66/21.43	c bounds 208 >= 99 @ 18.5483
19.66/21.43	c bounds 207 >= 99 @ 18.5598
19.66/21.43	c bounds 206 >= 99 @ 18.5697
19.66/21.43	c bounds 205 >= 99 @ 18.5802
19.66/21.43	c bounds 204 >= 99 @ 18.5896
19.66/21.43	c bounds 203 >= 99 @ 18.5981
19.66/21.43	c bounds 202 >= 99 @ 18.6063
19.66/21.43	c #Conflicts:       4000 | #Constraints:     134490
19.66/21.43	c INPROCESSING
19.66/21.43	c GARBAGE COLLECT
19.66/21.43	c bounds 201 >= 99 @ 18.9539
19.66/21.43	c bounds 200 >= 99 @ 18.9644
19.66/21.43	c bounds 199 >= 99 @ 18.9758
19.66/21.43	c bounds 198 >= 99 @ 18.9852
19.66/21.43	c bounds 197 >= 99 @ 18.9951
19.66/21.43	c bounds 196 >= 99 @ 19.0071
19.66/21.43	c bounds 195 >= 99 @ 19.0179
19.66/21.43	c bounds 194 >= 99 @ 19.0268
19.66/21.43	c bounds 193 >= 99 @ 19.0379
19.66/21.43	c bounds 192 >= 99 @ 19.0469
19.66/21.43	c bounds 191 >= 99 @ 19.0554
19.66/21.43	c bounds 190 >= 99 @ 19.0665
19.66/21.43	c bounds 189 >= 99 @ 19.077
19.66/21.43	c bounds 188 >= 99 @ 19.0864
19.66/21.43	c bounds 187 >= 99 @ 19.0945
19.66/21.43	c bounds 186 >= 99 @ 19.1048
19.66/21.43	c bounds 185 >= 99 @ 19.1138
19.66/21.43	c bounds 184 >= 99 @ 19.1232
19.66/21.43	c bounds 183 >= 99 @ 19.1321
19.66/21.43	c bounds 182 >= 99 @ 19.1415
19.66/21.43	c bounds 181 >= 99 @ 19.1504
19.66/21.43	c bounds 180 >= 99 @ 19.1595
19.66/21.43	c bounds 179 >= 99 @ 19.1674
19.66/21.43	c bounds 178 >= 99 @ 19.1772
19.66/21.43	c bounds 177 >= 99 @ 19.1868
988.56/993.59	c bounds 176 >= 99 @ 19.1954
988.56/993.59	c bounds 175 >= 99 @ 19.2044
988.56/993.59	c bounds 174 >= 99 @ 19.2128
988.56/993.59	c bounds 173 >= 99 @ 19.2222
988.56/993.59	c bounds 172 >= 99 @ 19.2297
988.56/993.59	c bounds 171 >= 99 @ 19.236
988.56/993.59	c bounds 170 >= 99 @ 19.2446
988.56/993.59	c bounds 169 >= 99 @ 19.2528
988.56/993.59	c bounds 168 >= 99 @ 19.2599
988.56/993.59	c bounds 167 >= 99 @ 19.2697
988.56/993.59	c bounds 166 >= 99 @ 19.2777
988.56/993.59	c bounds 165 >= 99 @ 19.2858
988.56/993.59	c bounds 164 >= 99 @ 19.2927
988.56/993.59	c bounds 163 >= 99 @ 19.3005
988.56/993.59	c bounds 162 >= 99 @ 19.3092
988.56/993.59	c bounds 161 >= 99 @ 19.318
988.56/993.59	c bounds 160 >= 99 @ 19.3247
988.56/993.59	c bounds 159 >= 99 @ 19.3323
988.56/993.59	c bounds 158 >= 99 @ 19.3567
988.56/993.59	c bounds 157 >= 99 @ 19.3633
988.56/993.59	c bounds 156 >= 99 @ 19.3719
988.56/993.59	c bounds 155 >= 99 @ 19.3804
988.56/993.59	c bounds 154 >= 99 @ 19.3918
988.56/993.59	c bounds 153 >= 99 @ 19.4031
988.56/993.59	c bounds 152 >= 99 @ 19.4259
988.56/993.59	c bounds 151 >= 99 @ 19.4353
988.56/993.59	c #Conflicts:       5000 | #Constraints:     104109
988.56/993.59	c #Conflicts:       6000 | #Constraints:     105109
988.56/993.59	c bounds 151 >= 100 @ 52.4581
988.56/993.59	c bounds 150 >= 100 @ 52.4795
988.56/993.59	c bounds 149 >= 100 @ 52.4966
988.56/993.59	c bounds 148 >= 100 @ 52.5115
988.56/993.59	c bounds 147 >= 100 @ 52.5427
988.56/993.59	c INPROCESSING
988.56/993.59	c GARBAGE COLLECT
988.56/993.59	c bounds 146 >= 100 @ 52.6614
988.56/993.59	c #Conflicts:       7000 | #Constraints:      60696
988.56/993.59	c bounds 145 >= 100 @ 53.0217
988.56/993.59	c bounds 144 >= 100 @ 53.0316
988.56/993.59	c bounds 143 >= 100 @ 53.0424
988.56/993.59	c #Conflicts:       8000 | #Constraints:      61699
988.56/993.59	c bounds 142 >= 100 @ 53.2455
988.56/993.59	c #Conflicts:       9000 | #Constraints:      62700
988.56/993.59	c INPROCESSING
988.56/993.59	c GARBAGE COLLECT
988.56/993.59	c #Conflicts:      10000 | #Constraints:      57550
988.56/993.59	c bounds 141 >= 100 @ 239.645
988.56/993.59	c #Conflicts:      11000 | #Constraints:      58551
988.56/993.59	c #Conflicts:      12000 | #Constraints:      59551
988.56/993.59	c INPROCESSING
988.56/993.59	c GARBAGE COLLECT
988.56/993.59	c #Conflicts:      13000 | #Constraints:      57234
988.56/993.59	c #Conflicts:      14000 | #Constraints:      58234
988.56/993.59	c #Conflicts:      15000 | #Constraints:      59234
988.56/993.59	c INPROCESSING
988.56/993.59	c GARBAGE COLLECT
988.56/993.59	c #Conflicts:      16000 | #Constraints:      57484
988.56/993.59	c #Conflicts:      17000 | #Constraints:      58484
988.56/993.59	c #Conflicts:      18000 | #Constraints:      59484
988.56/993.59	c INPROCESSING
988.56/993.59	c GARBAGE COLLECT
988.56/993.59	c #Conflicts:      19000 | #Constraints:      57516
988.56/993.59	c #Conflicts:      20000 | #Constraints:      58516
988.56/993.59	c #Conflicts:      21000 | #Constraints:      59516
988.56/993.59	c INPROCESSING
988.56/993.59	c GARBAGE COLLECT
988.56/993.59	c #Conflicts:      22000 | #Constraints:      57317
988.56/993.59	c #Conflicts:      23000 | #Constraints:      58318
988.56/993.59	c #Conflicts:      24000 | #Constraints:      59318
988.56/993.59	c #Conflicts:      25000 | #Constraints:      60318
988.56/993.59	c INPROCESSING
988.56/993.59	c GARBAGE COLLECT
988.56/993.59	c #Conflicts:      26000 | #Constraints:      57939
988.56/993.59	c #Conflicts:      27000 | #Constraints:      58939
988.56/993.59	c #Conflicts:      28000 | #Constraints:      59939
988.56/993.59	c #Conflicts:      29000 | #Constraints:      60939
988.56/993.59	c INPROCESSING
988.56/993.59	c GARBAGE COLLECT
988.56/993.59	c #Conflicts:      30000 | #Constraints:      58340
988.56/993.59	c #Conflicts:      31000 | #Constraints:      59340
988.56/993.59	c #Conflicts:      32000 | #Constraints:      60340
988.56/993.59	c bounds 141 >= 101 @ 291.722
988.56/993.59	c #Conflicts:      33000 | #Constraints:      61342
988.56/993.59	c INPROCESSING
988.56/993.59	c GARBAGE COLLECT
988.56/993.59	c #Conflicts:      34000 | #Constraints:      58548
988.56/993.59	c #Conflicts:      35000 | #Constraints:      59548
988.56/993.59	c #Conflicts:      36000 | #Constraints:      60548
988.56/993.59	c #Conflicts:      37000 | #Constraints:      61548
988.56/993.59	c INPROCESSING
988.56/993.59	c GARBAGE COLLECT
988.56/993.59	c #Conflicts:      38000 | #Constraints:      58549
988.56/993.59	c #Conflicts:      39000 | #Constraints:      59549
988.56/993.59	c #Conflicts:      40000 | #Constraints:      60550
988.56/993.59	c #Conflicts:      41000 | #Constraints:      61550
988.56/993.59	c INPROCESSING
988.56/993.59	c GARBAGE COLLECT
988.56/993.59	c #Conflicts:      42000 | #Constraints:      58361
988.56/993.59	c #Conflicts:      43000 | #Constraints:      59361
988.56/993.59	c #Conflicts:      44000 | #Constraints:      60361
988.56/993.59	c #Conflicts:      45000 | #Constraints:      61361
988.56/993.59	c #Conflicts:      46000 | #Constraints:      62361
988.56/993.59	c INPROCESSING
988.56/993.59	c GARBAGE COLLECT
988.56/993.59	c #Conflicts:      47000 | #Constraints:      58961
988.56/993.59	c #Conflicts:      48000 | #Constraints:      59961
988.56/993.59	c #Conflicts:      49000 | #Constraints:      60961
988.56/993.59	c #Conflicts:      50000 | #Constraints:      61961
988.56/993.59	c #Conflicts:      51000 | #Constraints:      62961
988.56/993.59	c INPROCESSING
988.56/993.59	c GARBAGE COLLECT
988.56/993.59	c #Conflicts:      52000 | #Constraints:      59374
988.56/993.59	c #Conflicts:      53000 | #Constraints:      60374
2411.28/2422.02	c #Conflicts:      54000 | #Constraints:      61374
2411.28/2422.02	c #Conflicts:      55000 | #Constraints:      62374
2411.28/2422.02	c #Conflicts:      56000 | #Constraints:      63375
2411.28/2422.02	c INPROCESSING
2411.28/2422.02	c GARBAGE COLLECT
2411.28/2422.02	c #Conflicts:      57000 | #Constraints:      59571
2411.28/2422.02	c #Conflicts:      58000 | #Constraints:      60571
2411.28/2422.02	c #Conflicts:      59000 | #Constraints:      61571
2411.28/2422.02	c #Conflicts:      60000 | #Constraints:      62571
2411.28/2422.02	c #Conflicts:      61000 | #Constraints:      63571
2411.28/2422.02	c INPROCESSING
2411.28/2422.02	c GARBAGE COLLECT
2411.28/2422.02	c #Conflicts:      62000 | #Constraints:      59555
2411.28/2422.02	c #Conflicts:      63000 | #Constraints:      60555
2411.28/2422.02	c #Conflicts:      64000 | #Constraints:      61555
2411.28/2422.02	c #Conflicts:      65000 | #Constraints:      62555
2411.28/2422.02	c #Conflicts:      66000 | #Constraints:      63555
2411.28/2422.02	c INPROCESSING
2411.28/2422.02	c GARBAGE COLLECT
2411.28/2422.02	c #Conflicts:      67000 | #Constraints:      59345
2411.28/2422.02	c #Conflicts:      68000 | #Constraints:      60345
2411.28/2422.02	c #Conflicts:      69000 | #Constraints:      61345
2411.28/2422.02	c #Conflicts:      70000 | #Constraints:      62346
2411.28/2422.02	c #Conflicts:      71000 | #Constraints:      63346
2411.28/2422.02	c #Conflicts:      72000 | #Constraints:      64346
2411.28/2422.02	c #Conflicts:      73000 | #Constraints:      65346
2411.28/2422.02	c #Conflicts:      74000 | #Constraints:      66346
2411.28/2422.02	c #Conflicts:      75000 | #Constraints:      67346
2411.28/2422.02	c #Conflicts:      76000 | #Constraints:      68346
2411.28/2422.02	c #Conflicts:      77000 | #Constraints:      69346
2411.28/2422.02	c #Conflicts:      78000 | #Constraints:      70346
2411.28/2422.02	c #Conflicts:      79000 | #Constraints:      71346
2411.28/2422.02	c bounds 141 >= 102 @ 1107.82
2411.28/2422.02	c #Conflicts:      80000 | #Constraints:      72348
2411.28/2422.02	c #Conflicts:      81000 | #Constraints:      73348
2411.28/2422.02	c #Conflicts:      82000 | #Constraints:      74348
2411.28/2422.02	c #Conflicts:      83000 | #Constraints:      75348
2411.28/2422.02	c #Conflicts:      84000 | #Constraints:      76348
2411.28/2422.02	c #Conflicts:      85000 | #Constraints:      77348
2411.28/2422.02	c #Conflicts:      86000 | #Constraints:      78348
2411.28/2422.02	c #Conflicts:      87000 | #Constraints:      79348
2411.28/2422.02	c #Conflicts:      88000 | #Constraints:      80348
2411.28/2422.02	c #Conflicts:      89000 | #Constraints:      81348
2411.28/2422.02	c INPROCESSING
2411.28/2422.02	c GARBAGE COLLECT
2411.28/2422.02	c #Conflicts:      90000 | #Constraints:      68358
2411.28/2422.02	c #Conflicts:      91000 | #Constraints:      69358
2411.28/2422.02	c #Conflicts:      92000 | #Constraints:      70358
2411.28/2422.02	c #Conflicts:      93000 | #Constraints:      71358
2411.28/2422.02	c #Conflicts:      94000 | #Constraints:      72358
2411.28/2422.02	c #Conflicts:      95000 | #Constraints:      73358
2411.28/2422.02	c #Conflicts:      96000 | #Constraints:      74358
2411.28/2422.02	c INPROCESSING
2411.28/2422.02	c GARBAGE COLLECT
2411.28/2422.02	c #Conflicts:      97000 | #Constraints:      65034
2411.28/2422.02	c #Conflicts:      98000 | #Constraints:      66034
2411.28/2422.02	c #Conflicts:      99000 | #Constraints:      67034
2411.28/2422.02	c #Conflicts:     100000 | #Constraints:      68034
2411.28/2422.02	c #Conflicts:     101000 | #Constraints:      69034
2411.28/2422.02	c #Conflicts:     102000 | #Constraints:      70034
2411.28/2422.02	c INPROCESSING
2411.28/2422.02	c GARBAGE COLLECT
2411.28/2422.02	c #Conflicts:     103000 | #Constraints:      62426
2411.28/2422.02	c #Conflicts:     104000 | #Constraints:      63426
2411.28/2422.02	c #Conflicts:     105000 | #Constraints:      64426
2411.28/2422.02	c #Conflicts:     106000 | #Constraints:      65426
2411.28/2422.02	c #Conflicts:     107000 | #Constraints:      66426
2411.28/2422.02	c bounds 140 >= 102 @ 1147.14
2411.28/2422.02	c #Conflicts:     108000 | #Constraints:      67427
2411.28/2422.02	c #Conflicts:     109000 | #Constraints:      68427
2411.28/2422.02	c #Conflicts:     110000 | #Constraints:      69427
2411.28/2422.02	c INPROCESSING
2411.28/2422.02	c GARBAGE COLLECT
2411.28/2422.02	c #Conflicts:     111000 | #Constraints:      61628
2411.28/2422.02	c #Conflicts:     112000 | #Constraints:      62628
2411.28/2422.02	c #Conflicts:     113000 | #Constraints:      63628
2411.28/2422.02	c #Conflicts:     114000 | #Constraints:      64628
2411.28/2422.02	c bounds 140 >= 103 @ 2401.48
2411.28/2422.02	c #Conflicts:     115000 | #Constraints:      65632
2411.28/2422.02	c bounds 139 >= 103 @ 2401.78
2411.28/2422.02	c #Conflicts:     116000 | #Constraints:      66633
2411.28/2422.02	c #Conflicts:     117000 | #Constraints:      67633
2411.28/2422.02	c INPROCESSING
2411.28/2422.02	c GARBAGE COLLECT
2411.28/2422.02	c #Conflicts:     118000 | #Constraints:      60309
2411.28/2422.02	c #Conflicts:     119000 | #Constraints:      61309
2411.28/2422.02	c #Conflicts:     120000 | #Constraints:      62309
2411.28/2422.02	c #Conflicts:     121000 | #Constraints:      63309
2411.28/2422.02	c #Conflicts:     122000 | #Constraints:      64309
2411.28/2422.02	c #Conflicts:     123000 | #Constraints:      65309
2411.28/2422.02	c #Conflicts:     124000 | #Constraints:      66309
2411.28/2422.02	c #Conflicts:     125000 | #Constraints:      67309
2565.82/2577.28	c #Conflicts:     126000 | #Constraints:      68309
2565.82/2577.28	c #Conflicts:     127000 | #Constraints:      69309
2565.82/2577.28	c #Conflicts:     128000 | #Constraints:      70309
2565.82/2577.28	c #Conflicts:     129000 | #Constraints:      71309
2565.82/2577.28	c #Conflicts:     130000 | #Constraints:      72309
2565.82/2577.28	c #Conflicts:     131000 | #Constraints:      73309
2565.82/2577.28	c #Conflicts:     132000 | #Constraints:      74309
2565.82/2577.28	c #Conflicts:     133000 | #Constraints:      75309
2565.82/2577.28	c #Conflicts:     134000 | #Constraints:      76309
2565.82/2577.28	c #Conflicts:     135000 | #Constraints:      77309
2565.82/2577.28	c #Conflicts:     136000 | #Constraints:      78309
2565.82/2577.28	c #Conflicts:     137000 | #Constraints:      79309
2565.82/2577.28	c #Conflicts:     138000 | #Constraints:      80309
2565.82/2577.28	c #Conflicts:     139000 | #Constraints:      81309
2565.82/2577.28	c #Conflicts:     140000 | #Constraints:      82309
2565.82/2577.28	c #Conflicts:     141000 | #Constraints:      83309
2565.82/2577.28	c #Conflicts:     142000 | #Constraints:      84309
2565.82/2577.28	c #Conflicts:     143000 | #Constraints:      85309
2565.82/2577.28	c #Conflicts:     144000 | #Constraints:      86309
2565.82/2577.28	c #Conflicts:     145000 | #Constraints:      87309
2565.82/2577.28	c #Conflicts:     146000 | #Constraints:      88309
2565.82/2577.28	c INPROCESSING
2565.82/2577.28	c GARBAGE COLLECT
2565.82/2577.28	c #Conflicts:     147000 | #Constraints:      71050
2565.82/2577.28	c #Conflicts:     148000 | #Constraints:      72050
2565.82/2577.28	c #Conflicts:     149000 | #Constraints:      73050
2565.82/2577.28	c #Conflicts:     150000 | #Constraints:      74050
2565.82/2577.28	c #Conflicts:     151000 | #Constraints:      75050
2565.82/2577.28	c #Conflicts:     152000 | #Constraints:      76050
2565.82/2577.28	c #Conflicts:     153000 | #Constraints:      77050
2565.82/2577.28	c #Conflicts:     154000 | #Constraints:      78050
2565.82/2577.28	c #Conflicts:     155000 | #Constraints:      79050
2565.82/2577.28	c INPROCESSING
2565.82/2577.28	c GARBAGE COLLECT
2565.82/2577.28	c #Conflicts:     156000 | #Constraints:      66620
2565.82/2577.28	c #Conflicts:     157000 | #Constraints:      67620
2565.82/2577.28	c #Conflicts:     158000 | #Constraints:      68620
2565.82/2577.28	c #Conflicts:     159000 | #Constraints:      69620
2565.82/2577.28	c #Conflicts:     160000 | #Constraints:      70620
2565.82/2577.28	c #Conflicts:     161000 | #Constraints:      71620
2565.82/2577.28	c #Conflicts:     162000 | #Constraints:      72620
2565.82/2577.28	c #Conflicts:     163000 | #Constraints:      73621
2565.82/2577.28	c INPROCESSING
2565.82/2577.28	c GARBAGE COLLECT
2565.82/2577.28	c #Conflicts:     164000 | #Constraints:      63520
2565.82/2577.28	c #Conflicts:     165000 | #Constraints:      64520
2565.82/2577.28	c #Conflicts:     166000 | #Constraints:      65520
2565.82/2577.28	c #Conflicts:     167000 | #Constraints:      66520
2565.82/2577.28	c #Conflicts:     168000 | #Constraints:      67520
2565.82/2577.28	c #Conflicts:     169000 | #Constraints:      68520
2565.82/2577.28	c #Conflicts:     170000 | #Constraints:      69520
2565.82/2577.28	c #Conflicts:     171000 | #Constraints:      70520
2565.82/2577.28	c #Conflicts:     172000 | #Constraints:      71520
2565.82/2577.28	c INPROCESSING
2565.82/2577.28	c GARBAGE COLLECT
2565.82/2577.28	c #Conflicts:     173000 | #Constraints:      62464
2565.82/2577.28	c #Conflicts:     174000 | #Constraints:      63464
2565.82/2577.28	c #Conflicts:     175000 | #Constraints:      64464
2565.82/2577.28	c #Conflicts:     176000 | #Constraints:      65464
2565.82/2577.28	c #Conflicts:     177000 | #Constraints:      66465
2565.82/2577.28	c #Conflicts:     178000 | #Constraints:      67465
2565.82/2577.28	c #Conflicts:     179000 | #Constraints:      68465
2565.82/2577.28	c #Conflicts:     180000 | #Constraints:      69465
2565.82/2577.28	c #Conflicts:     181000 | #Constraints:      70465
2565.82/2577.28	c #Conflicts:     182000 | #Constraints:      71465
2565.82/2577.28	c #Conflicts:     183000 | #Constraints:      72465
2565.82/2577.28	c #Conflicts:     184000 | #Constraints:      73465
2565.82/2577.28	c #Conflicts:     185000 | #Constraints:      74465
2565.82/2577.28	c #Conflicts:     186000 | #Constraints:      75465
2565.82/2577.28	c #Conflicts:     187000 | #Constraints:      76465
2565.82/2577.28	c #Conflicts:     188000 | #Constraints:      77465
2565.82/2577.28	c #Conflicts:     189000 | #Constraints:      78465
2565.82/2577.28	c #Conflicts:     190000 | #Constraints:      79465
2565.82/2577.28	c #Conflicts:     191000 | #Constraints:      80465
2565.82/2577.28	c #Conflicts:     192000 | #Constraints:      81465
2565.82/2577.28	c #Conflicts:     193000 | #Constraints:      82466
2565.82/2577.28	c #Conflicts:     194000 | #Constraints:      83466
2565.82/2577.28	c #Conflicts:     195000 | #Constraints:      84466
2565.82/2577.28	c #Conflicts:     196000 | #Constraints:      85466
2565.82/2577.28	c #Conflicts:     197000 | #Constraints:      86466
2565.82/2577.28	c #Conflicts:     198000 | #Constraints:      87466
2565.82/2577.28	c bounds 139 >= 104 @ 2554.17
2565.82/2577.28	c #Conflicts:     199000 | #Constraints:      88468
2565.82/2577.28	c #Conflicts:     200000 | #Constraints:      89469
2973.36/2986.58	c #Conflicts:     201000 | #Constraints:      90469
2973.36/2986.58	c #Conflicts:     202000 | #Constraints:      91469
2973.36/2986.58	c #Conflicts:     203000 | #Constraints:      92469
2973.36/2986.58	c #Conflicts:     204000 | #Constraints:      93469
2973.36/2986.58	c #Conflicts:     205000 | #Constraints:      94469
2973.36/2986.58	c #Conflicts:     206000 | #Constraints:      95469
2973.36/2986.58	c #Conflicts:     207000 | #Constraints:      96469
2973.36/2986.58	c INPROCESSING
2973.36/2986.58	c GARBAGE COLLECT
2973.36/2986.58	c #Conflicts:     208000 | #Constraints:      75245
2973.36/2986.58	c #Conflicts:     209000 | #Constraints:      76245
2973.36/2986.58	c #Conflicts:     210000 | #Constraints:      77245
2973.36/2986.58	c #Conflicts:     211000 | #Constraints:      78245
2973.36/2986.58	c #Conflicts:     212000 | #Constraints:      79245
2973.36/2986.58	c #Conflicts:     213000 | #Constraints:      80245
2973.36/2986.58	c #Conflicts:     214000 | #Constraints:      81245
2973.36/2986.58	c #Conflicts:     215000 | #Constraints:      82245
2973.36/2986.58	c #Conflicts:     216000 | #Constraints:      83245
2973.36/2986.58	c #Conflicts:     217000 | #Constraints:      84245
2973.36/2986.58	c INPROCESSING
2973.36/2986.58	c GARBAGE COLLECT
2973.36/2986.58	c #Conflicts:     218000 | #Constraints:      68967
2973.36/2986.58	c #Conflicts:     219000 | #Constraints:      69967
2973.36/2986.58	c #Conflicts:     220000 | #Constraints:      70967
2973.36/2986.58	c #Conflicts:     221000 | #Constraints:      71967
2973.36/2986.58	c #Conflicts:     222000 | #Constraints:      72967
2973.36/2986.58	c #Conflicts:     223000 | #Constraints:      73967
2973.36/2986.58	c #Conflicts:     224000 | #Constraints:      74967
2973.36/2986.58	c #Conflicts:     225000 | #Constraints:      75967
2973.36/2986.58	c #Conflicts:     226000 | #Constraints:      76967
2973.36/2986.58	c #Conflicts:     227000 | #Constraints:      77967
2973.36/2986.58	c #Conflicts:     228000 | #Constraints:      78967
2973.36/2986.58	c INPROCESSING
2973.36/2986.58	c GARBAGE COLLECT
2973.36/2986.58	c #Conflicts:     229000 | #Constraints:      66619
2973.36/2986.58	c #Conflicts:     230000 | #Constraints:      67619
2973.36/2986.58	c #Conflicts:     231000 | #Constraints:      68619
2973.36/2986.58	c #Conflicts:     232000 | #Constraints:      69619
2973.36/2986.58	c #Conflicts:     233000 | #Constraints:      70619
2973.36/2986.58	c #Conflicts:     234000 | #Constraints:      71619
2973.36/2986.58	c #Conflicts:     235000 | #Constraints:      72619
2973.36/2986.58	c #Conflicts:     236000 | #Constraints:      73619
2973.36/2986.58	c #Conflicts:     237000 | #Constraints:      74619
2973.36/2986.58	c #Conflicts:     238000 | #Constraints:      75619
2973.36/2986.58	c INPROCESSING
2973.36/2986.58	c GARBAGE COLLECT
2973.36/2986.58	c rational objective 103.909

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: 63968 MiB (63548 MiB free)
  memory of node 1: 64473 MiB (63728 MiB free)
  node distances:
     10  21
     21  10

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

running on 2 cores: 0,2

CPU governors:
  performance: 0 2

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

solver pid=9721, runsolver pid=9718

[startup+0.100082 s]*
/proc/loadavg: 4.13 4.10 4.03 4/262 9722
/proc/meminfo: memFree=130327264/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=37376 memory=2680 CPUtime=0 cores=0,2
/proc/9721/stat : 9721 (roundingsat) D 9718 9721 7465 0 -1 1078198272 218 0 0 0 0 0 0 0 20 0 1 0 1044260 38273024 670 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 9344 670 614 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB

[startup+0.205317 s]*
/proc/loadavg: 4.13 4.10 4.03 4/262 9722
/proc/meminfo: memFree=130325404/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=37376 memory=2680 CPUtime=0 cores=0,2
/proc/9721/stat : 9721 (roundingsat) D 9718 9721 7465 0 -1 1078198272 218 0 0 0 0 0 0 0 20 0 1 0 1044260 38273024 670 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 9344 670 614 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB

[startup+0.304467 s]*
/proc/loadavg: 4.13 4.10 4.03 5/262 9722
/proc/meminfo: memFree=130323556/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=37376 memory=2680 CPUtime=0 cores=0,2
/proc/9721/stat : 9721 (roundingsat) D 9718 9721 7465 0 -1 1078198272 218 0 0 0 0 0 0 0 20 0 1 0 1044260 38273024 670 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 9344 670 614 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB

[startup+0.700133 s]
/proc/loadavg: 4.13 4.10 4.03 4/262 9722
/proc/meminfo: memFree=130320092/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=37376 memory=2680 CPUtime=0 cores=0,2
/proc/9721/stat : 9721 (roundingsat) D 9718 9721 7465 0 -1 1078198272 218 0 0 0 0 0 0 0 20 0 1 0 1044260 38273024 670 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 9344 670 614 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB

[startup+1.50013 s]
/proc/loadavg: 4.13 4.10 4.03 4/262 9722
/proc/meminfo: memFree=130311628/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=37376 memory=2680 CPUtime=0 cores=0,2
/proc/9721/stat : 9721 (roundingsat) D 9718 9721 7465 0 -1 1078198272 218 0 0 0 0 0 0 0 20 0 1 0 1044260 38273024 670 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 8404994 0 0 0 17 2 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 9344 670 614 992 0 1202 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 37376 KiB
Current children cumulated memory: 2680 KiB

[startup+3.1056 s]
/proc/loadavg: 4.13 4.10 4.03 5/262 9722
/proc/meminfo: memFree=130134108/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=198980 memory=159152 CPUtime=1.43 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 31492 0 0 0 121 22 0 0 20 0 1 0 1044260 203755520 39788 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 49745 39788 1792 992 0 41603 0
Current children cumulated CPU time: 1.43 s
Current children cumulated vsize: 198980 KiB
Current children cumulated memory: 159152 KiB
heavy processes:

[startup+6.30016 s]
/proc/loadavg: 4.12 4.09 4.03 5/262 9724
/proc/meminfo: memFree=130047796/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=210900 memory=174860 CPUtime=4.61 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 33342 0 0 0 424 37 0 0 20 0 1 0 1044260 215961600 43715 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 52725 43715 1838 992 0 44583 0
Current children cumulated CPU time: 4.61 s
Current children cumulated vsize: 210900 KiB
Current children cumulated memory: 174860 KiB
heavy processes:

[startup+12.7002 s]
/proc/loadavg: 4.19 4.11 4.04 5/262 9724
/proc/meminfo: memFree=129975616/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=218068 memory=182144 CPUtime=10.99 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 34146 0 0 0 1059 40 0 0 20 0 1 0 1044260 223301632 45536 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 54517 45536 1838 992 0 46375 0
Current children cumulated CPU time: 10.99 s
Current children cumulated vsize: 218068 KiB
Current children cumulated memory: 182144 KiB

[startup+25.5002 s]
/proc/loadavg: 4.15 4.10 4.03 5/261 9727
/proc/meminfo: memFree=129786916/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=220520 memory=184356 CPUtime=23.74 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 34696 0 0 0 2317 57 0 0 20 0 1 0 1044260 225812480 46089 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 55130 46089 1891 992 0 46988 0
Current children cumulated CPU time: 23.74 s
Current children cumulated vsize: 220520 KiB
Current children cumulated memory: 184356 KiB

[startup+51.1057 s]
/proc/loadavg: 4.30 4.14 4.05 5/261 9742
/proc/meminfo: memFree=129588288/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=223184 memory=185992 CPUtime=49.25 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 35172 0 0 0 4863 62 0 0 20 0 1 0 1044260 228540416 46498 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 55796 46498 1891 992 0 47654 0
Current children cumulated CPU time: 49.25 s
Current children cumulated vsize: 223184 KiB
Current children cumulated memory: 185992 KiB

[startup+102.3 s]
/proc/loadavg: 4.20 4.14 4.05 5/261 9750
/proc/meminfo: memFree=129198936/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=226188 memory=190320 CPUtime=100.29 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 36296 0 0 0 9955 74 0 0 20 0 1 0 1044260 231616512 47580 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 56547 47580 1891 992 0 48405 0
Current children cumulated CPU time: 100.29 s
Current children cumulated vsize: 226188 KiB
Current children cumulated memory: 190320 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.11 4.04 5/260 9760
/proc/meminfo: memFree=128831872/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=228604 memory=192320 CPUtime=160.08 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 36842 0 0 0 15929 79 0 0 20 0 1 0 1044260 234090496 48080 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 57151 48080 1891 992 0 49009 0
Current children cumulated CPU time: 160.08 s
Current children cumulated vsize: 228604 KiB
Current children cumulated memory: 192320 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.12 4.05 5/259 9770
/proc/meminfo: memFree=128447440/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=228768 memory=193604 CPUtime=219.86 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 37003 0 0 0 21903 83 0 0 20 0 1 0 1044260 234258432 48401 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 57192 48401 1891 992 0 49050 0
Current children cumulated CPU time: 219.86 s
Current children cumulated vsize: 228768 KiB
Current children cumulated memory: 193604 KiB

[startup+282.3 s]
/proc/loadavg: 4.27 4.14 4.06 5/257 9829
/proc/meminfo: memFree=127164504/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=231044 memory=195308 CPUtime=279.65 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 37447 0 0 0 27863 102 0 0 20 0 1 0 1044260 236589056 48827 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 57761 48827 1891 992 0 49619 0
Current children cumulated CPU time: 279.65 s
Current children cumulated vsize: 231044 KiB
Current children cumulated memory: 195308 KiB

[startup+342.3 s]
/proc/loadavg: 4.20 4.15 4.07 5/256 9840
/proc/meminfo: memFree=125950528/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=231044 memory=204360 CPUtime=339.45 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 37592 0 0 0 33819 126 0 0 20 0 1 0 1044260 236589056 51090 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 57761 51090 1907 992 0 49619 0
Current children cumulated CPU time: 339.45 s
Current children cumulated vsize: 231044 KiB
Current children cumulated memory: 204360 KiB

[startup+402.3 s]
/proc/loadavg: 4.13 4.13 4.07 5/256 9850
/proc/meminfo: memFree=124904568/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=235172 memory=207264 CPUtime=399.25 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 38420 0 0 0 39786 139 0 0 20 0 1 0 1044260 240816128 51816 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 58793 51816 1907 992 0 50651 0
Current children cumulated CPU time: 399.25 s
Current children cumulated vsize: 235172 KiB
Current children cumulated memory: 207264 KiB

[startup+462.3 s]
/proc/loadavg: 4.10 4.12 4.07 5/251 9889
/proc/meminfo: memFree=125139552/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=238724 memory=212040 CPUtime=459.06 cores=0,2

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

[startup+3102.3 s]
/proc/loadavg: 4.36 4.17 4.11 5/256 11004
/proc/meminfo: memFree=109466724/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=327256 memory=292836 CPUtime=3088.7 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 50876 0 0 0 308081 789 0 0 20 0 1 0 1044260 335110144 73209 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 81814 73209 1907 992 0 73672 0
Current children cumulated CPU time: 3088.7 s
Current children cumulated vsize: 327256 KiB
Current children cumulated memory: 292836 KiB

[startup+3162.3 s]
/proc/loadavg: 4.39 4.22 4.13 5/256 11015
/proc/meminfo: memFree=109136216/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=327256 memory=292836 CPUtime=3148.47 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 50994 0 0 0 314024 823 0 0 20 0 1 0 1044260 335110144 73209 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 81814 73209 1907 992 0 73672 0
Current children cumulated CPU time: 3148.47 s
Current children cumulated vsize: 327256 KiB
Current children cumulated memory: 292836 KiB

[startup+3222.3 s]
/proc/loadavg: 4.23 4.20 4.13 5/256 11025
/proc/meminfo: memFree=108919160/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=329532 memory=295996 CPUtime=3208.24 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 51417 0 0 0 319980 844 0 0 20 0 1 0 1044260 337440768 73999 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 82383 73999 1907 992 0 74241 0
Current children cumulated CPU time: 3208.24 s
Current children cumulated vsize: 329532 KiB
Current children cumulated memory: 295996 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.21 4.13 5/259 11041
/proc/meminfo: memFree=108755436/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=330556 memory=296468 CPUtime=3268.02 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 51643 0 0 0 325949 853 0 0 20 0 1 0 1044260 338489344 74117 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 82639 74117 1907 992 0 74497 0
Current children cumulated CPU time: 3268.02 s
Current children cumulated vsize: 330556 KiB
Current children cumulated memory: 296468 KiB

[startup+3342.3 s]
/proc/loadavg: 4.56 4.28 4.16 5/258 11433
/proc/meminfo: memFree=108606684/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=330556 memory=296708 CPUtime=3327.78 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 51800 0 0 0 331918 860 0 0 20 0 1 0 1044260 338489344 74177 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 82639 74177 1907 992 0 74497 0
Current children cumulated CPU time: 3327.78 s
Current children cumulated vsize: 330556 KiB
Current children cumulated memory: 296708 KiB

[startup+3402.3 s]
/proc/loadavg: 4.31 4.27 4.17 5/258 11443
/proc/meminfo: memFree=108421548/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=330556 memory=296712 CPUtime=3387.56 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 51949 0 0 0 337890 866 0 0 20 0 1 0 1044260 338489344 74178 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 82639 74178 1907 992 0 74497 0
Current children cumulated CPU time: 3387.56 s
Current children cumulated vsize: 330556 KiB
Current children cumulated memory: 296712 KiB

[startup+3462.3 s]
/proc/loadavg: 4.21 4.25 4.17 5/257 11455
/proc/meminfo: memFree=108164360/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=330556 memory=296712 CPUtime=3447.33 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 52101 0 0 0 343861 872 0 0 20 0 1 0 1044260 338489344 74178 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 82639 74178 1907 992 0 74497 0
Current children cumulated CPU time: 3447.33 s
Current children cumulated vsize: 330556 KiB
Current children cumulated memory: 296712 KiB

[startup+3522.3 s]
/proc/loadavg: 4.12 4.22 4.16 5/257 11633
/proc/meminfo: memFree=107959244/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=330556 memory=296712 CPUtime=3507.1 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 52253 0 0 0 349833 877 0 0 20 0 1 0 1044260 338489344 74178 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 82639 74178 1907 992 0 74497 0
Current children cumulated CPU time: 3507.1 s
Current children cumulated vsize: 330556 KiB
Current children cumulated memory: 296712 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.21 4.16 5/256 11644
/proc/meminfo: memFree=107706184/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=330556 memory=296712 CPUtime=3566.86 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 52402 0 0 0 355803 883 0 0 20 0 1 0 1044260 338489344 74178 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 82639 74178 1907 992 0 74497 0
Current children cumulated CPU time: 3566.86 s
Current children cumulated vsize: 330556 KiB
Current children cumulated memory: 296712 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3615.6 s]
/proc/loadavg: 4.16 4.20 4.16 5/256 11793
/proc/meminfo: memFree=119746808/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=330556 memory=296712 CPUtime=3600.05 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 52480 0 0 0 359120 885 0 0 20 0 1 0 1044260 338489344 74178 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 82639 74178 1907 992 0 74497 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 330556 KiB
Current children cumulated memory: 296712 KiB

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

Sending SIGKILL to process tree (bottom up)

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

# cumulated CPU time of all completed processes:  user=3593.2 s, system=8.86214 s

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

[startup+3616 s]*
/proc/loadavg: 4.15 4.20 4.16 5/256 11793
/proc/meminfo: memFree=119742592/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=330556 memory=296712 CPUtime=3600.46 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 52480 0 0 0 359160 886 0 0 20 0 1 0 1044260 338489344 74178 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 82639 74178 1907 992 0 74497 0
Current children cumulated CPU time: 3600.46 s
Current children cumulated vsize: 330556 KiB
Current children cumulated memory: 296712 KiB

[startup+3616.8 s]
/proc/loadavg: 4.15 4.20 4.16 5/256 11793
/proc/meminfo: memFree=119742592/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=330556 memory=296712 CPUtime=3601.26 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 52480 0 0 0 359240 886 0 0 20 0 1 0 1044260 338489344 74178 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 82639 74178 1907 992 0 74497 0
Current children cumulated CPU time: 3601.26 s
Current children cumulated vsize: 330556 KiB
Current children cumulated memory: 296712 KiB

[startup+3617.2 s]
/proc/loadavg: 4.15 4.20 4.16 5/256 11793
/proc/meminfo: memFree=119740644/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=330556 memory=296712 CPUtime=3601.65 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 52480 0 0 0 359279 886 0 0 20 0 1 0 1044260 338489344 74178 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 82639 74178 1907 992 0 74497 0
Current children cumulated CPU time: 3601.65 s
Current children cumulated vsize: 330556 KiB
Current children cumulated memory: 296712 KiB

[startup+3617.6 s]
/proc/loadavg: 4.15 4.20 4.16 5/256 11793
/proc/meminfo: memFree=119740644/131524600 swapFree=131071996/131071996
[pid=9721] ppid=9718 vsize=330556 memory=296712 CPUtime=3602.05 cores=0,2
/proc/9721/stat : 9721 (roundingsat) R 9718 9721 7465 0 -1 4194304 52480 0 0 0 359319 886 0 0 20 0 1 0 1044260 338489344 74178 134679101440 4194304 8255733 140735144635104 0 0 0 0 0 25182210 0 0 0 17 0 0 0 0 0 0 9037040 9046032 14315520 140735144637282 140735144637544 140735144637544 140735144644553 0
/proc/9721/statm: 82639 74178 1907 992 0 74497 0
Current children cumulated CPU time: 3602.05 s
Current children cumulated vsize: 330556 KiB
Current children cumulated memory: 296712 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3617.6
CPU time (s): 3602.06
CPU user time (s): 3593.2
CPU system time (s): 8.86214
CPU usage (%): 99.5704
Max. virtual memory (cumulated for all children) (KiB): 330556
Max. memory (cumulated for all children) (KiB): 296712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.2
system time used= 8.86214
maximum resident set size= 296712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52480
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5878592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 25466


# summary of solver processes directly reported to runsolver:
#   pid: 9721
#   total CPU time (s): 3602.06
#   total CPU user time (s): 3593.2
#   total CPU system time (s): 8.86214

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.3286 second user time and 17.1728 second system time

The end

Launcher Data 

Begin job on nodeC030 at 2024-07-30 15:00:24
IDJOB=4462744
IDBENCH=149087
IDSOLVER=3089
FILE ID=nodeC030/4462744-1722344423
RUNJOBID= nodeC030-1722340763-7475
SLURM_JOB_ID= 8249003
Free space on /tmp= 890060 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-4462744-1722344423/watcher-4462744-1722344423 -o /tmp/evaluation-result-4462744-1722344423/solver-4462744-1722344423 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC030-1722340763-7475 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462744-1722344423 --lp-cut-gomory=0 HOME/instance-4462744-1722344423.opb

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

MD5SUM BENCH= 58b69e9a96bb9e80c29d595afb46d459
RANDOM SEED=2076811527

nodeC030.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		: 3662.933
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	: 7000.60
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		: 3688.407
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	: 7006.48
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		: 3645.707
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	: 7000.60
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		: 3424.037
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	: 7006.48
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		: 3669.563
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	: 7000.60
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		: 3600.115
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	: 7006.48
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		: 3606.974
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	: 7000.60
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		: 3692.771
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	: 7006.48
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        130332860 kB
MemAvailable:   129934164 kB
Buffers:           43516 kB
Cached:           372096 kB
SwapCached:            0 kB
Active:           154804 kB
Inactive:         569968 kB
Active(anon):       1552 kB
Inactive(anon):   328692 kB
Active(file):     153252 kB
Inactive(file):   241276 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             61304 kB
Writeback:             0 kB
AnonPages:        308656 kB
Mapped:            97056 kB
Shmem:             21328 kB
KReclaimable:      44560 kB
Slab:             124504 kB
SReclaimable:      44560 kB
SUnreclaim:        79944 kB
KernelStack:        4220 kB
PageTables:         9480 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:     664740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:             8416 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 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:      221908 kB
DirectMap2M:     6891520 kB
DirectMap1G:    128974848 kB

Free space on /tmp at the end= 890052 MiB
End job on nodeC030 at 2024-07-30 16:00:41