Trace number 4435392

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
mixed-bag 2024-07-02? (TO) 3602.06 3610.95

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
MD5SUM9634c234ec2c2f6b5ee1ba365a629db0
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 benchmark1073
Best CPU time to get the best result obtained on this benchmark70845.7
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21705
Total number of constraints4285
Number of constraints which are clauses4284
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint15760
Number of terms in the objective function 21705
Biggest coefficient in the objective function 2
Number of bits for the biggest coefficient in the objective function 2
Sum of the numbers in the objective function 37465
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 9256
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 37465
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.01	c RoundingSat 2
0.00/0.01	c branch 
0.00/0.01	c commit 
0.00/0.01	c with Papilo
0.00/0.01	c with SCIP
0.00/0.01	c [STEP] parsing instance
0.40/0.46	c [STEP] preprocessing with Papilo
0.60/0.61	c [STEP] solving with SCIP
299.94/300.76	c [STEP] preprocessing done, loading into solver
299.94/300.79	c [STEP] solving
299.94/300.79	c #variables 21690 #constraints 4123
299.94/300.79	c SMALL=int, LARGE=long long
300.03/300.80	c bounds - >= 0 @ 299.807
300.03/300.80	c stratification level: 1
301.43/302.23	c bounds - >= 15 @ 300.133
301.43/302.23	c bounds - >= 16 @ 300.137
301.43/302.23	c bounds - >= 18 @ 300.139
301.43/302.23	c bounds - >= 20 @ 300.142
301.43/302.23	c bounds - >= 22 @ 300.144
301.43/302.23	c bounds - >= 23 @ 300.147
301.43/302.23	c bounds - >= 25 @ 300.15
301.43/302.23	c bounds - >= 27 @ 300.153
301.43/302.23	c bounds - >= 29 @ 300.156
301.43/302.23	c bounds - >= 31 @ 300.159
301.43/302.23	c bounds - >= 33 @ 300.162
301.43/302.23	c bounds - >= 35 @ 300.165
301.43/302.23	c bounds - >= 37 @ 300.168
301.43/302.23	c bounds - >= 39 @ 300.172
301.43/302.23	c bounds - >= 41 @ 300.175
301.43/302.23	c bounds - >= 43 @ 300.178
301.43/302.23	c bounds - >= 45 @ 300.181
301.43/302.23	c bounds - >= 47 @ 300.183
301.43/302.23	c bounds - >= 48 @ 300.186
301.43/302.23	c bounds - >= 50 @ 300.189
301.43/302.23	c bounds - >= 52 @ 300.191
301.43/302.23	c bounds - >= 53 @ 300.195
301.43/302.23	c bounds - >= 54 @ 300.198
301.43/302.23	c bounds - >= 55 @ 300.201
301.43/302.23	c bounds - >= 57 @ 300.205
301.43/302.23	c bounds - >= 59 @ 300.208
301.43/302.23	c bounds - >= 61 @ 300.211
301.43/302.23	c bounds - >= 62 @ 300.214
301.43/302.23	c bounds - >= 64 @ 300.216
301.43/302.23	c bounds - >= 66 @ 300.22
301.43/302.23	c bounds - >= 68 @ 300.223
301.43/302.23	c bounds - >= 70 @ 300.226
301.43/302.23	c bounds - >= 72 @ 300.23
301.43/302.23	c bounds - >= 74 @ 300.232
301.43/302.23	c bounds - >= 76 @ 300.236
301.43/302.23	c bounds - >= 78 @ 300.239
301.43/302.23	c bounds - >= 79 @ 300.243
301.43/302.23	c bounds - >= 81 @ 300.246
301.43/302.23	c bounds - >= 83 @ 300.249
301.43/302.23	c bounds - >= 85 @ 300.252
301.43/302.23	c bounds - >= 86 @ 300.254
301.43/302.23	c bounds - >= 88 @ 300.257
301.43/302.23	c bounds - >= 89 @ 300.26
301.43/302.23	c bounds - >= 91 @ 300.262
301.43/302.23	c bounds - >= 93 @ 300.265
301.43/302.23	c bounds - >= 95 @ 300.269
301.43/302.23	c bounds - >= 96 @ 300.273
301.43/302.23	c bounds - >= 97 @ 300.277
301.43/302.23	c bounds - >= 99 @ 300.28
301.43/302.23	c bounds - >= 101 @ 300.283
301.43/302.23	c bounds - >= 103 @ 300.286
301.43/302.23	c bounds - >= 105 @ 300.289
301.43/302.23	c bounds - >= 107 @ 300.292
301.43/302.23	c bounds - >= 109 @ 300.295
301.43/302.23	c bounds - >= 111 @ 300.299
301.43/302.23	c bounds - >= 112 @ 300.303
301.43/302.23	c bounds - >= 113 @ 300.305
301.43/302.23	c bounds - >= 114 @ 300.308
301.43/302.23	c bounds - >= 115 @ 300.311
301.43/302.23	c bounds - >= 117 @ 300.314
301.43/302.23	c bounds - >= 119 @ 300.316
301.43/302.23	c bounds - >= 120 @ 300.32
301.43/302.23	c bounds - >= 122 @ 300.323
301.43/302.23	c bounds - >= 124 @ 300.326
301.43/302.23	c bounds - >= 126 @ 300.33
301.43/302.23	c bounds - >= 128 @ 300.334
301.43/302.23	c bounds - >= 130 @ 300.338
301.43/302.23	c bounds - >= 131 @ 300.34
301.43/302.23	c bounds - >= 133 @ 300.344
301.43/302.23	c bounds - >= 135 @ 300.348
301.43/302.23	c bounds - >= 136 @ 300.352
301.43/302.23	c bounds - >= 138 @ 300.356
301.43/302.23	c bounds - >= 140 @ 300.36
301.43/302.23	c bounds - >= 141 @ 300.363
301.43/302.23	c bounds - >= 142 @ 300.37
301.43/302.23	c bounds - >= 143 @ 300.375
301.43/302.23	c bounds - >= 145 @ 300.38
301.43/302.23	c bounds - >= 147 @ 300.383
301.43/302.23	c bounds - >= 149 @ 300.39
301.43/302.23	c bounds - >= 151 @ 300.393
301.43/302.23	c bounds - >= 152 @ 300.398
301.43/302.23	c bounds - >= 153 @ 300.401
301.43/302.23	c bounds - >= 155 @ 300.403
301.43/302.23	c bounds - >= 157 @ 300.407
301.43/302.23	c bounds - >= 159 @ 300.413
301.43/302.23	c bounds - >= 161 @ 300.418
301.43/302.23	c bounds - >= 163 @ 300.421
301.43/302.23	c bounds - >= 164 @ 300.425
301.43/302.23	c bounds - >= 166 @ 300.427
301.43/302.23	c bounds - >= 167 @ 300.433
301.43/302.23	c bounds - >= 168 @ 300.437
301.43/302.23	c bounds - >= 170 @ 300.441
301.43/302.23	c bounds - >= 172 @ 300.445
301.43/302.23	c bounds - >= 173 @ 300.448
301.43/302.23	c bounds - >= 175 @ 300.452
301.43/302.23	c bounds - >= 177 @ 300.459
301.43/302.23	c bounds - >= 179 @ 300.463
301.43/302.23	c bounds - >= 181 @ 300.467
301.43/302.23	c bounds - >= 183 @ 300.47
301.43/302.23	c bounds - >= 185 @ 300.475
301.43/302.23	c bounds - >= 187 @ 300.48
301.43/302.23	c bounds - >= 188 @ 300.484
301.43/302.23	c bounds - >= 190 @ 300.488
301.43/302.23	c bounds - >= 192 @ 300.492
301.43/302.23	c bounds - >= 194 @ 300.496
301.43/302.23	c bounds - >= 196 @ 300.501
301.43/302.23	c bounds - >= 198 @ 300.505
301.43/302.23	c bounds - >= 200 @ 300.509
301.43/302.23	c bounds - >= 201 @ 300.512
301.43/302.23	c bounds - >= 203 @ 300.516
301.43/302.23	c bounds - >= 205 @ 300.519
301.43/302.23	c bounds - >= 207 @ 300.524
301.43/302.23	c bounds - >= 209 @ 300.531
301.43/302.23	c bounds - >= 210 @ 300.536
301.43/302.23	c bounds - >= 212 @ 300.543
301.43/302.23	c bounds - >= 213 @ 300.547
301.43/302.23	c bounds - >= 215 @ 300.551
301.43/302.23	c bounds - >= 216 @ 300.555
301.43/302.23	c bounds - >= 218 @ 300.558
301.43/302.23	c bounds - >= 219 @ 300.565
301.43/302.23	c bounds - >= 220 @ 300.57
301.43/302.23	c bounds - >= 222 @ 300.574
301.43/302.23	c bounds - >= 224 @ 300.577
301.43/302.23	c bounds - >= 226 @ 300.582
301.43/302.23	c bounds - >= 228 @ 300.588
301.43/302.23	c bounds - >= 230 @ 300.593
301.43/302.23	c bounds - >= 232 @ 300.596
301.43/302.23	c bounds - >= 234 @ 300.602
301.43/302.23	c bounds - >= 236 @ 300.607
301.43/302.23	c bounds - >= 238 @ 300.611
301.43/302.23	c bounds - >= 240 @ 300.618
301.43/302.23	c bounds - >= 242 @ 300.623
301.43/302.23	c bounds - >= 244 @ 300.628
301.43/302.23	c bounds - >= 246 @ 300.634
301.43/302.23	c bounds - >= 247 @ 300.639
301.43/302.23	c bounds - >= 248 @ 300.642
301.43/302.23	c bounds - >= 249 @ 300.649
301.43/302.23	c bounds - >= 251 @ 300.654
301.43/302.23	c bounds - >= 253 @ 300.658
301.43/302.23	c bounds - >= 255 @ 300.661
301.43/302.23	c bounds - >= 257 @ 300.665
301.43/302.23	c bounds - >= 259 @ 300.67
301.43/302.23	c bounds - >= 261 @ 300.674
301.43/302.23	c bounds - >= 263 @ 300.677
301.43/302.23	c bounds - >= 264 @ 300.68
301.43/302.23	c bounds - >= 266 @ 300.685
301.43/302.23	c bounds - >= 268 @ 300.69
301.43/302.23	c bounds - >= 270 @ 300.697
301.43/302.23	c bounds - >= 272 @ 300.705
302.92/303.79	c bounds - >= 274 @ 300.709
302.92/303.79	c bounds - >= 275 @ 300.714
302.92/303.79	c bounds - >= 277 @ 300.72
302.92/303.79	c bounds - >= 278 @ 300.724
302.92/303.79	c bounds - >= 279 @ 300.73
302.92/303.79	c bounds - >= 281 @ 300.735
302.92/303.79	c bounds - >= 282 @ 300.739
302.92/303.79	c bounds - >= 284 @ 300.742
302.92/303.79	c bounds - >= 285 @ 300.747
302.92/303.79	c bounds - >= 286 @ 300.751
302.92/303.79	c bounds - >= 287 @ 300.755
302.92/303.79	c bounds - >= 289 @ 300.76
302.92/303.79	c bounds - >= 291 @ 300.764
302.92/303.79	c bounds - >= 293 @ 300.769
302.92/303.79	c bounds - >= 295 @ 300.773
302.92/303.79	c bounds - >= 297 @ 300.779
302.92/303.79	c bounds - >= 299 @ 300.783
302.92/303.79	c bounds - >= 301 @ 300.788
302.92/303.79	c bounds - >= 303 @ 300.792
302.92/303.79	c bounds - >= 305 @ 300.796
302.92/303.79	c bounds - >= 307 @ 300.799
302.92/303.79	c bounds - >= 309 @ 300.803
302.92/303.79	c bounds - >= 310 @ 300.811
302.92/303.79	c bounds - >= 312 @ 300.814
302.92/303.79	c bounds - >= 314 @ 300.817
302.92/303.79	c bounds - >= 316 @ 300.821
302.92/303.79	c bounds - >= 318 @ 300.828
302.92/303.79	c bounds - >= 320 @ 300.834
302.92/303.79	c bounds - >= 322 @ 300.842
302.92/303.79	c bounds - >= 324 @ 300.844
302.92/303.79	c bounds - >= 326 @ 300.849
302.92/303.79	c bounds - >= 328 @ 300.856
302.92/303.79	c bounds - >= 330 @ 300.861
302.92/303.79	c bounds - >= 332 @ 300.864
302.92/303.79	c bounds - >= 333 @ 300.868
302.92/303.79	c bounds - >= 335 @ 300.874
302.92/303.79	c bounds - >= 337 @ 300.878
302.92/303.79	c bounds - >= 339 @ 300.883
302.92/303.79	c bounds - >= 340 @ 300.888
302.92/303.79	c bounds - >= 342 @ 300.893
302.92/303.79	c bounds - >= 344 @ 300.897
302.92/303.79	c bounds - >= 346 @ 300.903
302.92/303.79	c bounds - >= 348 @ 300.907
302.92/303.79	c bounds - >= 350 @ 300.913
302.92/303.79	c bounds - >= 352 @ 300.918
302.92/303.79	c bounds - >= 353 @ 300.923
302.92/303.79	c bounds - >= 355 @ 300.927
302.92/303.79	c bounds - >= 357 @ 300.931
302.92/303.79	c bounds - >= 359 @ 300.935
302.92/303.79	c bounds - >= 360 @ 300.939
302.92/303.79	c bounds - >= 362 @ 300.942
302.92/303.79	c bounds - >= 364 @ 300.944
302.92/303.79	c bounds - >= 366 @ 300.95
302.92/303.79	c bounds - >= 368 @ 300.955
302.92/303.79	c bounds - >= 370 @ 300.962
302.92/303.79	c bounds - >= 371 @ 300.968
302.92/303.79	c bounds - >= 373 @ 300.972
302.92/303.79	c bounds - >= 375 @ 300.976
302.92/303.79	c bounds - >= 376 @ 300.981
302.92/303.79	c bounds - >= 378 @ 300.987
302.92/303.79	c bounds - >= 379 @ 300.991
302.92/303.79	c bounds - >= 381 @ 300.995
302.92/303.79	c bounds - >= 383 @ 301
302.92/303.79	c bounds - >= 385 @ 301.005
302.92/303.79	c bounds - >= 387 @ 301.012
302.92/303.79	c bounds - >= 389 @ 301.016
302.92/303.79	c bounds - >= 391 @ 301.021
302.92/303.79	c bounds - >= 393 @ 301.026
302.92/303.79	c bounds - >= 395 @ 301.03
302.92/303.79	c bounds - >= 396 @ 301.032
302.92/303.79	c bounds - >= 397 @ 301.035
302.92/303.79	c bounds - >= 398 @ 301.041
302.92/303.79	c bounds - >= 400 @ 301.045
302.92/303.79	c bounds - >= 402 @ 301.049
302.92/303.79	c bounds - >= 404 @ 301.052
302.92/303.79	c bounds - >= 405 @ 301.057
302.92/303.79	c bounds - >= 407 @ 301.062
302.92/303.79	c bounds - >= 409 @ 301.067
302.92/303.79	c bounds - >= 410 @ 301.069
302.92/303.79	c bounds - >= 411 @ 301.074
302.92/303.79	c bounds - >= 413 @ 301.079
302.92/303.79	c bounds - >= 415 @ 301.082
302.92/303.79	c bounds - >= 416 @ 301.089
302.92/303.79	c bounds - >= 417 @ 301.094
302.92/303.79	c bounds - >= 419 @ 301.098
302.92/303.79	c bounds - >= 420 @ 301.103
302.92/303.79	c bounds - >= 422 @ 301.107
302.92/303.79	c bounds - >= 424 @ 301.112
302.92/303.79	c bounds - >= 426 @ 301.114
302.92/303.79	c bounds - >= 428 @ 301.119
302.92/303.79	c bounds - >= 430 @ 301.122
302.92/303.79	c bounds - >= 431 @ 301.127
302.92/303.79	c bounds - >= 433 @ 301.131
302.92/303.79	c bounds - >= 435 @ 301.135
302.92/303.79	c bounds - >= 437 @ 301.137
302.92/303.79	c bounds - >= 439 @ 301.141
302.92/303.79	c bounds - >= 440 @ 301.146
302.92/303.79	c bounds - >= 442 @ 301.15
302.92/303.79	c bounds - >= 443 @ 301.157
302.92/303.79	c bounds - >= 445 @ 301.162
302.92/303.79	c bounds - >= 447 @ 301.166
302.92/303.79	c bounds - >= 449 @ 301.172
302.92/303.79	c bounds - >= 451 @ 301.176
302.92/303.79	c bounds - >= 453 @ 301.181
302.92/303.79	c bounds - >= 454 @ 301.187
302.92/303.79	c bounds - >= 456 @ 301.191
302.92/303.79	c bounds - >= 458 @ 301.196
302.92/303.79	c bounds - >= 460 @ 301.199
302.92/303.79	c bounds - >= 462 @ 301.205
302.92/303.79	c bounds - >= 463 @ 301.211
302.92/303.79	c bounds - >= 465 @ 301.214
302.92/303.79	c bounds - >= 466 @ 301.219
302.92/303.79	c bounds - >= 467 @ 301.222
302.92/303.79	c bounds - >= 469 @ 301.226
302.92/303.79	c bounds - >= 470 @ 301.231
302.92/303.79	c bounds - >= 472 @ 301.236
302.92/303.79	c bounds - >= 473 @ 301.24
302.92/303.79	c bounds - >= 474 @ 301.245
302.92/303.79	c bounds - >= 475 @ 301.251
302.92/303.79	c bounds - >= 476 @ 301.255
302.92/303.79	c bounds - >= 477 @ 301.26
302.92/303.79	c bounds - >= 478 @ 301.264
302.92/303.79	c bounds - >= 479 @ 301.268
302.92/303.79	c bounds - >= 480 @ 301.271
302.92/303.79	c bounds - >= 481 @ 301.277
302.92/303.79	c bounds - >= 482 @ 301.283
302.92/303.79	c bounds - >= 483 @ 301.287
302.92/303.79	c bounds - >= 484 @ 301.294
302.92/303.79	c bounds - >= 485 @ 301.296
302.92/303.79	c bounds - >= 486 @ 301.303
302.92/303.79	c bounds - >= 487 @ 301.307
302.92/303.79	c bounds - >= 488 @ 301.311
302.92/303.79	c bounds - >= 489 @ 301.315
302.92/303.79	c bounds - >= 490 @ 301.322
302.92/303.79	c bounds - >= 491 @ 301.326
302.92/303.79	c bounds - >= 492 @ 301.33
302.92/303.79	c bounds - >= 493 @ 301.335
302.92/303.79	c bounds - >= 494 @ 301.34
302.92/303.79	c bounds - >= 495 @ 301.347
302.92/303.79	c bounds - >= 496 @ 301.351
302.92/303.79	c bounds - >= 497 @ 301.355
302.92/303.79	c bounds - >= 498 @ 301.359
302.92/303.79	c bounds - >= 499 @ 301.365
302.92/303.79	c bounds - >= 500 @ 301.368
302.92/303.79	c bounds - >= 501 @ 301.374
302.92/303.79	c bounds - >= 502 @ 301.379
302.92/303.79	c bounds - >= 503 @ 301.384
304.82/305.65	c bounds - >= 504 @ 301.391
304.82/305.65	c bounds - >= 505 @ 301.396
304.82/305.65	c bounds - >= 506 @ 301.402
304.82/305.65	c bounds - >= 507 @ 301.406
304.82/305.65	c bounds - >= 508 @ 301.413
304.82/305.65	c bounds - >= 509 @ 301.418
304.82/305.65	c bounds - >= 510 @ 301.421
304.82/305.65	c bounds - >= 511 @ 301.425
304.82/305.65	c bounds - >= 512 @ 301.429
304.82/305.65	c bounds - >= 513 @ 301.435
304.82/305.65	c bounds - >= 514 @ 301.438
304.82/305.65	c bounds - >= 515 @ 301.443
304.82/305.65	c bounds - >= 516 @ 301.447
304.82/305.65	c bounds - >= 517 @ 301.453
304.82/305.65	c bounds - >= 518 @ 301.456
304.82/305.65	c bounds - >= 519 @ 301.463
304.82/305.65	c bounds - >= 520 @ 301.468
304.82/305.65	c bounds - >= 521 @ 301.471
304.82/305.65	c bounds - >= 522 @ 301.477
304.82/305.65	c bounds - >= 523 @ 301.48
304.82/305.65	c bounds - >= 524 @ 301.483
304.82/305.65	c bounds - >= 525 @ 301.489
304.82/305.65	c bounds - >= 526 @ 301.494
304.82/305.65	c bounds - >= 527 @ 301.5
304.82/305.65	c bounds - >= 528 @ 301.505
304.82/305.65	c bounds - >= 529 @ 301.512
304.82/305.65	c bounds - >= 530 @ 301.514
304.82/305.65	c bounds - >= 531 @ 301.517
304.82/305.65	c bounds - >= 532 @ 301.525
304.82/305.65	c bounds - >= 533 @ 301.529
304.82/305.65	c bounds - >= 534 @ 301.536
304.82/305.65	c bounds - >= 535 @ 301.542
304.82/305.65	c bounds - >= 536 @ 301.547
304.82/305.65	c bounds - >= 537 @ 301.551
304.82/305.65	c bounds - >= 538 @ 301.554
304.82/305.65	c bounds - >= 539 @ 301.557
304.82/305.65	c bounds - >= 540 @ 301.562
304.82/305.65	c bounds - >= 541 @ 301.568
304.82/305.65	c bounds - >= 542 @ 301.574
304.82/305.65	c bounds - >= 543 @ 301.578
304.82/305.65	c bounds - >= 544 @ 301.586
304.82/305.65	c bounds - >= 545 @ 301.588
304.82/305.65	c bounds - >= 546 @ 301.592
304.82/305.65	c bounds - >= 547 @ 301.597
304.82/305.65	c bounds - >= 548 @ 301.601
304.82/305.65	c bounds - >= 549 @ 301.606
304.82/305.65	c bounds - >= 550 @ 301.611
304.82/305.65	c bounds - >= 551 @ 301.615
304.82/305.65	c bounds - >= 552 @ 301.622
304.82/305.65	c bounds - >= 553 @ 301.628
304.82/305.65	c bounds - >= 554 @ 301.636
304.82/305.65	c bounds - >= 555 @ 301.643
304.82/305.65	c bounds - >= 556 @ 301.65
304.82/305.65	c bounds - >= 557 @ 301.654
304.82/305.65	c bounds - >= 558 @ 301.659
304.82/305.65	c bounds - >= 559 @ 301.664
304.82/305.65	c bounds - >= 560 @ 301.671
304.82/305.65	c bounds - >= 561 @ 301.678
304.82/305.65	c bounds - >= 562 @ 301.682
304.82/305.65	c bounds - >= 563 @ 301.688
304.82/305.65	c bounds - >= 564 @ 301.692
304.82/305.65	c bounds - >= 565 @ 301.698
304.82/305.65	c bounds - >= 566 @ 301.703
304.82/305.65	c bounds - >= 567 @ 301.708
304.82/305.65	c bounds - >= 568 @ 301.713
304.82/305.65	c bounds - >= 569 @ 301.718
304.82/305.65	c bounds - >= 570 @ 301.725
304.82/305.65	c bounds - >= 571 @ 301.73
304.82/305.65	c bounds - >= 572 @ 301.736
304.82/305.65	c bounds - >= 573 @ 301.741
304.82/305.65	c bounds - >= 574 @ 301.747
304.82/305.65	c bounds - >= 575 @ 301.751
304.82/305.65	c bounds - >= 576 @ 301.756
304.82/305.65	c bounds - >= 577 @ 301.762
304.82/305.65	c bounds - >= 578 @ 301.767
304.82/305.65	c bounds - >= 579 @ 301.771
304.82/305.65	c bounds - >= 580 @ 301.775
304.82/305.65	c bounds - >= 581 @ 301.78
304.82/305.65	c bounds - >= 582 @ 301.784
304.82/305.65	c bounds - >= 583 @ 301.789
304.82/305.65	c bounds - >= 584 @ 301.794
304.82/305.65	c bounds - >= 585 @ 301.798
304.82/305.65	c bounds - >= 586 @ 301.804
304.82/305.65	c bounds - >= 587 @ 301.807
304.82/305.65	c bounds - >= 588 @ 301.812
304.82/305.65	c bounds - >= 589 @ 301.816
304.82/305.65	c bounds - >= 590 @ 301.82
304.82/305.65	c bounds - >= 591 @ 301.824
304.82/305.65	c bounds - >= 592 @ 301.83
304.82/305.65	c bounds - >= 593 @ 301.836
304.82/305.65	c bounds - >= 594 @ 301.841
304.82/305.65	c bounds - >= 595 @ 301.847
304.82/305.65	c bounds - >= 596 @ 301.853
304.82/305.65	c bounds - >= 597 @ 301.858
304.82/305.65	c bounds - >= 598 @ 301.863
304.82/305.65	c bounds - >= 599 @ 301.869
304.82/305.65	c bounds - >= 600 @ 301.874
304.82/305.65	c bounds - >= 601 @ 301.878
304.82/305.65	c bounds - >= 602 @ 301.882
304.82/305.65	c bounds - >= 603 @ 301.885
304.82/305.65	c bounds - >= 604 @ 301.89
304.82/305.65	c bounds - >= 605 @ 301.895
304.82/305.65	c bounds - >= 606 @ 301.902
304.82/305.65	c bounds - >= 607 @ 301.906
304.82/305.65	c bounds - >= 608 @ 301.913
304.82/305.65	c bounds - >= 609 @ 301.918
304.82/305.65	c bounds - >= 610 @ 301.923
304.82/305.65	c bounds - >= 611 @ 301.931
304.82/305.65	c bounds - >= 612 @ 301.937
304.82/305.65	c bounds - >= 613 @ 301.944
304.82/305.65	c bounds - >= 614 @ 301.949
304.82/305.65	c bounds - >= 615 @ 301.954
304.82/305.65	c bounds - >= 616 @ 301.958
304.82/305.65	c bounds - >= 617 @ 301.967
304.82/305.65	c bounds - >= 618 @ 301.972
304.82/305.65	c bounds - >= 619 @ 301.977
304.82/305.65	c bounds - >= 620 @ 301.982
304.82/305.65	c bounds - >= 621 @ 301.988
304.82/305.65	c bounds - >= 622 @ 301.994
304.82/305.65	c bounds - >= 623 @ 302.002
304.82/305.65	c bounds - >= 624 @ 302.006
304.82/305.65	c bounds - >= 625 @ 302.013
304.82/305.65	c bounds - >= 626 @ 302.019
304.82/305.65	c bounds - >= 627 @ 302.025
304.82/305.65	c bounds - >= 628 @ 302.032
304.82/305.65	c bounds - >= 629 @ 302.038
304.82/305.65	c bounds - >= 630 @ 302.043
304.82/305.65	c bounds - >= 631 @ 302.049
304.82/305.65	c bounds - >= 632 @ 302.056
304.82/305.65	c bounds - >= 633 @ 302.063
304.82/305.65	c bounds - >= 634 @ 302.072
304.82/305.65	c bounds - >= 635 @ 302.076
304.82/305.65	c bounds - >= 636 @ 302.083
304.82/305.65	c bounds - >= 637 @ 302.089
304.82/305.65	c bounds - >= 638 @ 302.096
304.82/305.65	c bounds - >= 639 @ 302.104
304.82/305.65	c bounds - >= 640 @ 302.106
304.82/305.65	c bounds - >= 641 @ 302.11
304.82/305.65	c bounds - >= 642 @ 302.114
304.82/305.65	c bounds - >= 643 @ 302.121
304.82/305.65	c bounds - >= 644 @ 302.123
304.82/305.65	c bounds - >= 645 @ 302.129
304.82/305.65	c bounds - >= 646 @ 302.135
304.82/305.65	c bounds - >= 647 @ 302.142
304.82/305.65	c bounds - >= 648 @ 302.147
304.82/305.65	c bounds - >= 649 @ 302.15
304.82/305.65	c bounds - >= 650 @ 302.154
412.57/413.64	c bounds - >= 651 @ 302.159
412.57/413.64	c bounds - >= 652 @ 302.164
412.57/413.64	c bounds - >= 653 @ 302.169
412.57/413.64	c bounds - >= 654 @ 302.177
412.57/413.64	c bounds - >= 655 @ 302.185
412.57/413.64	c bounds - >= 656 @ 302.189
412.57/413.64	c bounds - >= 657 @ 302.193
412.57/413.64	c bounds - >= 658 @ 302.199
412.57/413.64	c bounds - >= 659 @ 302.205
412.57/413.64	c bounds - >= 660 @ 302.211
412.57/413.64	c bounds - >= 661 @ 302.215
412.57/413.64	c bounds - >= 662 @ 302.22
412.57/413.64	c bounds - >= 663 @ 302.227
412.57/413.64	c bounds - >= 664 @ 302.234
412.57/413.64	c bounds - >= 665 @ 302.237
412.57/413.64	c bounds - >= 666 @ 302.245
412.57/413.64	c bounds - >= 667 @ 302.249
412.57/413.64	c bounds - >= 668 @ 302.252
412.57/413.64	c bounds - >= 669 @ 302.258
412.57/413.64	c bounds - >= 670 @ 302.263
412.57/413.64	c bounds - >= 671 @ 302.267
412.57/413.64	c bounds - >= 672 @ 302.272
412.57/413.64	c bounds - >= 673 @ 302.276
412.57/413.64	c bounds - >= 674 @ 302.283
412.57/413.64	c bounds - >= 675 @ 302.289
412.57/413.64	c bounds - >= 676 @ 302.291
412.57/413.64	c bounds - >= 677 @ 302.299
412.57/413.64	c bounds - >= 678 @ 302.303
412.57/413.64	c bounds - >= 679 @ 302.309
412.57/413.64	c bounds - >= 680 @ 302.312
412.57/413.64	c bounds - >= 681 @ 302.319
412.57/413.64	c bounds - >= 682 @ 302.325
412.57/413.64	c bounds - >= 683 @ 302.33
412.57/413.64	c bounds - >= 684 @ 302.335
412.57/413.64	c bounds - >= 685 @ 302.338
412.57/413.64	c bounds - >= 686 @ 302.343
412.57/413.64	c bounds - >= 687 @ 302.352
412.57/413.64	c bounds - >= 688 @ 302.357
412.57/413.64	c bounds - >= 689 @ 302.362
412.57/413.64	c bounds - >= 690 @ 302.369
412.57/413.64	c bounds - >= 691 @ 302.377
412.57/413.64	c bounds - >= 692 @ 302.381
412.57/413.64	c bounds - >= 693 @ 302.385
412.57/413.64	c bounds - >= 694 @ 302.393
412.57/413.64	c bounds - >= 695 @ 302.4
412.57/413.64	c bounds - >= 696 @ 302.407
412.57/413.64	c bounds - >= 697 @ 302.412
412.57/413.64	c bounds - >= 698 @ 302.415
412.57/413.64	c bounds - >= 699 @ 302.42
412.57/413.64	c bounds - >= 700 @ 302.43
412.57/413.64	c bounds - >= 701 @ 302.439
412.57/413.64	c bounds - >= 702 @ 302.444
412.57/413.64	c bounds - >= 703 @ 302.447
412.57/413.64	c bounds - >= 704 @ 302.453
412.57/413.64	c bounds - >= 705 @ 302.459
412.57/413.64	c bounds - >= 706 @ 302.465
412.57/413.64	c bounds - >= 707 @ 302.469
412.57/413.64	c bounds - >= 708 @ 302.473
412.57/413.64	c bounds - >= 709 @ 302.478
412.57/413.64	c bounds - >= 710 @ 302.483
412.57/413.64	c bounds - >= 711 @ 302.491
412.57/413.64	c bounds - >= 712 @ 302.496
412.57/413.64	c bounds - >= 713 @ 302.504
412.57/413.64	c bounds - >= 714 @ 302.508
412.57/413.64	c bounds - >= 715 @ 302.513
412.57/413.64	c bounds - >= 716 @ 302.52
412.57/413.64	c bounds - >= 717 @ 302.523
412.57/413.64	c bounds - >= 718 @ 302.527
412.57/413.64	c bounds - >= 719 @ 302.532
412.57/413.64	c bounds - >= 720 @ 302.538
412.57/413.64	c bounds - >= 721 @ 302.544
412.57/413.64	c bounds - >= 722 @ 302.55
412.57/413.64	c bounds - >= 723 @ 302.556
412.57/413.64	c bounds - >= 724 @ 302.56
412.57/413.64	c bounds - >= 725 @ 302.568
412.57/413.64	c bounds - >= 726 @ 302.571
412.57/413.64	c bounds - >= 727 @ 302.578
412.57/413.64	c bounds - >= 728 @ 302.585
412.57/413.64	c bounds - >= 729 @ 302.59
412.57/413.64	c bounds - >= 730 @ 302.594
412.57/413.64	c bounds - >= 731 @ 302.602
412.57/413.64	c bounds - >= 732 @ 302.609
412.57/413.64	c bounds - >= 733 @ 302.615
412.57/413.64	c bounds - >= 734 @ 302.621
412.57/413.64	c bounds - >= 735 @ 302.627
412.57/413.64	c bounds - >= 736 @ 302.635
412.57/413.64	c bounds - >= 737 @ 302.64
412.57/413.64	c bounds - >= 738 @ 302.643
412.57/413.64	c bounds - >= 739 @ 302.649
412.57/413.64	c bounds - >= 740 @ 302.653
412.57/413.64	c bounds - >= 741 @ 302.659
412.57/413.64	c bounds - >= 742 @ 302.667
412.57/413.64	c bounds - >= 743 @ 302.672
412.57/413.64	c bounds - >= 744 @ 302.676
412.57/413.64	c bounds - >= 745 @ 302.681
412.57/413.64	c bounds - >= 746 @ 302.687
412.57/413.64	c #Conflicts:       1000 | #Constraints:       5671
412.57/413.64	c #Conflicts:       2000 | #Constraints:       6671
412.57/413.64	c INPROCESSING
412.57/413.64	c GARBAGE COLLECT
412.57/413.64	c #Conflicts:       3000 | #Constraints:       6180
412.57/413.64	c #Conflicts:       4000 | #Constraints:       7180
412.57/413.64	c INPROCESSING
412.57/413.64	c GARBAGE COLLECT
412.57/413.64	c #Conflicts:       5000 | #Constraints:       6605
412.57/413.64	c #Conflicts:       6000 | #Constraints:       7605
412.57/413.64	c INPROCESSING
412.57/413.64	c GARBAGE COLLECT
412.57/413.64	c #Conflicts:       7000 | #Constraints:       6658
412.57/413.64	c #Conflicts:       8000 | #Constraints:       7658
412.57/413.64	c #Conflicts:       9000 | #Constraints:       8658
412.57/413.64	c INPROCESSING
412.57/413.64	c GARBAGE COLLECT
412.57/413.64	c #Conflicts:      10000 | #Constraints:       7384
412.57/413.64	c #Conflicts:      11000 | #Constraints:       8384
412.57/413.64	c #Conflicts:      12000 | #Constraints:       9384
412.57/413.64	c INPROCESSING
412.57/413.64	c GARBAGE COLLECT
412.57/413.64	c #Conflicts:      13000 | #Constraints:       7840
412.57/413.64	c #Conflicts:      14000 | #Constraints:       8840
412.57/413.64	c #Conflicts:      15000 | #Constraints:       9840
412.57/413.64	c INPROCESSING
412.57/413.64	c GARBAGE COLLECT
412.57/413.64	c #Conflicts:      16000 | #Constraints:       8063
412.57/413.64	c #Conflicts:      17000 | #Constraints:       9063
412.57/413.64	c #Conflicts:      18000 | #Constraints:      10063
412.57/413.64	c INPROCESSING
412.57/413.64	c GARBAGE COLLECT
412.57/413.64	c #Conflicts:      19000 | #Constraints:       8059
412.57/413.64	c #Conflicts:      20000 | #Constraints:       9059
412.57/413.64	c #Conflicts:      21000 | #Constraints:      10059
412.57/413.64	c INPROCESSING
412.57/413.64	c GARBAGE COLLECT
412.57/413.64	c #Conflicts:      22000 | #Constraints:       7873
1264.54/1267.63	c #Conflicts:      23000 | #Constraints:       8873
1264.54/1267.63	c #Conflicts:      24000 | #Constraints:       9873
1264.54/1267.63	c #Conflicts:      25000 | #Constraints:      10873
1264.54/1267.63	c INPROCESSING
1264.54/1267.63	c GARBAGE COLLECT
1264.54/1267.63	c #Conflicts:      26000 | #Constraints:       8499
1264.54/1267.63	c #Conflicts:      27000 | #Constraints:       9499
1264.54/1267.63	c #Conflicts:      28000 | #Constraints:      10499
1264.54/1267.63	c #Conflicts:      29000 | #Constraints:      11499
1264.54/1267.63	c INPROCESSING
1264.54/1267.63	c GARBAGE COLLECT
1264.54/1267.63	c #Conflicts:      30000 | #Constraints:       8887
1264.54/1267.63	c #Conflicts:      31000 | #Constraints:       9887
1264.54/1267.63	c #Conflicts:      32000 | #Constraints:      10887
1264.54/1267.63	c #Conflicts:      33000 | #Constraints:      11887
1264.54/1267.63	c INPROCESSING
1264.54/1267.63	c GARBAGE COLLECT
1264.54/1267.63	c #Conflicts:      34000 | #Constraints:       9096
1264.54/1267.63	c #Conflicts:      35000 | #Constraints:      10096
1264.54/1267.63	c #Conflicts:      36000 | #Constraints:      11096
1264.54/1267.63	c #Conflicts:      37000 | #Constraints:      12096
1264.54/1267.63	c INPROCESSING
1264.54/1267.63	c GARBAGE COLLECT
1264.54/1267.63	c #Conflicts:      38000 | #Constraints:       9116
1264.54/1267.63	c #Conflicts:      39000 | #Constraints:      10116
1264.54/1267.63	c #Conflicts:      40000 | #Constraints:      11116
1264.54/1267.63	c #Conflicts:      41000 | #Constraints:      12116
1264.54/1267.63	c INPROCESSING
1264.54/1267.63	c GARBAGE COLLECT
1264.54/1267.63	c #Conflicts:      42000 | #Constraints:       8921
1264.54/1267.63	c #Conflicts:      43000 | #Constraints:       9921
1264.54/1267.63	c #Conflicts:      44000 | #Constraints:      10921
1264.54/1267.63	c #Conflicts:      45000 | #Constraints:      11921
1264.54/1267.63	c #Conflicts:      46000 | #Constraints:      12921
1264.54/1267.63	c INPROCESSING
1264.54/1267.63	c GARBAGE COLLECT
1264.54/1267.63	c #Conflicts:      47000 | #Constraints:       9512
1264.54/1267.63	c #Conflicts:      48000 | #Constraints:      10512
1264.54/1267.63	c #Conflicts:      49000 | #Constraints:      11512
1264.54/1267.63	c #Conflicts:      50000 | #Constraints:      12512
1264.54/1267.63	c #Conflicts:      51000 | #Constraints:      13512
1264.54/1267.63	c INPROCESSING
1264.54/1267.63	c GARBAGE COLLECT
1264.54/1267.63	c #Conflicts:      52000 | #Constraints:       9910
1264.54/1267.63	c #Conflicts:      53000 | #Constraints:      10910
1264.54/1267.63	c #Conflicts:      54000 | #Constraints:      11910
1264.54/1267.63	c #Conflicts:      55000 | #Constraints:      12910
1264.54/1267.63	c #Conflicts:      56000 | #Constraints:      13910
1264.54/1267.63	c INPROCESSING
1264.54/1267.63	c GARBAGE COLLECT
1264.54/1267.63	c #Conflicts:      57000 | #Constraints:      10107
1264.54/1267.63	c #Conflicts:      58000 | #Constraints:      11107
1264.54/1267.63	c #Conflicts:      59000 | #Constraints:      12107
1264.54/1267.63	c #Conflicts:      60000 | #Constraints:      13107
1264.54/1267.63	c #Conflicts:      61000 | #Constraints:      14107
1264.54/1267.63	c INPROCESSING
1264.54/1267.63	c GARBAGE COLLECT
1264.54/1267.63	c #Conflicts:      62000 | #Constraints:      10088
1264.54/1267.63	c #Conflicts:      63000 | #Constraints:      11088
1264.54/1267.63	c #Conflicts:      64000 | #Constraints:      12088
1264.54/1267.63	c #Conflicts:      65000 | #Constraints:      13088
1264.54/1267.63	c #Conflicts:      66000 | #Constraints:      14088
1264.54/1267.63	c INPROCESSING
1264.54/1267.63	c GARBAGE COLLECT
1264.54/1267.63	c #Conflicts:      67000 | #Constraints:       9864
1264.54/1267.63	c #Conflicts:      68000 | #Constraints:      10864
1264.54/1267.63	c #Conflicts:      69000 | #Constraints:      11864
1264.54/1267.63	c #Conflicts:      70000 | #Constraints:      12864
1264.54/1267.63	c #Conflicts:      71000 | #Constraints:      13864
1264.54/1267.63	c #Conflicts:      72000 | #Constraints:      14864
1264.54/1267.63	c INPROCESSING
1264.54/1267.63	c GARBAGE COLLECT
1264.54/1267.63	c #Conflicts:      73000 | #Constraints:      10467
1264.54/1267.63	c #Conflicts:      74000 | #Constraints:      11467
1264.54/1267.63	c #Conflicts:      75000 | #Constraints:      12467
1264.54/1267.63	c #Conflicts:      76000 | #Constraints:      13467
1264.54/1267.63	c #Conflicts:      77000 | #Constraints:      14467
1264.54/1267.63	c #Conflicts:      78000 | #Constraints:      15467
1264.54/1267.63	c INPROCESSING
1264.54/1267.63	c GARBAGE COLLECT
1264.54/1267.63	c #Conflicts:      79000 | #Constraints:      10837
1264.54/1267.63	c #Conflicts:      80000 | #Constraints:      11837
1264.54/1267.63	c #Conflicts:      81000 | #Constraints:      12837
1264.54/1267.63	c #Conflicts:      82000 | #Constraints:      13837
1264.54/1267.63	c #Conflicts:      83000 | #Constraints:      14837
1264.54/1267.63	c #Conflicts:      84000 | #Constraints:      15837
1264.54/1267.63	c INPROCESSING
1264.54/1267.63	c GARBAGE COLLECT
1264.54/1267.63	c #Conflicts:      85000 | #Constraints:      11026
1264.54/1267.63	c #Conflicts:      86000 | #Constraints:      12026
1264.54/1267.63	c #Conflicts:      87000 | #Constraints:      13026
1264.54/1267.63	c #Conflicts:      88000 | #Constraints:      14026
1264.54/1267.63	c #Conflicts:      89000 | #Constraints:      15026
1264.54/1267.63	c #Conflicts:      90000 | #Constraints:      16026
1264.54/1267.63	c INPROCESSING
1264.54/1267.63	c GARBAGE COLLECT
1264.54/1267.63	c #Conflicts:      91000 | #Constraints:      11026
1264.54/1267.63	c #Conflicts:      92000 | #Constraints:      12026
2830.49/2837.40	c #Conflicts:      93000 | #Constraints:      13026
2830.49/2837.40	c #Conflicts:      94000 | #Constraints:      14026
2830.49/2837.40	c #Conflicts:      95000 | #Constraints:      15026
2830.49/2837.40	c #Conflicts:      96000 | #Constraints:      16026
2830.49/2837.40	c INPROCESSING
2830.49/2837.40	c GARBAGE COLLECT
2830.49/2837.40	c #Conflicts:      97000 | #Constraints:      10828
2830.49/2837.40	c #Conflicts:      98000 | #Constraints:      11828
2830.49/2837.40	c #Conflicts:      99000 | #Constraints:      12828
2830.49/2837.40	c #Conflicts:     100000 | #Constraints:      13828
2830.49/2837.40	c #Conflicts:     101000 | #Constraints:      14828
2830.49/2837.40	c #Conflicts:     102000 | #Constraints:      15828
2830.49/2837.40	c #Conflicts:     103000 | #Constraints:      16828
2830.49/2837.40	c INPROCESSING
2830.49/2837.40	c GARBAGE COLLECT
2830.49/2837.40	c #Conflicts:     104000 | #Constraints:      11423
2830.49/2837.40	c #Conflicts:     105000 | #Constraints:      12423
2830.49/2837.40	c #Conflicts:     106000 | #Constraints:      13423
2830.49/2837.40	c #Conflicts:     107000 | #Constraints:      14423
2830.49/2837.40	c #Conflicts:     108000 | #Constraints:      15423
2830.49/2837.40	c #Conflicts:     109000 | #Constraints:      16423
2830.49/2837.40	c #Conflicts:     110000 | #Constraints:      17423
2830.49/2837.40	c INPROCESSING
2830.49/2837.40	c GARBAGE COLLECT
2830.49/2837.40	c #Conflicts:     111000 | #Constraints:      11855
2830.49/2837.40	c #Conflicts:     112000 | #Constraints:      12855
2830.49/2837.40	c #Conflicts:     113000 | #Constraints:      13855
2830.49/2837.40	c #Conflicts:     114000 | #Constraints:      14855
2830.49/2837.40	c #Conflicts:     115000 | #Constraints:      15855
2830.49/2837.40	c #Conflicts:     116000 | #Constraints:      16855
2830.49/2837.40	c #Conflicts:     117000 | #Constraints:      17855
2830.49/2837.40	c INPROCESSING
2830.49/2837.40	c GARBAGE COLLECT
2830.49/2837.40	c #Conflicts:     118000 | #Constraints:      12066
2830.49/2837.40	c #Conflicts:     119000 | #Constraints:      13066
2830.49/2837.40	c #Conflicts:     120000 | #Constraints:      14066
2830.49/2837.40	c #Conflicts:     121000 | #Constraints:      15066
2830.49/2837.40	c #Conflicts:     122000 | #Constraints:      16066
2830.49/2837.40	c #Conflicts:     123000 | #Constraints:      17066
2830.49/2837.40	c #Conflicts:     124000 | #Constraints:      18066
2830.49/2837.40	c INPROCESSING
2830.49/2837.40	c GARBAGE COLLECT
2830.49/2837.40	c #Conflicts:     125000 | #Constraints:      12076
2830.49/2837.40	c #Conflicts:     126000 | #Constraints:      13076
2830.49/2837.40	c #Conflicts:     127000 | #Constraints:      14076
2830.49/2837.40	c #Conflicts:     128000 | #Constraints:      15076
2830.49/2837.40	c #Conflicts:     129000 | #Constraints:      16076
2830.49/2837.40	c #Conflicts:     130000 | #Constraints:      17076
2830.49/2837.40	c #Conflicts:     131000 | #Constraints:      18076
2830.49/2837.40	c INPROCESSING
2830.49/2837.40	c GARBAGE COLLECT
2830.49/2837.40	c #Conflicts:     132000 | #Constraints:      11869
2830.49/2837.40	c #Conflicts:     133000 | #Constraints:      12869
2830.49/2837.40	c #Conflicts:     134000 | #Constraints:      13869
2830.49/2837.40	c #Conflicts:     135000 | #Constraints:      14869
2830.49/2837.40	c #Conflicts:     136000 | #Constraints:      15869
2830.49/2837.40	c #Conflicts:     137000 | #Constraints:      16869
2830.49/2837.40	c #Conflicts:     138000 | #Constraints:      17869
2830.49/2837.40	c #Conflicts:     139000 | #Constraints:      18869
2830.49/2837.40	c INPROCESSING
2830.49/2837.40	c GARBAGE COLLECT
2830.49/2837.40	c #Conflicts:     140000 | #Constraints:      12445
2830.49/2837.40	c #Conflicts:     141000 | #Constraints:      13445
2830.49/2837.40	c #Conflicts:     142000 | #Constraints:      14445
2830.49/2837.40	c #Conflicts:     143000 | #Constraints:      15445
2830.49/2837.40	c #Conflicts:     144000 | #Constraints:      16445
2830.49/2837.40	c #Conflicts:     145000 | #Constraints:      17445
2830.49/2837.40	c #Conflicts:     146000 | #Constraints:      18445
2830.49/2837.40	c #Conflicts:     147000 | #Constraints:      19445
2830.49/2837.40	c INPROCESSING
2830.49/2837.40	c GARBAGE COLLECT
2830.49/2837.40	c #Conflicts:     148000 | #Constraints:      12837
2830.49/2837.40	c #Conflicts:     149000 | #Constraints:      13837
2830.49/2837.40	c #Conflicts:     150000 | #Constraints:      14837
2830.49/2837.40	c #Conflicts:     151000 | #Constraints:      15837
2830.49/2837.40	c #Conflicts:     152000 | #Constraints:      16837
2830.49/2837.40	c #Conflicts:     153000 | #Constraints:      17837
2830.49/2837.40	c #Conflicts:     154000 | #Constraints:      18837
2830.49/2837.40	c #Conflicts:     155000 | #Constraints:      19837
2830.49/2837.40	c INPROCESSING
2830.49/2837.40	c GARBAGE COLLECT
2830.49/2837.40	c #Conflicts:     156000 | #Constraints:      13025
2830.49/2837.40	c #Conflicts:     157000 | #Constraints:      14025
2830.49/2837.40	c #Conflicts:     158000 | #Constraints:      15025
2830.49/2837.40	c #Conflicts:     159000 | #Constraints:      16025
2830.49/2837.40	c #Conflicts:     160000 | #Constraints:      17025
2830.49/2837.40	c #Conflicts:     161000 | #Constraints:      18025
2830.49/2837.40	c #Conflicts:     162000 | #Constraints:      19025
2830.49/2837.40	c #Conflicts:     163000 | #Constraints:      20025
2830.49/2837.40	c INPROCESSING
2830.49/2837.40	c GARBAGE COLLECT
2830.49/2837.40	c #Conflicts:     164000 | #Constraints:      13046
2830.49/2837.40	c #Conflicts:     165000 | #Constraints:      14046
3487.51/3496.13	c #Conflicts:     166000 | #Constraints:      15046
3487.51/3496.13	c #Conflicts:     167000 | #Constraints:      16046
3487.51/3496.13	c #Conflicts:     168000 | #Constraints:      17046
3487.51/3496.13	c #Conflicts:     169000 | #Constraints:      18046
3487.51/3496.13	c #Conflicts:     170000 | #Constraints:      19046
3487.51/3496.13	c #Conflicts:     171000 | #Constraints:      20046
3487.51/3496.13	c INPROCESSING
3487.51/3496.13	c GARBAGE COLLECT
3487.51/3496.13	c #Conflicts:     172000 | #Constraints:      12834
3487.51/3496.13	c #Conflicts:     173000 | #Constraints:      13834
3487.51/3496.13	c #Conflicts:     174000 | #Constraints:      14834
3487.51/3496.13	c #Conflicts:     175000 | #Constraints:      15834
3487.51/3496.13	c #Conflicts:     176000 | #Constraints:      16834
3487.51/3496.13	c #Conflicts:     177000 | #Constraints:      17834
3487.51/3496.13	c #Conflicts:     178000 | #Constraints:      18834
3487.51/3496.13	c #Conflicts:     179000 | #Constraints:      19834
3487.51/3496.13	c #Conflicts:     180000 | #Constraints:      20834
3487.51/3496.13	c INPROCESSING
3487.51/3496.13	c GARBAGE COLLECT
3487.51/3496.13	c #Conflicts:     181000 | #Constraints:      13416
3487.51/3496.13	c #Conflicts:     182000 | #Constraints:      14416
3487.51/3496.13	c #Conflicts:     183000 | #Constraints:      15416
3487.51/3496.13	c #Conflicts:     184000 | #Constraints:      16416
3487.51/3496.13	c #Conflicts:     185000 | #Constraints:      17416
3487.51/3496.13	c #Conflicts:     186000 | #Constraints:      18416
3487.51/3496.13	c #Conflicts:     187000 | #Constraints:      19416
3487.51/3496.13	c #Conflicts:     188000 | #Constraints:      20416
3487.51/3496.13	c #Conflicts:     189000 | #Constraints:      21416
3487.51/3496.13	c INPROCESSING
3487.51/3496.13	c GARBAGE COLLECT
3487.51/3496.13	c #Conflicts:     190000 | #Constraints:      13807
3487.51/3496.13	c #Conflicts:     191000 | #Constraints:      14807
3487.51/3496.13	c #Conflicts:     192000 | #Constraints:      15807
3487.51/3496.13	c #Conflicts:     193000 | #Constraints:      16807
3487.51/3496.13	c #Conflicts:     194000 | #Constraints:      17807
3487.51/3496.13	c #Conflicts:     195000 | #Constraints:      18807
3487.51/3496.13	c #Conflicts:     196000 | #Constraints:      19807
3487.51/3496.13	c #Conflicts:     197000 | #Constraints:      20807
3487.51/3496.13	c #Conflicts:     198000 | #Constraints:      21807
3487.51/3496.13	c INPROCESSING
3487.51/3496.13	c GARBAGE COLLECT
3487.51/3496.13	c #Conflicts:     199000 | #Constraints:      14007
3487.51/3496.13	c #Conflicts:     200000 | #Constraints:      15007
3487.51/3496.13	c #Conflicts:     201000 | #Constraints:      16007
3487.51/3496.13	c #Conflicts:     202000 | #Constraints:      17007
3487.51/3496.13	c #Conflicts:     203000 | #Constraints:      18007
3487.51/3496.13	c #Conflicts:     204000 | #Constraints:      19007
3487.51/3496.13	c #Conflicts:     205000 | #Constraints:      20007
3487.51/3496.13	c #Conflicts:     206000 | #Constraints:      21007
3487.51/3496.13	c #Conflicts:     207000 | #Constraints:      22007
3487.51/3496.13	c INPROCESSING
3487.51/3496.13	c GARBAGE COLLECT
3487.51/3496.13	c #Conflicts:     208000 | #Constraints:      14004
3487.51/3496.13	c #Conflicts:     209000 | #Constraints:      15004
3487.51/3496.13	c #Conflicts:     210000 | #Constraints:      16004
3487.51/3496.13	c #Conflicts:     211000 | #Constraints:      17004
3487.51/3496.13	c #Conflicts:     212000 | #Constraints:      18004
3487.51/3496.13	c #Conflicts:     213000 | #Constraints:      19004
3487.51/3496.13	c #Conflicts:     214000 | #Constraints:      20004
3487.51/3496.13	c #Conflicts:     215000 | #Constraints:      21004
3487.51/3496.13	c #Conflicts:     216000 | #Constraints:      22004
3487.51/3496.13	c INPROCESSING
3487.51/3496.13	c GARBAGE COLLECT
3487.51/3496.13	c #Conflicts:     217000 | #Constraints:      13816
3487.51/3496.13	c #Conflicts:     218000 | #Constraints:      14816
3487.51/3496.13	c #Conflicts:     219000 | #Constraints:      15816
3487.51/3496.13	c #Conflicts:     220000 | #Constraints:      16816
3487.51/3496.13	c #Conflicts:     221000 | #Constraints:      17816
3487.51/3496.13	c #Conflicts:     222000 | #Constraints:      18816
3487.51/3496.13	c #Conflicts:     223000 | #Constraints:      19816
3487.51/3496.13	c #Conflicts:     224000 | #Constraints:      20816
3487.51/3496.13	c #Conflicts:     225000 | #Constraints:      21816
3487.51/3496.13	c #Conflicts:     226000 | #Constraints:      22816
3487.51/3496.13	c INPROCESSING
3487.51/3496.13	c GARBAGE COLLECT
3487.51/3496.13	c #Conflicts:     227000 | #Constraints:      14422
3487.51/3496.13	c #Conflicts:     228000 | #Constraints:      15422
3487.51/3496.13	c #Conflicts:     229000 | #Constraints:      16422
3487.51/3496.13	c #Conflicts:     230000 | #Constraints:      17422
3487.51/3496.13	c #Conflicts:     231000 | #Constraints:      18422
3487.51/3496.13	c #Conflicts:     232000 | #Constraints:      19422
3487.51/3496.13	c #Conflicts:     233000 | #Constraints:      20422
3487.51/3496.13	c #Conflicts:     234000 | #Constraints:      21422
3487.51/3496.13	c #Conflicts:     235000 | #Constraints:      22422
3487.51/3496.13	c #Conflicts:     236000 | #Constraints:      23422
3487.51/3496.13	c INPROCESSING
3487.51/3496.13	c GARBAGE COLLECT
3487.51/3496.13	c #Conflicts:     237000 | #Constraints:      14823
3487.51/3496.13	c #Conflicts:     238000 | #Constraints

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435392-1721072063/watcher-4435392-1721072063 -o /tmp/evaluation-result-4435392-1721072063/solver-4435392-1721072063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721072075-807106 --watchdog 3760 mixed-bag HOME/instance-4435392-1721072063.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
Linux 4.18.0-301.1.el8.x
Current StackSize limit: 8192 KiB

