Trace number 4435408

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) 3600.07 3609.41

DiagnosticValue
AM1LB160
LOWERBOUND637
NAM1S160
NCORES477
NEXHAUSTED0
NPBCORES0
NPBREFORM0
NTRIMMED111

General information on the benchmark

NamePB24/normalized-PB06/OPT-LIN/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
MD5SUM0fb7b9dc188f1b53ec311352ea5d5560
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 benchmark890
Best CPU time to get the best result obtained on this benchmark3478.26
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2460
Total number of constraints17131
Number of constraints which are clauses17131
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint16
Number of terms in the objective function 2460
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 2460
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2460
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.00	c with Papilo
0.00/0.00	c with SCIP
0.00/0.00	c [STEP] parsing instance
0.00/0.07	c [STEP] preprocessing with Papilo
0.10/0.12	c Papilo could not simplify the problem
0.10/0.12	c [STEP] solving with SCIP
299.14/300.21	c [STEP] preprocessing done, loading into solver
299.14/300.24	c [STEP] solving
299.14/300.24	c #variables 2461 #constraints 17131
299.14/300.24	c SMALL=int, LARGE=long long
299.14/300.24	c bounds - >= 0 @ 298.967
299.14/300.24	c stratification level: 0
299.24/300.31	c bounds - >= 161 @ 298.982
299.24/300.31	c bounds - >= 162 @ 298.983
299.24/300.31	c bounds - >= 163 @ 298.984
299.24/300.31	c bounds - >= 164 @ 298.984
299.24/300.31	c bounds - >= 165 @ 298.985
299.24/300.31	c bounds - >= 166 @ 298.985
299.24/300.31	c bounds - >= 167 @ 298.985
299.24/300.31	c bounds - >= 168 @ 298.985
299.24/300.31	c bounds - >= 169 @ 298.985
299.24/300.31	c bounds - >= 170 @ 298.986
299.24/300.31	c bounds - >= 171 @ 298.986
299.24/300.31	c bounds - >= 172 @ 298.987
299.24/300.31	c bounds - >= 173 @ 298.987
299.24/300.31	c bounds - >= 174 @ 298.988
299.24/300.31	c bounds - >= 175 @ 298.988
299.24/300.31	c bounds - >= 176 @ 298.988
299.24/300.31	c bounds - >= 177 @ 298.988
299.24/300.31	c bounds - >= 178 @ 298.988
299.24/300.31	c bounds - >= 179 @ 298.989
299.24/300.31	c bounds - >= 180 @ 298.989
299.24/300.31	c bounds - >= 181 @ 298.989
299.24/300.31	c bounds - >= 182 @ 298.989
299.24/300.31	c bounds - >= 183 @ 298.989
299.24/300.31	c bounds - >= 184 @ 298.99
299.24/300.31	c bounds - >= 185 @ 298.99
299.24/300.31	c bounds - >= 186 @ 298.99
299.24/300.31	c bounds - >= 187 @ 298.99
299.24/300.31	c bounds - >= 188 @ 298.99
299.24/300.31	c bounds - >= 189 @ 298.99
299.24/300.31	c bounds - >= 190 @ 298.991
299.24/300.31	c bounds - >= 191 @ 298.991
299.24/300.31	c bounds - >= 192 @ 298.992
299.24/300.31	c bounds - >= 193 @ 298.992
299.24/300.31	c bounds - >= 194 @ 298.992
299.24/300.31	c bounds - >= 195 @ 298.992
299.24/300.31	c bounds - >= 196 @ 298.993
299.24/300.31	c bounds - >= 197 @ 298.993
299.24/300.31	c bounds - >= 198 @ 298.993
299.24/300.31	c bounds - >= 199 @ 298.994
299.24/300.31	c bounds - >= 200 @ 298.994
299.24/300.31	c bounds - >= 201 @ 298.994
299.24/300.31	c bounds - >= 202 @ 298.995
299.24/300.31	c bounds - >= 203 @ 298.995
299.24/300.31	c bounds - >= 204 @ 298.995
299.24/300.31	c bounds - >= 205 @ 298.996
299.24/300.31	c bounds - >= 206 @ 298.996
299.24/300.31	c bounds - >= 207 @ 298.996
299.24/300.31	c bounds - >= 208 @ 298.997
299.24/300.31	c bounds - >= 209 @ 298.997
299.24/300.31	c bounds - >= 210 @ 298.997
299.24/300.31	c bounds - >= 211 @ 298.998
299.24/300.31	c bounds - >= 212 @ 298.998
299.24/300.31	c bounds - >= 213 @ 298.998
299.24/300.31	c bounds - >= 214 @ 298.998
299.24/300.31	c bounds - >= 215 @ 298.999
299.24/300.31	c bounds - >= 216 @ 298.999
299.24/300.31	c bounds - >= 217 @ 298.999
299.24/300.31	c bounds - >= 218 @ 298.999
299.24/300.31	c bounds - >= 219 @ 298.999
299.24/300.31	c bounds - >= 220 @ 299
299.24/300.31	c bounds - >= 221 @ 299
299.24/300.31	c bounds - >= 222 @ 299
299.24/300.31	c bounds - >= 223 @ 299
299.24/300.31	c bounds - >= 224 @ 299.001
299.24/300.31	c bounds - >= 225 @ 299.001
299.24/300.31	c bounds - >= 226 @ 299.001
299.24/300.31	c bounds - >= 227 @ 299.002
299.24/300.31	c bounds - >= 228 @ 299.002
299.24/300.31	c bounds - >= 229 @ 299.002
299.24/300.31	c bounds - >= 230 @ 299.002
299.24/300.31	c bounds - >= 231 @ 299.003
299.24/300.31	c bounds - >= 232 @ 299.003
299.24/300.31	c bounds - >= 233 @ 299.003
299.24/300.31	c bounds - >= 234 @ 299.003
299.24/300.31	c bounds - >= 235 @ 299.003
299.24/300.31	c bounds - >= 236 @ 299.003
299.24/300.31	c bounds - >= 237 @ 299.003
299.24/300.31	c bounds - >= 238 @ 299.004
299.24/300.31	c bounds - >= 239 @ 299.004
299.24/300.31	c bounds - >= 240 @ 299.004
299.24/300.31	c bounds - >= 241 @ 299.004
299.24/300.31	c bounds - >= 242 @ 299.004
299.24/300.31	c bounds - >= 243 @ 299.004
299.24/300.31	c bounds - >= 244 @ 299.004
299.24/300.31	c bounds - >= 245 @ 299.005
299.24/300.31	c bounds - >= 246 @ 299.005
299.24/300.31	c bounds - >= 247 @ 299.005
299.24/300.31	c bounds - >= 248 @ 299.005
299.24/300.31	c bounds - >= 249 @ 299.006
299.24/300.31	c bounds - >= 250 @ 299.006
299.24/300.31	c bounds - >= 251 @ 299.006
299.24/300.31	c bounds - >= 252 @ 299.006
299.24/300.31	c bounds - >= 253 @ 299.007
299.24/300.31	c bounds - >= 254 @ 299.007
299.24/300.31	c bounds - >= 255 @ 299.007
299.24/300.31	c bounds - >= 256 @ 299.008
299.24/300.31	c bounds - >= 257 @ 299.008
299.24/300.31	c bounds - >= 258 @ 299.008
299.24/300.31	c bounds - >= 259 @ 299.008
299.24/300.31	c bounds - >= 260 @ 299.009
299.24/300.31	c bounds - >= 261 @ 299.009
299.24/300.31	c bounds - >= 262 @ 299.009
299.24/300.31	c bounds - >= 263 @ 299.009
299.24/300.31	c bounds - >= 264 @ 299.01
299.24/300.31	c bounds - >= 265 @ 299.01
299.24/300.31	c bounds - >= 266 @ 299.01
299.24/300.31	c bounds - >= 267 @ 299.01
299.24/300.31	c bounds - >= 268 @ 299.011
299.24/300.31	c bounds - >= 269 @ 299.011
299.24/300.31	c bounds - >= 270 @ 299.011
299.24/300.31	c bounds - >= 271 @ 299.012
299.24/300.31	c bounds - >= 272 @ 299.012
299.24/300.31	c bounds - >= 273 @ 299.012
299.24/300.31	c bounds - >= 274 @ 299.012
299.24/300.31	c bounds - >= 275 @ 299.013
299.24/300.31	c bounds - >= 276 @ 299.013
299.24/300.31	c bounds - >= 277 @ 299.013
299.24/300.31	c bounds - >= 278 @ 299.013
299.24/300.31	c bounds - >= 279 @ 299.014
299.24/300.31	c bounds - >= 280 @ 299.014
299.24/300.31	c bounds - >= 281 @ 299.014
299.24/300.31	c bounds - >= 282 @ 299.015
299.24/300.31	c bounds - >= 283 @ 299.015
299.24/300.31	c bounds - >= 284 @ 299.015
299.24/300.31	c bounds - >= 285 @ 299.015
299.24/300.31	c bounds - >= 286 @ 299.016
299.24/300.31	c bounds - >= 287 @ 299.016
299.24/300.31	c bounds - >= 288 @ 299.016
299.24/300.31	c bounds - >= 289 @ 299.016
299.24/300.31	c bounds - >= 290 @ 299.017
299.24/300.31	c bounds - >= 291 @ 299.017
299.24/300.31	c bounds - >= 292 @ 299.017
299.24/300.31	c bounds - >= 293 @ 299.018
299.24/300.31	c bounds - >= 294 @ 299.018
299.24/300.31	c bounds - >= 295 @ 299.018
299.24/300.31	c bounds - >= 296 @ 299.018
299.24/300.31	c bounds - >= 297 @ 299.019
299.24/300.31	c bounds - >= 298 @ 299.019
299.24/300.31	c bounds - >= 299 @ 299.019
299.24/300.31	c bounds - >= 300 @ 299.019
299.24/300.31	c bounds - >= 301 @ 299.02
299.24/300.31	c bounds - >= 302 @ 299.02
299.24/300.31	c bounds - >= 303 @ 299.02
299.24/300.31	c bounds - >= 304 @ 299.021
299.24/300.31	c bounds - >= 305 @ 299.021
299.24/300.31	c bounds - >= 306 @ 299.021
299.24/300.31	c bounds - >= 307 @ 299.021
299.24/300.31	c bounds - >= 308 @ 299.022
299.24/300.34	c bounds - >= 309 @ 299.022
299.24/300.34	c bounds - >= 310 @ 299.022
299.24/300.34	c bounds - >= 311 @ 299.022
299.24/300.34	c bounds - >= 312 @ 299.023
299.24/300.34	c bounds - >= 313 @ 299.023
299.24/300.34	c bounds - >= 314 @ 299.023
299.24/300.34	c bounds - >= 315 @ 299.024
299.24/300.34	c bounds - >= 316 @ 299.024
299.24/300.34	c bounds - >= 317 @ 299.024
299.24/300.34	c bounds - >= 318 @ 299.024
299.24/300.34	c bounds - >= 319 @ 299.024
299.24/300.34	c bounds - >= 320 @ 299.024
299.24/300.34	c bounds - >= 321 @ 299.024
299.24/300.34	c bounds - >= 322 @ 299.024
299.24/300.34	c bounds - >= 323 @ 299.025
299.24/300.34	c bounds - >= 324 @ 299.025
299.24/300.34	c bounds - >= 325 @ 299.025
299.24/300.34	c bounds - >= 326 @ 299.025
299.24/300.34	c bounds - >= 327 @ 299.026
299.24/300.34	c bounds - >= 328 @ 299.026
299.24/300.34	c bounds - >= 329 @ 299.026
299.24/300.34	c bounds - >= 330 @ 299.026
299.24/300.34	c bounds - >= 331 @ 299.027
299.24/300.34	c bounds - >= 332 @ 299.027
299.24/300.34	c bounds - >= 333 @ 299.027
299.24/300.34	c bounds - >= 334 @ 299.027
299.24/300.34	c bounds - >= 335 @ 299.028
299.24/300.34	c bounds - >= 336 @ 299.028
299.24/300.34	c bounds - >= 337 @ 299.028
299.24/300.34	c bounds - >= 338 @ 299.028
299.24/300.34	c bounds - >= 339 @ 299.029
299.24/300.34	c bounds - >= 340 @ 299.029
299.24/300.34	c bounds - >= 341 @ 299.029
299.24/300.34	c bounds - >= 342 @ 299.029
299.24/300.34	c bounds - >= 343 @ 299.03
299.24/300.34	c bounds - >= 344 @ 299.03
299.24/300.34	c bounds - >= 345 @ 299.03
299.24/300.34	c bounds - >= 346 @ 299.031
299.24/300.34	c bounds - >= 347 @ 299.031
299.24/300.34	c bounds - >= 348 @ 299.031
299.24/300.34	c bounds - >= 349 @ 299.031
299.24/300.34	c bounds - >= 350 @ 299.032
299.24/300.34	c bounds - >= 351 @ 299.032
299.24/300.34	c bounds - >= 352 @ 299.032
299.24/300.34	c bounds - >= 353 @ 299.032
299.24/300.34	c bounds - >= 354 @ 299.033
299.24/300.34	c bounds - >= 355 @ 299.033
299.24/300.34	c bounds - >= 356 @ 299.033
299.24/300.34	c bounds - >= 357 @ 299.033
299.24/300.34	c bounds - >= 358 @ 299.033
299.24/300.34	c bounds - >= 359 @ 299.033
299.24/300.34	c bounds - >= 360 @ 299.033
299.24/300.34	c bounds - >= 361 @ 299.033
299.24/300.34	c bounds - >= 362 @ 299.033
299.24/300.34	c bounds - >= 363 @ 299.034
299.24/300.34	c bounds - >= 364 @ 299.034
299.24/300.34	c bounds - >= 365 @ 299.034
299.24/300.34	c bounds - >= 366 @ 299.034
299.24/300.34	c bounds - >= 367 @ 299.035
299.24/300.34	c bounds - >= 368 @ 299.035
299.24/300.34	c bounds - >= 369 @ 299.035
299.24/300.34	c bounds - >= 370 @ 299.035
299.24/300.34	c bounds - >= 371 @ 299.036
299.24/300.34	c bounds - >= 372 @ 299.036
299.24/300.34	c bounds - >= 373 @ 299.036
299.24/300.34	c bounds - >= 374 @ 299.036
299.24/300.34	c bounds - >= 375 @ 299.037
299.24/300.34	c bounds - >= 376 @ 299.037
299.24/300.34	c bounds - >= 377 @ 299.037
299.24/300.34	c bounds - >= 378 @ 299.037
299.24/300.34	c bounds - >= 379 @ 299.038
299.24/300.34	c bounds - >= 380 @ 299.038
299.24/300.34	c bounds - >= 381 @ 299.038
299.24/300.34	c bounds - >= 382 @ 299.038
299.24/300.34	c bounds - >= 383 @ 299.039
299.24/300.34	c bounds - >= 384 @ 299.039
299.24/300.34	c bounds - >= 385 @ 299.039
299.24/300.34	c bounds - >= 386 @ 299.039
299.24/300.34	c bounds - >= 387 @ 299.04
299.24/300.34	c bounds - >= 388 @ 299.04
299.24/300.34	c bounds - >= 389 @ 299.04
299.24/300.34	c bounds - >= 390 @ 299.04
299.24/300.34	c bounds - >= 391 @ 299.041
299.24/300.34	c bounds - >= 392 @ 299.041
299.24/300.34	c bounds - >= 393 @ 299.041
299.24/300.34	c bounds - >= 394 @ 299.041
299.24/300.34	c bounds - >= 395 @ 299.041
299.24/300.34	c bounds - >= 396 @ 299.042
299.24/300.34	c bounds - >= 397 @ 299.042
299.24/300.34	c bounds - >= 398 @ 299.042
299.24/300.34	c bounds - >= 399 @ 299.042
299.24/300.34	c bounds - >= 400 @ 299.043
299.24/300.34	c bounds - >= 401 @ 299.043
299.24/300.34	c bounds - >= 402 @ 299.043
299.24/300.34	c bounds - >= 403 @ 299.043
299.24/300.34	c bounds - >= 404 @ 299.044
299.24/300.34	c bounds - >= 405 @ 299.044
299.24/300.34	c bounds - >= 406 @ 299.044
299.24/300.34	c bounds - >= 407 @ 299.044
299.24/300.34	c bounds - >= 408 @ 299.045
299.24/300.34	c bounds - >= 409 @ 299.045
299.24/300.34	c bounds - >= 410 @ 299.045
299.24/300.34	c bounds - >= 411 @ 299.045
299.24/300.34	c bounds - >= 412 @ 299.046
299.24/300.34	c bounds - >= 413 @ 299.046
299.24/300.34	c bounds - >= 414 @ 299.046
299.24/300.34	c bounds - >= 415 @ 299.046
299.24/300.34	c bounds - >= 416 @ 299.047
299.24/300.34	c bounds - >= 417 @ 299.047
299.24/300.34	c bounds - >= 418 @ 299.047
299.24/300.34	c bounds - >= 419 @ 299.047
299.24/300.34	c bounds - >= 420 @ 299.047
299.24/300.34	c bounds - >= 421 @ 299.048
299.24/300.34	c bounds - >= 422 @ 299.048
299.24/300.34	c bounds - >= 423 @ 299.048
299.24/300.34	c bounds - >= 424 @ 299.048
299.24/300.34	c bounds - >= 425 @ 299.048
299.24/300.34	c bounds - >= 426 @ 299.048
299.24/300.34	c bounds - >= 427 @ 299.048
299.24/300.34	c bounds - >= 428 @ 299.048
299.24/300.34	c bounds - >= 429 @ 299.049
299.24/300.34	c bounds - >= 430 @ 299.049
299.24/300.34	c bounds - >= 431 @ 299.049
299.24/300.34	c bounds - >= 432 @ 299.049
299.24/300.34	c bounds - >= 433 @ 299.05
299.24/300.34	c bounds - >= 434 @ 299.05
299.24/300.34	c bounds - >= 435 @ 299.05
299.24/300.34	c bounds - >= 436 @ 299.05
299.24/300.34	c bounds - >= 437 @ 299.051
299.24/300.34	c bounds - >= 438 @ 299.051
299.24/300.34	c bounds - >= 439 @ 299.051
299.24/300.34	c bounds - >= 440 @ 299.051
299.24/300.34	c bounds - >= 441 @ 299.052
299.24/300.34	c bounds - >= 442 @ 299.052
299.24/300.34	c bounds - >= 443 @ 299.052
299.24/300.34	c bounds - >= 444 @ 299.052
299.24/300.34	c bounds - >= 445 @ 299.052
299.24/300.34	c bounds - >= 446 @ 299.053
299.24/300.34	c bounds - >= 447 @ 299.053
299.24/300.34	c bounds - >= 448 @ 299.053
299.24/300.34	c bounds - >= 449 @ 299.053
299.24/300.34	c bounds - >= 450 @ 299.054
299.24/300.34	c bounds - >= 451 @ 299.054
299.24/300.34	c bounds - >= 452 @ 299.054
299.24/300.34	c bounds - >= 453 @ 299.054
299.24/300.34	c bounds - >= 454 @ 299.054
299.24/300.38	c bounds - >= 455 @ 299.055
299.24/300.38	c bounds - >= 456 @ 299.055
299.24/300.38	c bounds - >= 457 @ 299.055
299.24/300.38	c bounds - >= 458 @ 299.055
299.24/300.38	c bounds - >= 459 @ 299.056
299.24/300.38	c bounds - >= 460 @ 299.056
299.24/300.38	c bounds - >= 461 @ 299.056
299.24/300.38	c bounds - >= 462 @ 299.056
299.24/300.38	c bounds - >= 463 @ 299.057
299.24/300.38	c bounds - >= 464 @ 299.057
299.24/300.38	c bounds - >= 465 @ 299.057
299.24/300.38	c bounds - >= 466 @ 299.057
299.24/300.38	c bounds - >= 467 @ 299.058
299.24/300.38	c bounds - >= 468 @ 299.058
299.24/300.38	c bounds - >= 469 @ 299.058
299.24/300.38	c bounds - >= 470 @ 299.058
299.24/300.38	c bounds - >= 471 @ 299.059
299.24/300.38	c bounds - >= 472 @ 299.059
299.24/300.38	c bounds - >= 473 @ 299.059
299.24/300.38	c bounds - >= 474 @ 299.059
299.24/300.38	c bounds - >= 475 @ 299.06
299.24/300.38	c bounds - >= 476 @ 299.06
299.24/300.38	c bounds - >= 477 @ 299.06
299.24/300.38	c bounds - >= 478 @ 299.06
299.24/300.38	c bounds - >= 479 @ 299.061
299.24/300.38	c bounds - >= 480 @ 299.061
299.24/300.38	c bounds - >= 481 @ 299.061
299.24/300.38	c bounds - >= 482 @ 299.061
299.24/300.38	c bounds - >= 483 @ 299.062
299.24/300.38	c bounds - >= 484 @ 299.062
299.24/300.38	c bounds - >= 485 @ 299.062
299.24/300.38	c bounds - >= 486 @ 299.062
299.24/300.38	c bounds - >= 487 @ 299.062
299.24/300.38	c bounds - >= 488 @ 299.063
299.24/300.38	c bounds - >= 489 @ 299.063
299.24/300.38	c bounds - >= 490 @ 299.063
299.24/300.38	c bounds - >= 491 @ 299.063
299.24/300.38	c bounds - >= 492 @ 299.064
299.24/300.38	c bounds - >= 493 @ 299.064
299.24/300.38	c bounds - >= 494 @ 299.064
299.24/300.38	c bounds - >= 495 @ 299.064
299.24/300.38	c bounds - >= 496 @ 299.064
299.24/300.38	c bounds - >= 497 @ 299.064
299.24/300.38	c bounds - >= 498 @ 299.064
299.24/300.38	c bounds - >= 499 @ 299.064
299.24/300.38	c bounds - >= 500 @ 299.065
299.24/300.38	c bounds - >= 501 @ 299.065
299.24/300.38	c bounds - >= 502 @ 299.065
299.24/300.38	c bounds - >= 503 @ 299.066
299.24/300.38	c bounds - >= 504 @ 299.066
299.24/300.38	c bounds - >= 505 @ 299.066
299.24/300.38	c bounds - >= 506 @ 299.066
299.24/300.38	c bounds - >= 507 @ 299.067
299.24/300.38	c bounds - >= 508 @ 299.067
299.24/300.38	c bounds - >= 509 @ 299.067
299.24/300.38	c bounds - >= 510 @ 299.067
299.24/300.38	c bounds - >= 511 @ 299.068
299.24/300.38	c bounds - >= 512 @ 299.068
299.24/300.38	c bounds - >= 513 @ 299.068
299.24/300.38	c bounds - >= 514 @ 299.068
299.24/300.38	c bounds - >= 515 @ 299.069
299.24/300.38	c bounds - >= 516 @ 299.069
299.24/300.38	c bounds - >= 517 @ 299.069
299.24/300.38	c bounds - >= 518 @ 299.069
299.24/300.38	c bounds - >= 519 @ 299.069
299.24/300.38	c bounds - >= 520 @ 299.07
299.24/300.38	c bounds - >= 521 @ 299.07
299.24/300.38	c bounds - >= 522 @ 299.07
299.24/300.38	c bounds - >= 523 @ 299.071
299.24/300.38	c bounds - >= 524 @ 299.071
299.24/300.38	c bounds - >= 525 @ 299.071
299.24/300.38	c bounds - >= 526 @ 299.071
299.24/300.38	c bounds - >= 527 @ 299.071
299.24/300.38	c bounds - >= 528 @ 299.072
299.24/300.38	c bounds - >= 529 @ 299.072
299.24/300.38	c bounds - >= 530 @ 299.072
299.24/300.38	c bounds - >= 531 @ 299.072
299.24/300.38	c bounds - >= 532 @ 299.073
299.24/300.38	c bounds - >= 533 @ 299.073
299.24/300.38	c bounds - >= 534 @ 299.073
299.24/300.38	c bounds - >= 535 @ 299.073
299.24/300.38	c bounds - >= 536 @ 299.073
299.24/300.38	c bounds - >= 537 @ 299.074
299.24/300.38	c bounds - >= 538 @ 299.074
299.24/300.38	c bounds - >= 539 @ 299.074
299.24/300.38	c bounds - >= 540 @ 299.074
299.24/300.38	c bounds - >= 541 @ 299.075
299.24/300.38	c bounds - >= 542 @ 299.075
299.24/300.38	c bounds - >= 543 @ 299.075
299.24/300.38	c bounds - >= 544 @ 299.075
299.24/300.38	c bounds - >= 545 @ 299.075
299.24/300.38	c bounds - >= 546 @ 299.076
299.24/300.38	c bounds - >= 547 @ 299.076
299.24/300.38	c bounds - >= 548 @ 299.076
299.24/300.38	c bounds - >= 549 @ 299.076
299.24/300.38	c bounds - >= 550 @ 299.077
299.24/300.38	c bounds - >= 551 @ 299.077
299.24/300.38	c bounds - >= 552 @ 299.077
299.24/300.38	c bounds - >= 553 @ 299.077
299.24/300.38	c bounds - >= 554 @ 299.077
299.24/300.38	c bounds - >= 555 @ 299.078
299.24/300.38	c bounds - >= 556 @ 299.078
299.24/300.38	c bounds - >= 557 @ 299.078
299.24/300.38	c bounds - >= 558 @ 299.078
299.24/300.38	c bounds - >= 559 @ 299.078
299.24/300.38	c bounds - >= 560 @ 299.078
299.24/300.38	c bounds - >= 561 @ 299.078
299.24/300.38	c bounds - >= 562 @ 299.078
299.24/300.38	c bounds - >= 563 @ 299.079
299.24/300.38	c bounds - >= 564 @ 299.079
299.24/300.38	c bounds - >= 565 @ 299.079
299.24/300.38	c bounds - >= 566 @ 299.079
299.24/300.38	c bounds - >= 567 @ 299.079
299.24/300.38	c bounds - >= 568 @ 299.079
299.24/300.38	c bounds - >= 569 @ 299.079
299.24/300.38	c bounds - >= 570 @ 299.079
299.24/300.38	c bounds - >= 571 @ 299.08
299.24/300.38	c bounds - >= 572 @ 299.08
299.24/300.38	c bounds - >= 573 @ 299.08
299.24/300.38	c bounds - >= 574 @ 299.08
299.24/300.38	c bounds - >= 575 @ 299.081
299.24/300.38	c bounds - >= 576 @ 299.081
299.24/300.38	c bounds - >= 577 @ 299.081
299.24/300.38	c bounds - >= 578 @ 299.081
299.24/300.38	c bounds - >= 579 @ 299.081
299.24/300.38	c bounds - >= 580 @ 299.082
299.24/300.38	c bounds - >= 581 @ 299.082
299.24/300.38	c bounds - >= 582 @ 299.082
299.24/300.38	c bounds - >= 583 @ 299.082
299.24/300.38	c bounds - >= 584 @ 299.082
299.24/300.38	c bounds - >= 585 @ 299.083
299.24/300.38	c bounds - >= 586 @ 299.083
299.24/300.38	c bounds - >= 587 @ 299.083
299.24/300.38	c bounds - >= 588 @ 299.083
299.24/300.38	c bounds - >= 589 @ 299.083
299.24/300.38	c bounds - >= 590 @ 299.084
299.24/300.38	c bounds - >= 591 @ 299.084
299.24/300.38	c bounds - >= 592 @ 299.084
299.24/300.38	c bounds - >= 593 @ 299.084
299.24/300.38	c bounds - >= 594 @ 299.085
299.24/300.38	c bounds - >= 595 @ 299.085
299.24/300.38	c bounds - >= 596 @ 299.085
299.24/300.38	c bounds - >= 597 @ 299.085
299.24/300.38	c bounds - >= 598 @ 299.086
299.24/300.38	c bounds - >= 599 @ 299.086
299.24/300.38	c bounds - >= 600 @ 299.086
299.24/300.38	c bounds - >= 601 @ 299.086
389.48/390.85	c bounds - >= 602 @ 299.086
389.48/390.85	c bounds - >= 603 @ 299.086
389.48/390.85	c bounds - >= 604 @ 299.086
389.48/390.85	c bounds - >= 605 @ 299.086
389.48/390.85	c bounds - >= 606 @ 299.086
389.48/390.85	c bounds - >= 607 @ 299.087
389.48/390.85	c bounds - >= 608 @ 299.087
389.48/390.85	c bounds - >= 609 @ 299.087
389.48/390.85	c bounds - >= 610 @ 299.087
389.48/390.85	c bounds - >= 611 @ 299.088
389.48/390.85	c bounds - >= 612 @ 299.088
389.48/390.85	c bounds - >= 613 @ 299.088
389.48/390.85	c bounds - >= 614 @ 299.088
389.48/390.85	c bounds - >= 615 @ 299.089
389.48/390.85	c bounds - >= 616 @ 299.089
389.48/390.85	c bounds - >= 617 @ 299.089
389.48/390.85	c bounds - >= 618 @ 299.089
389.48/390.85	c bounds - >= 619 @ 299.089
389.48/390.85	c bounds - >= 620 @ 299.09
389.48/390.85	c bounds - >= 621 @ 299.09
389.48/390.85	c bounds - >= 622 @ 299.09
389.48/390.85	c bounds - >= 623 @ 299.09
389.48/390.85	c bounds - >= 624 @ 299.091
389.48/390.85	c bounds - >= 625 @ 299.091
389.48/390.85	c bounds - >= 626 @ 299.091
389.48/390.85	c bounds - >= 627 @ 299.091
389.48/390.85	c bounds - >= 628 @ 299.092
389.48/390.85	c bounds - >= 629 @ 299.092
389.48/390.85	c bounds - >= 630 @ 299.092
389.48/390.85	c bounds - >= 631 @ 299.093
389.48/390.85	c bounds - >= 632 @ 299.093
389.48/390.85	c bounds - >= 633 @ 299.093
389.48/390.85	c bounds - >= 634 @ 299.094
389.48/390.85	c bounds - >= 635 @ 299.094
389.48/390.85	c bounds - >= 636 @ 299.095
389.48/390.85	c #Conflicts:       1000 | #Constraints:      19050
389.48/390.85	c #Conflicts:       2000 | #Constraints:      20050
389.48/390.85	c INPROCESSING
389.48/390.85	c GARBAGE COLLECT
389.48/390.85	c #Conflicts:       3000 | #Constraints:      19541
389.48/390.85	c #Conflicts:       4000 | #Constraints:      20541
389.48/390.85	c INPROCESSING
389.48/390.85	c GARBAGE COLLECT
389.48/390.85	c #Conflicts:       5000 | #Constraints:      19952
389.48/390.85	c #Conflicts:       6000 | #Constraints:      20952
389.48/390.85	c INPROCESSING
389.48/390.85	c GARBAGE COLLECT
389.48/390.85	c #Conflicts:       7000 | #Constraints:      19956
389.48/390.85	c #Conflicts:       8000 | #Constraints:      20956
389.48/390.85	c #Conflicts:       9000 | #Constraints:      21956
389.48/390.85	c INPROCESSING
389.48/390.85	c GARBAGE COLLECT
389.48/390.85	c #Conflicts:      10000 | #Constraints:      20660
389.48/390.85	c #Conflicts:      11000 | #Constraints:      21660
389.48/390.85	c #Conflicts:      12000 | #Constraints:      22660
389.48/390.85	c INPROCESSING
389.48/390.85	c GARBAGE COLLECT
389.48/390.85	c #Conflicts:      13000 | #Constraints:      21133
389.48/390.85	c #Conflicts:      14000 | #Constraints:      22133
389.48/390.85	c #Conflicts:      15000 | #Constraints:      23133
389.48/390.85	c INPROCESSING
389.48/390.85	c GARBAGE COLLECT
389.48/390.85	c #Conflicts:      16000 | #Constraints:      21383
389.48/390.85	c #Conflicts:      17000 | #Constraints:      22383
389.48/390.85	c #Conflicts:      18000 | #Constraints:      23383
389.48/390.85	c INPROCESSING
389.48/390.85	c GARBAGE COLLECT
389.48/390.85	c #Conflicts:      19000 | #Constraints:      21425
389.48/390.85	c #Conflicts:      20000 | #Constraints:      22425
389.48/390.85	c #Conflicts:      21000 | #Constraints:      23425
389.48/390.85	c INPROCESSING
389.48/390.85	c GARBAGE COLLECT
389.48/390.85	c #Conflicts:      22000 | #Constraints:      21259
389.48/390.85	c #Conflicts:      23000 | #Constraints:      22259
389.48/390.85	c #Conflicts:      24000 | #Constraints:      23259
389.48/390.85	c #Conflicts:      25000 | #Constraints:      24259
389.48/390.85	c INPROCESSING
389.48/390.85	c GARBAGE COLLECT
389.48/390.85	c #Conflicts:      26000 | #Constraints:      21870
389.48/390.85	c #Conflicts:      27000 | #Constraints:      22870
389.48/390.85	c #Conflicts:      28000 | #Constraints:      23870
389.48/390.85	c #Conflicts:      29000 | #Constraints:      24870
389.48/390.85	c INPROCESSING
389.48/390.85	c GARBAGE COLLECT
389.48/390.85	c #Conflicts:      30000 | #Constraints:      22282
389.48/390.85	c #Conflicts:      31000 | #Constraints:      23282
389.48/390.85	c #Conflicts:      32000 | #Constraints:      24282
389.48/390.85	c #Conflicts:      33000 | #Constraints:      25282
389.48/390.85	c INPROCESSING
389.48/390.85	c GARBAGE COLLECT
389.48/390.85	c #Conflicts:      34000 | #Constraints:      22468
389.48/390.85	c #Conflicts:      35000 | #Constraints:      23468
389.48/390.85	c #Conflicts:      36000 | #Constraints:      24468
389.48/390.85	c #Conflicts:      37000 | #Constraints:      25468
389.48/390.85	c INPROCESSING
389.48/390.85	c GARBAGE COLLECT
389.48/390.85	c #Conflicts:      38000 | #Constraints:      22471
389.48/390.85	c #Conflicts:      39000 | #Constraints:      23471
389.48/390.85	c #Conflicts:      40000 | #Constraints:      24471
389.48/390.85	c #Conflicts:      41000 | #Constraints:      25471
389.48/390.85	c INPROCESSING
389.48/390.85	c GARBAGE COLLECT
389.48/390.85	c #Conflicts:      42000 | #Constraints:      22284
389.48/390.85	c #Conflicts:      43000 | #Constraints:      23284
389.48/390.85	c #Conflicts:      44000 | #Constraints:      24284
389.48/390.85	c #Conflicts:      45000 | #Constraints:      25284
389.48/390.85	c #Conflicts:      46000 | #Constraints:      26284
389.48/390.85	c INPROCESSING
389.48/390.85	c GARBAGE COLLECT
389.48/390.85	c #Conflicts:      47000 | #Constraints:      22898
389.48/390.85	c #Conflicts:      48000 | #Constraints:      23898
389.48/390.85	c #Conflicts:      49000 | #Constraints:      24898
389.48/390.85	c #Conflicts:      50000 | #Constraints:      25898
389.48/390.85	c #Conflicts:      51000 | #Constraints:      26898
485.53/487.14	c INPROCESSING
485.53/487.14	c GARBAGE COLLECT
485.53/487.14	c #Conflicts:      52000 | #Constraints:      23320
485.53/487.14	c #Conflicts:      53000 | #Constraints:      24320
485.53/487.14	c #Conflicts:      54000 | #Constraints:      25320
485.53/487.14	c #Conflicts:      55000 | #Constraints:      26320
485.53/487.14	c #Conflicts:      56000 | #Constraints:      27320
485.53/487.14	c INPROCESSING
485.53/487.14	c GARBAGE COLLECT
485.53/487.14	c #Conflicts:      57000 | #Constraints:      23509
485.53/487.14	c #Conflicts:      58000 | #Constraints:      24509
485.53/487.14	c #Conflicts:      59000 | #Constraints:      25509
485.53/487.14	c #Conflicts:      60000 | #Constraints:      26509
485.53/487.14	c #Conflicts:      61000 | #Constraints:      27509
485.53/487.14	c INPROCESSING
485.53/487.14	c GARBAGE COLLECT
485.53/487.14	c #Conflicts:      62000 | #Constraints:      23523
485.53/487.14	c #Conflicts:      63000 | #Constraints:      24523
485.53/487.14	c #Conflicts:      64000 | #Constraints:      25523
485.53/487.14	c #Conflicts:      65000 | #Constraints:      26523
485.53/487.14	c #Conflicts:      66000 | #Constraints:      27523
485.53/487.14	c INPROCESSING
485.53/487.14	c GARBAGE COLLECT
485.53/487.14	c #Conflicts:      67000 | #Constraints:      23324
485.53/487.14	c #Conflicts:      68000 | #Constraints:      24324
485.53/487.14	c #Conflicts:      69000 | #Constraints:      25324
485.53/487.14	c bounds - >= 637 @ 438.379
485.53/487.14	c #Conflicts:      70000 | #Constraints:      26325
485.53/487.14	c #Conflicts:      71000 | #Constraints:      27325
485.53/487.14	c #Conflicts:      72000 | #Constraints:      28325
485.53/487.14	c INPROCESSING
485.53/487.14	c GARBAGE COLLECT
485.53/487.14	c #Conflicts:      73000 | #Constraints:      23742
485.53/487.14	c #Conflicts:      74000 | #Constraints:      24742
485.53/487.14	c #Conflicts:      75000 | #Constraints:      25742
485.53/487.14	c #Conflicts:      76000 | #Constraints:      26742
485.53/487.14	c #Conflicts:      77000 | #Constraints:      27742
485.53/487.14	c #Conflicts:      78000 | #Constraints:      28742
485.53/487.14	c INPROCESSING
485.53/487.14	c GARBAGE COLLECT
485.53/487.14	c #Conflicts:      79000 | #Constraints:      24058
485.53/487.14	c #Conflicts:      80000 | #Constraints:      25058
485.53/487.14	c #Conflicts:      81000 | #Constraints:      26058
485.53/487.14	c #Conflicts:      82000 | #Constraints:      27058
485.53/487.14	c #Conflicts:      83000 | #Constraints:      28058
485.53/487.14	c #Conflicts:      84000 | #Constraints:      29058
485.53/487.14	c INPROCESSING
485.53/487.14	c GARBAGE COLLECT
485.53/487.14	c #Conflicts:      85000 | #Constraints:      24217
485.53/487.14	c #Conflicts:      86000 | #Constraints:      25217
485.53/487.14	c #Conflicts:      87000 | #Constraints:      26217
485.53/487.14	c #Conflicts:      88000 | #Constraints:      27217
485.53/487.14	c #Conflicts:      89000 | #Constraints:      28217
485.53/487.14	c #Conflicts:      90000 | #Constraints:      29217
485.53/487.14	c INPROCESSING
485.53/487.14	c GARBAGE COLLECT
485.53/487.14	c #Conflicts:      91000 | #Constraints:      24264
485.53/487.14	c #Conflicts:      92000 | #Constraints:      25264
485.53/487.14	c #Conflicts:      93000 | #Constraints:      26264
485.53/487.14	c #Conflicts:      94000 | #Constraints:      27264
485.53/487.14	c #Conflicts:      95000 | #Constraints:      28264
485.53/487.14	c #Conflicts:      96000 | #Constraints:      29264
485.53/487.14	c INPROCESSING
485.53/487.14	c GARBAGE COLLECT
485.53/487.14	c #Conflicts:      97000 | #Constraints:      24036
485.53/487.14	c #Conflicts:      98000 | #Constraints:      25036
485.53/487.14	c #Conflicts:      99000 | #Constraints:      26036
485.53/487.14	c #Conflicts:     100000 | #Constraints:      27036
485.53/487.14	c #Conflicts:     101000 | #Constraints:      28036
485.53/487.14	c #Conflicts:     102000 | #Constraints:      29036
485.53/487.14	c #Conflicts:     103000 | #Constraints:      30036
485.53/487.14	c INPROCESSING
485.53/487.14	c GARBAGE COLLECT
485.53/487.14	c #Conflicts:     104000 | #Constraints:      24580
485.53/487.14	c #Conflicts:     105000 | #Constraints:      25580
485.53/487.14	c #Conflicts:     106000 | #Constraints:      26580
485.53/487.14	c #Conflicts:     107000 | #Constraints:      27580
485.53/487.14	c #Conflicts:     108000 | #Constraints:      28580
485.53/487.14	c #Conflicts:     109000 | #Constraints:      29580
485.53/487.14	c #Conflicts:     110000 | #Constraints:      30580
485.53/487.14	c INPROCESSING
485.53/487.14	c GARBAGE COLLECT
485.53/487.14	c #Conflicts:     111000 | #Constraints:      25009
485.53/487.14	c #Conflicts:     112000 | #Constraints:      26009
485.53/487.14	c #Conflicts:     113000 | #Constraints:      27009
485.53/487.14	c #Conflicts:     114000 | #Constraints:      28009
485.53/487.14	c #Conflicts:     115000 | #Constraints:      29009
485.53/487.14	c #Conflicts:     116000 | #Constraints:      30009
485.53/487.14	c #Conflicts:     117000 | #Constraints:      31009
485.53/487.14	c INPROCESSING
485.53/487.14	c GARBAGE COLLECT
485.53/487.14	c #Conflicts:     118000 | #Constraints:      25216
485.53/487.14	c #Conflicts:     119000 | #Constraints:      26216
485.53/487.14	c #Conflicts:     120000 | #Constraints:      27216
485.53/487.14	c #Conflicts:     121000 | #Constraints:      28216
485.53/487.14	c #Conflicts:     122000 | #Constraints:      29216
646.83/648.97	c #Conflicts:     123000 | #Constraints:      30216
646.83/648.97	c #Conflicts:     124000 | #Constraints:      31216
646.83/648.97	c INPROCESSING
646.83/648.97	c GARBAGE COLLECT
646.83/648.97	c #Conflicts:     125000 | #Constraints:      25246
646.83/648.97	c #Conflicts:     126000 | #Constraints:      26246
646.83/648.97	c #Conflicts:     127000 | #Constraints:      27246
646.83/648.97	c #Conflicts:     128000 | #Constraints:      28246
646.83/648.97	c #Conflicts:     129000 | #Constraints:      29246
646.83/648.97	c #Conflicts:     130000 | #Constraints:      30246
646.83/648.97	c #Conflicts:     131000 | #Constraints:      31246
646.83/648.97	c INPROCESSING
646.83/648.97	c GARBAGE COLLECT
646.83/648.97	c #Conflicts:     132000 | #Constraints:      25016
646.83/648.97	c #Conflicts:     133000 | #Constraints:      26016
646.83/648.97	c #Conflicts:     134000 | #Constraints:      27016
646.83/648.97	c #Conflicts:     135000 | #Constraints:      28016
646.83/648.97	c #Conflicts:     136000 | #Constraints:      29016
646.83/648.97	c #Conflicts:     137000 | #Constraints:      30016
646.83/648.97	c #Conflicts:     138000 | #Constraints:      31016
646.83/648.97	c #Conflicts:     139000 | #Constraints:      32016
646.83/648.97	c #Conflicts:     140000 | #Constraints:      33016
646.83/648.97	c #Conflicts:     141000 | #Constraints:      34016
646.83/648.97	c #Conflicts:     142000 | #Constraints:      35016
646.83/648.97	c #Conflicts:     143000 | #Constraints:      36016
646.83/648.97	c #Conflicts:     144000 | #Constraints:      37016
646.83/648.97	c #Conflicts:     145000 | #Constraints:      38016
646.83/648.97	c #Conflicts:     146000 | #Constraints:      39016
646.83/648.97	c #Conflicts:     147000 | #Constraints:      40016
646.83/648.97	c #Conflicts:     148000 | #Constraints:      41016
646.83/648.97	c #Conflicts:     149000 | #Constraints:      42016
646.83/648.97	c #Conflicts:     150000 | #Constraints:      43016
646.83/648.97	c #Conflicts:     151000 | #Constraints:      44016
646.83/648.97	c #Conflicts:     152000 | #Constraints:      45016
646.83/648.97	c #Conflicts:     153000 | #Constraints:      46016
646.83/648.97	c #Conflicts:     154000 | #Constraints:      47016
646.83/648.97	c #Conflicts:     155000 | #Constraints:      48016
646.83/648.97	c #Conflicts:     156000 | #Constraints:      49016
646.83/648.97	c #Conflicts:     157000 | #Constraints:      50016
646.83/648.97	c #Conflicts:     158000 | #Constraints:      51016
646.83/648.97	c #Conflicts:     159000 | #Constraints:      52016
646.83/648.97	c #Conflicts:     160000 | #Constraints:      53016
646.83/648.97	c #Conflicts:     161000 | #Constraints:      54016
646.83/648.97	c #Conflicts:     162000 | #Constraints:      55016
646.83/648.97	c #Conflicts:     163000 | #Constraints:      56016
646.83/648.97	c #Conflicts:     164000 | #Constraints:      57016
646.83/648.97	c #Conflicts:     165000 | #Constraints:      58016
646.83/648.97	c INPROCESSING
646.83/648.97	c GARBAGE COLLECT
646.83/648.97	c #Conflicts:     166000 | #Constraints:      38638
646.83/648.97	c #Conflicts:     167000 | #Constraints:      39638
646.83/648.97	c #Conflicts:     168000 | #Constraints:      40638
646.83/648.97	c #Conflicts:     169000 | #Constraints:      41638
646.83/648.97	c #Conflicts:     170000 | #Constraints:      42638
646.83/648.97	c #Conflicts:     171000 | #Constraints:      43638
646.83/648.97	c #Conflicts:     172000 | #Constraints:      44638
646.83/648.97	c #Conflicts:     173000 | #Constraints:      45638
646.83/648.97	c #Conflicts:     174000 | #Constraints:      46638
646.83/648.97	c INPROCESSING
646.83/648.97	c GARBAGE COLLECT
646.83/648.97	c #Conflicts:     175000 | #Constraints:      33108
646.83/648.97	c #Conflicts:     176000 | #Constraints:      34108
646.83/648.97	c #Conflicts:     177000 | #Constraints:      35108
646.83/648.97	c #Conflicts:     178000 | #Constraints:      36108
646.83/648.97	c #Conflicts:     179000 | #Constraints:      37108
646.83/648.97	c #Conflicts:     180000 | #Constraints:      38108
646.83/648.97	c #Conflicts:     181000 | #Constraints:      39108
646.83/648.97	c #Conflicts:     182000 | #Constraints:      40108
646.83/648.97	c INPROCESSING
646.83/648.97	c GARBAGE COLLECT
646.83/648.97	c #Conflicts:     183000 | #Constraints:      29353
646.83/648.97	c #Conflicts:     184000 | #Constraints:      30353
646.83/648.97	c #Conflicts:     185000 | #Constraints:      31353
646.83/648.97	c #Conflicts:     186000 | #Constraints:      32353
646.83/648.97	c #Conflicts:     187000 | #Constraints:      33353
646.83/648.97	c #Conflicts:     188000 | #Constraints:      34353
646.83/648.97	c #Conflicts:     189000 | #Constraints:      35353
646.83/648.97	c #Conflicts:     190000 | #Constraints:      36353
646.83/648.97	c #Conflicts:     191000 | #Constraints:      37353
646.83/648.97	c #Conflicts:     192000 | #Constraints:      38353
646.83/648.97	c INPROCESSING
646.83/648.97	c GARBAGE COLLECT
646.83/648.97	c #Conflicts:     193000 | #Constraints:      28930
646.83/648.97	c #Conflicts:     194000 | #Constraints:      29930
646.83/648.97	c #Conflicts:     195000 | #Constraints:      30930
646.83/648.97	c #Conflicts:     196000 | #Constraints:      31930
646.83/648.97	c #Conflicts:     197000 | #Constraints:      32930
868.67/871.45	c #Conflicts:     198000 | #Constraints:      33930
868.67/871.45	c #Conflicts:     199000 | #Constraints:      34930
868.67/871.45	c #Conflicts:     200000 | #Constraints:      35930
868.67/871.45	c #Conflicts:     201000 | #Constraints:      36930
868.67/871.45	c #Conflicts:     202000 | #Constraints:      37930
868.67/871.45	c #Conflicts:     203000 | #Constraints:      38930
868.67/871.45	c #Conflicts:     204000 | #Constraints:      39930
868.67/871.45	c #Conflicts:     205000 | #Constraints:      40930
868.67/871.45	c #Conflicts:     206000 | #Constraints:      41930
868.67/871.45	c #Conflicts:     207000 | #Constraints:      42930
868.67/871.45	c #Conflicts:     208000 | #Constraints:      43930
868.67/871.45	c #Conflicts:     209000 | #Constraints:      44930
868.67/871.45	c #Conflicts:     210000 | #Constraints:      45930
868.67/871.45	c #Conflicts:     211000 | #Constraints:      46930
868.67/871.45	c #Conflicts:     212000 | #Constraints:      47930
868.67/871.45	c #Conflicts:     213000 | #Constraints:      48930
868.67/871.45	c #Conflicts:     214000 | #Constraints:      49930
868.67/871.45	c #Conflicts:     215000 | #Constraints:      50930
868.67/871.45	c #Conflicts:     216000 | #Constraints:      51930
868.67/871.45	c #Conflicts:     217000 | #Constraints:      52930
868.67/871.46	c #Conflicts:     218000 | #Constraints:      53930
868.67/871.46	c #Conflicts:     219000 | #Constraints:      54930
868.67/871.46	c #Conflicts:     220000 | #Constraints:      55930
868.67/871.46	c #Conflicts:     221000 | #Constraints:      56930
868.67/871.46	c #Conflicts:     222000 | #Constraints:      57930
868.67/871.46	c #Conflicts:     223000 | #Constraints:      58930
868.67/871.46	c #Conflicts:     224000 | #Constraints:      59930
868.67/871.46	c #Conflicts:     225000 | #Constraints:      60930
868.67/871.46	c #Conflicts:     226000 | #Constraints:      61930
868.67/871.46	c #Conflicts:     227000 | #Constraints:      62930
868.67/871.46	c #Conflicts:     228000 | #Constraints:      63930
868.67/871.46	c #Conflicts:     229000 | #Constraints:      64930
868.67/871.46	c #Conflicts:     230000 | #Constraints:      65930
868.67/871.46	c #Conflicts:     231000 | #Constraints:      66930
868.67/871.46	c INPROCESSING
868.67/871.46	c GARBAGE COLLECT
868.67/871.46	c #Conflicts:     232000 | #Constraints:      43250
868.67/871.46	c #Conflicts:     233000 | #Constraints:      44250
868.67/871.46	c #Conflicts:     234000 | #Constraints:      45250
868.67/871.46	c #Conflicts:     235000 | #Constraints:      46250
868.67/871.46	c #Conflicts:     236000 | #Constraints:      47250
868.67/871.46	c #Conflicts:     237000 | #Constraints:      48250
868.67/871.46	c #Conflicts:     238000 | #Constraints:      49250
868.67/871.46	c #Conflicts:     239000 | #Constraints:      50250
868.67/871.46	c #Conflicts:     240000 | #Constraints:      51250
868.67/871.46	c #Conflicts:     241000 | #Constraints:      52250
868.67/871.46	c INPROCESSING
868.67/871.46	c GARBAGE COLLECT
868.67/871.46	c #Conflicts:     242000 | #Constraints:      35665
868.67/871.46	c #Conflicts:     243000 | #Constraints:      36665
868.67/871.46	c #Conflicts:     244000 | #Constraints:      37665
868.67/871.46	c #Conflicts:     245000 | #Constraints:      38665
868.67/871.46	c #Conflicts:     246000 | #Constraints:      39665
868.67/871.46	c #Conflicts:     247000 | #Constraints:      40665
868.67/871.46	c #Conflicts:     248000 | #Constraints:      41665
868.67/871.46	c #Conflicts:     249000 | #Constraints:      42665
868.67/871.46	c #Conflicts:     250000 | #Constraints:      43665
868.67/871.46	c #Conflicts:     251000 | #Constraints:      44665
868.67/871.46	c #Conflicts:     252000 | #Constraints:      45665
868.67/871.46	c INPROCESSING
868.67/871.46	c GARBAGE COLLECT
868.67/871.46	c #Conflicts:     253000 | #Constraints:      32609
868.67/871.46	c #Conflicts:     254000 | #Constraints:      33609
868.67/871.46	c #Conflicts:     255000 | #Constraints:      34609
868.67/871.46	c #Conflicts:     256000 | #Constraints:      35609
868.67/871.46	c #Conflicts:     257000 | #Constraints:      36609
868.67/871.46	c #Conflicts:     258000 | #Constraints:      37609
868.67/871.46	c #Conflicts:     259000 | #Constraints:      38609
868.67/871.46	c #Conflicts:     260000 | #Constraints:      39609
868.67/871.46	c #Conflicts:     261000 | #Constraints:      40609
868.67/871.46	c #Conflicts:     262000 | #Constraints:      41609
868.67/871.46	c #Conflicts:     263000 | #Constraints:      42609
868.67/871.46	c #Conflicts:     264000 | #Constraints:      43609
868.67/871.46	c #Conflicts:     265000 | #Constraints:      44609
868.67/871.46	c #Conflicts:     266000 | #Constraints:      45609
868.67/871.46	c #Conflicts:     267000 | #Constraints:      46609
868.67/871.46	c #Conflicts:     268000 | #Constraints:      47609
868.67/871.46	c #Conflicts:     269000 | #Constraints:      48609
868.67/871.46	c #Conflicts:     270000 | #Constraints:      49609
868.67/871.46	c #Conflicts:     271000 | #Constraints:      50609
868.67/871.46	c #Conflicts:     272000 | #Constraints:      51609
868.67/871.46	c #Conflicts:     273000 | #Constraints:      52609
868.67/871.46	c #Conflicts:     274000 | #Constraints:      53609
1114.61/1118.07	c #Conflicts:     275000 | #Constraints:      54609
1114.61/1118.07	c #Conflicts:     276000 | #Constraints:      55609
1114.61/1118.07	c #Conflicts:     277000 | #Constraints:      56609
1114.61/1118.07	c #Conflicts:     278000 | #Constraints:      57609
1114.61/1118.07	c #Conflicts:     279000 | #Constraints:      58609
1114.61/1118.07	c #Conflicts:     280000 | #Constraints:      59609
1114.61/1118.07	c #Conflicts:     281000 | #Constraints:      60609
1114.61/1118.07	c #Conflicts:     282000 | #Constraints:      61609
1114.61/1118.07	c #Conflicts:     283000 | #Constraints:      62609
1114.61/1118.07	c #Conflicts:     284000 | #Constraints:      63609
1114.61/1118.07	c #Conflicts:     285000 | #Constraints:      64609
1114.61/1118.07	c #Conflicts:     286000 | #Constraints:      65609
1114.61/1118.07	c #Conflicts:     287000 | #Constraints:      66609
1114.61/1118.07	c #Conflicts:     288000 | #Constraints:      67609
1114.61/1118.07	c #Conflicts:     289000 | #Constraints:      68609
1114.61/1118.07	c #Conflicts:     290000 | #Constraints:      69609
1114.61/1118.07	c #Conflicts:     291000 | #Constraints:      70609
1114.61/1118.07	c #Conflicts:     292000 | #Constraints:      71609
1114.61/1118.07	c #Conflicts:     293000 | #Constraints:      72609
1114.61/1118.07	c #Conflicts:     294000 | #Constraints:      73609
1114.61/1118.07	c #Conflicts:     295000 | #Constraints:      74609
1114.61/1118.07	c INPROCESSING
1114.61/1118.07	c GARBAGE COLLECT
1114.61/1118.07	c #Conflicts:     296000 | #Constraints:      47032
1114.61/1118.07	c #Conflicts:     297000 | #Constraints:      48032
1114.61/1118.07	c #Conflicts:     298000 | #Constraints:      49032
1114.61/1118.07	c #Conflicts:     299000 | #Constraints:      50032
1114.61/1118.07	c #Conflicts:     300000 | #Constraints:      51032
1114.61/1118.07	c #Conflicts:     301000 | #Constraints:      52032
1114.61/1118.07	c #Conflicts:     302000 | #Constraints:      53032
1114.61/1118.07	c #Conflicts:     303000 | #Constraints:      54032
1114.61/1118.07	c #Conflicts:     304000 | #Constraints:      55032
1114.61/1118.07	c #Conflicts:     305000 | #Constraints:      56032
1114.61/1118.07	c #Conflicts:     306000 | #Constraints:      57032
1114.61/1118.07	c #Conflicts:     307000 | #Constraints:      58032
1114.61/1118.07	c INPROCESSING
1114.61/1118.07	c GARBAGE COLLECT
1114.61/1118.07	c #Conflicts:     308000 | #Constraints:      38671
1114.61/1118.07	c #Conflicts:     309000 | #Constraints:      39671
1114.61/1118.07	c #Conflicts:     310000 | #Constraints:      40671
1114.61/1118.07	c #Conflicts:     311000 | #Constraints:      41671
1114.61/1118.07	c #Conflicts:     312000 | #Constraints:      42671
1114.61/1118.07	c #Conflicts:     313000 | #Constraints:      43671
1114.61/1118.07	c #Conflicts:     314000 | #Constraints:      44671
1114.61/1118.07	c #Conflicts:     315000 | #Constraints:      45671
1114.61/1118.07	c #Conflicts:     316000 | #Constraints:      46671
1114.61/1118.07	c #Conflicts:     317000 | #Constraints:      47671
1114.61/1118.07	c #Conflicts:     318000 | #Constraints:      48671
1114.61/1118.07	c #Conflicts:     319000 | #Constraints:      49671
1114.61/1118.07	c INPROCESSING
1114.61/1118.07	c GARBAGE COLLECT
1114.61/1118.07	c #Conflicts:     320000 | #Constraints:      34552
1114.61/1118.07	c #Conflicts:     321000 | #Constraints:      35552
1114.61/1118.07	c #Conflicts:     322000 | #Constraints:      36552
1114.61/1118.07	c #Conflicts:     323000 | #Constraints:      37552
1114.61/1118.07	c #Conflicts:     324000 | #Constraints:      38552
1114.61/1118.07	c #Conflicts:     325000 | #Constraints:      39552
1114.61/1118.07	c #Conflicts:     326000 | #Constraints:      40552
1114.61/1118.07	c #Conflicts:     327000 | #Constraints:      41552
1114.61/1118.07	c #Conflicts:     328000 | #Constraints:      42552
1114.61/1118.07	c #Conflicts:     329000 | #Constraints:      43552
1114.61/1118.07	c #Conflicts:     330000 | #Constraints:      44552
1114.61/1118.07	c #Conflicts:     331000 | #Constraints:      45552
1114.61/1118.07	c #Conflicts:     332000 | #Constraints:      46552
1114.61/1118.07	c #Conflicts:     333000 | #Constraints:      47552
1114.61/1118.07	c #Conflicts:     334000 | #Constraints:      48552
1114.61/1118.07	c #Conflicts:     335000 | #Constraints:      49552
1114.61/1118.07	c #Conflicts:     336000 | #Constraints:      50552
1114.61/1118.07	c #Conflicts:     337000 | #Constraints:      51552
1114.61/1118.07	c #Conflicts:     338000 | #Constraints:      52552
1114.61/1118.07	c #Conflicts:     339000 | #Constraints:      53552
1114.61/1118.07	c #Conflicts:     340000 | #Constraints:      54552
1114.61/1118.07	c #Conflicts:     341000 | #Constraints:      55552
1114.61/1118.07	c #Conflicts:     342000 | #Constraints:      56552
1114.61/1118.07	c #Conflicts:     343000 | #Constraints:      57552
1114.61/1118.07	c #Conflicts:     344000 | #Constraints:      58552
1114.61/1118.07	c #Conflicts:     345000 | #Constraints:      59552
1114.61/1118.07	c #Conflicts:     346000 | #Constraints:      60552
1114.61/1118.07	c #Conflicts:     347000 | #Constraints:      61552
1114.61/1118.07	c #Conflicts:     348000 | #Constraints:      62552
1114.61/1118.07	c #Conflicts:     349000 | #Constraints:      63552
1114.61/1118.07	c #Conflicts:     350000 | #Constraints:      64552
1114.61/1118.07	c #Conflicts:     351000 | #Constraints:      65552
1430.81/1435.03	c #Conflicts:     352000 | #Constraints:      66552
1430.81/1435.03	c #Conflicts:     353000 | #Constraints:      67552
1430.81/1435.03	c #Conflicts:     354000 | #Constraints:      68552
1430.81/1435.03	c #Conflicts:     355000 | #Constraints:      69552
1430.81/1435.03	c #Conflicts:     356000 | #Constraints:      70552
1430.81/1435.03	c #Conflicts:     357000 | #Constraints:      71552
1430.81/1435.03	c #Conflicts:     358000 | #Constraints:      72552
1430.81/1435.03	c #Conflicts:     359000 | #Constraints:      73552
1430.81/1435.03	c #Conflicts:     360000 | #Constraints:      74552
1430.81/1435.03	c #Conflicts:     361000 | #Constraints:      75552
1430.81/1435.03	c #Conflicts:     362000 | #Constraints:      76552
1430.81/1435.03	c #Conflicts:     363000 | #Constraints:      77552
1430.81/1435.03	c #Conflicts:     364000 | #Constraints:      78552
1430.81/1435.03	c #Conflicts:     365000 | #Constraints:      79552
1430.81/1435.03	c #Conflicts:     366000 | #Constraints:      80552
1430.81/1435.03	c INPROCESSING
1430.81/1435.03	c GARBAGE COLLECT
1430.81/1435.03	c #Conflicts:     367000 | #Constraints:      49748
1430.81/1435.03	c #Conflicts:     368000 | #Constraints:      50748
1430.81/1435.03	c #Conflicts:     369000 | #Constraints:      51748
1430.81/1435.03	c #Conflicts:     370000 | #Constraints:      52748
1430.81/1435.03	c #Conflicts:     371000 | #Constraints:      53748
1430.81/1435.03	c #Conflicts:     372000 | #Constraints:      54748
1430.81/1435.03	c #Conflicts:     373000 | #Constraints:      55748
1430.81/1435.03	c #Conflicts:     374000 | #Constraints:      56748
1430.81/1435.03	c #Conflicts:     375000 | #Constraints:      57748
1430.81/1435.03	c #Conflicts:     376000 | #Constraints:      58748
1430.81/1435.03	c #Conflicts:     377000 | #Constraints:      59748
1430.81/1435.03	c #Conflicts:     378000 | #Constraints:      60748
1430.81/1435.03	c #Conflicts:     379000 | #Constraints:      61748
1430.81/1435.03	c #Conflicts:     380000 | #Constraints:      62748
1430.81/1435.03	c INPROCESSING
1430.81/1435.03	c GARBAGE COLLECT
1430.81/1435.03	c #Conflicts:     381000 | #Constraints:      41218
1430.81/1435.03	c #Conflicts:     382000 | #Constraints:      42218
1430.81/1435.03	c #Conflicts:     383000 | #Constraints:      43218
1430.81/1435.03	c #Conflicts:     384000 | #Constraints:      44218
1430.81/1435.03	c #Conflicts:     385000 | #Constraints:      45218
1430.81/1435.03	c #Conflicts:     386000 | #Constraints:      46218
1430.81/1435.03	c #Conflicts:     387000 | #Constraints:      47218
1430.81/1435.03	c #Conflicts:     388000 | #Constraints:      48218
1430.81/1435.03	c #Conflicts:     389000 | #Constraints:      49218
1430.81/1435.03	c #Conflicts:     390000 | #Constraints:      50218
1430.81/1435.03	c #Conflicts:     391000 | #Constraints:      51218
1430.81/1435.03	c #Conflicts:     392000 | #Constraints:      52218
1430.81/1435.03	c #Conflicts:     393000 | #Constraints:      53218
1430.81/1435.03	c INPROCESSING
1430.81/1435.03	c GARBAGE COLLECT
1430.81/1435.03	c #Conflicts:     394000 | #Constraints:      36745
1430.81/1435.03	c #Conflicts:     395000 | #Constraints:      37745
1430.81/1435.03	c #Conflicts:     396000 | #Constraints:      38745
1430.81/1435.03	c #Conflicts:     397000 | #Constraints:      39745
1430.81/1435.03	c #Conflicts:     398000 | #Constraints:      40745
1430.81/1435.03	c #Conflicts:     399000 | #Constraints:      41745
1430.81/1435.03	c #Conflicts:     400000 | #Constraints:      42745
1430.81/1435.03	c #Conflicts:     401000 | #Constraints:      43745
1430.81/1435.03	c #Conflicts:     402000 | #Constraints:      44745
1430.81/1435.03	c #Conflicts:     403000 | #Constraints:      45745
1430.81/1435.03	c #Conflicts:     404000 | #Constraints:      46745
1430.81/1435.03	c #Conflicts:     405000 | #Constraints:      47745
1430.81/1435.03	c #Conflicts:     406000 | #Constraints:      48745
1430.81/1435.03	c #Conflicts:     407000 | #Constraints:      49745
1430.81/1435.03	c #Conflicts:     408000 | #Constraints:      50745
1430.81/1435.03	c #Conflicts:     409000 | #Constraints:      51745
1430.81/1435.03	c #Conflicts:     410000 | #Constraints:      52745
1430.81/1435.03	c #Conflicts:     411000 | #Constraints:      53745
1430.81/1435.03	c #Conflicts:     412000 | #Constraints:      54745
1430.81/1435.03	c #Conflicts:     413000 | #Constraints:      55745
1430.81/1435.03	c #Conflicts:     414000 | #Constraints:      56745
1430.81/1435.03	c #Conflicts:     415000 | #Constraints:      57745
1430.81/1435.03	c #Conflicts:     416000 | #Constraints:      58745
1430.81/1435.03	c #Conflicts:     417000 | #Constraints:      59745
1430.81/1435.03	c #Conflicts:     418000 | #Constraints:      60745
1430.81/1435.03	c #Conflicts:     419000 | #Constraints:      61745
1430.81/1435.03	c #Conflicts:     420000 | #Constraints:      62745
1430.81/1435.03	c #Conflicts:     421000 | #Constraints:      63745
1430.81/1435.03	c #Conflicts:     422000 | #Constraints:      64745
1430.81/1435.03	c #Conflicts:     423000 | #Constraints:      65745
1430.81/1435.03	c #Conflicts:     424000 | #Constraints:      66745
1430.81/1435.03	c #Conflicts:     425000 | #Constraints:      67745
1430.81/1435.03	c #Conflicts:     426000 | #Constraints:      68745
1430.81/1435.03	c #Conflicts:     427000 | #Constraints:      69745
1430.81/1435.03	c #Conflicts:     428000 | #Constraints:      70745
1671.94/1676.77	c #Conflicts:     429000 | #Constraints:      71745
1671.94/1676.77	c #Conflicts:     430000 | #Constraints:      72745
1671.94/1676.77	c #Conflicts:     431000 | #Constraints:      73745
1671.94/1676.77	c #Conflicts:     432000 | #Constraints:      74745
1671.94/1676.77	c #Conflicts:     433000 | #Constraints:      75745
1671.94/1676.77	c #Conflicts:     434000 | #Constraints:      76745
1671.94/1676.77	c #Conflicts:     435000 | #Constraints:      77745
1671.94/1676.77	c #Conflicts:     436000 | #Constraints:      78745
1671.94/1676.77	c #Conflicts:     437000 | #Constraints:      79745
1671.94/1676.77	c #Conflicts:     438000 | #Constraints:      80745
1671.94/1676.77	c #Conflicts:     439000 | #Constraints:      81745
1671.94/1676.77	c #Conflicts:     440000 | #Constraints:      82745
1671.94/1676.77	c #Conflicts:     441000 | #Constraints:      83745
1671.94/1676.77	c #Conflicts:     442000 | #Constraints:      84745
1671.94/1676.77	c #Conflicts:     443000 | #Constraints:      85745
1671.94/1676.77	c #Conflicts:     444000 | #Constraints:      86745
1671.94/1676.77	c #Conflicts:     445000 | #Constraints:      87745
1671.94/1676.77	c INPROCESSING
1671.94/1676.77	c GARBAGE COLLECT
1671.94/1676.77	c #Conflicts:     446000 | #Constraints:      53603
1671.94/1676.77	c #Conflicts:     447000 | #Constraints:      54603
1671.94/1676.77	c #Conflicts:     448000 | #Constraints:      55603
1671.94/1676.77	c #Conflicts:     449000 | #Constraints:      56603
1671.94/1676.77	c #Conflicts:     450000 | #Constraints:      57603
1671.94/1676.77	c #Conflicts:     451000 | #Constraints:      58603
1671.94/1676.77	c #Conflicts:     452000 | #Constraints:      59603
1671.94/1676.77	c #Conflicts:     453000 | #Constraints:      60603
1671.94/1676.77	c #Conflicts:     454000 | #Constraints:      61603
1671.94/1676.77	c #Conflicts:     455000 | #Constraints:      62603
1671.94/1676.77	c #Conflicts:     456000 | #Constraints:      63603
1671.94/1676.77	c #Conflicts:     457000 | #Constraints:      64603
1671.94/1676.77	c #Conflicts:     458000 | #Constraints:      65603
1671.94/1676.77	c #Conflicts:     459000 | #Constraints:      66603
1671.94/1676.77	c #Conflicts:     460000 | #Constraints:      67603
1671.94/1676.77	c INPROCESSING
1671.94/1676.77	c GARBAGE COLLECT
1671.94/1676.77	c #Conflicts:     461000 | #Constraints:      43525
1671.94/1676.77	c #Conflicts:     462000 | #Constraints:      44525
1671.94/1676.77	c #Conflicts:     463000 | #Constraints:      45525
1671.94/1676.77	c #Conflicts:     464000 | #Constraints:      46525
1671.94/1676.77	c #Conflicts:     465000 | #Constraints:      47525
1671.94/1676.77	c #Conflicts:     466000 | #Constraints:      48525
1671.94/1676.77	c #Conflicts:     467000 | #Constraints:      49525
1671.94/1676.77	c #Conflicts:     468000 | #Constraints:      50525
1671.94/1676.77	c #Conflicts:     469000 | #Constraints:      51525
1671.94/1676.77	c #Conflicts:     470000 | #Constraints:      52525
1671.94/1676.77	c #Conflicts:     471000 | #Constraints:      53525
1671.94/1676.77	c #Conflicts:     472000 | #Constraints:      54525
1671.94/1676.77	c #Conflicts:     473000 | #Constraints:      55525
1671.94/1676.77	c #Conflicts:     474000 | #Constraints:      56525
1671.94/1676.77	c #Conflicts:     475000 | #Constraints:      57525
1671.94/1676.77	c INPROCESSING
1671.94/1676.77	c GARBAGE COLLECT
1671.94/1676.77	c #Conflicts:     476000 | #Constraints:      39634
1671.94/1676.77	c #Conflicts:     477000 | #Constraints:      40634
1671.94/1676.77	c #Conflicts:     478000 | #Constraints:      41634
1671.94/1676.77	c #Conflicts:     479000 | #Constraints:      42634
1671.94/1676.77	c #Conflicts:     480000 | #Constraints:      43634
1671.94/1676.77	c #Conflicts:     481000 | #Constraints:      44634
1671.94/1676.77	c #Conflicts:     482000 | #Constraints:      45634
1671.94/1676.77	c #Conflicts:     483000 | #Constraints:      46634
1671.94/1676.77	c #Conflicts:     484000 | #Constraints:      47634
1671.94/1676.77	c #Conflicts:     485000 | #Constraints:      48634
1671.94/1676.77	c #Conflicts:     486000 | #Constraints:      49634
1671.94/1676.77	c #Conflicts:     487000 | #Constraints:      50634
1671.94/1676.77	c #Conflicts:     488000 | #Constraints:      51634
1671.94/1676.77	c #Conflicts:     489000 | #Constraints:      52634
1671.94/1676.77	c #Conflicts:     490000 | #Constraints:      53634
1671.94/1676.77	c #Conflicts:     491000 | #Constraints:      54634
1671.94/1676.77	c #Conflicts:     492000 | #Constraints:      55634
1671.94/1676.77	c #Conflicts:     493000 | #Constraints:      56634
1671.94/1676.77	c #Conflicts:     494000 | #Constraints:      57634
1671.94/1676.77	c #Conflicts:     495000 | #Constraints:      58634
1671.94/1676.77	c #Conflicts:     496000 | #Constraints:      59634
1671.94/1676.77	c #Conflicts:     497000 | #Constraints:      60634
1671.94/1676.77	c #Conflicts:     498000 | #Constraints:      61634
1671.94/1676.77	c #Conflicts:     499000 | #Constraints:      62634
1671.94/1676.77	c #Conflicts:     500000 | #Constraints:      63634
1671.94/1676.77	c #Conflicts:     501000 | #Constraints:      64634
1671.94/1676.77	c #Conflicts:     502000 | #Constraints:      65634
1671.94/1676.77	c #Conflicts:     503000 | #Constraints:      66634
1671.94/1676.77	c #Conflicts:     504000 | #Constraints:      67634
1968.24/1973.70	c #Conflicts:     505000 | #Constraints:      68634
1968.24/1973.70	c #Conflicts:     506000 | #Constraints:      69634
1968.24/1973.70	c #Conflicts:     507000 | #Constraints:      70634
1968.24/1973.70	c #Conflicts:     508000 | #Constraints:      71634
1968.24/1973.70	c #Conflicts:     509000 | #Constraints:      72634
1968.24/1973.70	c #Conflicts:     510000 | #Constraints:      73634
1968.24/1973.70	c #Conflicts:     511000 | #Constraints:      74634
1968.24/1973.70	c #Conflicts:     512000 | #Constraints:      75634
1968.24/1973.70	c #Conflicts:     513000 | #Constraints:      76634
1968.24/1973.70	c #Conflicts:     514000 | #Constraints:      77634
1968.24/1973.70	c #Conflicts:     515000 | #Constraints:      78634
1968.24/1973.70	c #Conflicts:     516000 | #Constraints:      79634
1968.24/1973.70	c #Conflicts:     517000 | #Constraints:      80634
1968.24/1973.70	c #Conflicts:     518000 | #Constraints:      81634
1968.24/1973.70	c #Conflicts:     519000 | #Constraints:      82634
1968.24/1973.70	c #Conflicts:     520000 | #Constraints:      83634
1968.24/1973.70	c #Conflicts:     521000 | #Constraints:      84634
1968.24/1973.70	c #Conflicts:     522000 | #Constraints:      85634
1968.24/1973.70	c #Conflicts:     523000 | #Constraints:      86634
1968.24/1973.70	c #Conflicts:     524000 | #Constraints:      87634
1968.24/1973.70	c #Conflicts:     525000 | #Constraints:      88634
1968.24/1973.70	c #Conflicts:     526000 | #Constraints:      89634
1968.24/1973.70	c #Conflicts:     527000 | #Constraints:      90634
1968.24/1973.70	c #Conflicts:     528000 | #Constraints:      91634
1968.24/1973.70	c #Conflicts:     529000 | #Constraints:      92634
1968.24/1973.70	c #Conflicts:     530000 | #Constraints:      93634
1968.24/1973.70	c #Conflicts:     531000 | #Constraints:      94634
1968.24/1973.70	c INPROCESSING
1968.24/1973.70	c GARBAGE COLLECT
1968.24/1973.70	c #Conflicts:     532000 | #Constraints:      57039
1968.24/1973.70	c #Conflicts:     533000 | #Constraints:      58039
1968.24/1973.70	c #Conflicts:     534000 | #Constraints:      59039
1968.24/1973.70	c #Conflicts:     535000 | #Constraints:      60039
1968.24/1973.70	c #Conflicts:     536000 | #Constraints:      61039
1968.24/1973.70	c #Conflicts:     537000 | #Constraints:      62039
1968.24/1973.70	c #Conflicts:     538000 | #Constraints:      63039
1968.24/1973.70	c #Conflicts:     539000 | #Constraints:      64039
1968.24/1973.70	c #Conflicts:     540000 | #Constraints:      65039
1968.24/1973.70	c #Conflicts:     541000 | #Constraints:      66039
1968.24/1973.70	c #Conflicts:     542000 | #Constraints:      67039
1968.24/1973.70	c #Conflicts:     543000 | #Constraints:      68039
1968.24/1973.70	c #Conflicts:     544000 | #Constraints:      69039
1968.24/1973.70	c #Conflicts:     545000 | #Constraints:      70039
1968.24/1973.70	c #Conflicts:     546000 | #Constraints:      71039
1968.24/1973.70	c #Conflicts:     547000 | #Constraints:      72039
1968.24/1973.70	c INPROCESSING
1968.24/1973.70	c GARBAGE COLLECT
1968.24/1973.70	c #Conflicts:     548000 | #Constraints:      45563
1968.24/1973.70	c #Conflicts:     549000 | #Constraints:      46563
1968.24/1973.70	c #Conflicts:     550000 | #Constraints:      47563
1968.24/1973.70	c #Conflicts:     551000 | #Constraints:      48563
1968.24/1973.70	c #Conflicts:     552000 | #Constraints:      49563
1968.24/1973.70	c #Conflicts:     553000 | #Constraints:      50563
1968.24/1973.70	c #Conflicts:     554000 | #Constraints:      51563
1968.24/1973.70	c #Conflicts:     555000 | #Constraints:      52563
1968.24/1973.70	c #Conflicts:     556000 | #Constraints:      53563
1968.24/1973.70	c #Conflicts:     557000 | #Constraints:      54563
1968.24/1973.70	c #Conflicts:     558000 | #Constraints:      55563
1968.24/1973.70	c #Conflicts:     559000 | #Constraints:      56563
1968.24/1973.70	c #Conflicts:     560000 | #Constraints:      57563
1968.24/1973.70	c #Conflicts:     561000 | #Constraints:      58563
1968.24/1973.70	c #Conflicts:     562000 | #Constraints:      59563
1968.24/1973.70	c #Conflicts:     563000 | #Constraints:      60563
1968.24/1973.70	c #Conflicts:     564000 | #Constraints:      61563
1968.24/1973.70	c INPROCESSING
1968.24/1973.70	c GARBAGE COLLECT
1968.24/1973.70	c #Conflicts:     565000 | #Constraints:      42381
1968.24/1973.70	c #Conflicts:     566000 | #Constraints:      43381
1968.24/1973.70	c #Conflicts:     567000 | #Constraints:      44381
1968.24/1973.70	c #Conflicts:     568000 | #Constraints:      45381
1968.24/1973.70	c #Conflicts:     569000 | #Constraints:      46381
1968.24/1973.70	c #Conflicts:     570000 | #Constraints:      47381
1968.24/1973.70	c #Conflicts:     571000 | #Constraints:      48381
1968.24/1973.70	c #Conflicts:     572000 | #Constraints:      49381
1968.24/1973.70	c #Conflicts:     573000 | #Constraints:      50381
1968.24/1973.70	c #Conflicts:     574000 | #Constraints:      51381
1968.24/1973.70	c #Conflicts:     575000 | #Constraints:      52381
1968.24/1973.70	c #Conflicts:     576000 | #Constraints:      53381
1968.24/1973.70	c #Conflicts:     577000 | #Constraints:      54381
1968.24/1973.70	c #Conflicts:     578000 | #Constraints:      55381
1968.24/1973.70	c #Conflicts:     579000 | #Constraints:      56381
1968.24/1973.70	c #Conflicts:     580000 | #Constraints:      57381
1968.24/1973.70	c #Conflicts:     581000 | #Constraints:      58381
2307.85/2314.19	c #Conflicts:     582000 | #Constraints:      59381
2307.85/2314.19	c #Conflicts:     583000 | #Constraints:      60381
2307.85/2314.19	c #Conflicts:     584000 | #Constraints:      61381
2307.85/2314.19	c #Conflicts:     585000 | #Constraints:      62381
2307.85/2314.19	c #Conflicts:     586000 | #Constraints:      63381
2307.85/2314.19	c #Conflicts:     587000 | #Constraints:      64381
2307.85/2314.19	c #Conflicts:     588000 | #Constraints:      65381
2307.85/2314.19	c #Conflicts:     589000 | #Constraints:      66381
2307.85/2314.19	c #Conflicts:     590000 | #Constraints:      67381
2307.85/2314.19	c #Conflicts:     591000 | #Constraints:      68381
2307.85/2314.19	c #Conflicts:     592000 | #Constraints:      69381
2307.85/2314.19	c #Conflicts:     593000 | #Constraints:      70381
2307.85/2314.19	c #Conflicts:     594000 | #Constraints:      71381
2307.85/2314.19	c #Conflicts:     595000 | #Constraints:      72381
2307.85/2314.19	c #Conflicts:     596000 | #Constraints:      73381
2307.85/2314.19	c #Conflicts:     597000 | #Constraints:      74381
2307.85/2314.19	c #Conflicts:     598000 | #Constraints:      75381
2307.85/2314.19	c #Conflicts:     599000 | #Constraints:      76381
2307.85/2314.19	c #Conflicts:     600000 | #Constraints:      77381
2307.85/2314.19	c #Conflicts:     601000 | #Constraints:      78381
2307.85/2314.19	c #Conflicts:     602000 | #Constraints:      79381
2307.85/2314.19	c #Conflicts:     603000 | #Constraints:      80381
2307.85/2314.19	c #Conflicts:     604000 | #Constraints:      81381
2307.85/2314.19	c #Conflicts:     605000 | #Constraints:      82381
2307.85/2314.19	c #Conflicts:     606000 | #Constraints:      83381
2307.85/2314.19	c #Conflicts:     607000 | #Constraints:      84381
2307.85/2314.19	c #Conflicts:     608000 | #Constraints:      85381
2307.85/2314.19	c #Conflicts:     609000 | #Constraints:      86381
2307.85/2314.19	c #Conflicts:     610000 | #Constraints:      87381
2307.85/2314.19	c #Conflicts:     611000 | #Constraints:      88381
2307.85/2314.19	c #Conflicts:     612000 | #Constraints:      89381
2307.85/2314.19	c #Conflicts:     613000 | #Constraints:      90381
2307.85/2314.19	c #Conflicts:     614000 | #Constraints:      91381
2307.85/2314.19	c #Conflicts:     615000 | #Constraints:      92381
2307.85/2314.19	c #Conflicts:     616000 | #Constraints:      93381
2307.85/2314.19	c #Conflicts:     617000 | #Constraints:      94381
2307.85/2314.19	c #Conflicts:     618000 | #Constraints:      95381
2307.85/2314.19	c #Conflicts:     619000 | #Constraints:      96381
2307.85/2314.19	c #Conflicts:     620000 | #Constraints:      97381
2307.85/2314.19	c #Conflicts:     621000 | #Constraints:      98381
2307.85/2314.19	c #Conflicts:     622000 | #Constraints:      99381
2307.85/2314.19	c #Conflicts:     623000 | #Constraints:     100381
2307.85/2314.19	c #Conflicts:     624000 | #Constraints:     101381
2307.85/2314.19	c INPROCESSING
2307.85/2314.19	c GARBAGE COLLECT
2307.85/2314.19	c #Conflicts:     625000 | #Constraints:      60442
2307.85/2314.19	c #Conflicts:     626000 | #Constraints:      61442
2307.85/2314.19	c #Conflicts:     627000 | #Constraints:      62442
2307.85/2314.19	c #Conflicts:     628000 | #Constraints:      63442
2307.85/2314.19	c #Conflicts:     629000 | #Constraints:      64442
2307.85/2314.19	c #Conflicts:     630000 | #Constraints:      65442
2307.85/2314.19	c #Conflicts:     631000 | #Constraints:      66442
2307.85/2314.19	c #Conflicts:     632000 | #Constraints:      67442
2307.85/2314.19	c #Conflicts:     633000 | #Constraints:      68442
2307.85/2314.19	c #Conflicts:     634000 | #Constraints:      69442
2307.85/2314.19	c #Conflicts:     635000 | #Constraints:      70442
2307.85/2314.19	c #Conflicts:     636000 | #Constraints:      71442
2307.85/2314.19	c #Conflicts:     637000 | #Constraints:      72442
2307.85/2314.19	c #Conflicts:     638000 | #Constraints:      73442
2307.85/2314.19	c #Conflicts:     639000 | #Constraints:      74442
2307.85/2314.19	c #Conflicts:     640000 | #Constraints:      75442
2307.85/2314.20	c #Conflicts:     641000 | #Constraints:      76442
2307.85/2314.20	c INPROCESSING
2307.85/2314.20	c GARBAGE COLLECT
2307.85/2314.20	c #Conflicts:     642000 | #Constraints:      47529
2307.85/2314.20	c #Conflicts:     643000 | #Constraints:      48529
2307.85/2314.20	c #Conflicts:     644000 | #Constraints:      49529
2307.85/2314.20	c #Conflicts:     645000 | #Constraints:      50529
2307.85/2314.20	c #Conflicts:     646000 | #Constraints:      51529
2307.85/2314.20	c #Conflicts:     647000 | #Constraints:      52529
2307.85/2314.20	c #Conflicts:     648000 | #Constraints:      53529
2307.85/2314.20	c #Conflicts:     649000 | #Constraints:      54529
2307.85/2314.20	c #Conflicts:     650000 | #Constraints:      55529
2307.85/2314.20	c #Conflicts:     651000 | #Constraints:      56529
2307.85/2314.20	c #Conflicts:     652000 | #Constraints:      57529
2307.85/2314.20	c #Conflicts:     653000 | #Constraints:      58529
2307.85/2314.20	c #Conflicts:     654000 | #Constraints:      59529
2307.85/2314.20	c #Conflicts:     655000 | #Constraints:      60529
2307.85/2314.20	c #Conflicts:     656000 | #Constraints:      61529
2307.85/2314.20	c #Conflicts:     657000 | #Constraints:      62529
2307.85/2314.20	c #Conflicts:     658000 | #Constraints:      63529
2307.85/2314.20	c #Conflicts:     659000 | #Constraints:      64529
2620.91/2628.00	c #Conflicts:     660000 | #Constraints:      65529
2620.91/2628.00	c INPROCESSING
2620.91/2628.00	c GARBAGE COLLECT
2620.91/2628.00	c #Conflicts:     661000 | #Constraints:      45033
2620.91/2628.00	c #Conflicts:     662000 | #Constraints:      46033
2620.91/2628.00	c #Conflicts:     663000 | #Constraints:      47033
2620.91/2628.00	c #Conflicts:     664000 | #Constraints:      48033
2620.91/2628.00	c #Conflicts:     665000 | #Constraints:      49033
2620.91/2628.00	c #Conflicts:     666000 | #Constraints:      50033
2620.91/2628.00	c #Conflicts:     667000 | #Constraints:      51033
2620.91/2628.00	c #Conflicts:     668000 | #Constraints:      52033
2620.91/2628.00	c #Conflicts:     669000 | #Constraints:      53033
2620.91/2628.00	c #Conflicts:     670000 | #Constraints:      54033
2620.91/2628.00	c #Conflicts:     671000 | #Constraints:      55033
2620.91/2628.00	c #Conflicts:     672000 | #Constraints:      56033
2620.91/2628.00	c #Conflicts:     673000 | #Constraints:      57033
2620.91/2628.00	c #Conflicts:     674000 | #Constraints:      58033
2620.91/2628.00	c #Conflicts:     675000 | #Constraints:      59033
2620.91/2628.00	c #Conflicts:     676000 | #Constraints:      60033
2620.91/2628.00	c #Conflicts:     677000 | #Constraints:      61033
2620.91/2628.00	c #Conflicts:     678000 | #Constraints:      62033
2620.91/2628.00	c #Conflicts:     679000 | #Constraints:      63033
2620.91/2628.00	c #Conflicts:     680000 | #Constraints:      64033
2620.91/2628.00	c #Conflicts:     681000 | #Constraints:      65033
2620.91/2628.00	c #Conflicts:     682000 | #Constraints:      66033
2620.91/2628.00	c #Conflicts:     683000 | #Constraints:      67033
2620.91/2628.00	c #Conflicts:     684000 | #Constraints:      68033
2620.91/2628.00	c #Conflicts:     685000 | #Constraints:      69033
2620.91/2628.00	c #Conflicts:     686000 | #Constraints:      70033
2620.91/2628.00	c #Conflicts:     687000 | #Constraints:      71033
2620.91/2628.00	c #Conflicts:     688000 | #Constraints:      72033
2620.91/2628.00	c #Conflicts:     689000 | #Constraints:      73033
2620.91/2628.00	c #Conflicts:     690000 | #Constraints:      74033
2620.91/2628.00	c #Conflicts:     691000 | #Constraints:      75033
2620.91/2628.00	c #Conflicts:     692000 | #Constraints:      76033
2620.91/2628.00	c #Conflicts:     693000 | #Constraints:      77033
2620.91/2628.00	c #Conflicts:     694000 | #Constraints:      78033
2620.91/2628.00	c #Conflicts:     695000 | #Constraints:      79033
2620.91/2628.00	c #Conflicts:     696000 | #Constraints:      80033
2620.91/2628.00	c #Conflicts:     697000 | #Constraints:      81033
2620.91/2628.00	c #Conflicts:     698000 | #Constraints:      82033
2620.91/2628.00	c #Conflicts:     699000 | #Constraints:      83033
2620.91/2628.00	c #Conflicts:     700000 | #Constraints:      84033
2620.91/2628.00	c #Conflicts:     701000 | #Constraints:      85033
2620.91/2628.00	c #Conflicts:     702000 | #Constraints:      86033
2620.91/2628.00	c #Conflicts:     703000 | #Constraints:      87033
2620.91/2628.00	c #Conflicts:     704000 | #Constraints:      88033
2620.91/2628.00	c #Conflicts:     705000 | #Constraints:      89033
2620.91/2628.00	c #Conflicts:     706000 | #Constraints:      90033
2620.91/2628.00	c #Conflicts:     707000 | #Constraints:      91033
2620.91/2628.00	c #Conflicts:     708000 | #Constraints:      92033
2620.91/2628.00	c #Conflicts:     709000 | #Constraints:      93033
2620.91/2628.00	c #Conflicts:     710000 | #Constraints:      94033
2620.91/2628.00	c #Conflicts:     711000 | #Constraints:      95033
2620.91/2628.00	c #Conflicts:     712000 | #Constraints:      96033
2620.91/2628.00	c #Conflicts:     713000 | #Constraints:      97033
2620.91/2628.00	c #Conflicts:     714000 | #Constraints:      98033
2620.91/2628.00	c #Conflicts:     715000 | #Constraints:      99033
2620.91/2628.00	c #Conflicts:     716000 | #Constraints:     100033
2620.91/2628.00	c #Conflicts:     717000 | #Constraints:     101033
2620.91/2628.00	c #Conflicts:     718000 | #Constraints:     102033
2620.91/2628.00	c #Conflicts:     719000 | #Constraints:     103033
2620.91/2628.00	c #Conflicts:     720000 | #Constraints:     104033
2620.91/2628.00	c #Conflicts:     721000 | #Constraints:     105033
2620.91/2628.00	c #Conflicts:     722000 | #Constraints:     106033
2620.91/2628.00	c #Conflicts:     723000 | #Constraints:     107033
2620.91/2628.00	c #Conflicts:     724000 | #Constraints:     108033
2620.91/2628.00	c INPROCESSING
2620.91/2628.00	c GARBAGE COLLECT
2620.91/2628.00	c #Conflicts:     725000 | #Constraints:      63771
2620.91/2628.00	c #Conflicts:     726000 | #Constraints:      64771
2620.91/2628.00	c #Conflicts:     727000 | #Constraints:      65771
2620.91/2628.00	c #Conflicts:     728000 | #Constraints:      66771
2620.91/2628.00	c #Conflicts:     729000 | #Constraints:      67771
2620.91/2628.00	c #Conflicts:     730000 | #Constraints:      68771
2620.91/2628.00	c #Conflicts:     731000 | #Constraints:      69771
2620.91/2628.00	c #Conflicts:     732000 | #Constraints:      70771
2620.91/2628.00	c #Conflicts:     733000 | #Constraints:      71771
2620.91/2628.00	c #Conflicts:     734000 | #Constraints:      72771
2620.91/2628.00	c #Conflicts:     735000 | #Constraints:      73771
2620.91/2628.00	c #Conflicts:     736000 | #Constraints:      74771
2886.69/2894.36	c #Conflicts:     737000 | #Constraints:      75771
2886.69/2894.36	c #Conflicts:     738000 | #Constraints:      76771
2886.69/2894.36	c #Conflicts:     739000 | #Constraints:      77771
2886.69/2894.36	c #Conflicts:     740000 | #Constraints:      78771
2886.69/2894.36	c #Conflicts:     741000 | #Constraints:      79771
2886.69/2894.36	c #Conflicts:     742000 | #Constraints:      80771
2886.69/2894.36	c #Conflicts:     743000 | #Constraints:      81771
2886.69/2894.36	c INPROCESSING
2886.69/2894.36	c GARBAGE COLLECT
2886.69/2894.36	c #Conflicts:     744000 | #Constraints:      50463
2886.69/2894.36	c #Conflicts:     745000 | #Constraints:      51463
2886.69/2894.36	c #Conflicts:     746000 | #Constraints:      52463
2886.69/2894.36	c #Conflicts:     747000 | #Constraints:      53463
2886.69/2894.36	c #Conflicts:     748000 | #Constraints:      54463
2886.69/2894.36	c #Conflicts:     749000 | #Constraints:      55463
2886.69/2894.36	c #Conflicts:     750000 | #Constraints:      56463
2886.69/2894.36	c #Conflicts:     751000 | #Constraints:      57463
2886.69/2894.36	c #Conflicts:     752000 | #Constraints:      58463
2886.69/2894.36	c #Conflicts:     753000 | #Constraints:      59463
2886.69/2894.36	c #Conflicts:     754000 | #Constraints:      60463
2886.69/2894.36	c #Conflicts:     755000 | #Constraints:      61463
2886.69/2894.36	c #Conflicts:     756000 | #Constraints:      62463
2886.69/2894.36	c #Conflicts:     757000 | #Constraints:      63463
2886.69/2894.36	c #Conflicts:     758000 | #Constraints:      64463
2886.69/2894.36	c #Conflicts:     759000 | #Constraints:      65463
2886.69/2894.36	c #Conflicts:     760000 | #Constraints:      66463
2886.69/2894.36	c #Conflicts:     761000 | #Constraints:      67463
2886.69/2894.36	c #Conflicts:     762000 | #Constraints:      68463
2886.69/2894.36	c #Conflicts:     763000 | #Constraints:      69463
2886.69/2894.36	c INPROCESSING
2886.69/2894.36	c GARBAGE COLLECT
2886.69/2894.36	c #Conflicts:     764000 | #Constraints:      47003
2886.69/2894.36	c #Conflicts:     765000 | #Constraints:      48003
2886.69/2894.36	c #Conflicts:     766000 | #Constraints:      49003
2886.69/2894.36	c #Conflicts:     767000 | #Constraints:      50003
2886.69/2894.36	c #Conflicts:     768000 | #Constraints:      51003
2886.69/2894.36	c #Conflicts:     769000 | #Constraints:      52003
2886.69/2894.36	c #Conflicts:     770000 | #Constraints:      53003
2886.69/2894.36	c #Conflicts:     771000 | #Constraints:      54003
2886.69/2894.36	c #Conflicts:     772000 | #Constraints:      55003
2886.69/2894.36	c #Conflicts:     773000 | #Constraints:      56003
2886.69/2894.36	c #Conflicts:     774000 | #Constraints:      57003
2886.69/2894.36	c #Conflicts:     775000 | #Constraints:      58003
2886.69/2894.36	c #Conflicts:     776000 | #Constraints:      59003
2886.69/2894.36	c #Conflicts:     777000 | #Constraints:      60003
2886.69/2894.36	c #Conflicts:     778000 | #Constraints:      61003
2886.69/2894.36	c #Conflicts:     779000 | #Constraints:      62003
2886.69/2894.36	c #Conflicts:     780000 | #Constraints:      63003
2886.69/2894.36	c #Conflicts:     781000 | #Constraints:      64003
2886.69/2894.36	c #Conflicts:     782000 | #Constraints:      65003
2886.69/2894.36	c #Conflicts:     783000 | #Constraints:      66003
2886.69/2894.36	c #Conflicts:     784000 | #Constraints:      67003
2886.69/2894.36	c #Conflicts:     785000 | #Constraints:      68003
2886.69/2894.36	c #Conflicts:     786000 | #Constraints:      69003
2886.69/2894.36	c #Conflicts:     787000 | #Constraints:      70003
2886.69/2894.36	c #Conflicts:     788000 | #Constraints:      71003
2886.69/2894.36	c #Conflicts:     789000 | #Constraints:      72003
2886.69/2894.36	c #Conflicts:     790000 | #Constraints:      73003
2886.69/2894.36	c #Conflicts:     791000 | #Constraints:      74003
2886.69/2894.36	c #Conflicts:     792000 | #Constraints:      75003
2886.69/2894.36	c #Conflicts:     793000 | #Constraints:      76003
2886.69/2894.36	c #Conflicts:     794000 | #Constraints:      77003
2886.69/2894.36	c #Conflicts:     795000 | #Constraints:      78003
2886.69/2894.36	c #Conflicts:     796000 | #Constraints:      79003
2886.69/2894.36	c #Conflicts:     797000 | #Constraints:      80003
2886.69/2894.36	c #Conflicts:     798000 | #Constraints:      81003
2886.69/2894.36	c #Conflicts:     799000 | #Constraints:      82003
2886.69/2894.36	c #Conflicts:     800000 | #Constraints:      83003
2886.69/2894.36	c #Conflicts:     801000 | #Constraints:      84003
2886.69/2894.36	c #Conflicts:     802000 | #Constraints:      85003
2886.69/2894.36	c #Conflicts:     803000 | #Constraints:      86003
2886.69/2894.36	c #Conflicts:     804000 | #Constraints:      87003
2886.69/2894.36	c #Conflicts:     805000 | #Constraints:      88003
2886.69/2894.36	c #Conflicts:     806000 | #Constraints:      89003
2886.69/2894.36	c #Conflicts:     807000 | #Constraints:      90003
2886.69/2894.36	c #Conflicts:     808000 | #Constraints:      91003
2886.69/2894.36	c #Conflicts:     809000 | #Constraints:      92003
2886.69/2894.36	c #Conflicts:     810000 | #Constraints:      93003
2886.69/2894.36	c #Conflicts:     811000 | #Constraints:      94003
2886.69/2894.36	c #Conflicts:     812000 | #Constraints:      95003
2886.69/2894.36	c #Conflicts:     813000 | #Constraints:      96003
2886.69/2894.36	c #Conflicts:     814000 | #Constraints:      97003
3218.15/3226.66	c #Conflicts:     815000 | #Constraints:      98003
3218.15/3226.66	c #Conflicts:     816000 | #Constraints:      99003
3218.15/3226.66	c #Conflicts:     817000 | #Constraints:     100003
3218.15/3226.66	c #Conflicts:     818000 | #Constraints:     101003
3218.15/3226.66	c #Conflicts:     819000 | #Constraints:     102003
3218.15/3226.66	c #Conflicts:     820000 | #Constraints:     103003
3218.15/3226.66	c #Conflicts:     821000 | #Constraints:     104003
3218.15/3226.66	c #Conflicts:     822000 | #Constraints:     105003
3218.15/3226.66	c #Conflicts:     823000 | #Constraints:     106003
3218.15/3226.66	c #Conflicts:     824000 | #Constraints:     107003
3218.15/3226.66	c #Conflicts:     825000 | #Constraints:     108003
3218.15/3226.66	c #Conflicts:     826000 | #Constraints:     109003
3218.15/3226.66	c #Conflicts:     827000 | #Constraints:     110003
3218.15/3226.66	c #Conflicts:     828000 | #Constraints:     111003
3218.15/3226.66	c #Conflicts:     829000 | #Constraints:     112003
3218.15/3226.66	c #Conflicts:     830000 | #Constraints:     113003
3218.15/3226.66	c #Conflicts:     831000 | #Constraints:     114003
3218.15/3226.66	c INPROCESSING
3218.15/3226.66	c GARBAGE COLLECT
3218.15/3226.66	c #Conflicts:     832000 | #Constraints:      66491
3218.15/3226.66	c #Conflicts:     833000 | #Constraints:      67491
3218.15/3226.66	c #Conflicts:     834000 | #Constraints:      68491
3218.15/3226.66	c #Conflicts:     835000 | #Constraints:      69491
3218.15/3226.66	c #Conflicts:     836000 | #Constraints:      70491
3218.15/3226.66	c #Conflicts:     837000 | #Constraints:      71491
3218.15/3226.66	c #Conflicts:     838000 | #Constraints:      72491
3218.15/3226.66	c #Conflicts:     839000 | #Constraints:      73491
3218.15/3226.66	c #Conflicts:     840000 | #Constraints:      74491
3218.15/3226.66	c #Conflicts:     841000 | #Constraints:      75491
3218.15/3226.66	c #Conflicts:     842000 | #Constraints:      76491
3218.15/3226.66	c #Conflicts:     843000 | #Constraints:      77491
3218.15/3226.66	c #Conflicts:     844000 | #Constraints:      78491
3218.15/3226.66	c #Conflicts:     845000 | #Constraints:      79491
3218.15/3226.66	c #Conflicts:     846000 | #Constraints:      80491
3218.15/3226.66	c #Conflicts:     847000 | #Constraints:      81491
3218.15/3226.66	c #Conflicts:     848000 | #Constraints:      82491
3218.15/3226.66	c #Conflicts:     849000 | #Constraints:      83491
3218.15/3226.66	c #Conflicts:     850000 | #Constraints:      84491
3218.15/3226.66	c #Conflicts:     851000 | #Constraints:      85491
3218.15/3226.66	c #Conflicts:     852000 | #Constraints:      86491
3218.15/3226.66	c INPROCESSING
3218.15/3226.66	c GARBAGE COLLECT
3218.15/3226.66	c #Conflicts:     853000 | #Constraints:      52851
3218.15/3226.66	c #Conflicts:     854000 | #Constraints:      53851
3218.15/3226.66	c #Conflicts:     855000 | #Constraints:      54851
3218.15/3226.66	c #Conflicts:     856000 | #Constraints:      55851
3218.15/3226.66	c #Conflicts:     857000 | #Constraints:      56851
3218.15/3226.66	c #Conflicts:     858000 | #Constraints:      57851
3218.15/3226.66	c #Conflicts:     859000 | #Constraints:      58851
3218.15/3226.66	c #Conflicts:     860000 | #Constraints:      59851
3218.15/3226.66	c #Conflicts:     861000 | #Constraints:      60851
3218.15/3226.66	c #Conflicts:     862000 | #Constraints:      61851
3218.15/3226.66	c #Conflicts:     863000 | #Constraints:      62851
3218.15/3226.66	c #Conflicts:     864000 | #Constraints:      63851
3218.15/3226.66	c #Conflicts:     865000 | #Constraints:      64851
3218.15/3226.66	c #Conflicts:     866000 | #Constraints:      65851
3218.15/3226.66	c #Conflicts:     867000 | #Constraints:      66851
3218.15/3226.66	c #Conflicts:     868000 | #Constraints:      67851
3218.15/3226.66	c #Conflicts:     869000 | #Constraints:      68851
3218.15/3226.66	c #Conflicts:     870000 | #Constraints:      69851
3218.15/3226.66	c #Conflicts:     871000 | #Constraints:      70851
3218.15/3226.66	c #Conflicts:     872000 | #Constraints:      71851
3218.15/3226.66	c #Conflicts:     873000 | #Constraints:      72851
3218.15/3226.66	c INPROCESSING
3218.15/3226.66	c GARBAGE COLLECT
3218.15/3226.66	c #Conflicts:     874000 | #Constraints:      49023
3218.15/3226.66	c #Conflicts:     875000 | #Constraints:      50023
3218.15/3226.66	c #Conflicts:     876000 | #Constraints:      51023
3218.15/3226.66	c #Conflicts:     877000 | #Constraints:      52023
3218.15/3226.66	c #Conflicts:     878000 | #Constraints:      53023
3218.15/3226.66	c #Conflicts:     879000 | #Constraints:      54023
3218.15/3226.66	c #Conflicts:     880000 | #Constraints:      55023
3218.15/3226.66	c #Conflicts:     881000 | #Constraints:      56023
3218.15/3226.66	c #Conflicts:     882000 | #Constraints:      57023
3218.15/3226.66	c #Conflicts:     883000 | #Constraints:      58023
3218.15/3226.66	c #Conflicts:     884000 | #Constraints:      59023
3218.15/3226.66	c #Conflicts:     885000 | #Constraints:      60023
3218.15/3226.66	c #Conflicts:     886000 | #Constraints:      61023
3218.15/3226.66	c #Conflicts:     887000 | #Constraints:      62023
3218.15/3226.66	c #Conflicts:     888000 | #Constraints:      63023
3218.15/3226.66	c #Conflicts:     889000 | #Constraints:      64023
3218.15/3226.66	c #Conflicts:     890000 | #Constraints:      65023
3218.15/3226.66	c #Conflicts:     891000 | #Constraints:      66023
3600.05/3609.40	c #Conflicts:     892000 | #Constraints:      67023
3600.05/3609.40	c #Conflicts:     893000 | #Constraints:      68023
3600.05/3609.40	c #Conflicts:     894000 | #Constraints:      69023
3600.05/3609.40	c #Conflicts:     895000 | #Constraints:      70023
3600.05/3609.40	c #Conflicts:     896000 | #Constraints:      71023
3600.05/3609.40	c #Conflicts:     897000 | #Constraints:      72023
3600.05/3609.40	c #Conflicts:     898000 | #Constraints:      73023
3600.05/3609.40	c #Conflicts:     899000 | #Constraints:      74023
3600.05/3609.40	c #Conflicts:     900000 | #Constraints:      75023
3600.05/3609.40	c #Conflicts:     901000 | #Constraints:      76023
3600.05/3609.40	c #Conflicts:     902000 | #Constraints:      77023
3600.05/3609.40	c #Conflicts:     903000 | #Constraints:      78023
3600.05/3609.40	c #Conflicts:     904000 | #Constraints:      79023
3600.05/3609.40	c #Conflicts:     905000 | #Constraints:      80023
3600.05/3609.40	c #Conflicts:     906000 | #Constraints:      81023
3600.05/3609.40	c #Conflicts:     907000 | #Constraints:      82023
3600.05/3609.40	c #Conflicts:     908000 | #Constraints:      83023
3600.05/3609.40	c #Conflicts:     909000 | #Constraints:      84023
3600.05/3609.40	c #Conflicts:     910000 | #Constraints:      85023
3600.05/3609.40	c #Conflicts:     911000 | #Constraints:      86023
3600.05/3609.40	c #Conflicts:     912000 | #Constraints:      87023
3600.05/3609.40	c #Conflicts:     913000 | #Constraints:      88023
3600.05/3609.40	c #Conflicts:     914000 | #Constraints:      89023
3600.05/3609.40	c #Conflicts:     915000 | #Constraints:      90023
3600.05/3609.40	c #Conflicts:     916000 | #Constraints:      91023
3600.05/3609.40	c #Conflicts:     917000 | #Constraints:      92023
3600.05/3609.40	c #Conflicts:     918000 | #Constraints:      93023
3600.05/3609.40	c #Conflicts:     919000 | #Constraints:      94023
3600.05/3609.40	c #Conflicts:     920000 | #Constraints:      95023
3600.05/3609.40	c #Conflicts:     921000 | #Constraints:      96023
3600.05/3609.40	c #Conflicts:     922000 | #Constraints:      97023
3600.05/3609.40	c #Conflicts:     923000 | #Constraints:      98023
3600.05/3609.40	c #Conflicts:     924000 | #Constraints:      99023
3600.05/3609.40	c #Conflicts:     925000 | #Constraints:     100023
3600.05/3609.40	c #Conflicts:     926000 | #Constraints:     101023
3600.05/3609.40	c #Conflicts:     927000 | #Constraints:     102023
3600.05/3609.40	c #Conflicts:     928000 | #Constraints:     103023
3600.05/3609.40	c #Conflicts:     929000 | #Constraints:     104023
3600.05/3609.40	c #Conflicts:     930000 | #Constraints:     105023
3600.05/3609.40	c #Conflicts:     931000 | #Constraints:     106023
3600.05/3609.40	c #Conflicts:     932000 | #Constraints:     107023
3600.05/3609.40	c #Conflicts:     933000 | #Constraints:     108023
3600.05/3609.40	c #Conflicts:     934000 | #Constraints:     109023
3600.05/3609.40	c #Conflicts:     935000 | #Constraints:     110023
3600.05/3609.40	c #Conflicts:     936000 | #Constraints:     111023
3600.05/3609.40	c #Conflicts:     937000 | #Constraints:     112023
3600.05/3609.40	c #Conflicts:     938000 | #Constraints:     113023
3600.05/3609.40	c #Conflicts:     939000 | #Constraints:     114023
3600.05/3609.40	c #Conflicts:     940000 | #Constraints:     115023
3600.05/3609.40	c #Conflicts:     941000 | #Constraints:     116023
3600.05/3609.40	c #Conflicts:     942000 | #Constraints:     117023
3600.05/3609.40	c Program interrupted by user.
3600.05/3609.40	c cpu time 3593.6 s
3600.05/3609.40	c deterministic time 272470157231 2.72e+11
3600.05/3609.40	c optimization time 407.836 s
3600.05/3609.40	c total solve time 2886.8 s
3600.05/3609.40	c core-guided solve time 2886.8 s
3600.05/3609.40	c propagation time 2351.19 s
3600.05/3609.40	c conflict analysis time 887.519 s
3600.05/3609.40	c propagations 291093455
3600.05/3609.40	c resolve steps 33287034
3600.05/3609.40	c decisions 2655273
3600.05/3609.40	c conflicts 942915
3600.05/3609.40	c restarts 2043
3600.05/3609.40	c inprocessing phases 56
3600.05/3609.40	c input clauses 17291
3600.05/3609.40	c input cardinalities 478
3600.05/3609.40	c input general constraints 0
3600.05/3609.40	c input average constraint length 69.03
3600.05/3609.40	c input average constraint degree 11.77
3600.05/3609.40	c learned clauses 770368
3600.05/3609.40	c learned cardinalities 11063
3600.05/3609.40	c learned general constraints 161766
3600.05/3609.40	c learned average constraint length 676.25
3600.05/3609.40	c learned average constraint degree 386.31
3600.05/3609.40	c watched constraints 83255
3600.05/3609.40	c counting constraints 78511
3600.05/3609.40	c gcd simplifications 91973
3600.05/3609.40	c detected cardinalities 249
3600.05/3609.40	c weakened non-implied lits 270495168
3600.05/3609.40	c weakened non-implying lits 776687
3600.05/3609.40	c original variables 2460
3600.05/3609.40	c clausal propagations 100441297
3600.05/3609.40	c cardinality propagations 2112961
3600.05/3609.40	c watched propagations 30665239
3600.05/3609.40	c counting propagations 144654685
3600.05/3609.40	c watch lookups 57765202973
3600.05/3609.40	c watch backjump lookups 50542353050
3600.05/3609.40	c watch checks 158992134425
3600.05/3609.40	c propagation checks 2883220737
3600.05/3609.40	c constraint additions 1698807124
3600.05/3609.40	c trail pops 294690193
3600.05/3609.40	c formula constraints 17131
3600.05/3609.40	c learned constraints 943197
3600.05/3609.40	c bound constraints 478
3600.05/3609.40	c core-guided constraints 160
3600.05/3609.40	c encountered formula constraints 23756990
3600.05/3609.40	c encountered learned constraints 10471997
3600.05/3609.40	c encountered bound constraints 962
3600.05/3609.40	c encountered core-guided constraints 0
3600.05/3609.40	c LP total time 0 s
3600.05/3609.40	c LP solve time 0 s
3600.05/3609.40	c LP constraints added 0
3600.05/3609.40	c LP constraints removed 0
3600.05/3609.40	c LP pivots internal 0
3600.05/3609.40	c LP pivots root 0
3600.05/3609.40	c LP calls 0
3600.05/3609.40	c LP optimalities 0
3600.05/3609.40	c LP no pivot count 0
3600.05/3609.40	c LP infeasibilities 0
3600.05/3609.40	c LP valid Farkas constraints 0
3600.05/3609.40	c LP learned Farkas constraints 0
3600.05/3609.40	c LP basis resets 0
3600.05/3609.40	c LP cycling count 0
3600.05/3609.40	c LP singular count 0
3600.05/3609.40	c LP no primal count 0
3600.05/3609.40	c LP no farkas count 0
3600.05/3609.40	c LP other issue count 0
3600.05/3609.40	c LP Gomory cuts 0
3600.05/3609.40	c LP learned cuts 0
3600.05/3609.40	c LP deleted cuts 0
3600.05/3609.40	c LP encountered Gomory constraints 0
3600.05/3609.40	c LP encountered Farkas constraints 0
3600.05/3609.40	c LP encountered learned Farkas constraints 0
3600.05/3609.40	c CG auxiliary variables introduced 160
3600.05/3609.40	c CG solutions found 0
3600.05/3609.40	c CG cores constructed 477
3600.05/3609.40	c CG core cardinality constraints returned 0
3600.05/3609.40	c CG unit cores 0
3600.05/3609.40	c CG single cores 477
3600.05/3609.40	c CG blocks removed during cardinality reduction 0
3600.05/3609.40	c CG first core best 0
3600.05/3609.40	c CG decision core best 0
3600.05/3609.40	c CG core reduction tie 0
3600.05/3609.40	c CG core degree average 1.00
3600.05/3609.40	c CG core slack average 3.82
3600.05/3609.40	c CG exhausted 0
3600.05/3609.40	c CG exhaust time 0 s
3600.05/3609.40	c CG trimmed 111
3600.05/3609.40	c CG trim time 0.008769 s
3600.05/3609.40	c CG minimized 0
3600.05/3609.40	c CG minimize time 0 s
3600.05/3609.40	c CG am1 prop time 0.005546 s
3600.05/3609.40	c CG # am1s reformulated 160
3600.05/3609.40	c CG lower bound derived from am1s 160
3600.05/3609.40	c CG # clausal cores 477
3600.05/3609.40	c CG # cardinality cores 0
3600.05/3609.40	c CG # pb cores 0
3600.05/3609.40	c CG # pb reforms 0
3600.05/3609.40	c CG # cores discarded because of pb reform 0
3600.05/3609.40	d LOWERBOUND 637
3600.05/3609.40	d NCORES 477
3600.05/3609.40	d NPBCORES 0
3600.05/3609.40	d NPBREFORM 0
3600.05/3609.40	d NTRIMMED 111
3600.05/3609.40	d NEXHAUSTED 0
3600.05/3609.40	d NAM1S 160
3600.05/3609.40	d AM1LB 160
3600.05/3609.40	c [Papilo Statistics]
3600.05/3609.40	c prepro time 0.0452476s
3600.05/3609.40	c # tsx applied 0
3600.05/3609.40	c # tsx conflicts 0
3600.05/3609.40	c # bound changes 0
3600.05/3609.40	c # side changes 0
3600.05/3609.40	c # coef changes 0
3600.05/3609.40	c # rounds 1
3600.05/3609.40	c # deted vars 0
3600.05/3609.40	c # deted constrs 0
3600.05/3609.40	c # consecutive rounds of only bound changes 0
3600.05/3609.40	s UNKNOWN

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

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435408-1721075676/watcher-4435408-1721075676 -o /tmp/evaluation-result-4435408-1721075676/solver-4435408-1721075676 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721072075-807107 --watchdog 3760 mixed-bag HOME/instance-4435408-1721075676.opb 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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


