Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-vpm1.opb |
MD5SUM | 9d68724ddc6098af63bcc619f21688cc |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 168 |
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 | 168 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 819200 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 4941871 |
Number of bits of the biggest sum of numbers | 23 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 459.704 |
Number of variables | 2754 |
Total number of constraints | 612 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 168 |
Number of constraints which are nor clauses,nor cardinality constraints | 444 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 82 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-05-24 16:24:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=12364 boxname=wulflinc6 idbench=952 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 9d68724ddc6098af63bcc619f21688cc /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-vpm1.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-vpm1.opb IDLAUNCH: 12364 /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: 539336 kB Buffers: 5264 kB Cached: 459108 kB SwapCached: 408 kB Active: 18564 kB Inactive: 448124 kB HighTotal: 131008 kB HighFree: 33544 kB LowTotal: 903652 kB LowFree: 505792 kB SwapTotal: 2097136 kB SwapFree: 2096040 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5704 kB Slab: 22876 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 16:44:51 (client local time) WITH STATUS 0 IN 1200.45 SECONDS stats: 12364 7 1200.45 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 2754 variables and 486 constraints. c After prepocess the problem consists of 1909 variables and 372 constraints. c preprocess terminated 82.598 s c Initial Lower Bound: 16 c Lower Bound Elapsed time: 0.2345 c Use computed LB before first solution. #### 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 Raw data (loadavg): 0.97 1.01 1.02 2/54 26786 Raw data (stat): 26786 (runsolver) R 26785 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773435611 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99977 s] Raw data (loadavg): 0.97 1.01 1.01 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 6445 0 0 0 981 16 0 0 25 0 1 0 773435611 29597696 6367 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7226 6367 1111 63 0 7163 0 vsize: 28904 [startup+20.0003 s] Raw data (loadavg): 0.98 1.01 1.01 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 6487 0 0 0 1981 16 0 0 25 0 1 0 773435611 29761536 6409 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7266 6409 1111 63 0 7203 0 vsize: 29064 [startup+30 s] Raw data (loadavg): 0.98 1.01 1.01 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 6514 0 0 0 2981 16 0 0 25 0 1 0 773435611 29835264 6436 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7284 6436 1111 63 0 7221 0 vsize: 29136 [startup+40.0001 s] Raw data (loadavg): 0.98 1.01 1.01 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 6538 0 0 0 3981 17 0 0 25 0 1 0 773435611 29904896 6458 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7301 6458 1111 63 0 7238 0 vsize: 29204 [startup+50.0006 s] Raw data (loadavg): 0.99 1.01 1.01 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 6599 0 0 0 4981 17 0 0 25 0 1 0 773435611 30126080 6494 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7355 6494 1111 63 0 7292 0 vsize: 29420 [startup+60.0004 s] Raw data (loadavg): 0.99 1.01 1.01 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 6618 0 0 0 5982 17 0 0 25 0 1 0 773435611 30126080 6512 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7355 6512 1111 63 0 7292 0 vsize: 29420 [startup+70.0006 s] Raw data (loadavg): 0.99 1.00 1.01 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 6618 0 0 0 6982 17 0 0 25 0 1 0 773435611 30126080 6512 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7355 6512 1111 63 0 7292 0 vsize: 29420 [startup+80.001 s] Raw data (loadavg): 0.99 1.00 1.01 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 6640 0 0 0 7982 17 0 0 25 0 1 0 773435611 30261248 6534 4294967295 134512640 134714508 3221224592 3221223264 134627187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7388 6534 1111 63 0 7325 0 vsize: 29552 [startup+90.0008 s] Raw data (loadavg): 0.99 1.00 1.01 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 7832 0 0 0 8978 21 0 0 25 0 1 0 773435611 30314496 6701 4294967295 134512640 134714508 3221224592 3221222592 1074918533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6701 1111 63 0 7338 0 vsize: 29604 [startup+99.9999 s] Raw data (loadavg): 0.99 1.00 1.01 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 9274 0 0 0 9974 25 0 0 25 0 1 0 773435611 30695424 6739 4294967295 134512640 134714508 3221224592 3221220588 1074788136 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7494 6739 1111 63 0 7431 0 vsize: 29976 [startup+110 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 10584 0 0 0 10970 30 0 0 25 0 1 0 773435611 30314496 6704 4294967295 134512640 134714508 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6704 1111 63 0 7338 0 vsize: 29604 [startup+120 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 11885 0 0 0 11966 34 0 0 25 0 1 0 773435611 30314496 6704 4294967295 134512640 134714508 3221224592 3221223232 134649075 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6704 1111 63 0 7338 0 vsize: 29604 [startup+130 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 12384 0 0 0 12964 37 0 0 25 0 1 0 773435611 30314496 6704 4294967295 134512640 134714508 3221224592 3221223008 1074116396 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6704 1111 63 0 7338 0 vsize: 29604 [startup+140 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 12454 0 0 0 13963 38 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221221696 1074138752 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6705 1111 63 0 7338 0 vsize: 29604 [startup+150 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 12552 0 0 0 14962 39 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6705 1111 63 0 7338 0 vsize: 29604 [startup+160 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 12602 0 0 0 15962 40 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221220796 1075563087 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6705 1111 63 0 7338 0 vsize: 29604 [startup+169.999 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 12707 0 0 0 16961 40 0 0 25 0 1 0 773435611 30502912 6706 4294967295 134512640 134714508 3221224592 3221220832 1075115777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7447 6706 1111 63 0 7384 0 vsize: 29788 [startup+180 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 12810 0 0 0 17961 41 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221223260 1074016544 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6705 1111 63 0 7338 0 vsize: 29604 [startup+190 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 12914 0 0 0 18961 41 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6705 1111 63 0 7338 0 vsize: 29604 [startup+200 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13018 0 0 0 19961 42 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221222896 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6705 1111 63 0 7338 0 vsize: 29604 [startup+210 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13122 0 0 0 20960 43 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221222976 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6705 1111 63 0 7338 0 vsize: 29604 [startup+220 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13224 0 0 0 21959 44 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221222216 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6705 1111 63 0 7338 0 vsize: 29604 [startup+229.999 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13330 0 0 0 22959 45 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221222416 1075823625 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6705 1111 63 0 7338 0 vsize: 29604 [startup+240 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13432 0 0 0 23958 46 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6705 1111 63 0 7338 0 vsize: 29604 [startup+249.999 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13506 0 0 0 24958 46 0 0 25 0 1 0 773435611 30314496 6705 4294967295 134512640 134714508 3221224592 3221222608 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6705 1111 63 0 7338 0 vsize: 29604 [startup+260 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13567 0 0 0 25958 47 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221222416 1075823576 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6706 1111 63 0 7338 0 vsize: 29604 [startup+270 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13597 0 0 0 26958 48 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221222896 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6706 1111 63 0 7338 0 vsize: 29604 [startup+280 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13608 0 0 0 27957 48 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6706 1111 63 0 7338 0 vsize: 29604 [startup+290 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13672 0 0 0 28957 49 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221223228 134649400 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6706 1111 63 0 7338 0 vsize: 29604 [startup+300.001 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13743 0 0 0 29957 49 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221222520 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6706 1111 63 0 7338 0 vsize: 29604 [startup+310 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13743 0 0 0 30957 50 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221222424 1074063729 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6706 1111 63 0 7338 0 vsize: 29604 [startup+320 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13789 0 0 0 31956 51 0 0 25 0 1 0 773435611 30466048 6707 4294967295 134512640 134714508 3221224592 3221222320 1075828441 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7438 6707 1111 63 0 7375 0 vsize: 29752 [startup+330.001 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 13963 0 0 0 32954 53 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221223232 134650104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6706 1111 63 0 7338 0 vsize: 29604 [startup+340 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 14077 0 0 0 33954 54 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221221632 1075860004 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6706 1111 63 0 7338 0 vsize: 29604 [startup+350.001 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 14190 0 0 0 34953 55 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221221696 1074138892 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6706 1111 63 0 7338 0 vsize: 29604 [startup+360.01 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 14353 0 0 0 35952 57 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221222904 1074138144 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6706 1111 63 0 7338 0 vsize: 29604 [startup+370.01 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 14530 0 0 0 36951 58 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221223008 1074117062 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6706 1111 63 0 7338 0 vsize: 29604 [startup+380.01 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 14736 0 0 0 37951 59 0 0 25 0 1 0 773435611 30314496 6706 4294967295 134512640 134714508 3221224592 3221222976 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6706 1111 63 0 7338 0 vsize: 29604 [startup+390.01 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 14898 0 0 0 38949 61 0 0 25 0 1 0 773435611 30314496 6707 4294967295 134512640 134714508 3221224592 3221222200 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6707 1111 63 0 7338 0 vsize: 29604 [startup+400.011 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 15125 0 0 0 39947 63 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222848 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+410.011 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 15316 0 0 0 40946 65 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222560 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+420.011 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 15483 0 0 0 41944 67 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222168 1074138271 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+430.011 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 15689 0 0 0 42942 69 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222592 1074916549 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+440.011 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 15968 0 0 0 43941 71 0 0 25 0 1 0 773435611 30515200 6711 4294967295 134512640 134714508 3221224592 3221222656 1075961773 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7450 6711 1111 63 0 7387 0 vsize: 29800 [startup+450.011 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 16274 0 0 0 44938 74 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221223232 134650104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+460.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17679 0 0 0 45934 79 0 0 25 0 1 0 773435611 30556160 6711 4294967295 134512640 134714508 3221224592 3221221404 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7460 6711 1111 63 0 7397 0 vsize: 29840 [startup+470.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 46933 80 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222680 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+480.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 47933 80 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222320 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+490.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 48933 81 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222640 1074153648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+500.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 49933 81 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222592 1074919746 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+510.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 50933 82 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221221784 1074138285 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+520.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 51933 82 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222512 1075802501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+530.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 52932 83 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222480 1074050818 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+540.016 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 53932 83 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222616 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+550.016 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17946 0 0 0 54932 84 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222424 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+560.016 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17969 0 0 0 55932 84 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221221872 1074140704 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+570.016 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17969 0 0 0 56932 84 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222496 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+580.019 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17969 0 0 0 57932 85 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222792 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+590.018 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17969 0 0 0 58931 86 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221222824 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+600.019 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17969 0 0 0 59931 87 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+610.018 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 17981 0 0 0 60930 88 0 0 25 0 1 0 773435611 30314496 6710 4294967295 134512640 134714508 3221224592 3221223216 134649123 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7401 6710 1111 63 0 7338 0 vsize: 29604 [startup+620.019 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 30403 0 0 0 61894 125 0 0 25 0 1 0 773435611 30683136 6800 4294967295 134512640 134714508 3221224592 3221222608 1074153812 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7491 6800 1111 63 0 7428 0 vsize: 29964 [startup+630.019 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 49462 0 0 0 62843 176 0 0 25 0 1 0 773435611 31522816 7005 4294967295 134512640 134714508 3221224592 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7696 7005 1111 63 0 7633 0 vsize: 30784 [startup+640.02 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 68563 0 0 0 63795 224 0 0 25 0 1 0 773435611 32419840 7159 4294967295 134512640 134714508 3221224592 3221222320 1075828208 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7915 7161 1111 63 0 7852 0 vsize: 31660 [startup+650.02 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 77860 0 0 0 64769 251 0 0 25 0 1 0 773435611 32751616 7306 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7996 7306 1111 63 0 7933 0 vsize: 31984 [startup+660.021 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 97748 0 0 0 65718 302 0 0 25 0 1 0 773435611 34226176 7603 4294967295 134512640 134714508 3221224592 3221222320 1075828232 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8356 7603 1111 63 0 8293 0 vsize: 33424 [startup+670.02 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 120359 0 0 0 66659 362 0 0 25 0 1 0 773435611 35700736 7991 4294967295 134512640 134714508 3221224592 3221222944 1074115331 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8716 7995 1111 63 0 8653 0 vsize: 34864 [startup+680.02 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 142256 0 0 0 67604 417 0 0 25 0 1 0 773435611 37466112 8439 4294967295 134512640 134714508 3221224592 3221221704 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9147 8441 1111 63 0 9084 0 vsize: 36588 [startup+690.021 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 165481 0 0 0 68548 473 0 0 25 0 1 0 773435611 39071744 8776 4294967295 134512640 134714508 3221224592 3221222320 1075828208 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9539 8784 1111 63 0 9476 0 vsize: 38156 [startup+700.021 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 188619 0 0 0 69496 526 0 0 25 0 1 0 773435611 40509440 9182 4294967295 134512640 134714508 3221224592 3221221704 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9890 9182 1111 63 0 9827 0 vsize: 39560 [startup+710.021 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 210382 0 0 0 70442 580 0 0 25 0 1 0 773435611 42434560 9657 4294967295 134512640 134714508 3221224592 3221222912 134650190 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10360 9657 1111 63 0 10297 0 vsize: 41440 [startup+720.022 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 232947 0 0 0 71385 638 0 0 25 0 1 0 773435611 43880448 10010 4294967295 134512640 134714508 3221224592 3221222944 1074142734 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10713 10010 1111 63 0 10650 0 vsize: 42852 [startup+730.021 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 254858 0 0 0 72336 686 0 0 25 0 1 0 773435611 45469696 10398 4294967295 134512640 134714508 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11101 10398 1111 63 0 11038 0 vsize: 44404 [startup+740.021 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 277633 0 0 0 73283 740 0 0 25 0 1 0 773435611 47132672 10740 4294967295 134512640 134714508 3221224592 3221222320 1075828218 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11507 10740 1111 63 0 11444 0 vsize: 46028 [startup+750.022 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 299364 0 0 0 74233 790 0 0 25 0 1 0 773435611 48361472 11104 4294967295 134512640 134714508 3221224592 3221222724 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11807 11104 1111 63 0 11744 0 vsize: 47228 [startup+760.022 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 321596 0 0 0 75180 843 0 0 25 0 1 0 773435611 51089408 11664 4294967295 134512640 134714508 3221224592 3221222832 1074153749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12473 11664 1111 63 0 12410 0 vsize: 49892 [startup+770.022 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 344762 0 0 0 76127 897 0 0 25 0 1 0 773435611 52690944 12054 4294967295 134512640 134714508 3221224592 3221222592 1074913776 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12864 12054 1111 63 0 12801 0 vsize: 51456 [startup+780.023 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 367958 0 0 0 77073 951 0 0 25 0 1 0 773435611 54210560 12427 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13235 12427 1111 63 0 13172 0 vsize: 52940 [startup+790.022 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 391386 0 0 0 78021 1003 0 0 25 0 1 0 773435611 55517184 12772 4294967295 134512640 134714508 3221224592 3221222484 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13538 12756 1111 63 0 13475 0 vsize: 54216 [startup+800.023 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 414460 0 0 0 78966 1059 0 0 25 0 1 0 773435611 57028608 13141 4294967295 134512640 134714508 3221224592 3221222320 1075635641 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13923 13141 1111 63 0 13860 0 vsize: 55692 [startup+810.023 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 437450 0 0 0 79915 1110 0 0 25 0 1 0 773435611 58417152 13512 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14262 13512 1111 63 0 14199 0 vsize: 57048 [startup+820.022 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 460299 0 0 0 80862 1164 0 0 25 0 1 0 773435611 60174336 13885 4294967295 134512640 134714508 3221224592 3221222560 1075961280 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14691 13885 1111 63 0 14628 0 vsize: 58764 [startup+830.023 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 483281 0 0 0 81811 1215 0 0 25 0 1 0 773435611 61304832 14224 4294967295 134512640 134714508 3221224592 3221222616 1074138162 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14967 14224 1111 63 0 14904 0 vsize: 59868 [startup+840.023 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 506329 0 0 0 82757 1270 0 0 25 0 1 0 773435611 63426560 14649 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15485 14649 1111 63 0 15422 0 vsize: 61940 [startup+850.023 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 529343 0 0 0 83698 1329 0 0 25 0 1 0 773435611 64331776 14943 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15706 14943 1111 63 0 15643 0 vsize: 62824 [startup+860.024 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 549016 0 0 0 84651 1376 0 0 25 0 1 0 773435611 68726784 15782 4294967295 134512640 134714508 3221224592 3221222240 1075819127 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16779 15782 1111 63 0 16716 0 vsize: 67116 [startup+870.024 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 572379 0 0 0 85600 1428 0 0 25 0 1 0 773435611 70008832 16159 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17092 16159 1111 63 0 17029 0 vsize: 68368 [startup+880.024 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 595406 0 0 0 86547 1481 0 0 25 0 1 0 773435611 71335936 16483 4294967295 134512640 134714508 3221224592 3221222976 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17416 16483 1111 63 0 17353 0 vsize: 69664 [startup+890.025 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 617849 0 0 0 87497 1532 0 0 25 0 1 0 773435611 73457664 16937 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17934 16937 1111 63 0 17871 0 vsize: 71736 [startup+900.025 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 641313 0 0 0 88439 1590 0 0 25 0 1 0 773435611 74223616 17219 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18121 17219 1111 63 0 18058 0 vsize: 72484 [startup+910.026 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 664346 0 0 0 89385 1644 0 0 25 0 1 0 773435611 76345344 17643 4294967295 134512640 134714508 3221224592 3221220556 1074860632 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18639 17643 1111 63 0 18576 0 vsize: 74556 [startup+920.026 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 687443 0 0 0 90330 1699 0 0 25 0 1 0 773435611 77250560 17939 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18860 17939 1111 63 0 18797 0 vsize: 75440 [startup+930.026 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 710385 0 0 0 91274 1756 0 0 25 0 1 0 773435611 79249408 18370 4294967295 134512640 134714508 3221224592 3221221536 1074620308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19348 18375 1111 63 0 19285 0 vsize: 77392 [startup+940.026 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 733031 0 0 0 92224 1806 0 0 25 0 1 0 773435611 79974400 18653 4294967295 134512640 134714508 3221224592 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19525 18653 1111 63 0 19462 0 vsize: 78100 [startup+950.027 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 756243 0 0 0 93171 1860 0 0 25 0 1 0 773435611 81432576 19009 4294967295 134512640 134714508 3221224592 3221222596 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19881 19009 1111 63 0 19818 0 vsize: 79524 [startup+960.027 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 779100 0 0 0 94116 1915 0 0 25 0 1 0 773435611 82993152 19390 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20262 19390 1111 63 0 20199 0 vsize: 81048 [startup+970.027 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 802222 0 0 0 95062 1969 0 0 25 0 1 0 773435611 84598784 19750 4294967295 134512640 134714508 3221224592 3221222704 1074867274 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20654 19750 1111 63 0 20591 0 vsize: 82616 [startup+980.027 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 825798 0 0 0 96007 2024 0 0 25 0 1 0 773435611 85839872 20121 4294967295 134512640 134714508 3221224592 3221222344 1074137219 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20957 20121 1111 63 0 20894 0 vsize: 83828 [startup+990.027 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 848357 0 0 0 96956 2076 0 0 25 0 1 0 773435611 87408640 20486 4294967295 134512640 134714508 3221224592 3221221712 1074865092 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21340 20487 1111 63 0 21277 0 vsize: 85360 [startup+1000.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 871313 0 0 0 97901 2132 0 0 25 0 1 0 773435611 88567808 20787 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21623 20787 1111 63 0 21560 0 vsize: 86492 [startup+1010.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 894491 0 0 0 98848 2185 0 0 25 0 1 0 773435611 90152960 21204 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22010 21204 1111 63 0 21947 0 vsize: 88040 [startup+1020.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 917309 0 0 0 99798 2235 0 0 25 0 1 0 773435611 91533312 21527 4294967295 134512640 134714508 3221224592 3221222592 1074918559 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22347 21527 1111 63 0 22284 0 vsize: 89388 [startup+1030.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 939067 0 0 0 100749 2284 0 0 25 0 1 0 773435611 93093888 21928 4294967295 134512640 134714508 3221224592 3221222592 1074056291 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22728 21928 1111 63 0 22665 0 vsize: 90912 [startup+1040.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 961805 0 0 0 101697 2337 0 0 25 0 1 0 773435611 94838784 22328 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23154 22328 1111 63 0 23091 0 vsize: 92616 [startup+1050.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 985071 0 0 0 102643 2391 0 0 25 0 1 0 773435611 96100352 22662 4294967295 134512640 134714508 3221224592 3221222232 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23462 22662 1111 63 0 23399 0 vsize: 93848 [startup+1060.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 996094 0 0 0 103613 2421 0 0 25 0 1 0 773435611 103067648 23814 4294967295 134512640 134714508 3221224592 3221222592 1074913856 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25163 23814 1111 63 0 25100 0 vsize: 100652 [startup+1070.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1017922 0 0 0 104563 2472 0 0 25 0 1 0 773435611 104591360 24180 4294967295 134512640 134714508 3221224592 3221222908 1074138448 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25535 24180 1111 63 0 25472 0 vsize: 102140 [startup+1080.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1040183 0 0 0 105511 2524 0 0 25 0 1 0 773435611 106221568 24567 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25933 24567 1111 63 0 25870 0 vsize: 103732 [startup+1090.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054067 0 0 0 106477 2558 0 0 25 0 1 0 773435611 107905024 25002 4294967295 134512640 134714508 3221224592 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26344 25002 1111 63 0 26281 0 vsize: 105376 [startup+1100.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054201 0 0 0 107476 2560 0 0 25 0 1 0 773435611 108453888 25136 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26478 25136 1111 63 0 26415 0 vsize: 105912 [startup+1110.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054290 0 0 0 108476 2561 0 0 25 0 1 0 773435611 108949504 25225 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26599 25225 1111 63 0 26536 0 vsize: 106396 [startup+1120.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054378 0 0 0 109475 2561 0 0 25 0 1 0 773435611 109232128 25313 4294967295 134512640 134714508 3221224592 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26668 25313 1111 63 0 26605 0 vsize: 106672 [startup+1130.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054462 0 0 0 110475 2562 0 0 25 0 1 0 773435611 109654016 25397 4294967295 134512640 134714508 3221224592 3221222704 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26771 25397 1111 63 0 26708 0 vsize: 107084 [startup+1140.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054516 0 0 0 111475 2562 0 0 25 0 1 0 773435611 109875200 25451 4294967295 134512640 134714508 3221224592 3221222656 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26825 25451 1111 63 0 26762 0 vsize: 107300 [startup+1150.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054569 0 0 0 112475 2563 0 0 25 0 1 0 773435611 110080000 25504 4294967295 134512640 134714508 3221224592 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26875 25504 1111 63 0 26812 0 vsize: 107500 [startup+1160.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054614 0 0 0 113474 2564 0 0 25 0 1 0 773435611 110264320 25549 4294967295 134512640 134714508 3221224592 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26920 25549 1111 63 0 26857 0 vsize: 107680 [startup+1170.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054657 0 0 0 114474 2564 0 0 25 0 1 0 773435611 110440448 25592 4294967295 134512640 134714508 3221224592 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26963 25592 1111 63 0 26900 0 vsize: 107852 [startup+1180.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054753 0 0 0 115473 2566 0 0 25 0 1 0 773435611 110845952 25688 4294967295 134512640 134714508 3221224592 3221222704 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27062 25688 1111 63 0 26999 0 vsize: 108248 [startup+1190.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054790 0 0 0 116473 2566 0 0 25 0 1 0 773435611 110997504 25725 4294967295 134512640 134714508 3221224592 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27099 25725 1111 63 0 27036 0 vsize: 108396 [startup+1200.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/54 26786 Raw data (stat): 26786 (bsolo_lpr) R 26785 25568 25567 0 -1 0 1054828 0 0 0 117473 2567 0 0 25 0 1 0 773435611 111153152 25763 4294967295 134512640 134714508 3221224592 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27137 25763 1111 63 0 27074 0 vsize: 108548 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.08 s] Raw data (loadavg): 0.99 1.00 1.00 1/54 26786 Raw data (stat): 26786 (bsolo_lpr) Z 26785 25568 25567 0 -1 1036 1054828 0 0 0 117473 2571 0 0 25 0 1 0 773435611 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.08 CPU time (s): 1200.45 CPU user time (s): 1174.74 CPU system time (s): 25.7151 CPU usage (%): 100.031 Max. virtual memory (Kb): 108548 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####