solver pid=807152, runsolver pid=807146

[startup+0.100235 s]*
/proc/loadavg: 3.81 4.16 4.17 5/246 807169
/proc/meminfo: memFree=128432704/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=82060 memory=15148 CPUtime=0.1 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 3344 0 1 0 9 1 0 0 20 0 1 0 159365957 84029440 3787 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 20515 3787 1585 3002 0 4805 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 82060 KiB
Current children cumulated memory: 15148 KiB

[startup+0.21285 s]*
/proc/loadavg: 3.81 4.16 4.17 6/246 807169
/proc/meminfo: memFree=128409620/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=82160 memory=15572 CPUtime=0.21 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 3889 0 1 0 20 1 0 0 20 0 1 0 159365957 84131840 3893 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 20540 3893 1585 3002 0 4830 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 82160 KiB
Current children cumulated memory: 15572 KiB

[startup+0.31277 s]*
/proc/loadavg: 3.81 4.16 4.17 6/246 807169
/proc/meminfo: memFree=128394572/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=86256 memory=17672 CPUtime=0.31 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 4415 0 1 0 29 2 0 0 20 0 1 0 159365957 88326144 4418 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 21564 4418 1585 3002 0 5854 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 86256 KiB
Current children cumulated memory: 17672 KiB

[startup+0.70036 s]
/proc/loadavg: 3.81 4.16 4.17 6/246 807169
/proc/meminfo: memFree=128329780/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=159672 memory=92504 CPUtime=0.69 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 20762 0 1 0 61 8 0 0 20 0 1 0 159365957 163504128 23126 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 39918 23126 3648 3002 0 23669 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 159672 KiB
Current children cumulated memory: 92504 KiB