[startup+0.104092 s]*
/proc/loadavg: 4.17 4.10 4.09 5/245 809274
/proc/meminfo: memFree=128246952/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=93932 memory=19268 CPUtime=0.1 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 4295 0 0 0 9 1 0 0 20 0 1 0 159727179 96186368 4817 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 23483 4817 1720 3002 0 7234 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 93932 KiB
Current children cumulated memory: 19268 KiB

[startup+0.213737 s]*
/proc/loadavg: 4.17 4.10 4.09 5/245 809274
/proc/meminfo: memFree=128165156/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=135680 memory=67464 CPUtime=0.21 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 14740 0 0 0 18 3 0 0 20 0 1 0 159727179 138936320 16866 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 33920 16866 3749 3002 0 17671 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 135680 KiB
Current children cumulated memory: 67464 KiB

[startup+0.313759 s]*
/proc/loadavg: 4.17 4.10 4.09 6/245 809274
/proc/meminfo: memFree=128143460/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=135432 memory=67356 CPUtime=0.31 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 15872 0 0 0 28 3 0 0 20 0 1 0 159727179 138682368 16839 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 33858 16839 3749 3002 0 17609 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 135432 KiB
Current children cumulated memory: 67356 KiB

[startup+0.700293 s]
/proc/loadavg: 4.17 4.10 4.09 5/245 809274
/proc/meminfo: memFree=128108688/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=140300 memory=71172 CPUtime=0.68 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 16768 0 0 0 65 3 0 0 20 0 1 0 159727179 143667200 17793 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 35075 17793 3781 3002 0 18826 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 140300 KiB
Current children cumulated memory: 71172 KiB

