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/primes-dimacs-cnf/normalized-ii8b3.opb
MD5SUM	b2547f396d5cd0589545f2e597f6c86a
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	507
Optimality of the best value was proved	NO
Number of terms in the objective function	1632
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	1632
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1632
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06684
Number of variables	1632
Total number of constraints	6924
Number of constraints which are clauses	6924
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	8
Trace number 39545

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 12:58:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27611 boxname=wulflinc2 idbench=169 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  b2547f396d5cd0589545f2e597f6c86a  /oldhome/oroussel/tmp/wulflinc2/normalized-ii8b3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-ii8b3.opb
IDLAUNCH: 27611
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        263764 kB
Buffers:         34496 kB
Cached:         712612 kB
SwapCached:       1164 kB
Active:          59660 kB
Inactive:       689984 kB
HighTotal:      131008 kB
HighFree:        10360 kB
LowTotal:       903652 kB
LowFree:        253404 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15704 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 13:18:24 (client local time) WITH STATUS 10 IN 1176.01 SECONDS
stats: 27611 0 1176.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1632 variables and 6924 constraints.
c After prepocess the problem consists of 1632 variables and 8264 constraints.
c preprocess terminated 68.488 s
c Initial Lower Bound: 456
c Lower Bound Elapsed time: 9.86
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 814 @ 108.158
c NEW SOLUTION FOUND: 813 @ 108.162
c NEW SOLUTION FOUND: 812 @ 108.182
c NEW SOLUTION FOUND: 811 @ 108.199
c NEW SOLUTION FOUND: 810 @ 108.218
c NEW SOLUTION FOUND: 809 @ 108.236
c NEW SOLUTION FOUND: 808 @ 108.254
c NEW SOLUTION FOUND: 807 @ 108.273
c NEW SOLUTION FOUND: 806 @ 108.292
c NEW SOLUTION FOUND: 805 @ 108.311
c NEW SOLUTION FOUND: 804 @ 108.33
c NEW SOLUTION FOUND: 803 @ 108.35
c NEW SOLUTION FOUND: 802 @ 108.37
c NEW SOLUTION FOUND: 801 @ 108.39
c NEW SOLUTION FOUND: 800 @ 108.411
c NEW SOLUTION FOUND: 799 @ 108.432
c NEW SOLUTION FOUND: 798 @ 108.453
c NEW SOLUTION FOUND: 797 @ 108.474
c NEW SOLUTION FOUND: 796 @ 108.495
c NEW SOLUTION FOUND: 795 @ 108.516
c NEW SOLUTION FOUND: 794 @ 108.537
c NEW SOLUTION FOUND: 793 @ 108.56
c NEW SOLUTION FOUND: 792 @ 108.582
c NEW SOLUTION FOUND: 791 @ 108.604
c NEW SOLUTION FOUND: 790 @ 108.628
c NEW SOLUTION FOUND: 789 @ 108.65
c NEW SOLUTION FOUND: 788 @ 108.674
c NEW SOLUTION FOUND: 787 @ 108.697
c NEW SOLUTION FOUND: 786 @ 108.745
c NEW SOLUTION FOUND: 785 @ 108.77
c NEW SOLUTION FOUND: 784 @ 108.795
c NEW SOLUTION FOUND: 783 @ 108.82
c NEW SOLUTION FOUND: 782 @ 108.845
c NEW SOLUTION FOUND: 781 @ 108.871
c NEW SOLUTION FOUND: 780 @ 108.897
c NEW SOLUTION FOUND: 779 @ 108.923
c NEW SOLUTION FOUND: 778 @ 108.95
c NEW SOLUTION FOUND: 777 @ 108.977
c NEW SOLUTION FOUND: 776 @ 109.004
c NEW SOLUTION FOUND: 775 @ 109.031
c NEW SOLUTION FOUND: 774 @ 109.058
c NEW SOLUTION FOUND: 773 @ 109.086
c NEW SOLUTION FOUND: 772 @ 109.114
c NEW SOLUTION FOUND: 771 @ 109.141
c NEW SOLUTION FOUND: 770 @ 109.17
c NEW SOLUTION FOUND: 769 @ 109.199
c NEW SOLUTION FOUND: 768 @ 109.227
c NEW SOLUTION FOUND: 767 @ 109.256
c NEW SOLUTION FOUND: 766 @ 109.285
c NEW SOLUTION FOUND: 765 @ 109.313
c NEW SOLUTION FOUND: 764 @ 109.342
c NEW SOLUTION FOUND: 763 @ 109.371
c NEW SOLUTION FOUND: 762 @ 109.4
c NEW SOLUTION FOUND: 761 @ 109.43
c NEW SOLUTION FOUND: 760 @ 109.459
c NEW SOLUTION FOUND: 759 @ 109.489
c NEW SOLUTION FOUND: 758 @ 109.549
c NEW SOLUTION FOUND: 757 @ 109.579
c NEW SOLUTION FOUND: 756 @ 109.612
c NEW SOLUTION FOUND: 755 @ 109.644
c NEW SOLUTION FOUND: 754 @ 109.676
c NEW SOLUTION FOUND: 753 @ 109.71
c NEW SOLUTION FOUND: 752 @ 109.744
c NEW SOLUTION FOUND: 751 @ 109.777
c NEW SOLUTION FOUND: 750 @ 109.812
c NEW SOLUTION FOUND: 749 @ 109.881
c NEW SOLUTION FOUND: 748 @ 109.916
c NEW SOLUTION FOUND: 747 @ 109.95
c NEW SOLUTION FOUND: 746 @ 110.021
c NEW SOLUTION FOUND: 745 @ 110.059
c NEW SOLUTION FOUND: 744 @ 110.135
c NEW SOLUTION FOUND: 743 @ 110.174
c NEW SOLUTION FOUND: 742 @ 110.214
c NEW SOLUTION FOUND: 741 @ 110.255
c NEW SOLUTION FOUND: 740 @ 110.296
c NEW SOLUTION FOUND: 739 @ 110.337
c NEW SOLUTION FOUND: 738 @ 110.379
c NEW SOLUTION FOUND: 737 @ 110.421
c NEW SOLUTION FOUND: 736 @ 110.463
c NEW SOLUTION FOUND: 735 @ 110.506
c NEW SOLUTION FOUND: 734 @ 110.551
c NEW SOLUTION FOUND: 733 @ 110.594
c NEW SOLUTION FOUND: 732 @ 110.641
c NEW SOLUTION FOUND: 731 @ 110.686
c NEW SOLUTION FOUND: 730 @ 110.731
c NEW SOLUTION FOUND: 729 @ 110.775
c NEW SOLUTION FOUND: 728 @ 110.865
c NEW SOLUTION FOUND: 727 @ 110.912
c NEW SOLUTION FOUND: 726 @ 111.004
c NEW SOLUTION FOUND: 725 @ 111.052
c NEW SOLUTION FOUND: 724 @ 111.147
c NEW SOLUTION FOUND: 723 @ 111.196
c NEW SOLUTION FOUND: 722 @ 111.246
c NEW SOLUTION FOUND: 721 @ 111.297
c NEW SOLUTION FOUND: 720 @ 111.348
c NEW SOLUTION FOUND: 719 @ 111.399
c NEW SOLUTION FOUND: 718 @ 111.451
c NEW SOLUTION FOUND: 717 @ 111.504
c NEW SOLUTION FOUND: 716 @ 111.556
c NEW SOLUTION FOUND: 715 @ 111.661
c NEW SOLUTION FOUND: 714 @ 111.766
c NEW SOLUTION FOUND: 713 @ 111.82
c NEW SOLUTION FOUND: 712 @ 111.875
c NEW SOLUTION FOUND: 711 @ 111.928
c NEW SOLUTION FOUND: 710 @ 111.984
c NEW SOLUTION FOUND: 709 @ 112.041
c NEW SOLUTION FOUND: 708 @ 112.152
c NEW SOLUTION FOUND: 707 @ 112.209
c NEW SOLUTION FOUND: 706 @ 112.267
c NEW SOLUTION FOUND: 705 @ 112.325
c NEW SOLUTION FOUND: 704 @ 112.38
c NEW SOLUTION FOUND: 703 @ 112.44
c NEW SOLUTION FOUND: 702 @ 112.5
c NEW SOLUTION FOUND: 701 @ 112.559
c NEW SOLUTION FOUND: 700 @ 112.619
c NEW SOLUTION FOUND: 699 @ 112.679
c NEW SOLUTION FOUND: 698 @ 112.742
c NEW SOLUTION FOUND: 697 @ 112.803
c NEW SOLUTION FOUND: 696 @ 112.864
c NEW SOLUTION FOUND: 695 @ 112.926
c NEW SOLUTION FOUND: 694 @ 112.989
c NEW SOLUTION FOUND: 693 @ 113.053
c NEW SOLUTION FOUND: 692 @ 113.117
c NEW SOLUTION FOUND: 691 @ 113.181
c NEW SOLUTION FOUND: 690 @ 113.245
c NEW SOLUTION FOUND: 689 @ 113.312
c NEW SOLUTION FOUND: 688 @ 113.378
c NEW SOLUTION FOUND: 687 @ 113.444
c NEW SOLUTION FOUND: 686 @ 113.511
c NEW SOLUTION FOUND: 685 @ 113.575
c NEW SOLUTION FOUND: 684 @ 113.643
c NEW SOLUTION FOUND: 683 @ 113.777
c NEW SOLUTION FOUND: 682 @ 113.845
c NEW SOLUTION FOUND: 681 @ 113.913
c NEW SOLUTION FOUND: 680 @ 113.98
c NEW SOLUTION FOUND: 679 @ 114.049
c NEW SOLUTION FOUND: 678 @ 114.118
c NEW SOLUTION FOUND: 677 @ 114.188
c NEW SOLUTION FOUND: 676 @ 114.256
c NEW SOLUTION FOUND: 675 @ 114.398
c NEW SOLUTION FOUND: 674 @ 114.474
c NEW SOLUTION FOUND: 673 @ 114.551
c NEW SOLUTION FOUND: 672 @ 114.629
c NEW SOLUTION FOUND: 671 @ 114.772
c NEW SOLUTION FOUND: 670 @ 114.843
c NEW SOLUTION FOUND: 669 @ 114.922
c NEW SOLUTION FOUND: 668 @ 115.159
c NEW SOLUTION FOUND: 667 @ 115.239
c NEW SOLUTION FOUND: 666 @ 115.32
c NEW SOLUTION FOUND: 665 @ 115.4
c NEW SOLUTION FOUND: 664 @ 115.563
c NEW SOLUTION FOUND: 663 @ 115.643
c NEW SOLUTION FOUND: 662 @ 115.725
c NEW SOLUTION FOUND: 661 @ 115.888
c NEW SOLUTION FOUND: 660 @ 116.054
c NEW SOLUTION FOUND: 659 @ 116.139
c NEW SOLUTION FOUND: 658 @ 116.314
c NEW SOLUTION FOUND: 657 @ 116.402
c NEW SOLUTION FOUND: 656 @ 116.49
c NEW SOLUTION FOUND: 655 @ 116.581
c NEW SOLUTION FOUND: 654 @ 116.67
c NEW SOLUTION FOUND: 653 @ 116.759
c NEW SOLUTION FOUND: 652 @ 116.933
c NEW SOLUTION FOUND: 651 @ 117.02
c NEW SOLUTION FOUND: 650 @ 117.108
c NEW SOLUTION FOUND: 649 @ 117.199
c NEW SOLUTION FOUND: 648 @ 117.289
c NEW SOLUTION FOUND: 647 @ 117.379
c NEW SOLUTION FOUND: 646 @ 117.471
c NEW SOLUTION FOUND: 645 @ 117.649
c NEW SOLUTION FOUND: 644 @ 117.741
c NEW SOLUTION FOUND: 643 @ 117.833
c NEW SOLUTION FOUND: 642 @ 118.106
c NEW SOLUTION FOUND: 641 @ 118.198
c NEW SOLUTION FOUND: 640 @ 118.29
c NEW SOLUTION FOUND: 639 @ 118.383
c NEW SOLUTION FOUND: 638 @ 118.475
c NEW SOLUTION FOUND: 637 @ 118.569
c NEW SOLUTION FOUND: 636 @ 118.662
c NEW SOLUTION FOUND: 635 @ 118.94
c NEW SOLUTION FOUND: 634 @ 119.033
c NEW SOLUTION FOUND: 633 @ 119.127
c NEW SOLUTION FOUND: 556 @ 120.933
c NEW SOLUTION FOUND: 554 @ 126.803
c NEW SOLUTION FOUND: 551 @ 146.298
c NEW SOLUTION FOUND: 549 @ 146.721
c NEW SOLUTION FOUND: 547 @ 147.461
c NEW SOLUTION FOUND: 546 @ 187.945
c NEW SOLUTION FOUND: 543 @ 239.039
c NEW SOLUTION FOUND: 541 @ 240.525
c NEW SOLUTION FOUND: 539 @ 266.225
c NEW SOLUTION FOUND: 538 @ 302.182
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 -x809 x810 -x811 x812 -x813 -x814 -x815 x816 -x817 x818 -x819 -x820 -x821 x822 -x823 x824 x825 -x826 -x827 x828 -x829 x830 -x831 -x832 -x833 x834 -x835 x836 x837 -x838 -x839 x840 -x841 x842 x843 -x844 -x845 x846 -x847 x848 -x849 -x850 -x851 x852 -x853 x854 -x855 x856 -x857 x858 -x859 -x860 -x861 x862 x863 -x864 -x865 -x866 -x867 x868 -x869 x870 x871 -x872 -x873 x874 -x875 -x876 x877 -x878 -x879 x880 -x881 x882 -x883 -x884 -x885 x886 -x887 -x888 x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 x906 -x907 x908 x909 -x910 -x911 x912 x913 -x914 x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 x930 x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 x947 -x948 -x949 x950 -x951 -x952 -x953 x954 x955 -x956 -x957 -x958 -x959 -x960 -x961 x962 x963 -x964 -x965 x966 -x967 x968 -x969 -x970 -x971 x972 -x973 x974 x975 -x976 -x977 x978 -x979 x980 -x981 -x982 -x983 x984 -x985 x986 -x987 -x988 -x989 x990 -x991 -x992 x993 -x994 -x995 -x996 -x997 x998 x999 -x1000 -x1001 x1002 -x1003 x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 x1012 -x1013 x1014 -x1015 -x1016 -x1017 x1018 x1019 -x1020 x1021 -x1022 -x1023 x1024 -x1025 x1026 -x1027 -x1028 -x1029 x1030 -x1031 -x1032 x1033 -x1034 -x1035 x1036 -x1037 x1038 -x1039 -x1040 -x1041 x1042 -x1043 -x1044 x1045 -x1046 -x1047 x1048 -x1049 x1050 -x1051 -x1052 -x1053 x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 x1074 -x1075 x1076 x1077 -x1078 -x1079 x1080 -x1081 x1082 x1083 -x1084 -x1085 x1086 -x1087 x1088 -x1089 -x1090 -x1091 x1092 x1093 -x1094 -x1095 -x1096 -x1097 x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 x1108 -x1109 x1110 -x1111 -x1112 -x1113 x1114 -x1115 -x1116 -x1117 x1118 x1119 -x1120 -x1121 x1122 -x1123 x1124 -x1125 -x1126 -x1127 x1128 -x1129 x1130 -x1131 x1132 -x1133 x1134 x1135 -x1136 -x1137 x1138 -x1139 -x1140 -x1141 x1142 -x1143 -x1144 -x1145 x1146 -x1147 x1148 x1149 -x1150 -x1151 x1152 -x1153 -x1154 -x1155 x1156 -x1157 x1158 -x1159 -x1160 -x1161 x1162 x1163 -x1164 x1165 -x1166 -x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 x1178 x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 x1190 -x1191 -x1192 -x1193 x1194 -x1195 x1196 x1197 -x1198 -x1199 x1200 x1201 -x1202 -x1203 x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 x1214 x1215 -x1216 -x1217 x1218 -x1219 x1220 -x1221 -x1222 -x1223 x1224 -x1225 x1226 x1227 -x1228 -x1229 x1230 -x1231 x1232 -x1233 -x1234 -x1235 x1236 x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 x1254 -x1255 -x1256 x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 x1290 x1291 -x1292 -x1293 x1294 -x1295 -x1296 -x1297 x1298 x1299 -x1300 -x1301 x1302 -x1303 x1304 -x1305 -x1306 -x1307 x1308 x1309 -x1310 -x1311 x1312 -x1313 -x1314 -x1315 -x1316 -x1317 x1318 -x1319 -x1320 -x1321 -x1322 -x1323 x1324 -x1325 x1326 -x1327 -x1328 -x1329 x1330 x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 x1338 -x1339 -x1340 x1341 -x1342 -x1343 -x1344 x1345 -x1346 -x1347 x1348 -x1349 -x1350 -x1351 -x1352 -x1353 x1354 -x1355 -x1356 x1357 -x1358 -x1359 x1360 -x1361 x1362 -x1363 -x1364 -x1365 x1366 -x1367 -x1368 -x1369 x1370 x1371 -x1372 -x1373 x1374 -x1375 x1376 -x1377 -x1378 -x1379 x1380 x1381 -x1382 -x1383 x1384 -x1385 x1386 -x1387 -x1388 -x1389 x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 x1398 -x1399 -x1400 -x1401 -x1402 x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 x1410 -x1411 x1412 x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 x1442 x1443 -x1444 -x1445 x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 -x1479 x1480 -x1481 -x1482 -x1483 -x1484 -x1485 x1486 -x1487 -x1488 -x1489 x1490 x1491 -x1492 -x1493 x1494 -x1495 x1496 -x1497 -x1498 -x1499 x1500 -x1501 x1502 x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 x1513 -x1514 -x1515 -x1516 -x1517 x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 x1525 -x1526 -x1527 x1528 -x1529 x1530 -x1531 -x1532 -x1533 x1534 -x1535 -x1536 -x1537 x1538 x1539 -x1540 -x1541 x1542 -x1543 x1544 -x1545 -x1546 -x1547 x1548 -x1549 x1550 x1551 -x1552 -x1553 x1554 -x1555 x1556 -x1557 -x1558 -x1559 x1560 x1561 -x1562 -x1563 x1564 -x1565 x1566 -x1567 -x1568 -x1569 x1570 -x1571 -x1572 -x1573 x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 x1583 -x1584 -x1585 x1586 -x1587 -x1588 -x1589 x1590 -x1591 -x1592 -x1593 -x1594 x1595 -x1596 x1597 -x1598 x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 x1610 x1611 -x1612 -x1613 x1614 -x1615 x1616 -x1617 -x1618 -x1619 x1620 -x1621 -x1622 x1623 -x1624 -x1625 x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 
c Exit Code: 10
c Total time: 1175.99 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.91 0.96 0.91 2/54 25132
Raw data (stat): 25132 (runsolver) R 25131 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893180058 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99974 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 25132
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 3849 0 0 0 987 10 0 0 25 0 1 0 893180058 18841600 3763 4294967295 134512640 134716908 3221224592 3221223264 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3763 1111 63 0 4537 0
vsize: 18400
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 25132
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 3849 0 0 0 1988 10 0 0 25 0 1 0 893180058 18841600 3763 4294967295 134512640 134716908 3221224592 3221223264 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3763 1111 63 0 4537 0
vsize: 18400
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25132
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 3849 0 0 0 2988 10 0 0 25 0 1 0 893180058 18841600 3763 4294967295 134512640 134716908 3221224592 3221223264 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3763 1111 63 0 4537 0
vsize: 18400
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 25132
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 3849 0 0 0 3988 10 0 0 25 0 1 0 893180058 18841600 3763 4294967295 134512640 134716908 3221224592 3221223252 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3763 1111 63 0 4537 0
vsize: 18400
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 25132
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 3849 0 0 0 4988 10 0 0 25 0 1 0 893180058 18841600 3763 4294967295 134512640 134716908 3221224592 3221223240 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3763 1111 63 0 4537 0
vsize: 18400
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25132
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 3849 0 0 0 5988 10 0 0 25 0 1 0 893180058 18841600 3763 4294967295 134512640 134716908 3221224592 3221223264 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3763 1111 63 0 4537 0
vsize: 18400
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 25132
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 3904 0 0 0 6987 11 0 0 25 0 1 0 893180058 19021824 3818 4294967295 134512640 134716908 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4644 3818 1111 63 0 4581 0
vsize: 18576
[startup+80.003 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 25185
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 5127 0 0 0 7985 13 0 0 25 0 1 0 893180058 25202688 4839 4294967295 134512640 134716908 3221224592 3221220540 1074873347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6153 4839 1111 63 0 6090 0
vsize: 24612
[startup+90.0027 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 25185
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 5142 0 0 0 8985 13 0 0 25 0 1 0 893180058 25202688 4854 4294967295 134512640 134716908 3221224592 3221220716 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6153 4854 1111 63 0 6090 0
vsize: 24612
[startup+100.003 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 25185
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 5388 0 0 0 9984 14 0 0 25 0 1 0 893180058 24354816 4852 4294967295 134512640 134716908 3221224592 3221221088 1074885453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5946 4852 1111 63 0 5883 0
vsize: 23784
[startup+110.003 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 25185
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 12012 0 0 0 10968 31 0 0 25 0 1 0 893180058 19116032 3982 4294967295 134512640 134716908 3221224592 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4667 3982 1111 63 0 4604 0
vsize: 18668
[startup+120.004 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 25185
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 20303 0 0 0 11945 53 0 0 25 0 1 0 893180058 19120128 3983 4294967295 134512640 134716908 3221224592 3221222992 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4668 3983 1111 63 0 4605 0
vsize: 18672
[startup+130.004 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 25185
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 22317 0 0 0 12938 60 0 0 25 0 1 0 893180058 23224320 4002 4294967295 134512640 134716908 3221224592 3221220928 1075113493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5670 4002 1111 63 0 5607 0
vsize: 22680
[startup+140.004 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 25185
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 24306 0 0 0 13932 65 0 0 25 0 1 0 893180058 22917120 4433 4294967295 134512640 134716908 3221224592 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5595 4433 1111 63 0 5532 0
vsize: 22380
[startup+150.005 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 25185
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 26064 0 0 0 14926 70 0 0 25 0 1 0 893180058 19120128 3991 4294967295 134512640 134716908 3221224592 3221223008 1074117093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4668 3991 1111 63 0 4605 0
vsize: 18672
[startup+160.004 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 27720 0 0 0 15922 75 0 0 25 0 1 0 893180058 19116032 3990 4294967295 134512640 134716908 3221224592 3221222732 1077404762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4667 3990 1111 63 0 4604 0
vsize: 18668
[startup+170.005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 29647 0 0 0 16916 81 0 0 25 0 1 0 893180058 19128320 3993 4294967295 134512640 134716908 3221224592 3221222992 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4670 3993 1111 63 0 4607 0
vsize: 18680
[startup+180.006 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 31586 0 0 0 17911 86 0 0 25 0 1 0 893180058 19132416 3994 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4671 3994 1111 63 0 4608 0
vsize: 18684
[startup+190.005 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 33645 0 0 0 18905 92 0 0 25 0 1 0 893180058 24449024 4376 4294967295 134512640 134716908 3221224592 3221220864 1074961183 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5969 4376 1111 63 0 5906 0
vsize: 23876
[startup+200.005 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 35280 0 0 0 19900 97 0 0 25 0 1 0 893180058 19177472 4005 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4682 4005 1111 63 0 4619 0
vsize: 18728
[startup+210.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 36953 0 0 0 20896 101 0 0 25 0 1 0 893180058 19185664 4007 4294967295 134512640 134716908 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4684 4007 1111 63 0 4621 0
vsize: 18736
[startup+220.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 38809 0 0 0 21891 106 0 0 25 0 1 0 893180058 24653824 4422 4294967295 134512640 134716908 3221224592 3221220656 1075084536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6019 4422 1111 63 0 5956 0
vsize: 24076
[startup+230.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 40228 0 0 0 22888 109 0 0 25 0 1 0 893180058 24461312 4401 4294967295 134512640 134716908 3221224592 3221220740 1075964437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5972 4401 1111 63 0 5909 0
vsize: 23888
[startup+240.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 41495 0 0 0 23886 113 0 0 25 0 1 0 893180058 19218432 4015 4294967295 134512640 134716908 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4692 4015 1111 63 0 4629 0
vsize: 18768
[startup+250.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 42917 0 0 0 24883 116 0 0 25 0 1 0 893180058 24469504 4405 4294967295 134512640 134716908 3221224592 3221220812 1075116831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5974 4405 1111 63 0 5911 0
vsize: 23896
[startup+260.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 44103 0 0 0 25880 118 0 0 25 0 1 0 893180058 19222528 4016 4294967295 134512640 134716908 3221224592 3221222944 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4693 4016 1111 63 0 4630 0
vsize: 18772
[startup+270.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 46073 0 0 0 26874 124 0 0 25 0 1 0 893180058 25231360 4539 4294967295 134512640 134716908 3221224592 3221220812 1075116584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6160 4539 1111 63 0 6097 0
vsize: 24640
[startup+280.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 47149 0 0 0 27872 126 0 0 25 0 1 0 893180058 25214976 4589 4294967295 134512640 134716908 3221224592 3221221136 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 4589 1111 63 0 6093 0
vsize: 24624
[startup+290.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 47654 0 0 0 28871 128 0 0 25 0 1 0 893180058 19361792 4050 4294967295 134512640 134716908 3221224592 3221222944 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4727 4050 1111 63 0 4664 0
vsize: 18908
[startup+300.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 49249 0 0 0 29866 133 0 0 25 0 1 0 893180058 19333120 4043 4294967295 134512640 134716908 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 4043 1111 63 0 4657 0
vsize: 18880
[startup+310.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 50815 0 0 0 30863 136 0 0 25 0 1 0 893180058 19316736 4039 4294967295 134512640 134716908 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4716 4039 1111 63 0 4653 0
vsize: 18864
[startup+320.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 52526 0 0 0 31858 141 0 0 25 0 1 0 893180058 19324928 4041 4294967295 134512640 134716908 3221224592 3221222992 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4718 4041 1111 63 0 4655 0
vsize: 18872
[startup+330.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 54079 0 0 0 32855 144 0 0 25 0 1 0 893180058 19345408 4046 4294967295 134512640 134716908 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4723 4046 1111 63 0 4660 0
vsize: 18892
[startup+340.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 55771 0 0 0 33851 149 0 0 25 0 1 0 893180058 24662016 4417 4294967295 134512640 134716908 3221224592 3221220812 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6021 4417 1111 63 0 5958 0
vsize: 24084
[startup+350.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 57255 0 0 0 34848 151 0 0 25 0 1 0 893180058 19353600 4048 4294967295 134512640 134716908 3221224592 3221222992 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4725 4048 1111 63 0 4662 0
vsize: 18900
[startup+360.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 59016 0 0 0 35844 156 0 0 25 0 1 0 893180058 19329024 4042 4294967295 134512640 134716908 3221224592 3221223264 134652564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4719 4042 1111 63 0 4656 0
vsize: 18876
[startup+370.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 60696 0 0 0 36840 161 0 0 25 0 1 0 893180058 19333120 4043 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 4043 1111 63 0 4657 0
vsize: 18880
[startup+380.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 62506 0 0 0 37835 165 0 0 25 0 1 0 893180058 24498176 4413 4294967295 134512640 134716908 3221224592 3221221360 1076083574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5981 4413 1111 63 0 5918 0
vsize: 23924
[startup+390.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25187
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 64137 0 0 0 38832 169 0 0 25 0 1 0 893180058 19341312 4045 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 4045 1111 63 0 4659 0
vsize: 18888
[startup+400.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 65918 0 0 0 39828 173 0 0 25 0 1 0 893180058 24621056 4408 4294967295 134512640 134716908 3221224592 3221220812 1075116513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6011 4408 1111 63 0 5948 0
vsize: 24044
[startup+410.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 67434 0 0 0 40824 177 0 0 25 0 1 0 893180058 24276992 4170 4294967295 134512640 134716908 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5927 4174 1111 63 0 5864 0
vsize: 23708
[startup+420.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 69102 0 0 0 41820 181 0 0 25 0 1 0 893180058 20488192 4265 4294967295 134512640 134716908 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4875 4168 1111 63 0 4812 0
vsize: 20008
[startup+430.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 71121 0 0 0 42815 186 0 0 25 0 1 0 893180058 19337216 4044 4294967295 134512640 134716908 3221224592 3221222992 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4721 4044 1111 63 0 4658 0
vsize: 18884
[startup+440.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 72906 0 0 0 43811 191 0 0 25 0 1 0 893180058 19337216 4044 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4721 4044 1111 63 0 4658 0
vsize: 18884
[startup+450.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 74714 0 0 0 44806 195 0 0 25 0 1 0 893180058 19345408 4046 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4723 4046 1111 63 0 4660 0
vsize: 18892
[startup+460.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 76744 0 0 0 45801 201 0 0 25 0 1 0 893180058 19345408 4046 4294967295 134512640 134716908 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4723 4046 1111 63 0 4660 0
vsize: 18892
[startup+470.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 78469 0 0 0 46797 205 0 0 25 0 1 0 893180058 24649728 4415 4294967295 134512640 134716908 3221224592 3221221656 1075066464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6018 4415 1111 63 0 5955 0
vsize: 24072
[startup+480.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 80443 0 0 0 47792 210 0 0 25 0 1 0 893180058 24190976 4290 4294967295 134512640 134716908 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5906 4290 1111 63 0 5843 0
vsize: 23624
[startup+490.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 82304 0 0 0 48788 215 0 0 25 0 1 0 893180058 19337216 4044 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4721 4044 1111 63 0 4658 0
vsize: 18884
[startup+500.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 84371 0 0 0 49783 220 0 0 25 0 1 0 893180058 24461312 4395 4294967295 134512640 134716908 3221224592 3221220928 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5972 4395 1111 63 0 5909 0
vsize: 23888
[startup+510.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 86203 0 0 0 50779 224 0 0 25 0 1 0 893180058 24502272 4346 4294967295 134512640 134716908 3221224592 3221221712 1074834340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5982 4346 1111 63 0 5919 0
vsize: 23928
[startup+520.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 87856 0 0 0 51774 229 0 0 25 0 1 0 893180058 19345408 4046 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4723 4046 1111 63 0 4660 0
vsize: 18892
[startup+530.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 89939 0 0 0 52769 234 0 0 25 0 1 0 893180058 24465408 4335 4294967295 134512640 134716908 3221224592 3221221712 1074834346 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5973 4335 1111 63 0 5910 0
vsize: 23892
[startup+540.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 91699 0 0 0 53765 239 0 0 25 0 1 0 893180058 19333120 4043 4294967295 134512640 134716908 3221224592 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 4043 1111 63 0 4657 0
vsize: 18880
[startup+550.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 93480 0 0 0 54761 243 0 0 25 0 1 0 893180058 24522752 4386 4294967295 134512640 134716908 3221224592 3221220864 1074961143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5987 4386 1111 63 0 5924 0
vsize: 23948
[startup+560.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 95289 0 0 0 55757 248 0 0 25 0 1 0 893180058 19345408 4046 4294967295 134512640 134716908 3221224592 3221222616 1077380225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4723 4046 1111 63 0 4660 0
vsize: 18892
[startup+570.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 97582 0 0 0 56751 253 0 0 25 0 1 0 893180058 24309760 4321 4294967295 134512640 134716908 3221224592 3221221836 1075278149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5935 4321 1111 63 0 5872 0
vsize: 23740
[startup+580.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 99618 0 0 0 57746 259 0 0 25 0 1 0 893180058 19316736 4039 4294967295 134512640 134716908 3221224592 3221222864 1074205872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4716 4039 1111 63 0 4653 0
vsize: 18864
[startup+590.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 101394 0 0 0 58741 263 0 0 25 0 1 0 893180058 24408064 4321 4294967295 134512640 134716908 3221224592 3221221624 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5959 4321 1111 63 0 5896 0
vsize: 23836
[startup+600.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 103273 0 0 0 59737 268 0 0 25 0 1 0 893180058 24473600 4381 4294967295 134512640 134716908 3221224592 3221220812 1075116564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5975 4381 1111 63 0 5912 0
vsize: 23900
[startup+610.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 105141 0 0 0 60734 271 0 0 25 0 1 0 893180058 19329024 4042 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4719 4042 1111 63 0 4656 0
vsize: 18876
[startup+620.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 107305 0 0 0 61729 277 0 0 25 0 1 0 893180058 19320832 4040 4294967295 134512640 134716908 3221224592 3221223264 134652567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4717 4040 1111 63 0 4654 0
vsize: 18868
[startup+630.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 109305 0 0 0 62722 283 0 0 25 0 1 0 893180058 24604672 4387 4294967295 134512640 134716908 3221224592 3221220624 1075965260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6007 4387 1111 63 0 5944 0
vsize: 24028
[startup+640.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 111432 0 0 0 63718 288 0 0 25 0 1 0 893180058 24580096 4393 4294967295 134512640 134716908 3221224592 3221221248 1075968404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6001 4393 1111 63 0 5938 0
vsize: 24004
[startup+650.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 113510 0 0 0 64713 294 0 0 25 0 1 0 893180058 19337216 4044 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4721 4044 1111 63 0 4658 0
vsize: 18884
[startup+660.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 115289 0 0 0 65708 298 0 0 25 0 1 0 893180058 19353600 4048 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4725 4048 1111 63 0 4662 0
vsize: 18900
[startup+670.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 117515 0 0 0 66703 303 0 0 25 0 1 0 893180058 24649728 4400 4294967295 134512640 134716908 3221224592 3221220552 1074789718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6018 4400 1111 63 0 5955 0
vsize: 24072
[startup+680.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 119554 0 0 0 67698 308 0 0 25 0 1 0 893180058 19365888 4051 4294967295 134512640 134716908 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4728 4051 1111 63 0 4665 0
vsize: 18912
[startup+690.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 121689 0 0 0 68692 315 0 0 25 0 1 0 893180058 23990272 4251 4294967295 134512640 134716908 3221224592 3221220736 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5857 4251 1111 63 0 5794 0
vsize: 23428
[startup+700.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 123859 0 0 0 69687 320 0 0 25 0 1 0 893180058 24141824 4262 4294967295 134512640 134716908 3221224592 3221220820 1075115141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5894 4262 1111 63 0 5831 0
vsize: 23576
[startup+710.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 126243 0 0 0 70682 325 0 0 25 0 1 0 893180058 24117248 4275 4294967295 134512640 134716908 3221224592 3221220832 1075115715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5888 4275 1111 63 0 5825 0
vsize: 23552
[startup+720.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 129097 0 0 0 71674 334 0 0 25 0 1 0 893180058 19353600 4048 4294967295 134512640 134716908 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4725 4048 1111 63 0 4662 0
vsize: 18900
[startup+730.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 131972 0 0 0 72667 341 0 0 25 0 1 0 893180058 24375296 4322 4294967295 134512640 134716908 3221224592 3221220636 1074873560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5951 4322 1111 63 0 5888 0
vsize: 23804
[startup+740.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 134642 0 0 0 73660 348 0 0 25 0 1 0 893180058 24166400 4266 4294967295 134512640 134716908 3221224592 3221220624 1075965248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5900 4266 1111 63 0 5837 0
vsize: 23600
[startup+750.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 136705 0 0 0 74654 354 0 0 25 0 1 0 893180058 19533824 4092 4294967295 134512640 134716908 3221224592 3221222992 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4769 4092 1111 63 0 4706 0
vsize: 19076
[startup+760.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 138844 0 0 0 75649 359 0 0 25 0 1 0 893180058 19554304 4097 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4774 4097 1111 63 0 4711 0
vsize: 19096
[startup+770.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 141455 0 0 0 76644 365 0 0 25 0 1 0 893180058 19537920 4093 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4770 4093 1111 63 0 4707 0
vsize: 19080
[startup+780.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 144233 0 0 0 77636 373 0 0 25 0 1 0 893180058 24461312 4333 4294967295 134512640 134716908 3221224592 3221221248 1075967916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5972 4333 1111 63 0 5909 0
vsize: 23888
[startup+790.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 146055 0 0 0 78630 379 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222992 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4112 1111 63 0 4726 0
vsize: 19156
[startup+800.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 147399 0 0 0 79627 382 0 0 25 0 1 0 893180058 19636224 4117 4294967295 134512640 134716908 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4794 4117 1111 63 0 4731 0
vsize: 19176
[startup+810.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 148977 0 0 0 80623 386 0 0 25 0 1 0 893180058 19939328 4139 4294967295 134512640 134716908 3221224592 3221222336 1075640393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4868 4139 1111 63 0 4805 0
vsize: 19472
[startup+820.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 150407 0 0 0 81619 390 0 0 25 0 1 0 893180058 23732224 4156 4294967295 134512640 134716908 3221224592 3221220588 1074860977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4156 1111 63 0 5731 0
vsize: 23176
[startup+830.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 151820 0 0 0 82615 395 0 0 25 0 1 0 893180058 19636224 4117 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4794 4117 1111 63 0 4731 0
vsize: 19176
[startup+840.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 153376 0 0 0 83610 399 0 0 25 0 1 0 893180058 24031232 4267 4294967295 134512640 134716908 3221224592 3221220864 1074961149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5867 4267 1111 63 0 5804 0
vsize: 23468
[startup+850.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 155179 0 0 0 84606 404 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222992 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4112 1111 63 0 4726 0
vsize: 19156
[startup+860.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 157247 0 0 0 85601 409 0 0 25 0 1 0 893180058 24162304 4275 4294967295 134512640 134716908 3221224592 3221220820 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5899 4275 1111 63 0 5836 0
vsize: 23596
[startup+870.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 159752 0 0 0 86595 416 0 0 25 0 1 0 893180058 24338432 4764 4294967295 134512640 134716908 3221224592 3221220820 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5942 4764 1111 63 0 5879 0
vsize: 23768
[startup+880.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 161204 0 0 0 87592 419 0 0 25 0 1 0 893180058 19632128 4116 4294967295 134512640 134716908 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4793 4116 1111 63 0 4730 0
vsize: 19172
[startup+890.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 163027 0 0 0 88588 423 0 0 25 0 1 0 893180058 24305664 4307 4294967295 134512640 134716908 3221224592 3221221248 1075967910 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5934 4307 1111 63 0 5871 0
vsize: 23736
[startup+900.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 164876 0 0 0 89582 429 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222992 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4112 1111 63 0 4726 0
vsize: 19156
[startup+910.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 166534 0 0 0 90577 434 0 0 25 0 1 0 893180058 24211456 4264 4294967295 134512640 134716908 3221224592 3221220864 1074961393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5911 4264 1111 63 0 5848 0
vsize: 23644
[startup+920.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 168293 0 0 0 91574 437 0 0 25 0 1 0 893180058 19628032 4115 4294967295 134512640 134716908 3221224592 3221222240 1075818098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4792 4115 1111 63 0 4729 0
vsize: 19168
[startup+930.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 170246 0 0 0 92570 441 0 0 25 0 1 0 893180058 19623936 4114 4294967295 134512640 134716908 3221224592 3221222592 1074919266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4791 4114 1111 63 0 4728 0
vsize: 19164
[startup+940.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 172414 0 0 0 93565 447 0 0 25 0 1 0 893180058 25001984 4455 4294967295 134512640 134716908 3221224592 3221220736 1074970240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6104 4455 1111 63 0 6041 0
vsize: 24416
[startup+950.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 173244 0 0 0 94563 449 0 0 25 0 1 0 893180058 19648512 4120 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4797 4120 1111 63 0 4734 0
vsize: 19188
[startup+960.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 175271 0 0 0 95558 454 0 0 25 0 1 0 893180058 23629824 4614 4294967295 134512640 134716908 3221224592 3221220584 1075964733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5769 4614 1111 63 0 5706 0
vsize: 23076
[startup+970.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 176571 0 0 0 96555 458 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4112 1111 63 0 4726 0
vsize: 19156
[startup+980.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 178000 0 0 0 97551 461 0 0 25 0 1 0 893180058 23732224 4177 4294967295 134512640 134716908 3221224592 3221221248 1075967892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4177 1111 63 0 5731 0
vsize: 23176
[startup+990.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 179588 0 0 0 98548 465 0 0 25 0 1 0 893180058 19623936 4114 4294967295 134512640 134716908 3221224592 3221221712 1074865117 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4791 4114 1111 63 0 4728 0
vsize: 19164
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 181182 0 0 0 99544 469 0 0 25 0 1 0 893180058 24743936 4443 4294967295 134512640 134716908 3221224592 3221220752 1074883672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6041 4443 1111 63 0 5978 0
vsize: 24164
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 182676 0 0 0 100540 473 0 0 25 0 1 0 893180058 19619840 4113 4294967295 134512640 134716908 3221224592 3221223200 134652538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4790 4113 1111 63 0 4727 0
vsize: 19160
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 184154 0 0 0 101536 477 0 0 25 0 1 0 893180058 23736320 4182 4294967295 134512640 134716908 3221224592 3221221584 1075110388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5795 4182 1111 63 0 5732 0
vsize: 23180
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 185669 0 0 0 102532 481 0 0 25 0 1 0 893180058 24682496 4411 4294967295 134512640 134716908 3221224592 3221220736 1074970218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6026 4411 1111 63 0 5963 0
vsize: 24104
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 187083 0 0 0 103530 484 0 0 25 0 1 0 893180058 19632128 4116 4294967295 134512640 134716908 3221224592 3221222320 1075828803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4793 4116 1111 63 0 4730 0
vsize: 19172
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 188442 0 0 0 104527 487 0 0 25 0 1 0 893180058 24678400 4436 4294967295 134512640 134716908 3221224592 3221220812 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6025 4436 1111 63 0 5962 0
vsize: 24100
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 190068 0 0 0 105523 491 0 0 25 0 1 0 893180058 19632128 4116 4294967295 134512640 134716908 3221224592 3221222928 1075552823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4793 4116 1111 63 0 4730 0
vsize: 19172
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 191953 0 0 0 106518 496 0 0 25 0 1 0 893180058 23736320 4160 4294967295 134512640 134716908 3221224592 3221221596 1074621120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5795 4160 1111 63 0 5732 0
vsize: 23180
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 193548 0 0 0 107514 501 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222772 1077378674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4112 1111 63 0 4726 0
vsize: 19156
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 195188 0 0 0 108510 504 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222992 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4112 1111 63 0 4726 0
vsize: 19156
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 196857 0 0 0 109507 508 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222928 1073986868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4112 1111 63 0 4726 0
vsize: 19156
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 198403 0 0 0 110503 512 0 0 25 0 1 0 893180058 23736320 4129 4294967295 134512640 134716908 3221224592 3221221744 1075969885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5795 4136 1111 63 0 5732 0
vsize: 23180
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 200087 0 0 0 111499 516 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222992 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4112 1111 63 0 4726 0
vsize: 19156
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 201645 0 0 0 112495 520 0 0 25 0 1 0 893180058 19636224 4117 4294967295 134512640 134716908 3221224592 3221222992 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4794 4117 1111 63 0 4731 0
vsize: 19176
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 203370 0 0 0 113490 525 0 0 25 0 1 0 893180058 19623936 4114 4294967295 134512640 134716908 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4791 4114 1111 63 0 4728 0
vsize: 19164
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 205082 0 0 0 114485 530 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222616 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4112 1111 63 0 4726 0
vsize: 19156
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 206915 0 0 0 115479 536 0 0 25 0 1 0 893180058 19615744 4112 4294967295 134512640 134716908 3221224592 3221222992 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4112 1111 63 0 4726 0
vsize: 19156
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 208896 0 0 0 116475 540 0 0 25 0 1 0 893180058 19623936 4114 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4791 4114 1111 63 0 4728 0
vsize: 19164
[startup+1175.87 s]
Raw data (loadavg): 1.00 0.98 0.91 1/53 25189
Raw data (stat): 25132 (bsolo_lpr-v2) R 25131 31399 31398 0 -1 0 208896 0 0 0 116475 540 0 0 25 0 1 0 893180058 19623936 4114 4294967295 134512640 134716908 3221224592 3221222968 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4791 4114 1111 63 0 4728 0
vsize: 0

Child status: 10
Real time (s): 1175.87
CPU time (s): 1176.01
CPU user time (s): 1170.56
CPU system time (s): 5.45117
CPU usage (%): 100.012
Max. virtual memory (Kb): 24640
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	538
#### END VERIFIER DATA ####