[startup+1.50029 s]
/proc/loadavg: 3.81 4.16 4.17 6/243 807183
/proc/meminfo: memFree=128149604/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=224876 memory=153984 CPUtime=1.48 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 34632 0 1 0 136 12 0 0 20 0 1 0 159365957 230273024 38496 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 56219 38496 3760 3002 0 39970 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 224876 KiB
Current children cumulated memory: 153984 KiB

[startup+3.11314 s]
/proc/loadavg: 3.81 4.16 4.17 6/246 807217
/proc/meminfo: memFree=127626284/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=392640 memory=278092 CPUtime=3.08 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 66839 0 1 0 290 18 0 0 20 0 1 0 159365957 402063360 69523 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 98160 69523 4012 3002 0 81911 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 392640 KiB
Current children cumulated memory: 278092 KiB

[startup+6.30027 s]
/proc/loadavg: 3.82 4.16 4.17 6/246 807217
/proc/meminfo: memFree=127317448/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=393404 memory=279200 CPUtime=6.26 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 67092 0 1 0 608 18 0 0 20 0 1 0 159365957 402845696 69800 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 98351 69800 4028 3002 0 82102 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 393404 KiB
Current children cumulated memory: 279200 KiB

[startup+12.7003 s]
/proc/loadavg: 3.84 4.15 4.17 6/246 807218
/proc/meminfo: memFree=127252632/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=395140 memory=280776 CPUtime=12.65 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 67479 0 1 0 1247 18 0 0 20 0 1 0 159365957 404623360 70194 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 98785 70194 4028 3002 0 82536 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 395140 KiB
Current children cumulated memory: 280776 KiB