[startup+1.50035 s]
/proc/loadavg: 4.17 4.10 4.09 5/245 809274
/proc/meminfo: memFree=128102472/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=141580 memory=72228 CPUtime=1.48 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 17087 0 0 0 145 3 0 0 20 0 1 0 159727179 144977920 18057 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 35395 18057 3781 3002 0 19146 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 141580 KiB
Current children cumulated memory: 72228 KiB

[startup+3.1132 s]
/proc/loadavg: 4.16 4.10 4.09 5/245 809274
/proc/meminfo: memFree=127682576/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=234244 memory=155204 CPUtime=3.08 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 34124 0 0 0 302 6 0 0 20 0 1 0 159727179 239865856 38801 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 58561 38801 4004 3002 0 42312 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 234244 KiB
Current children cumulated memory: 155204 KiB

[startup+6.30031 s]
/proc/loadavg: 4.16 4.10 4.09 5/245 809274
/proc/meminfo: memFree=127614900/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=286568 memory=185908 CPUtime=6.27 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 41908 0 0 0 619 8 0 0 20 0 1 0 159727179 293445632 46477 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 71642 46477 4004 3002 0 55393 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 286568 KiB
Current children cumulated memory: 185908 KiB

[startup+12.7003 s]
/proc/loadavg: 4.22 4.12 4.10 5/245 809276
/proc/meminfo: memFree=127567732/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=332256 memory=219172 CPUtime=12.65 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 50163 0 0 0 1256 9 0 0 20 0 1 0 159727179 340230144 54793 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 83064 54793 4004 3002 0 66815 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 332256 KiB
Current children cumulated memory: 219172 KiB

