PB'05 competition: run trace

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 in four parts:
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 provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
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.
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.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/logic-synthesis/normalized-alu4.b.opb
MD5SUM	db06e7fbd4f70a4af68f8f196fdb3636
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	50
Optimality of the best value was proved	NO
Number of terms in the objective function	808
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	808
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	808
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03884
Number of variables	807
Total number of constraints	1838
Number of constraints which are clauses	1823
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 40611

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 17:11:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28675 boxname=wulflinc6 idbench=61 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  db06e7fbd4f70a4af68f8f196fdb3636  /oldhome/oroussel/tmp/wulflinc6/normalized-alu4.b.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-alu4.b.opb
IDLAUNCH: 28675
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        599664 kB
Buffers:         31160 kB
Cached:         382632 kB
SwapCached:        940 kB
Active:          48184 kB
Inactive:       367676 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        599412 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13500 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 17:30:45 (client local time) WITH STATUS 10 IN 1175.15 SECONDS
stats: 28675 0 1175.15 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 808 variables and 1823 constraints.
c After prepocess the problem consists of 792 variables and 811 constraints.
c preprocess terminated 2.733 s
c Initial Lower Bound: 47
c Lower Bound Elapsed time: 1.092
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 742 @ 3.973
c NEW SOLUTION FOUND: 741 @ 3.986
c NEW SOLUTION FOUND: 740 @ 3.996
c NEW SOLUTION FOUND: 739 @ 4.006
c NEW SOLUTION FOUND: 738 @ 4.015
c NEW SOLUTION FOUND: 737 @ 4.025
c NEW SOLUTION FOUND: 736 @ 4.035
c NEW SOLUTION FOUND: 735 @ 4.044
c NEW SOLUTION FOUND: 734 @ 4.054
c NEW SOLUTION FOUND: 733 @ 4.064
c NEW SOLUTION FOUND: 732 @ 4.073
c NEW SOLUTION FOUND: 731 @ 4.083
c NEW SOLUTION FOUND: 730 @ 4.093
c NEW SOLUTION FOUND: 729 @ 4.102
c NEW SOLUTION FOUND: 728 @ 4.112
c NEW SOLUTION FOUND: 727 @ 4.122
c NEW SOLUTION FOUND: 726 @ 4.131
c NEW SOLUTION FOUND: 725 @ 4.141
c NEW SOLUTION FOUND: 724 @ 4.15
c NEW SOLUTION FOUND: 723 @ 4.16
c NEW SOLUTION FOUND: 722 @ 4.17
c NEW SOLUTION FOUND: 721 @ 4.189
c NEW SOLUTION FOUND: 720 @ 4.199
c NEW SOLUTION FOUND: 719 @ 4.208
c NEW SOLUTION FOUND: 718 @ 4.218
c NEW SOLUTION FOUND: 717 @ 4.228
c NEW SOLUTION FOUND: 716 @ 4.238
c NEW SOLUTION FOUND: 715 @ 4.247
c NEW SOLUTION FOUND: 714 @ 4.257
c NEW SOLUTION FOUND: 713 @ 4.267
c NEW SOLUTION FOUND: 712 @ 4.277
c NEW SOLUTION FOUND: 711 @ 4.287
c NEW SOLUTION FOUND: 710 @ 4.296
c NEW SOLUTION FOUND: 709 @ 4.306
c NEW SOLUTION FOUND: 708 @ 4.316
c NEW SOLUTION FOUND: 707 @ 4.326
c NEW SOLUTION FOUND: 706 @ 4.336
c NEW SOLUTION FOUND: 705 @ 4.346
c NEW SOLUTION FOUND: 704 @ 4.356
c NEW SOLUTION FOUND: 703 @ 4.365
c NEW SOLUTION FOUND: 702 @ 4.375
c NEW SOLUTION FOUND: 701 @ 4.386
c NEW SOLUTION FOUND: 700 @ 4.396
c NEW SOLUTION FOUND: 699 @ 4.406
c NEW SOLUTION FOUND: 698 @ 4.416
c NEW SOLUTION FOUND: 697 @ 4.426
c NEW SOLUTION FOUND: 696 @ 4.436
c NEW SOLUTION FOUND: 695 @ 4.446
c NEW SOLUTION FOUND: 694 @ 4.456
c NEW SOLUTION FOUND: 693 @ 4.465
c NEW SOLUTION FOUND: 692 @ 4.475
c NEW SOLUTION FOUND: 691 @ 4.485
c NEW SOLUTION FOUND: 690 @ 4.495
c NEW SOLUTION FOUND: 689 @ 4.505
c NEW SOLUTION FOUND: 688 @ 4.515
c NEW SOLUTION FOUND: 687 @ 4.525
c NEW SOLUTION FOUND: 686 @ 4.535
c NEW SOLUTION FOUND: 685 @ 4.545
c NEW SOLUTION FOUND: 684 @ 4.554
c NEW SOLUTION FOUND: 683 @ 4.564
c NEW SOLUTION FOUND: 682 @ 4.574
c NEW SOLUTION FOUND: 681 @ 4.584
c NEW SOLUTION FOUND: 680 @ 4.594
c NEW SOLUTION FOUND: 679 @ 4.604
c NEW SOLUTION FOUND: 678 @ 4.614
c NEW SOLUTION FOUND: 677 @ 4.623
c NEW SOLUTION FOUND: 676 @ 4.633
c NEW SOLUTION FOUND: 675 @ 4.643
c NEW SOLUTION FOUND: 674 @ 4.653
c NEW SOLUTION FOUND: 673 @ 4.663
c NEW SOLUTION FOUND: 672 @ 4.673
c NEW SOLUTION FOUND: 671 @ 4.682
c NEW SOLUTION FOUND: 670 @ 4.692
c NEW SOLUTION FOUND: 669 @ 4.702
c NEW SOLUTION FOUND: 668 @ 4.712
c NEW SOLUTION FOUND: 667 @ 4.722
c NEW SOLUTION FOUND: 666 @ 4.731
c NEW SOLUTION FOUND: 665 @ 4.741
c NEW SOLUTION FOUND: 664 @ 4.751
c NEW SOLUTION FOUND: 663 @ 4.761
c NEW SOLUTION FOUND: 662 @ 4.771
c NEW SOLUTION FOUND: 661 @ 4.78
c NEW SOLUTION FOUND: 660 @ 4.79
c NEW SOLUTION FOUND: 659 @ 4.8
c NEW SOLUTION FOUND: 658 @ 4.81
c NEW SOLUTION FOUND: 657 @ 4.819
c NEW SOLUTION FOUND: 656 @ 4.829
c NEW SOLUTION FOUND: 655 @ 4.839
c NEW SOLUTION FOUND: 654 @ 4.849
c NEW SOLUTION FOUND: 653 @ 4.859
c NEW SOLUTION FOUND: 652 @ 4.868
c NEW SOLUTION FOUND: 651 @ 4.878
c NEW SOLUTION FOUND: 650 @ 4.888
c NEW SOLUTION FOUND: 649 @ 4.898
c NEW SOLUTION FOUND: 648 @ 4.907
c NEW SOLUTION FOUND: 647 @ 4.917
c NEW SOLUTION FOUND: 646 @ 4.927
c NEW SOLUTION FOUND: 645 @ 4.936
c NEW SOLUTION FOUND: 644 @ 4.946
c NEW SOLUTION FOUND: 643 @ 4.956
c NEW SOLUTION FOUND: 642 @ 4.966
c NEW SOLUTION FOUND: 641 @ 4.976
c NEW SOLUTION FOUND: 640 @ 4.985
c NEW SOLUTION FOUND: 639 @ 4.995
c NEW SOLUTION FOUND: 638 @ 5.005
c NEW SOLUTION FOUND: 637 @ 5.014
c NEW SOLUTION FOUND: 636 @ 5.024
c NEW SOLUTION FOUND: 635 @ 5.034
c NEW SOLUTION FOUND: 634 @ 5.043
c NEW SOLUTION FOUND: 633 @ 5.053
c NEW SOLUTION FOUND: 632 @ 5.063
c NEW SOLUTION FOUND: 631 @ 5.072
c NEW SOLUTION FOUND: 630 @ 5.082
c NEW SOLUTION FOUND: 629 @ 5.091
c NEW SOLUTION FOUND: 628 @ 5.101
c NEW SOLUTION FOUND: 627 @ 5.111
c NEW SOLUTION FOUND: 626 @ 5.12
c NEW SOLUTION FOUND: 625 @ 5.13
c NEW SOLUTION FOUND: 624 @ 5.14
c NEW SOLUTION FOUND: 623 @ 5.149
c NEW SOLUTION FOUND: 622 @ 5.159
c NEW SOLUTION FOUND: 621 @ 5.168
c NEW SOLUTION FOUND: 620 @ 5.178
c NEW SOLUTION FOUND: 619 @ 5.188
c NEW SOLUTION FOUND: 618 @ 5.197
c NEW SOLUTION FOUND: 617 @ 5.207
c NEW SOLUTION FOUND: 616 @ 5.217
c NEW SOLUTION FOUND: 615 @ 5.226
c NEW SOLUTION FOUND: 614 @ 5.236
c NEW SOLUTION FOUND: 613 @ 5.245
c NEW SOLUTION FOUND: 612 @ 5.255
c NEW SOLUTION FOUND: 611 @ 5.264
c NEW SOLUTION FOUND: 610 @ 5.274
c NEW SOLUTION FOUND: 609 @ 5.283
c NEW SOLUTION FOUND: 608 @ 5.293
c NEW SOLUTION FOUND: 607 @ 5.303
c NEW SOLUTION FOUND: 606 @ 5.312
c NEW SOLUTION FOUND: 605 @ 5.322
c NEW SOLUTION FOUND: 604 @ 5.331
c NEW SOLUTION FOUND: 603 @ 5.341
c NEW SOLUTION FOUND: 602 @ 5.35
c NEW SOLUTION FOUND: 601 @ 5.36
c NEW SOLUTION FOUND: 600 @ 5.369
c NEW SOLUTION FOUND: 599 @ 5.379
c NEW SOLUTION FOUND: 598 @ 5.388
c NEW SOLUTION FOUND: 597 @ 5.398
c NEW SOLUTION FOUND: 596 @ 5.407
c NEW SOLUTION FOUND: 595 @ 5.417
c NEW SOLUTION FOUND: 594 @ 5.426
c NEW SOLUTION FOUND: 593 @ 5.436
c NEW SOLUTION FOUND: 592 @ 5.445
c NEW SOLUTION FOUND: 591 @ 5.455
c NEW SOLUTION FOUND: 590 @ 5.464
c NEW SOLUTION FOUND: 589 @ 5.474
c NEW SOLUTION FOUND: 588 @ 5.483
c NEW SOLUTION FOUND: 587 @ 5.493
c NEW SOLUTION FOUND: 586 @ 5.502
c NEW SOLUTION FOUND: 585 @ 5.512
c NEW SOLUTION FOUND: 584 @ 5.521
c NEW SOLUTION FOUND: 583 @ 5.531
c NEW SOLUTION FOUND: 582 @ 5.54
c NEW SOLUTION FOUND: 581 @ 5.55
c NEW SOLUTION FOUND: 580 @ 5.559
c NEW SOLUTION FOUND: 579 @ 5.568
c NEW SOLUTION FOUND: 578 @ 5.578
c NEW SOLUTION FOUND: 577 @ 5.587
c NEW SOLUTION FOUND: 576 @ 5.597
c NEW SOLUTION FOUND: 575 @ 5.606
c NEW SOLUTION FOUND: 574 @ 5.616
c NEW SOLUTION FOUND: 573 @ 5.625
c NEW SOLUTION FOUND: 572 @ 5.634
c NEW SOLUTION FOUND: 571 @ 5.644
c NEW SOLUTION FOUND: 570 @ 5.653
c NEW SOLUTION FOUND: 569 @ 5.663
c NEW SOLUTION FOUND: 568 @ 5.672
c NEW SOLUTION FOUND: 567 @ 5.691
c NEW SOLUTION FOUND: 566 @ 5.701
c NEW SOLUTION FOUND: 565 @ 5.712
c NEW SOLUTION FOUND: 564 @ 5.732
c NEW SOLUTION FOUND: 563 @ 5.742
c NEW SOLUTION FOUND: 562 @ 5.753
c NEW SOLUTION FOUND: 561 @ 5.763
c NEW SOLUTION FOUND: 560 @ 5.774
c NEW SOLUTION FOUND: 559 @ 5.784
c NEW SOLUTION FOUND: 558 @ 5.794
c NEW SOLUTION FOUND: 557 @ 5.805
c NEW SOLUTION FOUND: 556 @ 5.815
c NEW SOLUTION FOUND: 555 @ 5.826
c NEW SOLUTION FOUND: 554 @ 5.836
c NEW SOLUTION FOUND: 553 @ 5.847
c NEW SOLUTION FOUND: 552 @ 5.857
c NEW SOLUTION FOUND: 551 @ 5.867
c NEW SOLUTION FOUND: 550 @ 5.878
c NEW SOLUTION FOUND: 549 @ 5.888
c NEW SOLUTION FOUND: 548 @ 5.899
c NEW SOLUTION FOUND: 547 @ 5.909
c NEW SOLUTION FOUND: 546 @ 5.919
c NEW SOLUTION FOUND: 545 @ 5.93
c NEW SOLUTION FOUND: 544 @ 5.94
c NEW SOLUTION FOUND: 543 @ 5.951
c NEW SOLUTION FOUND: 542 @ 5.961
c NEW SOLUTION FOUND: 541 @ 5.972
c NEW SOLUTION FOUND: 540 @ 5.982
c NEW SOLUTION FOUND: 539 @ 5.992
c NEW SOLUTION FOUND: 538 @ 6.003
c NEW SOLUTION FOUND: 537 @ 6.013
c NEW SOLUTION FOUND: 536 @ 6.024
c NEW SOLUTION FOUND: 535 @ 6.034
c NEW SOLUTION FOUND: 534 @ 6.044
c NEW SOLUTION FOUND: 533 @ 6.055
c NEW SOLUTION FOUND: 532 @ 6.065
c NEW SOLUTION FOUND: 531 @ 6.076
c NEW SOLUTION FOUND: 530 @ 6.086
c NEW SOLUTION FOUND: 529 @ 6.096
c NEW SOLUTION FOUND: 528 @ 6.107
c NEW SOLUTION FOUND: 527 @ 6.117
c NEW SOLUTION FOUND: 526 @ 6.127
c NEW SOLUTION FOUND: 525 @ 6.138
c NEW SOLUTION FOUND: 524 @ 6.148
c NEW SOLUTION FOUND: 523 @ 6.159
c NEW SOLUTION FOUND: 522 @ 6.169
c NEW SOLUTION FOUND: 521 @ 6.179
c NEW SOLUTION FOUND: 520 @ 6.19
c NEW SOLUTION FOUND: 519 @ 6.2
c NEW SOLUTION FOUND: 518 @ 6.21
c NEW SOLUTION FOUND: 517 @ 6.221
c NEW SOLUTION FOUND: 516 @ 6.231
c NEW SOLUTION FOUND: 515 @ 6.241
c NEW SOLUTION FOUND: 514 @ 6.252
c NEW SOLUTION FOUND: 513 @ 6.262
c NEW SOLUTION FOUND: 512 @ 6.272
c NEW SOLUTION FOUND: 511 @ 6.283
c NEW SOLUTION FOUND: 510 @ 6.293
c NEW SOLUTION FOUND: 509 @ 6.303
c NEW SOLUTION FOUND: 508 @ 6.314
c NEW SOLUTION FOUND: 507 @ 6.324
c NEW SOLUTION FOUND: 506 @ 6.334
c NEW SOLUTION FOUND: 505 @ 6.345
c NEW SOLUTION FOUND: 504 @ 6.355
c NEW SOLUTION FOUND: 503 @ 6.365
c NEW SOLUTION FOUND: 502 @ 6.376
c NEW SOLUTION FOUND: 501 @ 6.386
c NEW SOLUTION FOUND: 500 @ 6.397
c NEW SOLUTION FOUND: 499 @ 6.407
c NEW SOLUTION FOUND: 498 @ 6.417
c NEW SOLUTION FOUND: 497 @ 6.427
c NEW SOLUTION FOUND: 496 @ 6.438
c NEW SOLUTION FOUND: 495 @ 6.448
c NEW SOLUTION FOUND: 494 @ 6.459
c NEW SOLUTION FOUND: 493 @ 6.469
c NEW SOLUTION FOUND: 492 @ 6.479
c NEW SOLUTION FOUND: 491 @ 6.49
c NEW SOLUTION FOUND: 490 @ 6.5
c NEW SOLUTION FOUND: 489 @ 6.51
c NEW SOLUTION FOUND: 488 @ 6.521
c NEW SOLUTION FOUND: 487 @ 6.531
c NEW SOLUTION FOUND: 486 @ 6.541
c NEW SOLUTION FOUND: 485 @ 6.552
c NEW SOLUTION FOUND: 484 @ 6.562
c NEW SOLUTION FOUND: 483 @ 6.572
c NEW SOLUTION FOUND: 482 @ 6.583
c NEW SOLUTION FOUND: 481 @ 6.593
c NEW SOLUTION FOUND: 480 @ 6.603
c NEW SOLUTION FOUND: 479 @ 6.614
c NEW SOLUTION FOUND: 478 @ 6.624
c NEW SOLUTION FOUND: 477 @ 6.634
c NEW SOLUTION FOUND: 476 @ 6.645
c NEW SOLUTION FOUND: 475 @ 6.655
c NEW SOLUTION FOUND: 474 @ 6.665
c NEW SOLUTION FOUND: 473 @ 6.675
c NEW SOLUTION FOUND: 472 @ 6.686
c NEW SOLUTION FOUND: 471 @ 6.696
c NEW SOLUTION FOUND: 470 @ 6.706
c NEW SOLUTION FOUND: 469 @ 6.717
c NEW SOLUTION FOUND: 468 @ 6.727
c NEW SOLUTION FOUND: 467 @ 6.736
c NEW SOLUTION FOUND: 466 @ 6.746
c NEW SOLUTION FOUND: 465 @ 6.757
c NEW SOLUTION FOUND: 464 @ 6.767
c NEW SOLUTION FOUND: 463 @ 6.777
c NEW SOLUTION FOUND: 462 @ 6.788
c NEW SOLUTION FOUND: 461 @ 6.798
c NEW SOLUTION FOUND: 460 @ 6.808
c NEW SOLUTION FOUND: 459 @ 6.818
c NEW SOLUTION FOUND: 458 @ 6.829
c NEW SOLUTION FOUND: 457 @ 6.839
c NEW SOLUTION FOUND: 456 @ 6.849
c NEW SOLUTION FOUND: 455 @ 6.86
c NEW SOLUTION FOUND: 454 @ 6.87
c NEW SOLUTION FOUND: 453 @ 6.88
c NEW SOLUTION FOUND: 452 @ 6.89
c NEW SOLUTION FOUND: 451 @ 6.9
c NEW SOLUTION FOUND: 450 @ 6.911
c NEW SOLUTION FOUND: 449 @ 6.921
c NEW SOLUTION FOUND: 448 @ 6.931
c NEW SOLUTION FOUND: 447 @ 6.941
c NEW SOLUTION FOUND: 446 @ 6.952
c NEW SOLUTION FOUND: 445 @ 6.962
c NEW SOLUTION FOUND: 444 @ 6.972
c NEW SOLUTION FOUND: 443 @ 6.982
c NEW SOLUTION FOUND: 442 @ 6.993
c NEW SOLUTION FOUND: 441 @ 7.003
c NEW SOLUTION FOUND: 440 @ 7.013
c NEW SOLUTION FOUND: 439 @ 7.023
c NEW SOLUTION FOUND: 438 @ 7.034
c NEW SOLUTION FOUND: 437 @ 7.044
c NEW SOLUTION FOUND: 436 @ 7.054
c NEW SOLUTION FOUND: 435 @ 7.064
c NEW SOLUTION FOUND: 434 @ 7.074
c NEW SOLUTION FOUND: 433 @ 7.085
c NEW SOLUTION FOUND: 432 @ 7.095
c NEW SOLUTION FOUND: 431 @ 7.105
c NEW SOLUTION FOUND: 430 @ 7.115
c NEW SOLUTION FOUND: 429 @ 7.125
c NEW SOLUTION FOUND: 428 @ 7.135
c NEW SOLUTION FOUND: 427 @ 7.146
c NEW SOLUTION FOUND: 426 @ 7.156
c NEW SOLUTION FOUND: 425 @ 7.166
c NEW SOLUTION FOUND: 424 @ 7.177
c NEW SOLUTION FOUND: 423 @ 7.187
c NEW SOLUTION FOUND: 422 @ 7.197
c NEW SOLUTION FOUND: 421 @ 7.207
c NEW SOLUTION FOUND: 420 @ 7.217
c NEW SOLUTION FOUND: 419 @ 7.227
c NEW SOLUTION FOUND: 418 @ 7.238
c NEW SOLUTION FOUND: 417 @ 7.248
c NEW SOLUTION FOUND: 416 @ 7.258
c NEW SOLUTION FOUND: 415 @ 7.268
c NEW SOLUTION FOUND: 414 @ 7.278
c NEW SOLUTION FOUND: 413 @ 7.288
c NEW SOLUTION FOUND: 412 @ 7.298
c NEW SOLUTION FOUND: 411 @ 7.308
c NEW SOLUTION FOUND: 410 @ 7.318
c NEW SOLUTION FOUND: 409 @ 7.329
c NEW SOLUTION FOUND: 408 @ 7.339
c NEW SOLUTION FOUND: 407 @ 7.349
c NEW SOLUTION FOUND: 406 @ 7.359
c NEW SOLUTION FOUND: 405 @ 7.369
c NEW SOLUTION FOUND: 404 @ 7.379
c NEW SOLUTION FOUND: 403 @ 7.389
c NEW SOLUTION FOUND: 402 @ 7.399
c NEW SOLUTION FOUND: 401 @ 7.409
c NEW SOLUTION FOUND: 400 @ 7.419
c NEW SOLUTION FOUND: 399 @ 7.429
c NEW SOLUTION FOUND: 398 @ 7.439
c NEW SOLUTION FOUND: 397 @ 7.449
c NEW SOLUTION FOUND: 396 @ 7.459
c NEW SOLUTION FOUND: 395 @ 7.469
c NEW SOLUTION FOUND: 394 @ 7.479
c NEW SOLUTION FOUND: 393 @ 7.489
c NEW SOLUTION FOUND: 392 @ 7.499
c NEW SOLUTION FOUND: 391 @ 7.509
c NEW SOLUTION FOUND: 390 @ 7.52
c NEW SOLUTION FOUND: 389 @ 7.53
c NEW SOLUTION FOUND: 388 @ 7.54
c NEW SOLUTION FOUND: 387 @ 7.55
c NEW SOLUTION FOUND: 386 @ 7.56
c NEW SOLUTION FOUND: 385 @ 7.57
c NEW SOLUTION FOUND: 384 @ 7.58
c NEW SOLUTION FOUND: 383 @ 7.59
c NEW SOLUTION FOUND: 382 @ 7.6
c NEW SOLUTION FOUND: 381 @ 7.61
c NEW SOLUTION FOUND: 380 @ 7.62
c NEW SOLUTION FOUND: 379 @ 7.63
c NEW SOLUTION FOUND: 378 @ 7.64
c NEW SOLUTION FOUND: 377 @ 7.65
c NEW SOLUTION FOUND: 376 @ 7.66
c NEW SOLUTION FOUND: 375 @ 7.67
c NEW SOLUTION FOUND: 374 @ 7.68
c NEW SOLUTION FOUND: 373 @ 7.69
c NEW SOLUTION FOUND: 372 @ 7.7
c NEW SOLUTION FOUND: 371 @ 7.71
c NEW SOLUTION FOUND: 370 @ 7.72
c NEW SOLUTION FOUND: 369 @ 7.73
c NEW SOLUTION FOUND: 368 @ 7.74
c NEW SOLUTION FOUND: 367 @ 7.75
c NEW SOLUTION FOUND: 366 @ 7.759
c NEW SOLUTION FOUND: 365 @ 7.769
c NEW SOLUTION FOUND: 364 @ 7.779
c NEW SOLUTION FOUND: 363 @ 7.789
c NEW SOLUTION FOUND: 362 @ 7.799
c NEW SOLUTION FOUND: 361 @ 7.809
c NEW SOLUTION FOUND: 360 @ 7.819
c NEW SOLUTION FOUND: 359 @ 7.829
c NEW SOLUTION FOUND: 358 @ 7.838
c NEW SOLUTION FOUND: 357 @ 7.848
c NEW SOLUTION FOUND: 356 @ 7.858
c NEW SOLUTION FOUND: 355 @ 7.868
c NEW SOLUTION FOUND: 354 @ 7.878
c NEW SOLUTION FOUND: 353 @ 7.888
c NEW SOLUTION FOUND: 352 @ 7.898
c NEW SOLUTION FOUND: 351 @ 7.907
c NEW SOLUTION FOUND: 350 @ 7.917
c NEW SOLUTION FOUND: 349 @ 7.927
c NEW SOLUTION FOUND: 348 @ 7.937
c NEW SOLUTION FOUND: 347 @ 7.947
c NEW SOLUTION FOUND: 346 @ 7.956
c NEW SOLUTION FOUND: 345 @ 7.966
c NEW SOLUTION FOUND: 344 @ 7.976
c NEW SOLUTION FOUND: 343 @ 7.986
c NEW SOLUTION FOUND: 342 @ 7.995
c NEW SOLUTION FOUND: 341 @ 8.005
c NEW SOLUTION FOUND: 340 @ 8.015
c NEW SOLUTION FOUND: 339 @ 8.025
c NEW SOLUTION FOUND: 338 @ 8.035
c NEW SOLUTION FOUND: 337 @ 8.044
c NEW SOLUTION FOUND: 336 @ 8.054
c NEW SOLUTION FOUND: 335 @ 8.064
c NEW SOLUTION FOUND: 334 @ 8.074
c NEW SOLUTION FOUND: 333 @ 8.083
c NEW SOLUTION FOUND: 332 @ 8.093
c NEW SOLUTION FOUND: 331 @ 8.103
c NEW SOLUTION FOUND: 330 @ 8.113
c NEW SOLUTION FOUND: 329 @ 8.122
c NEW SOLUTION FOUND: 328 @ 8.132
c NEW SOLUTION FOUND: 327 @ 8.142
c NEW SOLUTION FOUND: 326 @ 8.152
c NEW SOLUTION FOUND: 325 @ 8.161
c NEW SOLUTION FOUND: 324 @ 8.171
c NEW SOLUTION FOUND: 323 @ 8.181
c NEW SOLUTION FOUND: 322 @ 8.19
c NEW SOLUTION FOUND: 321 @ 8.2
c NEW SOLUTION FOUND: 320 @ 8.21
c NEW SOLUTION FOUND: 319 @ 8.219
c NEW SOLUTION FOUND: 318 @ 8.229
c NEW SOLUTION FOUND: 317 @ 8.239
c NEW SOLUTION FOUND: 316 @ 8.249
c NEW SOLUTION FOUND: 315 @ 8.258
c NEW SOLUTION FOUND: 314 @ 8.268
c NEW SOLUTION FOUND: 313 @ 8.278
c NEW SOLUTION FOUND: 312 @ 8.287
c NEW SOLUTION FOUND: 311 @ 8.297
c NEW SOLUTION FOUND: 310 @ 8.307
c NEW SOLUTION FOUND: 309 @ 8.316
c NEW SOLUTION FOUND: 308 @ 8.326
c NEW SOLUTION FOUND: 307 @ 8.335
c NEW SOLUTION FOUND: 306 @ 8.345
c NEW SOLUTION FOUND: 305 @ 8.355
c NEW SOLUTION FOUND: 304 @ 8.364
c NEW SOLUTION FOUND: 303 @ 8.374
c NEW SOLUTION FOUND: 302 @ 8.384
c NEW SOLUTION FOUND: 301 @ 8.393
c NEW SOLUTION FOUND: 300 @ 8.403
c NEW SOLUTION FOUND: 299 @ 8.412
c NEW SOLUTION FOUND: 298 @ 8.422
c NEW SOLUTION FOUND: 297 @ 8.431
c NEW SOLUTION FOUND: 296 @ 8.441
c NEW SOLUTION FOUND: 295 @ 8.451
c NEW SOLUTION FOUND: 294 @ 8.46
c NEW SOLUTION FOUND: 293 @ 8.47
c NEW SOLUTION FOUND: 292 @ 8.479
c NEW SOLUTION FOUND: 291 @ 8.489
c NEW SOLUTION FOUND: 290 @ 8.499
c NEW SOLUTION FOUND: 289 @ 8.508
c NEW SOLUTION FOUND: 288 @ 8.518
c NEW SOLUTION FOUND: 287 @ 8.527
c NEW SOLUTION FOUND: 286 @ 8.537
c NEW SOLUTION FOUND: 285 @ 8.546
c NEW SOLUTION FOUND: 284 @ 8.556
c NEW SOLUTION FOUND: 283 @ 8.565
c NEW SOLUTION FOUND: 282 @ 8.575
c NEW SOLUTION FOUND: 281 @ 8.584
c NEW SOLUTION FOUND: 280 @ 8.594
c NEW SOLUTION FOUND: 279 @ 8.603
c NEW SOLUTION FOUND: 278 @ 8.613
c NEW SOLUTION FOUND: 277 @ 8.622
c NEW SOLUTION FOUND: 276 @ 8.632
c NEW SOLUTION FOUND: 275 @ 8.641
c NEW SOLUTION FOUND: 274 @ 8.651
c NEW SOLUTION FOUND: 273 @ 8.66
c NEW SOLUTION FOUND: 272 @ 8.67
c NEW SOLUTION FOUND: 271 @ 8.679
c NEW SOLUTION FOUND: 270 @ 8.689
c NEW SOLUTION FOUND: 269 @ 8.698
c NEW SOLUTION FOUND: 268 @ 8.708
c NEW SOLUTION FOUND: 267 @ 8.718
c NEW SOLUTION FOUND: 266 @ 8.727
c NEW SOLUTION FOUND: 265 @ 8.736
c NEW SOLUTION FOUND: 264 @ 8.746
c NEW SOLUTION FOUND: 263 @ 8.755
c NEW SOLUTION FOUND: 262 @ 8.765
c NEW SOLUTION FOUND: 261 @ 8.774
c NEW SOLUTION FOUND: 260 @ 8.784
c NEW SOLUTION FOUND: 259 @ 8.793
c NEW SOLUTION FOUND: 258 @ 8.803
c NEW SOLUTION FOUND: 257 @ 8.812
c NEW SOLUTION FOUND: 256 @ 8.821
c NEW SOLUTION FOUND: 255 @ 8.831
c NEW SOLUTION FOUND: 254 @ 8.84
c NEW SOLUTION FOUND: 253 @ 8.85
c NEW SOLUTION FOUND: 252 @ 8.859
c NEW SOLUTION FOUND: 251 @ 8.868
c NEW SOLUTION FOUND: 250 @ 8.878
c NEW SOLUTION FOUND: 249 @ 8.887
c NEW SOLUTION FOUND: 248 @ 8.897
c NEW SOLUTION FOUND: 247 @ 8.906
c NEW SOLUTION FOUND: 246 @ 8.915
c NEW SOLUTION FOUND: 245 @ 8.925
c NEW SOLUTION FOUND: 244 @ 8.934
c NEW SOLUTION FOUND: 243 @ 8.944
c NEW SOLUTION FOUND: 242 @ 8.953
c NEW SOLUTION FOUND: 241 @ 8.962
c NEW SOLUTION FOUND: 240 @ 8.972
c NEW SOLUTION FOUND: 239 @ 8.981
c NEW SOLUTION FOUND: 238 @ 8.991
c NEW SOLUTION FOUND: 237 @ 9
c NEW SOLUTION FOUND: 236 @ 9.01
c NEW SOLUTION FOUND: 235 @ 9.019
c NEW SOLUTION FOUND: 234 @ 9.028
c NEW SOLUTION FOUND: 233 @ 9.038
c NEW SOLUTION FOUND: 232 @ 9.047
c NEW SOLUTION FOUND: 231 @ 9.056
c NEW SOLUTION FOUND: 230 @ 9.066
c NEW SOLUTION FOUND: 229 @ 9.075
c NEW SOLUTION FOUND: 228 @ 9.084
c NEW SOLUTION FOUND: 227 @ 9.094
c NEW SOLUTION FOUND: 226 @ 9.103
c NEW SOLUTION FOUND: 225 @ 9.112
c NEW SOLUTION FOUND: 224 @ 9.121
c NEW SOLUTION FOUND: 223 @ 9.131
c NEW SOLUTION FOUND: 222 @ 9.14
c NEW SOLUTION FOUND: 221 @ 9.149
c NEW SOLUTION FOUND: 220 @ 9.159
c NEW SOLUTION FOUND: 219 @ 9.168
c NEW SOLUTION FOUND: 218 @ 9.178
c NEW SOLUTION FOUND: 217 @ 9.187
c NEW SOLUTION FOUND: 216 @ 9.196
c NEW SOLUTION FOUND: 215 @ 9.206
c NEW SOLUTION FOUND: 214 @ 9.215
c NEW SOLUTION FOUND: 213 @ 9.224
c NEW SOLUTION FOUND: 212 @ 9.233
c NEW SOLUTION FOUND: 211 @ 9.242
c NEW SOLUTION FOUND: 210 @ 9.252
c NEW SOLUTION FOUND: 209 @ 9.261
c NEW SOLUTION FOUND: 208 @ 9.27
c NEW SOLUTION FOUND: 207 @ 9.279
c NEW SOLUTION FOUND: 206 @ 9.289
c NEW SOLUTION FOUND: 205 @ 9.298
c NEW SOLUTION FOUND: 204 @ 9.307
c NEW SOLUTION FOUND: 203 @ 9.316
c NEW SOLUTION FOUND: 202 @ 9.325
c NEW SOLUTION FOUND: 201 @ 9.335
c NEW SOLUTION FOUND: 200 @ 9.344
c NEW SOLUTION FOUND: 199 @ 9.353
c NEW SOLUTION FOUND: 198 @ 9.362
c NEW SOLUTION FOUND: 197 @ 9.371
c NEW SOLUTION FOUND: 196 @ 9.381
c NEW SOLUTION FOUND: 195 @ 9.39
c NEW SOLUTION FOUND: 194 @ 9.399
c NEW SOLUTION FOUND: 193 @ 9.408
c NEW SOLUTION FOUND: 192 @ 9.417
c NEW SOLUTION FOUND: 191 @ 9.426
c NEW SOLUTION FOUND: 190 @ 9.436
c NEW SOLUTION FOUND: 189 @ 9.445
c NEW SOLUTION FOUND: 188 @ 9.454
c NEW SOLUTION FOUND: 187 @ 9.463
c NEW SOLUTION FOUND: 186 @ 9.472
c NEW SOLUTION FOUND: 185 @ 9.481
c NEW SOLUTION FOUND: 184 @ 9.49
c NEW SOLUTION FOUND: 183 @ 9.5
c NEW SOLUTION FOUND: 182 @ 9.509
c NEW SOLUTION FOUND: 181 @ 9.518
c NEW SOLUTION FOUND: 180 @ 9.527
c NEW SOLUTION FOUND: 179 @ 9.536
c NEW SOLUTION FOUND: 178 @ 9.545
c NEW SOLUTION FOUND: 177 @ 9.554
c NEW SOLUTION FOUND: 176 @ 9.563
c NEW SOLUTION FOUND: 175 @ 9.573
c NEW SOLUTION FOUND: 174 @ 9.582
c NEW SOLUTION FOUND: 173 @ 9.591
c NEW SOLUTION FOUND: 172 @ 9.6
c NEW SOLUTION FOUND: 171 @ 9.609
c NEW SOLUTION FOUND: 170 @ 9.618
c NEW SOLUTION FOUND: 169 @ 9.627
c NEW SOLUTION FOUND: 168 @ 9.636
c NEW SOLUTION FOUND: 167 @ 9.645
c NEW SOLUTION FOUND: 166 @ 9.654
c NEW SOLUTION FOUND: 165 @ 9.663
c NEW SOLUTION FOUND: 164 @ 9.672
c NEW SOLUTION FOUND: 163 @ 9.681
c NEW SOLUTION FOUND: 162 @ 9.69
c NEW SOLUTION FOUND: 161 @ 9.699
c NEW SOLUTION FOUND: 160 @ 9.708
c NEW SOLUTION FOUND: 159 @ 9.717
c NEW SOLUTION FOUND: 158 @ 9.726
c NEW SOLUTION FOUND: 157 @ 9.735
c NEW SOLUTION FOUND: 156 @ 9.744
c NEW SOLUTION FOUND: 155 @ 9.753
c NEW SOLUTION FOUND: 154 @ 9.762
c NEW SOLUTION FOUND: 153 @ 9.771
c NEW SOLUTION FOUND: 152 @ 9.78
c NEW SOLUTION FOUND: 151 @ 9.789
c NEW SOLUTION FOUND: 150 @ 9.798
c NEW SOLUTION FOUND: 149 @ 9.807
c NEW SOLUTION FOUND: 148 @ 9.816
c NEW SOLUTION FOUND: 147 @ 9.825
c NEW SOLUTION FOUND: 146 @ 9.834
c NEW SOLUTION FOUND: 145 @ 9.843
c NEW SOLUTION FOUND: 144 @ 9.852
c NEW SOLUTION FOUND: 143 @ 9.861
c NEW SOLUTION FOUND: 142 @ 9.87
c NEW SOLUTION FOUND: 141 @ 9.878
c NEW SOLUTION FOUND: 140 @ 9.887
c NEW SOLUTION FOUND: 139 @ 9.897
c NEW SOLUTION FOUND: 138 @ 9.906
c NEW SOLUTION FOUND: 137 @ 9.916
c NEW SOLUTION FOUND: 136 @ 9.925
c NEW SOLUTION FOUND: 135 @ 9.935
c NEW SOLUTION FOUND: 134 @ 9.944
c NEW SOLUTION FOUND: 133 @ 9.953
c NEW SOLUTION FOUND: 132 @ 9.963
c NEW SOLUTION FOUND: 131 @ 9.972
c NEW SOLUTION FOUND: 130 @ 9.982
c NEW SOLUTION FOUND: 129 @ 9.991
c NEW SOLUTION FOUND: 128 @ 10.001
c NEW SOLUTION FOUND: 127 @ 10.01
c NEW SOLUTION FOUND: 126 @ 10.02
c NEW SOLUTION FOUND: 125 @ 10.029
c NEW SOLUTION FOUND: 124 @ 10.038
c NEW SOLUTION FOUND: 123 @ 10.048
c NEW SOLUTION FOUND: 122 @ 10.057
c NEW SOLUTION FOUND: 121 @ 10.066
c NEW SOLUTION FOUND: 120 @ 10.076
c NEW SOLUTION FOUND: 119 @ 10.085
c NEW SOLUTION FOUND: 118 @ 10.095
c NEW SOLUTION FOUND: 117 @ 10.104
c NEW SOLUTION FOUND: 116 @ 10.113
c NEW SOLUTION FOUND: 115 @ 10.122
c NEW SOLUTION FOUND: 114 @ 10.132
c NEW SOLUTION FOUND: 113 @ 10.141
c NEW SOLUTION FOUND: 112 @ 10.15
c NEW SOLUTION FOUND: 111 @ 10.16
c NEW SOLUTION FOUND: 110 @ 10.169
c NEW SOLUTION FOUND: 109 @ 10.178
c NEW SOLUTION FOUND: 108 @ 10.187
c NEW SOLUTION FOUND: 107 @ 10.196
c NEW SOLUTION FOUND: 106 @ 10.206
c NEW SOLUTION FOUND: 105 @ 10.215
c NEW SOLUTION FOUND: 104 @ 10.224
c NEW SOLUTION FOUND: 103 @ 10.233
c NEW SOLUTION FOUND: 102 @ 10.242
c NEW SOLUTION FOUND: 101 @ 10.251
c NEW SOLUTION FOUND: 100 @ 10.26
c NEW SOLUTION FOUND: 99 @ 10.269
c NEW SOLUTION FOUND: 98 @ 10.278
c NEW SOLUTION FOUND: 97 @ 10.299
c NEW SOLUTION FOUND: 96 @ 10.32
c NEW SOLUTION FOUND: 95 @ 10.342
c NEW SOLUTION FOUND: 94 @ 10.363
c NEW SOLUTION FOUND: 93 @ 10.384
c NEW SOLUTION FOUND: 92 @ 10.406
c NEW SOLUTION FOUND: 91 @ 10.427
c NEW SOLUTION FOUND: 90 @ 10.448
c NEW SOLUTION FOUND: 89 @ 10.469
c NEW SOLUTION FOUND: 88 @ 10.49
c NEW SOLUTION FOUND: 87 @ 10.511
c NEW SOLUTION FOUND: 86 @ 10.532
c NEW SOLUTION FOUND: 85 @ 10.553
c NEW SOLUTION FOUND: 84 @ 10.574
c NEW SOLUTION FOUND: 83 @ 10.595
c NEW SOLUTION FOUND: 82 @ 11.709
c NEW SOLUTION FOUND: 81 @ 12.743
c NEW SOLUTION FOUND: 80 @ 12.998
c NEW SOLUTION FOUND: 79 @ 13.057
c NEW SOLUTION FOUND: 78 @ 13.118
c NEW SOLUTION FOUND: 77 @ 13.245
c NEW SOLUTION FOUND: 76 @ 13.361
c NEW SOLUTION FOUND: 75 @ 13.957
c NEW SOLUTION FOUND: 74 @ 15.169
c NEW SOLUTION FOUND: 73 @ 16.599
c NEW SOLUTION FOUND: 72 @ 18.083
c NEW SOLUTION FOUND: 71 @ 20.052
c NEW SOLUTION FOUND: 70 @ 21.127
c NEW SOLUTION FOUND: 69 @ 29.332
c NEW SOLUTION FOUND: 68 @ 32.135
c NEW SOLUTION FOUND: 67 @ 46.593
c NEW SOLUTION FOUND: 66 @ 55.421
c NEW SOLUTION FOUND: 65 @ 83.552
c NEW SOLUTION FOUND: 64 @ 137.287
c NEW SOLUTION FOUND: 63 @ 180.654
c NEW SOLUTION FOUND: 62 @ 245.78
c NEW SOLUTION FOUND: 61 @ 264.068
c NEW SOLUTION FOUND: 60 @ 278.676
c NEW SOLUTION FOUND: 59 @ 304.083
c NEW SOLUTION FOUND: 58 @ 326.329
c NEW SOLUTION FOUND: 57 @ 363.187
c NEW SOLUTION FOUND: 56 @ 389.217
c NEW SOLUTION FOUND: 55 @ 437.648
c NEW SOLUTION FOUND: 54 @ 524.25
s SATISFIABLE
v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 -x338 -x339 x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 x386 -x387 -x388 -x389 -x390 x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 x475 -x476 -x477 -x478 -x479 -x480 x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 -x625 -x626 x627 -x628 x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 x637 x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 x734 x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 x766 x767 x768 -x769 -x770 x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 x795 x796 -x797 -x798 -x799 -x800 -x801 -x802 x803 -x804 -x805 -x806 x807 -x808 
c Exit Code: 10
c Total time: 1175.13 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.79 0.94 0.91 2/54 387
Raw data (stat): 387 (runsolver) R 386 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903331098 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.82 0.94 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 5492 0 0 0 971 27 0 0 25 0 1 0 903331098 10182656 1710 4294967295 134512640 134716908 3221224576 3221220808 1074791553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2486 1710 1111 63 0 2423 0
vsize: 9944
[startup+20.0021 s]
Raw data (loadavg): 0.85 0.94 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 14202 0 0 0 1951 47 0 0 25 0 1 0 903331098 10334208 1835 4294967295 134512640 134716908 3221224576 3221223032 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2523 1835 1111 63 0 2460 0
vsize: 10092
[startup+30.0027 s]
Raw data (loadavg): 0.87 0.94 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 21876 0 0 0 2933 65 0 0 25 0 1 0 903331098 10825728 1955 4294967295 134512640 134716908 3221224576 3221222816 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2643 1955 1111 63 0 2580 0
vsize: 10572
[startup+40.0034 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 29366 0 0 0 3914 85 0 0 25 0 1 0 903331098 11329536 2075 4294967295 134512640 134716908 3221224576 3221222576 1074917682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2766 2075 1111 63 0 2703 0
vsize: 11064
[startup+50.0048 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 37237 0 0 0 4896 103 0 0 25 0 1 0 903331098 11788288 2159 4294967295 134512640 134716908 3221224576 3221222520 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2878 2159 1111 63 0 2815 0
vsize: 11512
[startup+60.0052 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 44679 0 0 0 5878 121 0 0 25 0 1 0 903331098 12447744 2319 4294967295 134512640 134716908 3221224576 3221221680 1074138755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3039 2319 1111 63 0 2976 0
vsize: 12156
[startup+70.0068 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 54272 0 0 0 6857 142 0 0 25 0 1 0 903331098 12161024 2281 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2969 2281 1111 63 0 2906 0
vsize: 11876
[startup+80.008 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 63221 0 0 0 7837 163 0 0 25 0 1 0 903331098 12476416 2358 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3046 2358 1111 63 0 2983 0
vsize: 12184
[startup+90.0086 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 70937 0 0 0 8819 181 0 0 25 0 1 0 903331098 12988416 2483 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3171 2483 1111 63 0 3108 0
vsize: 12684
[startup+100.009 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 81601 0 0 0 9794 207 0 0 25 0 1 0 903331098 12959744 2444 4294967295 134512640 134716908 3221224576 3221221616 1077782993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3164 2444 1111 63 0 3101 0
vsize: 12656
[startup+110.011 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 90369 0 0 0 10774 227 0 0 25 0 1 0 903331098 13852672 2564 4294967295 134512640 134716908 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3382 2564 1111 63 0 3319 0
vsize: 13528
[startup+120.011 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 99502 0 0 0 11753 248 0 0 25 0 1 0 903331098 13262848 2509 4294967295 134512640 134716908 3221224576 3221222304 1075828503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3238 2509 1111 63 0 3175 0
vsize: 12952
[startup+130.012 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 107092 0 0 0 12736 266 0 0 25 0 1 0 903331098 13938688 2605 4294967295 134512640 134716908 3221224576 3221221120 1075088564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3403 2605 1111 63 0 3340 0
vsize: 13612
[startup+140.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 115661 0 0 0 13718 284 0 0 25 0 1 0 903331098 13385728 2577 4294967295 134512640 134716908 3221224576 3221221768 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 2577 1111 63 0 3205 0
vsize: 13072
[startup+150.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 124558 0 0 0 14699 303 0 0 25 0 1 0 903331098 13848576 2683 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3381 2683 1111 63 0 3318 0
vsize: 13524
[startup+160.014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 133876 0 0 0 15677 325 0 0 25 0 1 0 903331098 13201408 2535 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3223 2535 1111 63 0 3160 0
vsize: 12892
[startup+170.016 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 142707 0 0 0 16660 343 0 0 25 0 1 0 903331098 13647872 2613 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3332 2613 1111 63 0 3269 0
vsize: 13328
[startup+180.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 153111 0 0 0 17635 368 0 0 25 0 1 0 903331098 14147584 2757 4294967295 134512640 134716908 3221224576 3221222576 1074916690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3454 2757 1111 63 0 3391 0
vsize: 13816
[startup+190.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 161884 0 0 0 18615 388 0 0 25 0 1 0 903331098 14036992 2724 4294967295 134512640 134716908 3221224576 3221223032 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3427 2724 1111 63 0 3364 0
vsize: 13708
[startup+200.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 171354 0 0 0 19596 408 0 0 25 0 1 0 903331098 13844480 2693 4294967295 134512640 134716908 3221224576 3221221256 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3380 2693 1111 63 0 3317 0
vsize: 13520
[startup+210.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 180598 0 0 0 20577 427 0 0 25 0 1 0 903331098 14966784 2899 4294967295 134512640 134716908 3221224576 3221220576 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3654 2899 1111 63 0 3591 0
vsize: 14616
[startup+220.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 191081 0 0 0 21556 449 0 0 25 0 1 0 903331098 14381056 2792 4294967295 134512640 134716908 3221224576 3221222360 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3511 2792 1111 63 0 3448 0
vsize: 14044
[startup+230.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 202521 0 0 0 22530 475 0 0 25 0 1 0 903331098 14266368 2796 4294967295 134512640 134716908 3221224576 3221222736 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3483 2796 1111 63 0 3420 0
vsize: 13932
[startup+240.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 213084 0 0 0 23506 499 0 0 25 0 1 0 903331098 16138240 3143 4294967295 134512640 134716908 3221224576 3221220624 1074879693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3940 3143 1111 63 0 3877 0
vsize: 15760
[startup+250.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 220881 0 0 0 24488 517 0 0 25 0 1 0 903331098 15343616 3059 4294967295 134512640 134716908 3221224576 3221222576 1074918811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3746 3059 1111 63 0 3683 0
vsize: 14984
[startup+260.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 228118 0 0 0 25472 534 0 0 25 0 1 0 903331098 15482880 3070 4294967295 134512640 134716908 3221224576 3221221768 1074138306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3780 3070 1111 63 0 3717 0
vsize: 15120
[startup+270.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 236784 0 0 0 26451 555 0 0 25 0 1 0 903331098 14999552 2943 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3662 2943 1111 63 0 3599 0
vsize: 14648
[startup+280.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 245153 0 0 0 27433 573 0 0 25 0 1 0 903331098 14741504 2912 4294967295 134512640 134716908 3221224576 3221222648 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3599 2912 1111 63 0 3536 0
vsize: 14396
[startup+290.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 253684 0 0 0 28414 593 0 0 25 0 1 0 903331098 15245312 3035 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3722 3035 1111 63 0 3659 0
vsize: 14888
[startup+300.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 261352 0 0 0 29397 610 0 0 25 0 1 0 903331098 15196160 2977 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3710 2977 1111 63 0 3647 0
vsize: 14840
[startup+310.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 268667 0 0 0 30381 626 0 0 25 0 1 0 903331098 15654912 3105 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3822 3105 1111 63 0 3759 0
vsize: 15288
[startup+320.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 277879 0 0 0 31360 647 0 0 25 0 1 0 903331098 16007168 3217 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3908 3217 1111 63 0 3845 0
vsize: 15632
[startup+330.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 285587 0 0 0 32342 665 0 0 25 0 1 0 903331098 16138240 3222 4294967295 134512640 134716908 3221224576 3221222304 1075828444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3940 3222 1111 63 0 3877 0
vsize: 15760
[startup+340.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 292998 0 0 0 33325 683 0 0 25 0 1 0 903331098 15495168 3096 4294967295 134512640 134716908 3221224576 3221220800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3783 3096 1111 63 0 3720 0
vsize: 15132
[startup+350.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 299257 0 0 0 34311 697 0 0 25 0 1 0 903331098 15511552 3100 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 3100 1111 63 0 3724 0
vsize: 15148
[startup+360.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 305688 0 0 0 35297 712 0 0 25 0 1 0 903331098 15630336 3107 4294967295 134512640 134716908 3221224576 3221222520 1077378310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3816 3107 1111 63 0 3753 0
vsize: 15264
[startup+370.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 313241 0 0 0 36281 728 0 0 25 0 1 0 903331098 15953920 3175 4294967295 134512640 134716908 3221224576 3221222728 1074950105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3895 3175 1111 63 0 3832 0
vsize: 15580
[startup+380.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 323665 0 0 0 37258 751 0 0 25 0 1 0 903331098 16044032 3197 4294967295 134512640 134716908 3221224576 3221223040 134606864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3917 3197 1111 63 0 3854 0
vsize: 15668
[startup+390.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 331034 0 0 0 38241 768 0 0 25 0 1 0 903331098 15781888 3166 4294967295 134512640 134716908 3221224576 3221222624 1074153690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3853 3166 1111 63 0 3790 0
vsize: 15412
[startup+400.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 337626 0 0 0 39227 783 0 0 25 0 1 0 903331098 16797696 3382 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4101 3382 1111 63 0 4038 0
vsize: 16404
[startup+410.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 344419 0 0 0 40211 799 0 0 25 0 1 0 903331098 16015360 3223 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3910 3223 1111 63 0 3847 0
vsize: 15640
[startup+420.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 352983 0 0 0 41190 821 0 0 25 0 1 0 903331098 16150528 3256 4294967295 134512640 134716908 3221224576 3221223136 1073989416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3943 3256 1111 63 0 3880 0
vsize: 15772
[startup+430.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 360757 0 0 0 42175 837 0 0 25 0 1 0 903331098 16064512 3216 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3922 3216 1111 63 0 3859 0
vsize: 15688
[startup+440.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 367989 0 0 0 43157 854 0 0 25 0 1 0 903331098 15998976 3219 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3906 3219 1111 63 0 3843 0
vsize: 15624
[startup+450.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 376680 0 0 0 44135 876 0 0 25 0 1 0 903331098 16445440 3307 4294967295 134512640 134716908 3221224576 3221222816 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4015 3307 1111 63 0 3952 0
vsize: 16060
[startup+460.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 384841 0 0 0 45117 895 0 0 25 0 1 0 903331098 15982592 3215 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3902 3215 1111 63 0 3839 0
vsize: 15608
[startup+470.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 392680 0 0 0 46101 911 0 0 25 0 1 0 903331098 15949824 3207 4294967295 134512640 134716908 3221224576 3221222192 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3894 3207 1111 63 0 3831 0
vsize: 15576
[startup+480.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 400854 0 0 0 47082 932 0 0 25 0 1 0 903331098 17006592 3429 4294967295 134512640 134716908 3221224576 3221222224 1075818396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4152 3429 1111 63 0 4089 0
vsize: 16608
[startup+490.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 409471 0 0 0 48062 951 0 0 25 0 1 0 903331098 16375808 3303 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3998 3303 1111 63 0 3935 0
vsize: 15992
[startup+500.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 417857 0 0 0 49044 970 0 0 25 0 1 0 903331098 16416768 3316 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4008 3316 1111 63 0 3945 0
vsize: 16032
[startup+510.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 425665 0 0 0 50026 988 0 0 25 0 1 0 903331098 16429056 3324 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 3324 1111 63 0 3948 0
vsize: 16044
[startup+520.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 431401 0 0 0 51013 1002 0 0 25 0 1 0 903331098 17223680 3518 4294967295 134512640 134716908 3221224576 3221222688 1074867325 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4205 3518 1111 63 0 4142 0
vsize: 16820
[startup+530.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 437548 0 0 0 52000 1015 0 0 25 0 1 0 903331098 16625664 3372 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3372 1111 63 0 3996 0
vsize: 16236
[startup+540.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 444032 0 0 0 52985 1031 0 0 25 0 1 0 903331098 17702912 3519 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4322 3519 1111 63 0 4259 0
vsize: 17288
[startup+550.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 449350 0 0 0 53972 1043 0 0 25 0 1 0 903331098 16625664 3372 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3372 1111 63 0 3996 0
vsize: 16236
[startup+560.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 455241 0 0 0 54958 1057 0 0 25 0 1 0 903331098 17199104 3453 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4199 3458 1111 63 0 4136 0
vsize: 16796
[startup+570.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 462750 0 0 0 55942 1075 0 0 25 0 1 0 903331098 17051648 3444 4294967295 134512640 134716908 3221224576 3221223104 134649097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4163 3444 1111 63 0 4100 0
vsize: 16652
[startup+580.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 469021 0 0 0 56927 1090 0 0 25 0 1 0 903331098 16834560 3423 4294967295 134512640 134716908 3221224576 3221222432 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 3423 1111 63 0 4047 0
vsize: 16440
[startup+590.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 474284 0 0 0 57914 1103 0 0 25 0 1 0 903331098 17018880 3445 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4155 3445 1111 63 0 4092 0
vsize: 16620
[startup+600.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 480067 0 0 0 58900 1118 0 0 25 0 1 0 903331098 18300928 3649 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4468 3649 1111 63 0 4405 0
vsize: 17872
[startup+610.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 486338 0 0 0 59885 1133 0 0 25 0 1 0 903331098 17612800 3613 4294967295 134512640 134716908 3221224576 3221221768 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4300 3613 1111 63 0 4237 0
vsize: 17200
[startup+620.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 493544 0 0 0 60869 1149 0 0 25 0 1 0 903331098 17104896 3489 4294967295 134512640 134716908 3221224576 3221222432 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4176 3489 1111 63 0 4113 0
vsize: 16704
[startup+630.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 499263 0 0 0 61855 1164 0 0 25 0 1 0 903331098 17674240 3628 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4315 3628 1111 63 0 4252 0
vsize: 17260
[startup+640.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 506296 0 0 0 62841 1178 0 0 25 0 1 0 903331098 17448960 3562 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4260 3562 1111 63 0 4197 0
vsize: 17040
[startup+650.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 514163 0 0 0 63823 1197 0 0 25 0 1 0 903331098 17711104 3630 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4324 3630 1111 63 0 4261 0
vsize: 17296
[startup+660.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 521682 0 0 0 64806 1214 0 0 25 0 1 0 903331098 18546688 3736 4294967295 134512640 134716908 3221224576 3221220816 1075115732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4528 3736 1111 63 0 4465 0
vsize: 18112
[startup+670.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 528413 0 0 0 65790 1230 0 0 25 0 1 0 903331098 17408000 3559 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4250 3559 1111 63 0 4187 0
vsize: 17000
[startup+680.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 535981 0 0 0 66772 1248 0 0 25 0 1 0 903331098 17584128 3570 4294967295 134512640 134716908 3221224576 3221222320 1075646793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4293 3570 1111 63 0 4230 0
vsize: 17172
[startup+690.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 544394 0 0 0 67756 1265 0 0 25 0 1 0 903331098 17432576 3542 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4256 3542 1111 63 0 4193 0
vsize: 17024
[startup+700.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 552067 0 0 0 68737 1284 0 0 25 0 1 0 903331098 17346560 3508 4294967295 134512640 134716908 3221224576 3221221952 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4235 3508 1111 63 0 4172 0
vsize: 16940
[startup+710.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 559811 0 0 0 69722 1300 0 0 25 0 1 0 903331098 17424384 3542 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3542 1111 63 0 4191 0
vsize: 17016
[startup+720.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 566519 0 0 0 70707 1315 0 0 25 0 1 0 903331098 17768448 3633 4294967295 134512640 134716908 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4338 3633 1111 63 0 4275 0
vsize: 17352
[startup+730.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 574529 0 0 0 71689 1334 0 0 25 0 1 0 903331098 18239488 3764 4294967295 134512640 134716908 3221224576 3221222576 1074916773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4453 3764 1111 63 0 4390 0
vsize: 17812
[startup+740.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 583146 0 0 0 72668 1355 0 0 25 0 1 0 903331098 18919424 3803 4294967295 134512640 134716908 3221224576 3221220704 1075112080 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4619 3803 1111 63 0 4556 0
vsize: 18476
[startup+750.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 592366 0 0 0 73648 1376 0 0 25 0 1 0 903331098 17747968 3600 4294967295 134512640 134716908 3221224576 3221222784 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4333 3600 1111 63 0 4270 0
vsize: 17332
[startup+760.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 600036 0 0 0 74630 1393 0 0 25 0 1 0 903331098 17338368 3546 4294967295 134512640 134716908 3221224576 3221222816 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4233 3546 1111 63 0 4170 0
vsize: 16932
[startup+770.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 610494 0 0 0 75607 1418 0 0 25 0 1 0 903331098 17526784 3578 4294967295 134512640 134716908 3221224576 3221222880 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4279 3578 1111 63 0 4216 0
vsize: 17116
[startup+780.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 618608 0 0 0 76588 1437 0 0 25 0 1 0 903331098 17752064 3647 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4334 3647 1111 63 0 4271 0
vsize: 17336
[startup+790.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 626297 0 0 0 77568 1457 0 0 25 0 1 0 903331098 17883136 3644 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4366 3644 1111 63 0 4303 0
vsize: 17464
[startup+800.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 634404 0 0 0 78548 1477 0 0 25 0 1 0 903331098 19496960 3970 4294967295 134512640 134716908 3221224576 3221220456 1074788452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4760 3970 1111 63 0 4697 0
vsize: 19040
[startup+810.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 641413 0 0 0 79532 1494 0 0 25 0 1 0 903331098 17735680 3626 4294967295 134512640 134716908 3221224576 3221222096 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4330 3626 1111 63 0 4267 0
vsize: 17320
[startup+820.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 647568 0 0 0 80516 1510 0 0 25 0 1 0 903331098 19501056 3972 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4761 3972 1111 63 0 4698 0
vsize: 19044
[startup+830.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 655191 0 0 0 81499 1528 0 0 25 0 1 0 903331098 17948672 3695 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4382 3695 1111 63 0 4319 0
vsize: 17528
[startup+840.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 663926 0 0 0 82480 1547 0 0 25 0 1 0 903331098 18108416 3681 4294967295 134512640 134716908 3221224576 3221219760 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4421 3681 1111 63 0 4358 0
vsize: 17684
[startup+850.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 671318 0 0 0 83464 1564 0 0 25 0 1 0 903331098 18055168 3721 4294967295 134512640 134716908 3221224576 3221222432 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4408 3721 1111 63 0 4345 0
vsize: 17632
[startup+860.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 679436 0 0 0 84443 1584 0 0 25 0 1 0 903331098 18309120 3770 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4470 3770 1111 63 0 4407 0
vsize: 17880
[startup+870.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 687067 0 0 0 85425 1603 0 0 25 0 1 0 903331098 18636800 3843 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4550 3843 1111 63 0 4487 0
vsize: 18200
[startup+880.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 693443 0 0 0 86411 1617 0 0 25 0 1 0 903331098 18264064 3772 4294967295 134512640 134716908 3221224576 3221222928 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4459 3772 1111 63 0 4396 0
vsize: 17836
[startup+890.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 700149 0 0 0 87395 1633 0 0 25 0 1 0 903331098 18677760 3854 4294967295 134512640 134716908 3221224576 3221222432 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4560 3854 1111 63 0 4497 0
vsize: 18240
[startup+900.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 707607 0 0 0 88378 1651 0 0 25 0 1 0 903331098 19869696 4066 4294967295 134512640 134716908 3221224576 3221221696 1074834297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4851 4066 1111 63 0 4788 0
vsize: 19404
[startup+910.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 716672 0 0 0 89357 1672 0 0 25 0 1 0 903331098 18337792 3790 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4477 3790 1111 63 0 4414 0
vsize: 17908
[startup+920.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 724766 0 0 0 90340 1690 0 0 25 0 1 0 903331098 18571264 3800 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4534 3800 1111 63 0 4471 0
vsize: 18136
[startup+930.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 732636 0 0 0 91322 1708 0 0 25 0 1 0 903331098 18669568 3824 4294967295 134512640 134716908 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4558 3824 1111 63 0 4495 0
vsize: 18232
[startup+940.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 739916 0 0 0 92305 1726 0 0 25 0 1 0 903331098 19361792 4033 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4727 4033 1111 63 0 4664 0
vsize: 18908
[startup+950.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 749049 0 0 0 93283 1748 0 0 25 0 1 0 903331098 19148800 3984 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4675 3984 1111 63 0 4612 0
vsize: 18700
[startup+960.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 758833 0 0 0 94260 1771 0 0 25 0 1 0 903331098 18571264 3847 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4534 3847 1111 63 0 4471 0
vsize: 18136
[startup+970.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 767683 0 0 0 95241 1790 0 0 25 0 1 0 903331098 20410368 4257 4294967295 134512640 134716908 3221224576 3221221108 1075863638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4983 4257 1111 63 0 4920 0
vsize: 19932
[startup+980.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 776215 0 0 0 96222 1810 0 0 25 0 1 0 903331098 20013056 4184 4294967295 134512640 134716908 3221224576 3221222536 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4886 4184 1111 63 0 4823 0
vsize: 19544
[startup+990.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 783855 0 0 0 97203 1829 0 0 25 0 1 0 903331098 20578304 4247 4294967295 134512640 134716908 3221224576 3221220848 1074960865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5024 4247 1111 63 0 4961 0
vsize: 20096
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 791673 0 0 0 98183 1849 0 0 25 0 1 0 903331098 19013632 3921 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4642 3921 1111 63 0 4579 0
vsize: 18568
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 798133 0 0 0 99169 1864 0 0 25 0 1 0 903331098 19828736 4154 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4841 4154 1111 63 0 4778 0
vsize: 19364
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 806267 0 0 0 100149 1884 0 0 25 0 1 0 903331098 18980864 3947 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4634 3947 1111 63 0 4571 0
vsize: 18536
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 812841 0 0 0 101135 1899 0 0 25 0 1 0 903331098 19181568 3964 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4683 3964 1111 63 0 4620 0
vsize: 18732
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 821052 0 0 0 102116 1918 0 0 25 0 1 0 903331098 19378176 4003 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4731 4003 1111 63 0 4668 0
vsize: 18924
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 827996 0 0 0 103099 1935 0 0 25 0 1 0 903331098 18993152 3914 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4637 3914 1111 63 0 4574 0
vsize: 18548
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 837228 0 0 0 104078 1956 0 0 25 0 1 0 903331098 19128320 3983 4294967295 134512640 134716908 3221224576 3221221904 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4670 3983 1111 63 0 4607 0
vsize: 18680
[startup+1070.06 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 846749 0 0 0 105057 1978 0 0 25 0 1 0 903331098 19259392 3993 4294967295 134512640 134716908 3221224576 3221222448 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4702 3993 1111 63 0 4639 0
vsize: 18808
[startup+1080.06 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 855672 0 0 0 106037 1997 0 0 25 0 1 0 903331098 19197952 3978 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4687 3978 1111 63 0 4624 0
vsize: 18748
[startup+1090.06 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 863582 0 0 0 107020 2015 0 0 25 0 1 0 903331098 20074496 4214 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4901 4214 1111 63 0 4838 0
vsize: 19604
[startup+1100.06 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 873230 0 0 0 107998 2037 0 0 25 0 1 0 903331098 19935232 4180 4294967295 134512640 134716908 3221224576 3221221680 1074138642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4867 4180 1111 63 0 4804 0
vsize: 19468
[startup+1110.06 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 881457 0 0 0 108979 2057 0 0 25 0 1 0 903331098 20418560 4298 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4985 4298 1111 63 0 4922 0
vsize: 19940
[startup+1120.06 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 889245 0 0 0 109960 2076 0 0 25 0 1 0 903331098 21061632 4336 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5142 4341 1111 63 0 5079 0
vsize: 20568
[startup+1130.06 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 897730 0 0 0 110941 2095 0 0 25 0 1 0 903331098 19087360 3973 4294967295 134512640 134716908 3221224576 3221222612 1077378674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4660 3973 1111 63 0 4597 0
vsize: 18640
[startup+1140.06 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 905689 0 0 0 111924 2113 0 0 25 0 1 0 903331098 19402752 4050 4294967295 134512640 134716908 3221224576 3221222192 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4737 4050 1111 63 0 4674 0
vsize: 18948
[startup+1150.06 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 913463 0 0 0 112906 2131 0 0 25 0 1 0 903331098 19320832 4005 4294967295 134512640 134716908 3221224576 3221222888 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4717 4005 1111 63 0 4654 0
vsize: 18868
[startup+1160.06 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 921145 0 0 0 113888 2150 0 0 25 0 1 0 903331098 20598784 4236 4294967295 134512640 134716908 3221224576 3221221232 1075967895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5029 4236 1111 63 0 4966 0
vsize: 20116
[startup+1170.06 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 929184 0 0 0 114869 2169 0 0 25 0 1 0 903331098 19271680 4018 4294967295 134512640 134716908 3221224576 3221222736 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4705 4018 1111 63 0 4642 0
vsize: 18820
[startup+1174.82 s]
Raw data (loadavg): 1.02 1.00 0.92 1/53 387
Raw data (stat): 387 (bsolo_lpr_cuts-) R 386 25568 25567 0 -1 0 929184 0 0 0 114869 2169 0 0 25 0 1 0 903331098 19271680 4018 4294967295 134512640 134716908 3221224576 3221222736 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4705 4018 1111 63 0 4642 0
vsize: 0

Child status: 10
Real time (s): 1174.82
CPU time (s): 1175.15
CPU user time (s): 1153.34
CPU system time (s): 21.8137
CPU usage (%): 100.028
Max. virtual memory (Kb): 20568
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	54
#### END VERIFIER DATA ####