[startup+25.5003 s]
/proc/loadavg: 3.87 4.15 4.16 6/246 807220
/proc/meminfo: memFree=127209696/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=397200 memory=281816 CPUtime=25.42 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 67776 0 1 0 2523 19 0 0 20 0 1 0 159365957 406732800 70454 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 99300 70454 4028 3002 0 83051 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 397200 KiB
Current children cumulated memory: 281816 KiB

[startup+51.1123 s]
/proc/loadavg: 3.99 4.15 4.16 6/246 807223
/proc/meminfo: memFree=127157812/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=419444 memory=301180 CPUtime=50.96 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 72645 0 1 0 5077 19 0 0 20 0 1 0 159365957 429510656 75295 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 104861 75295 4028 3002 0 88612 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 419444 KiB
Current children cumulated memory: 301180 KiB

[startup+102.3 s]
/proc/loadavg: 4.00 4.12 4.15 6/243 807233
/proc/meminfo: memFree=126908324/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=495400 memory=376724 CPUtime=102.02 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 90656 0 1 0 10180 22 0 0 20 0 1 0 159365957 507289600 94181 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 123850 94181 4028 3002 0 107601 0
Current children cumulated CPU time: 102.02 s
Current children cumulated vsize: 495400 KiB
Current children cumulated memory: 376724 KiB