[startup+25.5004 s]
/proc/loadavg: 4.17 4.11 4.10 5/245 809278
/proc/meminfo: memFree=127475524/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=332256 memory=219196 CPUtime=25.4 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 50256 0 0 0 2531 9 0 0 20 0 1 0 159727179 340230144 54799 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 83064 54799 4004 3002 0 66815 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 332256 KiB
Current children cumulated memory: 219196 KiB

[startup+51.113 s]
/proc/loadavg: 4.19 4.12 4.10 5/242 809283
/proc/meminfo: memFree=127372220/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=375136 memory=243092 CPUtime=50.93 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 56577 0 0 0 5083 10 0 0 20 0 1 0 159727179 384139264 60773 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 93784 60773 4014 3002 0 77535 0
Current children cumulated CPU time: 50.93 s
Current children cumulated vsize: 375136 KiB
Current children cumulated memory: 243092 KiB

[startup+102.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/242 809293
/proc/meminfo: memFree=127210348/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=509336 memory=327592 CPUtime=101.93 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 79072 0 0 0 10180 13 0 0 20 0 1 0 159727179 521560064 81898 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 127334 81898 4014 3002 0 111085 0
Current children cumulated CPU time: 101.93 s
Current children cumulated vsize: 509336 KiB
Current children cumulated memory: 327592 KiB

[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/242 809303
/proc/meminfo: memFree=127087184/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=639324 memory=373188 CPUtime=161.72 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 98213 0 0 0 16156 16 0 0 20 0 1 0 159727179 654667776 93297 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 159831 93297 4014 3002 0 143582 0
Current children cumulated CPU time: 161.72 s
Current children cumulated vsize: 639324 KiB
Current children cumulated memory: 373188 KiB

[startup+222.3 s]
/proc/loadavg: 4.16 4.12 4.09 5/242 809313
/proc/meminfo: memFree=126979064/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=768192 memory=429908 CPUtime=221.52 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 112594 0 0 0 22133 19 0 0 20 0 1 0 159727179 786628608 107477 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 192048 107477 4014 3002 0 175799 0
Current children cumulated CPU time: 221.52 s
Current children cumulated vsize: 768192 KiB
Current children cumulated memory: 429908 KiB

[startup+282.3 s]
/proc/loadavg: 4.12 4.11 4.09 5/242 809324
/proc/meminfo: memFree=126880280/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=785404 memory=435408 CPUtime=281.3 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 118079 0 0 0 28110 20 0 0 20 0 1 0 159727179 804253696 108852 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 196351 108852 4014 3002 0 180102 0
Current children cumulated CPU time: 281.3 s
Current children cumulated vsize: 785404 KiB
Current children cumulated memory: 435408 KiB

[startup+342.3 s]
/proc/loadavg: 4.09 4.10 4.09 5/242 809334
/proc/meminfo: memFree=126967528/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=763496 memory=419532 CPUtime=341.12 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 121678 0 0 0 34071 41 0 0 20 0 1 0 159727179 781819904 104883 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 190874 104883 4173 3002 0 174625 0
Current children cumulated CPU time: 341.12 s
Current children cumulated vsize: 763496 KiB
Current children cumulated memory: 419532 KiB

[startup+402.3 s]
/proc/loadavg: 4.06 4.10 4.09 5/244 809348
/proc/meminfo: memFree=126927888/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=782464 memory=429928 CPUtime=400.96 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 121738 0 0 0 40041 55 0 0 20 0 1 0 159727179 801243136 107482 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 195616 107482 4173 3002 0 179367 0
Current children cumulated CPU time: 400.96 s
Current children cumulated vsize: 782464 KiB
Current children cumulated memory: 429928 KiB

[startup+462.3 s]
/proc/loadavg: 4.07 4.09 4.09 5/244 809359
/proc/meminfo: memFree=126900324/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=782464 memory=434024 CPUtime=460.79 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 121748 0 0 0 45999 80 0 0 20 0 1 0 159727179 801243136 108506 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 195616 108506 4173 3002 0 179367 0

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

Current children cumulated memory: 879028 KiB

[startup+2862.3 s]
/proc/loadavg: 4.57 4.23 4.19 5/244 810361
/proc/meminfo: memFree=125983780/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=944760 memory=879028 CPUtime=2854.76 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 129337 0 0 0 284920 556 0 0 20 0 1 0 159727179 967434240 219757 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 236190 219757 4173 3002 0 219941 0
Current children cumulated CPU time: 2854.76 s
Current children cumulated vsize: 944760 KiB
Current children cumulated memory: 879028 KiB

[startup+2922.3 s]
/proc/loadavg: 4.49 4.29 4.21 5/244 810371
/proc/meminfo: memFree=125983496/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=944760 memory=879028 CPUtime=2914.63 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 129527 0 0 0 290899 564 0 0 20 0 1 0 159727179 967434240 219757 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 236190 219757 4173 3002 0 219941 0
Current children cumulated CPU time: 2914.63 s
Current children cumulated vsize: 944760 KiB
Current children cumulated memory: 879028 KiB

[startup+2982.3 s]
/proc/loadavg: 4.29 4.27 4.20 5/243 810382
/proc/meminfo: memFree=125979236/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=944760 memory=881076 CPUtime=2974.48 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 129725 0 0 0 296880 568 0 0 20 0 1 0 159727179 967434240 220269 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 236190 220269 4173 3002 0 219941 0
Current children cumulated CPU time: 2974.48 s
Current children cumulated vsize: 944760 KiB
Current children cumulated memory: 881076 KiB

[startup+3042.3 s]
/proc/loadavg: 4.10 4.22 4.19 5/243 810392
/proc/meminfo: memFree=125963012/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=1077020 memory=895224 CPUtime=3034.34 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 130863 0 0 0 302861 573 0 0 20 0 1 0 159727179 1102868480 223806 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 269255 223806 4173 3002 0 253006 0
Current children cumulated CPU time: 3034.34 s
Current children cumulated vsize: 1077020 KiB
Current children cumulated memory: 895224 KiB

[startup+3102.3 s]
/proc/loadavg: 4.26 4.24 4.19 5/242 810786
/proc/meminfo: memFree=125944540/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=1077020 memory=901368 CPUtime=3094.17 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 130987 0 0 0 308837 580 0 0 20 0 1 0 159727179 1102868480 225342 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 269255 225342 4173 3002 0 253006 0
Current children cumulated CPU time: 3094.17 s
Current children cumulated vsize: 1077020 KiB
Current children cumulated memory: 901368 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.21 4.18 5/242 810796
/proc/meminfo: memFree=125944352/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=1077020 memory=901368 CPUtime=3154 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 131156 0 0 0 314809 591 0 0 20 0 1 0 159727179 1102868480 225342 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 269255 225342 4173 3002 0 253006 0
Current children cumulated CPU time: 3154 s
Current children cumulated vsize: 1077020 KiB
Current children cumulated memory: 901368 KiB

[startup+3222.3 s]
/proc/loadavg: 4.10 4.18 4.18 5/242 810806
/proc/meminfo: memFree=125943664/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=1077020 memory=901368 CPUtime=3213.86 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 131284 0 0 0 320776 610 0 0 20 0 1 0 159727179 1102868480 225342 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 269255 225342 4173 3002 0 253006 0
Current children cumulated CPU time: 3213.86 s
Current children cumulated vsize: 1077020 KiB
Current children cumulated memory: 901368 KiB

[startup+3282.3 s]
/proc/loadavg: 4.23 4.21 4.18 5/244 810987
/proc/meminfo: memFree=125941268/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=1077020 memory=901368 CPUtime=3273.72 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 131430 0 0 0 326753 619 0 0 20 0 1 0 159727179 1102868480 225342 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 269255 225342 4173 3002 0 253006 0
Current children cumulated CPU time: 3273.72 s
Current children cumulated vsize: 1077020 KiB
Current children cumulated memory: 901368 KiB

[startup+3342.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/247 811056
/proc/meminfo: memFree=125938308/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=1077020 memory=901368 CPUtime=3333.58 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 131594 0 0 0 332733 625 0 0 20 0 1 0 159727179 1102868480 225342 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 269255 225342 4173 3002 0 253006 0
Current children cumulated CPU time: 3333.58 s
Current children cumulated vsize: 1077020 KiB
Current children cumulated memory: 901368 KiB

[startup+3402.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/247 811066
/proc/meminfo: memFree=125936560/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=1077020 memory=901368 CPUtime=3393.44 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 131773 0 0 0 338713 631 0 0 20 0 1 0 159727179 1102868480 225342 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 269255 225342 4173 3002 0 253006 0
Current children cumulated CPU time: 3393.44 s
Current children cumulated vsize: 1077020 KiB
Current children cumulated memory: 901368 KiB

[startup+3462.3 s]
/proc/loadavg: 4.22 4.20 4.18 5/249 811081
/proc/meminfo: memFree=125934016/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=1077020 memory=901368 CPUtime=3453.31 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 131962 0 0 0 344694 637 0 0 20 0 1 0 159727179 1102868480 225342 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 269255 225342 4173 3002 0 253006 0
Current children cumulated CPU time: 3453.31 s
Current children cumulated vsize: 1077020 KiB
Current children cumulated memory: 901368 KiB

[startup+3522.3 s]
/proc/loadavg: 4.19 4.19 4.18 5/249 811091
/proc/meminfo: memFree=125933820/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=1077020 memory=901368 CPUtime=3513.16 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 132166 0 0 0 350675 641 0 0 20 0 1 0 159727179 1102868480 225342 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 269255 225342 4173 3002 0 253006 0
Current children cumulated CPU time: 3513.16 s
Current children cumulated vsize: 1077020 KiB
Current children cumulated memory: 901368 KiB

[startup+3582.3 s]
/proc/loadavg: 4.62 4.30 4.22 5/247 811102
/proc/meminfo: memFree=125927364/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=1077020 memory=905464 CPUtime=3573.02 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 132383 0 0 0 356657 645 0 0 20 0 1 0 159727179 1102868480 226366 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 269255 226366 4173 3002 0 253006 0
Current children cumulated CPU time: 3573.02 s
Current children cumulated vsize: 1077020 KiB
Current children cumulated memory: 905464 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.4 s]
/proc/loadavg: 4.77 4.37 4.24 5/241 811142
/proc/meminfo: memFree=126242572/131655788 swapFree=131071996/131071996
[pid=809273] ppid=809270 vsize=1077020 memory=907512 CPUtime=3600.05 cores=1,3
/proc/809273/stat : 809273 (mixed-bag) R 809270 809273 807095 0 -1 4194304 132493 0 0 0 359360 645 0 0 20 0 1 0 159727179 1102868480 226878 134679101440 4194304 16487941 140727633883632 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 18723592 18734648 30560256 140727633888279 140727633888356 140727633888356 140727633895371 0
/proc/809273/statm: 269255 226878 4173 3002 0 253006 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 1077020 KiB
Current children cumulated memory: 907512 KiB

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

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

# cumulated CPU time of all completed processes:  user=3593.61 s, system=6.46394 s

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

Child status: 0

Real time (s): 3609.41
CPU time (s): 3600.07
CPU user time (s): 3593.61
CPU system time (s): 6.46394
CPU usage (%): 99.7414
Max. virtual memory (cumulated for all children) (KiB): 1077020
Max. memory (cumulated for all children) (KiB): 907512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.61
system time used= 6.46394
maximum resident set size= 908216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132515
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 142
involuntary context switches= 1469


# summary of solver processes directly reported to runsolver:
#   pid: 809273
#   total CPU time (s): 3600.07
#   total CPU user time (s): 3593.61
#   total CPU system time (s): 6.46394

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9049 second user time and 34.8066 second system time

The end

Launcher Data 

Begin job on nodeC009 at 2024-07-15 22:34:48
IDJOB=4435408
IDBENCH=147037
IDSOLVER=3066
FILE ID=nodeC009/4435408-1721075676
RUNJOBID= nodeC009-1721072075-807107
SLURM_JOB_ID= 7505538
Free space on /tmp= 723716 MiB

SOLVER NAME= mixed-bag 2024-07-02
BENCH NAME= PB24/normalized-PB06/OPT-LIN/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii16d1.opb
COMMAND LINE= mixed-bag BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4435408-1721075676/watcher-4435408-1721075676 -o /tmp/evaluation-result-4435408-1721075676/solver-4435408-1721075676 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC009-1721072075-807107 --watchdog 3760  mixed-bag HOME/instance-4435408-1721075676.opb

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

MD5SUM BENCH= 0fb7b9dc188f1b53ec311352ea5d5560
RANDOM SEED=1789775614

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		: 2073.980
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		: 2468.450
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.341
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.321
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		: 3405.816
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		: 2506.720
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.497
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.491
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:        128347756 kB
MemAvailable:   129805284 kB
Buffers:          377608 kB
Cached:          1908356 kB
SwapCached:            0 kB
Active:           625228 kB
Inactive:        2131460 kB
Active(anon):       1452 kB
Inactive(anon):   506968 kB
Active(file):     623776 kB
Inactive(file):  1624492 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:             69604 kB
Writeback:             0 kB
AnonPages:        470232 kB
Mapped:           126624 kB
Shmem:             37700 kB
KReclaimable:      98580 kB
Slab:             195588 kB
SReclaimable:      98580 kB
SUnreclaim:        97008 kB
KernelStack:        3936 kB
PageTables:        10432 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:     907504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            51488 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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= 723716 MiB
End job on nodeC009 at 2024-07-15 23:34:57