[startup+162.3 s]
/proc/loadavg: 4.07 4.13 4.15 6/243 807243
/proc/meminfo: memFree=126845184/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=502736 memory=412436 CPUtime=161.88 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 92469 0 1 0 16165 23 0 0 20 0 1 0 159365957 514801664 103109 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 125684 103109 4043 3002 0 109435 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 502736 KiB
Current children cumulated memory: 412436 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.13 4.15 6/243 807254
/proc/meminfo: memFree=126768968/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=502988 memory=418760 CPUtime=221.73 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 92617 0 1 0 22150 23 0 0 20 0 1 0 159365957 515059712 104690 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 125747 104690 4043 3002 0 109498 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 502988 KiB
Current children cumulated memory: 418760 KiB

[startup+282.3 s]
/proc/loadavg: 4.10 4.12 4.15 7/243 807264
/proc/meminfo: memFree=126655960/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=503524 memory=428384 CPUtime=281.58 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 92767 0 1 0 28135 23 0 0 20 0 1 0 159365957 515608576 107096 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 125881 107096 4043 3002 0 109632 0
Current children cumulated CPU time: 281.58 s
Current children cumulated vsize: 503524 KiB
Current children cumulated memory: 428384 KiB

[startup+342.3 s]
/proc/loadavg: 4.12 4.11 4.14 6/242 807274
/proc/meminfo: memFree=126173944/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=1166708 memory=892976 CPUtime=341.44 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 135779 0 1 0 33701 443 0 0 20 0 1 0 159365957 1194708992 223244 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 291677 223244 4202 3002 0 275428 0
Current children cumulated CPU time: 341.44 s
Current children cumulated vsize: 1166708 KiB
Current children cumulated memory: 892976 KiB

[startup+402.3 s]
/proc/loadavg: 4.20 4.14 4.15 6/244 807289
/proc/meminfo: memFree=125525600/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=1632420 memory=1442196 CPUtime=401.3 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 226228 0 1 0 39594 536 0 0 20 0 1 0 159365957 1671598080 360549 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 408105 360549 4202 3002 0 391856 0
Current children cumulated CPU time: 401.3 s
Current children cumulated vsize: 1632420 KiB
Current children cumulated memory: 1442196 KiB

[startup+462.3 s]
/proc/loadavg: 4.12 4.13 4.14 6/244 807299
/proc/meminfo: memFree=125354864/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=2005884 memory=1592008 CPUtime=461.15 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 242374 0 1 0 45499 616 0 0 20 0 1 0 159365957 2054025216 398002 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 501471 398002 4202 3002 0 485222 0

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

[startup+3102.3 s]
/proc/loadavg: 4.15 4.10 4.09 6/242 808726
/proc/meminfo: memFree=121392556/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=5088984 memory=4329948 CPUtime=3094.71 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 640334 0 1 0 307425 2046 0 0 20 0 1 0 159365957 5211119616 1082487 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 1272246 1082487 4202 3002 0 1255997 0
Current children cumulated CPU time: 3094.71 s
Current children cumulated vsize: 5088984 KiB
Current children cumulated memory: 4329948 KiB

[startup+3162.3 s]
/proc/loadavg: 4.10 4.10 4.09 6/242 808736
/proc/meminfo: memFree=121067672/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=5645564 memory=4653436 CPUtime=3154.56 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 714602 0 1 0 313387 2069 0 0 20 0 1 0 159365957 5781057536 1163359 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 1411391 1163359 4202 3002 0 1395142 0
Current children cumulated CPU time: 3154.56 s
Current children cumulated vsize: 5645564 KiB
Current children cumulated memory: 4653436 KiB

[startup+3222.3 s]
/proc/loadavg: 4.08 4.09 4.09 6/242 808746
/proc/meminfo: memFree=120794160/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=6055188 memory=4923712 CPUtime=3214.4 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 773184 0 1 0 319347 2093 0 0 20 0 1 0 159365957 6200512512 1230928 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 1513797 1230928 4202 3002 0 1497548 0
Current children cumulated CPU time: 3214.4 s
Current children cumulated vsize: 6055188 KiB
Current children cumulated memory: 4923712 KiB

[startup+3282.3 s]
/proc/loadavg: 4.13 4.10 4.09 6/243 808927
/proc/meminfo: memFree=120703288/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=6130968 memory=5014104 CPUtime=3274.24 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 786390 0 1 0 325314 2110 0 0 20 0 1 0 159365957 6278111232 1253526 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 1532742 1253526 4202 3002 0 1516493 0
Current children cumulated CPU time: 3274.24 s
Current children cumulated vsize: 6130968 KiB
Current children cumulated memory: 5014104 KiB

[startup+3342.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/243 808937
/proc/meminfo: memFree=120549392/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=6253600 memory=5167372 CPUtime=3334.09 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 807781 0 1 0 331276 2133 0 0 20 0 1 0 159365957 6403686400 1291843 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 1563400 1291843 4202 3002 0 1547151 0
Current children cumulated CPU time: 3334.09 s
Current children cumulated vsize: 6253600 KiB
Current children cumulated memory: 5167372 KiB

[startup+3402.3 s]
/proc/loadavg: 4.11 4.09 4.09 6/247 809007
/proc/meminfo: memFree=120448752/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=6318884 memory=5267456 CPUtime=3393.93 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 819670 0 1 0 337233 2160 0 0 20 0 1 0 159365957 6470537216 1316864 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 1579721 1316864 4202 3002 0 1563472 0
Current children cumulated CPU time: 3393.93 s
Current children cumulated vsize: 6318884 KiB
Current children cumulated memory: 5267456 KiB

[startup+3462.3 s]
/proc/loadavg: 4.10 4.09 4.09 6/247 809017
/proc/meminfo: memFree=120405572/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=6318884 memory=5310424 CPUtime=3453.78 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 821918 0 1 0 343179 2199 0 0 20 0 1 0 159365957 6470537216 1327606 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 1579721 1327606 4202 3002 0 1563472 0
Current children cumulated CPU time: 3453.78 s
Current children cumulated vsize: 6318884 KiB
Current children cumulated memory: 5310424 KiB

[startup+3522.3 s]
/proc/loadavg: 4.08 4.08 4.09 6/247 809028
/proc/meminfo: memFree=120259240/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=6377256 memory=5454196 CPUtime=3513.63 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 834123 0 1 0 349128 2235 0 0 20 0 1 0 159365957 6530310144 1363549 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 1594314 1363549 4202 3002 0 1578065 0
Current children cumulated CPU time: 3513.63 s
Current children cumulated vsize: 6377256 KiB
Current children cumulated memory: 5454196 KiB

[startup+3582.3 s]
/proc/loadavg: 4.06 4.08 4.09 6/245 809039
/proc/meminfo: memFree=120216824/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=6377768 memory=5496288 CPUtime=3573.47 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 836516 0 1 0 355073 2274 0 0 20 0 1 0 159365957 6530834432 1374072 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 1594442 1374072 4202 3002 0 1578193 0
Current children cumulated CPU time: 3573.47 s
Current children cumulated vsize: 6377768 KiB
Current children cumulated memory: 5496288 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.9 s]
/proc/loadavg: 4.10 4.09 4.09 6/245 809043
/proc/meminfo: memFree=120078056/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=6497072 memory=5634464 CPUtime=3600 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 855126 0 1 0 357714 2286 0 0 20 0 1 0 159365957 6653001728 1408616 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 1624268 1408616 4202 3002 0 1608019 0
Current children cumulated CPU time: 3600 s
Current children cumulated vsize: 6497072 KiB
Current children cumulated memory: 5634464 KiB

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

Sending SIGKILL to process tree (bottom up)
??? end of watcher thread

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

# cumulated CPU time of all completed processes:  user=3579.14 s, system=22.9167 s

Solver just ended.
Dumping a history of the last processes samples

[startup+3609.6 s]
/proc/loadavg: 4.10 4.09 4.09 6/245 809043
/proc/meminfo: memFree=120078232/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=6497072 memory=5634464 CPUtime=3600.7 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 855145 0 1 0 357784 2286 0 0 20 0 1 0 159365957 6653001728 1408616 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 1624268 1408616 4202 3002 0 1608019 0
Current children cumulated CPU time: 3600.7 s
Current children cumulated vsize: 6497072 KiB
Current children cumulated memory: 5634464 KiB

[startup+3610.4 s]
/proc/loadavg: 4.17 4.10 4.09 6/245 809043
/proc/meminfo: memFree=120078232/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=6497072 memory=5634464 CPUtime=3601.5 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 855147 0 1 0 357864 2286 0 0 20 0 1 0 159365957 6653001728 1408616 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 1624268 1408616 4202 3002 0 1608019 0
Current children cumulated CPU time: 3601.5 s
Current children cumulated vsize: 6497072 KiB
Current children cumulated memory: 5634464 KiB

[startup+3610.8 s]
/proc/loadavg: 4.17 4.10 4.09 6/245 809043
/proc/meminfo: memFree=120078232/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=6497072 memory=5634464 CPUtime=3601.89 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 855147 0 1 0 357903 2286 0 0 20 0 1 0 159365957 6653001728 1408616 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 1624268 1408616 4202 3002 0 1608019 0
Current children cumulated CPU time: 3601.89 s
Current children cumulated vsize: 6497072 KiB
Current children cumulated memory: 5634464 KiB

[startup+3610.9 s]
/proc/loadavg: 4.17 4.10 4.09 6/245 809043
/proc/meminfo: memFree=120078232/131655788 swapFree=131071996/131071996
[pid=807152] ppid=807146 vsize=6497072 memory=5634464 CPUtime=3601.99 cores=4,6
/proc/807152/stat : 807152 (mixed-bag) R 807146 807152 807095 0 -1 4194304 855147 0 1 0 357913 2286 0 0 20 0 1 0 159365957 6653001728 1408616 134679101440 4194304 16487941 140735286532064 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 18723592 18734648 45207552 140735286539287 140735286539364 140735286539364 140735286546379 0
/proc/807152/statm: 1624268 1408616 4202 3002 0 1608019 0
Current children cumulated CPU time: 3601.99 s
Current children cumulated vsize: 6497072 KiB
Current children cumulated memory: 5634464 KiB

Child ended because it received signal 9 (SIGKILL)

Real time (s): 3610.95
CPU time (s): 3602.06
CPU user time (s): 3579.14
CPU system time (s): 22.9167
CPU usage (%): 99.7536
Max. virtual memory (cumulated for all children) (KiB): 6497072
Max. memory (cumulated for all children) (KiB): 5634464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3579.14
system time used= 22.9167
maximum resident set size= 5634464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 855147
page faults= 1
swaps= 0
block input operations= 3032
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 318
involuntary context switches= 2703


# summary of solver processes directly reported to runsolver:
#   pid: 807152
#   total CPU time (s): 3602.06
#   total CPU user time (s): 3579.14
#   total CPU system time (s): 22.9167

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6857 second user time and 33.6544 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-15 21:34:35
IDJOB=4435392
IDBENCH=146800
IDSOLVER=3066
FILE ID=nodeC009/4435392-1721072063
RUNJOBID= nodeC009-1721072075-807106
SLURM_JOB_ID= 7505538
Free space on /tmp= 723756 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-core4284-1064.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435392-1721072063/watcher-4435392-1721072063 -o /tmp/evaluation-result-4435392-1721072063/solver-4435392-1721072063 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721072075-807106 --watchdog 3760  mixed-bag HOME/instance-4435392-1721072063.opb

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

MD5SUM BENCH= 9634c234ec2c2f6b5ee1ba365a629db0
RANDOM SEED=1059070695

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        128483636 kB
MemAvailable:   129924424 kB
Buffers:          376544 kB
Cached:          1892744 kB
SwapCached:            0 kB
Active:           618940 kB
Inactive:        2001636 kB
Active(anon):       1364 kB
Inactive(anon):   387620 kB
Active(file):     617576 kB
Inactive(file):  1614016 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             74268 kB
Writeback:             8 kB
AnonPages:        351396 kB
Mapped:           103716 kB
Shmem:             37700 kB
KReclaimable:      98452 kB
Slab:             195756 kB
SReclaimable:      98452 kB
SUnreclaim:        97304 kB
KernelStack:        3680 kB
PageTables:         9624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     703888 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51456 kB
HardwareCorrupted:     0 kB
AnonHugePages:    233472 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:      187208 kB
DirectMap2M:    19640320 kB
DirectMap1G:    116391936 kB

Free space on /tmp at the end= 723700 MiB
End job on nodeC009 at 2024-07-15 22:34:47