Name | normalized-opb/submitted/sorensson/garden/normalized-g15x15.opb |
MD5SUM | 6a083b86cc55025d2acb3bcf68562064 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 54 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 225 |
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 | 225 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 225 |
Number of bits of the biggest sum of numbers | 8 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01784 |
Number of variables | 225 |
Total number of constraints | 225 |
Number of constraints which are clauses | 225 |
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 | 3 |
Maximum length of a constraint | 5 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-16 06:38:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4955 boxname=wulflinc31 idbench=382 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 6a083b86cc55025d2acb3bcf68562064 /oldhome/oroussel/tmp/wulflinc31/normalized-g15x15.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-g15x15.opb IDLAUNCH: 4955 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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 : 3 cpu MHz : 451.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 800356 kB Buffers: 48700 kB Cached: 163636 kB SwapCached: 1932 kB Active: 170284 kB Inactive: 45256 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 800104 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5368 kB Slab: 13156 kB Committed_AS: 63848 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-16 06:58:25 (client local time) WITH STATUS 10 IN 1180.16 SECONDS stats: 4955 0 1180.16 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 225 variables and 225 constraints. c After prepocess the problem consists of 225 variables and 225 constraints. c preprocess terminated 0.084 s c Initial Lower Bound: 49 c Lower Bound Elapsed time: 0.378 c Use computed LB before first solution. c NEW SOLUTION FOUND: 55 @ 2.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 c Exit Code: 10 c Total time: 1180.13 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.91 0.95 0.96 2/55 10306 Raw data (stat): 10306 (runsolver) R 10305 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 758993455 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 0 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0004 s] Raw data (loadavg): 0.93 0.95 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 6346 0 0 0 976 20 0 0 25 0 1 0 758993455 6807552 919 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1662 919 1111 63 0 1599 0 vsize: 6648 [startup+20.0012 s] Raw data (loadavg): 0.94 0.96 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 13886 0 0 0 1956 40 0 0 25 0 1 0 758993455 7012352 1027 4294967295 134512640 134714508 3221221792 3221219924 1077782939 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1712 1027 1111 63 0 1649 0 vsize: 6848 [startup+30.0021 s] Raw data (loadavg): 0.95 0.96 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 21304 0 0 0 2938 58 0 0 25 0 1 0 758993455 7282688 1094 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1778 1094 1111 63 0 1715 0 vsize: 7112 [startup+40.002 s] Raw data (loadavg): 0.95 0.96 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 27864 0 0 0 3920 76 0 0 25 0 1 0 758993455 7667712 1188 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 1872 1188 1111 63 0 1809 0 vsize: 7488 [startup+50.002 s] Raw data (loadavg): 0.96 0.96 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 36289 0 0 0 4900 97 0 0 25 0 1 0 758993455 8335360 1343 4294967295 134512640 134714508 3221221792 3221218896 1074138803 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2035 1343 1111 63 0 1972 0 vsize: 8140 [startup+60.0019 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 45517 0 0 0 5878 119 0 0 25 0 1 0 758993455 9089024 1438 4294967295 134512640 134714508 3221221792 3221218684 1077387418 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2219 1444 1111 63 0 2156 0 vsize: 8876 [startup+70.0021 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 52446 0 0 0 6859 137 0 0 25 0 1 0 758993455 9646080 1654 4294967295 134512640 134714508 3221221792 3221217648 1074867970 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2355 1654 1111 63 0 2292 0 vsize: 9420 [startup+80.0028 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 61513 0 0 0 7838 159 0 0 25 0 1 0 758993455 10014720 1721 4294967295 134512640 134714508 3221221792 3221218020 1075115070 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2445 1721 1111 63 0 2382 0 vsize: 9780 [startup+90.0027 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 71023 0 0 0 8814 183 0 0 25 0 1 0 758993455 9629696 1638 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2351 1638 1111 63 0 2288 0 vsize: 9404 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 80406 0 0 0 9792 205 0 0 25 0 1 0 758993455 10178560 1717 4294967295 134512640 134714508 3221221792 3221218336 1075088581 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2485 1717 1111 63 0 2422 0 vsize: 9940 [startup+110.004 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 90606 0 0 0 10767 230 0 0 25 0 1 0 758993455 9695232 1673 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2367 1673 1111 63 0 2304 0 vsize: 9468 [startup+120.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 101026 0 0 0 11742 255 0 0 25 0 1 0 758993455 10096640 1777 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2465 1777 1111 63 0 2402 0 vsize: 9860 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 111615 0 0 0 12716 281 0 0 25 0 1 0 758993455 9670656 1680 4294967295 134512640 134714508 3221221792 3221218608 1074153800 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2361 1680 1111 63 0 2298 0 vsize: 9444 [startup+140.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 122389 0 0 0 13693 305 0 0 25 0 1 0 758993455 10776576 1883 4294967295 134512640 134714508 3221221792 3221218112 1075169805 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2631 1883 1111 63 0 2568 0 vsize: 10524 [startup+150.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 134055 0 0 0 14667 331 0 0 25 0 1 0 758993455 10125312 1791 4294967295 134512640 134714508 3221221792 3221219704 1074138315 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2472 1791 1111 63 0 2409 0 vsize: 9888 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 145703 0 0 0 15644 355 0 0 25 0 1 0 758993455 10440704 1857 4294967295 134512640 134714508 3221221792 3221219792 1074918198 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2549 1857 1111 63 0 2486 0 vsize: 10196 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 157936 0 0 0 16616 382 0 0 25 0 1 0 758993455 11304960 2029 4294967295 134512640 134714508 3221221792 3221217952 1075094841 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2760 2032 1111 63 0 2697 0 vsize: 11040 [startup+180.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 170194 0 0 0 17587 412 0 0 25 0 1 0 758993455 11255808 2027 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2748 2027 1111 63 0 2685 0 vsize: 10992 [startup+190.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 182190 0 0 0 18561 438 0 0 25 0 1 0 758993455 10268672 1826 4294967295 134512640 134714508 3221221792 3221220040 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2507 1826 1111 63 0 2444 0 vsize: 10028 [startup+200.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 192619 0 0 0 19535 464 0 0 25 0 1 0 758993455 10936320 1957 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2670 1957 1111 63 0 2607 0 vsize: 10680 [startup+210.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 203367 0 0 0 20508 491 0 0 25 0 1 0 758993455 11280384 2041 4294967295 134512640 134714508 3221221792 3221218544 1074247413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2754 2041 1111 63 0 2691 0 vsize: 11016 [startup+220.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 214524 0 0 0 21482 517 0 0 25 0 1 0 758993455 12288000 2264 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3000 2264 1111 63 0 2937 0 vsize: 12000 [startup+230.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 226764 0 0 0 22454 545 0 0 25 0 1 0 758993455 12476416 2278 4294967295 134512640 134714508 3221221792 3221218032 1075115696 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3046 2278 1111 63 0 2983 0 vsize: 12184 [startup+240.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 238374 0 0 0 23427 573 0 0 25 0 1 0 758993455 11993088 2235 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2928 2235 1111 63 0 2865 0 vsize: 11712 [startup+250.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 249376 0 0 0 24401 599 0 0 25 0 1 0 758993455 12877824 2400 4294967295 134512640 134714508 3221221792 3221217728 1075965260 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3144 2400 1111 63 0 3081 0 vsize: 12576 [startup+260.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 260068 0 0 0 25375 625 0 0 25 0 1 0 758993455 12242944 2308 4294967295 134512640 134714508 3221221792 3221219552 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2989 2308 1111 63 0 2926 0 vsize: 11956 [startup+270.003 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 271906 0 0 0 26348 652 0 0 25 0 1 0 758993455 12251136 2310 4294967295 134512640 134714508 3221221792 3221219136 1074839039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2991 2310 1111 63 0 2928 0 vsize: 11964 [startup+280.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 284489 0 0 0 27320 680 0 0 25 0 1 0 758993455 11976704 2213 4294967295 134512640 134714508 3221221792 3221218832 134650104 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2924 2213 1111 63 0 2861 0 vsize: 11696 [startup+290.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 297021 0 0 0 28293 707 0 0 25 0 1 0 758993455 12775424 2408 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3119 2408 1111 63 0 3056 0 vsize: 12476 [startup+300.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 309121 0 0 0 29265 736 0 0 25 0 1 0 758993455 12787712 2413 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3122 2413 1111 63 0 3059 0 vsize: 12488 [startup+310.004 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 321251 0 0 0 30236 764 0 0 25 0 1 0 758993455 12849152 2426 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3137 2426 1111 63 0 3074 0 vsize: 12548 [startup+320.005 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 333644 0 0 0 31208 793 0 0 25 0 1 0 758993455 13606912 2521 4294967295 134512640 134714508 3221221792 3221218392 1075850777 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3322 2521 1111 63 0 3259 0 vsize: 13288 [startup+330.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 346249 0 0 0 32178 823 0 0 25 0 1 0 758993455 13475840 2490 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3290 2490 1111 63 0 3227 0 vsize: 13160 [startup+340.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 358878 0 0 0 33148 854 0 0 25 0 1 0 758993455 12509184 2361 4294967295 134512640 134714508 3221221792 3221219792 1074918494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3054 2361 1111 63 0 2991 0 vsize: 12216 [startup+350.006 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 370769 0 0 0 34119 882 0 0 25 0 1 0 758993455 12222464 2271 4294967295 134512640 134714508 3221221792 3221219944 1074950108 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2984 2271 1111 63 0 2921 0 vsize: 11936 [startup+360.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 384588 0 0 0 35089 912 0 0 25 0 1 0 758993455 12042240 2259 4294967295 134512640 134714508 3221221792 3221220256 1074121040 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2940 2259 1111 63 0 2877 0 vsize: 11760 [startup+370.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 397331 0 0 0 36061 940 0 0 25 0 1 0 758993455 12206080 2267 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2980 2267 1111 63 0 2917 0 vsize: 11920 [startup+380.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 410336 0 0 0 37035 967 0 0 25 0 1 0 758993455 12509184 2360 4294967295 134512640 134714508 3221221792 3221219792 1074918619 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3054 2360 1111 63 0 2991 0 vsize: 12216 [startup+390.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 422848 0 0 0 38006 996 0 0 25 0 1 0 758993455 13438976 2483 4294967295 134512640 134714508 3221221792 3221218448 1075966540 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3281 2483 1111 63 0 3218 0 vsize: 13124 [startup+400.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 434941 0 0 0 38976 1026 0 0 25 0 1 0 758993455 11825152 2206 4294967295 134512640 134714508 3221221792 3221218544 134650068 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2887 2206 1111 63 0 2824 0 vsize: 11548 [startup+410.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 446245 0 0 0 39952 1051 0 0 25 0 1 0 758993455 12374016 2339 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3021 2339 1111 63 0 2958 0 vsize: 12084 [startup+420.007 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 458047 0 0 0 40925 1077 0 0 25 0 1 0 758993455 12177408 2260 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2973 2260 1111 63 0 2910 0 vsize: 11892 [startup+430.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 469911 0 0 0 41899 1104 0 0 25 0 1 0 758993455 12451840 2327 4294967295 134512640 134714508 3221221792 3221219944 1074950102 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3040 2327 1111 63 0 2977 0 vsize: 12160 [startup+440.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 482927 0 0 0 42871 1132 0 0 25 0 1 0 758993455 12120064 2248 4294967295 134512640 134714508 3221221792 3221220144 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2959 2248 1111 63 0 2896 0 vsize: 11836 [startup+450.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 495743 0 0 0 43842 1161 0 0 25 0 1 0 758993455 13869056 2563 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3386 2563 1111 63 0 3323 0 vsize: 13544 [startup+460.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 508055 0 0 0 44813 1190 0 0 25 0 1 0 758993455 12943360 2447 4294967295 134512640 134714508 3221221792 3221218544 1074247419 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3160 2447 1111 63 0 3097 0 vsize: 12640 [startup+470.008 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 520430 0 0 0 45787 1217 0 0 25 0 1 0 758993455 13225984 2543 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3229 2543 1111 63 0 3166 0 vsize: 12916 [startup+480.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 531221 0 0 0 46765 1239 0 0 25 0 1 0 758993455 13422592 2593 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3277 2593 1111 63 0 3214 0 vsize: 13108 [startup+490.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 542415 0 0 0 47739 1265 0 0 25 0 1 0 758993455 12906496 2438 4294967295 134512640 134714508 3221221792 3221219944 1074950105 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3151 2438 1111 63 0 3088 0 vsize: 12604 [startup+500.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 555013 0 0 0 48710 1294 0 0 25 0 1 0 758993455 13045760 2472 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3185 2472 1111 63 0 3122 0 vsize: 12740 [startup+510.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 567285 0 0 0 49683 1322 0 0 25 0 1 0 758993455 14503936 2753 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3541 2753 1111 63 0 3478 0 vsize: 14164 [startup+520.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 579073 0 0 0 50657 1347 0 0 25 0 1 0 758993455 13246464 2553 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3234 2553 1111 63 0 3171 0 vsize: 12936 [startup+530.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 591365 0 0 0 51630 1375 0 0 25 0 1 0 758993455 13664256 2643 4294967295 134512640 134714508 3221221792 3221219792 1074916785 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3336 2643 1111 63 0 3273 0 vsize: 13344 [startup+540.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 603987 0 0 0 52605 1400 0 0 25 0 1 0 758993455 14790656 2826 4294967295 134512640 134714508 3221221792 3221218392 1075850790 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3611 2826 1111 63 0 3548 0 vsize: 14444 [startup+550.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 616629 0 0 0 53577 1428 0 0 25 0 1 0 758993455 13340672 2562 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3257 2562 1111 63 0 3194 0 vsize: 13028 [startup+560.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 628772 0 0 0 54552 1454 0 0 25 0 1 0 758993455 15155200 2952 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3700 2952 1111 63 0 3637 0 vsize: 14800 [startup+570.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 638452 0 0 0 55531 1474 0 0 25 0 1 0 758993455 14217216 2789 4294967295 134512640 134714508 3221221792 3221219072 1074140378 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3471 2789 1111 63 0 3408 0 vsize: 13884 [startup+580.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 649345 0 0 0 56507 1499 0 0 25 0 1 0 758993455 15519744 2948 4294967295 134512640 134714508 3221221792 3221218736 1074620096 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3789 2948 1111 63 0 3726 0 vsize: 15156 [startup+590.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 660601 0 0 0 57480 1526 0 0 25 0 1 0 758993455 15675392 3100 4294967295 134512640 134714508 3221221792 3221217676 1074788968 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3827 3100 1111 63 0 3764 0 vsize: 15308 [startup+600.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 672447 0 0 0 58453 1553 0 0 25 0 1 0 758993455 13897728 2712 4294967295 134512640 134714508 3221221792 3221219632 1077814665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3393 2712 1111 63 0 3330 0 vsize: 13572 [startup+610.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 683371 0 0 0 59430 1576 0 0 25 0 1 0 758993455 15790080 3135 4294967295 134512640 134714508 3221221792 3221217804 1074788944 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3855 3135 1111 63 0 3792 0 vsize: 15420 [startup+620.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 696076 0 0 0 60403 1603 0 0 25 0 1 0 758993455 14934016 2965 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3646 2965 1111 63 0 3583 0 vsize: 14584 [startup+630.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 708830 0 0 0 61373 1633 0 0 25 0 1 0 758993455 15998976 3143 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3906 3143 1111 63 0 3843 0 vsize: 15624 [startup+640.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 721116 0 0 0 62346 1661 0 0 25 0 1 0 758993455 13971456 2723 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3411 2723 1111 63 0 3348 0 vsize: 13644 [startup+650.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 731779 0 0 0 63321 1685 0 0 25 0 1 0 758993455 14594048 2882 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3563 2882 1111 63 0 3500 0 vsize: 14252 [startup+660.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 743294 0 0 0 64297 1710 0 0 25 0 1 0 758993455 14319616 2815 4294967295 134512640 134714508 3221221792 3221220144 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3496 2815 1111 63 0 3433 0 vsize: 13984 [startup+670.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 754833 0 0 0 65272 1736 0 0 25 0 1 0 758993455 16322560 3216 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3985 3216 1111 63 0 3922 0 vsize: 15940 [startup+680.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 765125 0 0 0 66249 1759 0 0 25 0 1 0 758993455 15142912 3002 4294967295 134512640 134714508 3221221792 3221220224 1074039235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3697 3002 1111 63 0 3634 0 vsize: 14788 [startup+690.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 776093 0 0 0 67225 1783 0 0 25 0 1 0 758993455 15056896 2963 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3676 2963 1111 63 0 3613 0 vsize: 14704 [startup+700.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 788810 0 0 0 68195 1813 0 0 25 0 1 0 758993455 15929344 3045 4294967295 134512640 134714508 3221221792 3221218936 1075850777 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3889 3045 1111 63 0 3826 0 vsize: 15556 [startup+710.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 801186 0 0 0 69169 1839 0 0 25 0 1 0 758993455 15142912 2984 4294967295 134512640 134714508 3221221792 3221219788 1074788964 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3697 2984 1111 63 0 3634 0 vsize: 14788 [startup+720.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 812998 0 0 0 70142 1866 0 0 25 0 1 0 758993455 16977920 3236 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4145 3236 1111 63 0 4082 0 vsize: 16580 [startup+730.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 826254 0 0 0 71113 1896 0 0 25 0 1 0 758993455 16470016 3199 4294967295 134512640 134714508 3221221792 3221218392 1075850752 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4021 3199 1111 63 0 3958 0 vsize: 16084 [startup+740.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 837222 0 0 0 72088 1920 0 0 25 0 1 0 758993455 15568896 3067 4294967295 134512640 134714508 3221221792 3221219704 1074138316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3801 3077 1111 63 0 3738 0 vsize: 15204 [startup+750.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 849512 0 0 0 73061 1948 0 0 25 0 1 0 758993455 14901248 2957 4294967295 134512640 134714508 3221221792 3221218336 1077814665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3638 2957 1111 63 0 3575 0 vsize: 14552 [startup+760.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 861672 0 0 0 74034 1975 0 0 25 0 1 0 758993455 16936960 3358 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4135 3358 1111 63 0 4072 0 vsize: 16540 [startup+770.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 873979 0 0 0 75008 2001 0 0 25 0 1 0 758993455 15745024 3163 4294967295 134512640 134714508 3221221792 3221219792 1074916669 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3844 3163 1111 63 0 3781 0 vsize: 15376 [startup+780.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 886961 0 0 0 75978 2031 0 0 25 0 1 0 758993455 15253504 3043 4294967295 134512640 134714508 3221221792 3221219944 1074950119 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3724 3043 1111 63 0 3661 0 vsize: 14896 [startup+790.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 899277 0 0 0 76951 2058 0 0 25 0 1 0 758993455 15048704 2993 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3674 2993 1111 63 0 3611 0 vsize: 14696 [startup+800.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 911125 0 0 0 77926 2083 0 0 25 0 1 0 758993455 17281024 3433 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4219 3433 1111 63 0 4156 0 vsize: 16876 [startup+810.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 922719 0 0 0 78902 2107 0 0 25 0 1 0 758993455 15593472 3126 4294967295 134512640 134714508 3221221792 3221220112 1074039443 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3807 3126 1111 63 0 3744 0 vsize: 15228 [startup+820.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 934659 0 0 0 79875 2134 0 0 25 0 1 0 758993455 15855616 3095 4294967295 134512640 134714508 3221221792 3221219704 1074138316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3871 3108 1111 63 0 3808 0 vsize: 15484 [startup+830.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 944561 0 0 0 80853 2157 0 0 25 0 1 0 758993455 15802368 3177 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3858 3177 1111 63 0 3795 0 vsize: 15432 [startup+840.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 955988 0 0 0 81827 2183 0 0 25 0 1 0 758993455 16515072 3350 4294967295 134512640 134714508 3221221792 3221219752 1074138316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4032 3350 1111 63 0 3969 0 vsize: 16128 [startup+850.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 968411 0 0 0 82798 2212 0 0 25 0 1 0 758993455 15499264 3103 4294967295 134512640 134714508 3221221792 3221220208 1074117062 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3784 3103 1111 63 0 3721 0 vsize: 15136 [startup+860.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 980614 0 0 0 83770 2240 0 0 25 0 1 0 758993455 16396288 3322 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4003 3322 1111 63 0 3940 0 vsize: 16012 [startup+870.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 992760 0 0 0 84743 2268 0 0 25 0 1 0 758993455 17575936 3525 4294967295 134512640 134714508 3221221792 3221218176 1075133407 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4291 3525 1111 63 0 4228 0 vsize: 17164 [startup+880.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1004755 0 0 0 85714 2297 0 0 25 0 1 0 758993455 16007168 3120 4294967295 134512640 134714508 3221221792 3221219432 1077410163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3908 3125 1111 63 0 3845 0 vsize: 15632 [startup+890.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1016984 0 0 0 86688 2324 0 0 25 0 1 0 758993455 16433152 3331 4294967295 134512640 134714508 3221221792 3221218984 1074138315 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4012 3331 1111 63 0 3949 0 vsize: 16048 [startup+900.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1028542 0 0 0 87660 2351 0 0 25 0 1 0 758993455 15429632 3086 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3767 3086 1111 63 0 3704 0 vsize: 15068 [startup+910.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1040358 0 0 0 88635 2377 0 0 25 0 1 0 758993455 15953920 3182 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3895 3182 1111 63 0 3832 0 vsize: 15580 [startup+920.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1052191 0 0 0 89608 2404 0 0 25 0 1 0 758993455 15314944 3052 4294967295 134512640 134714508 3221221792 3221218448 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3740 3053 1111 63 0 3677 0 vsize: 14956 [startup+930.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1063337 0 0 0 90584 2428 0 0 25 0 1 0 758993455 17702912 3601 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4322 3601 1111 63 0 4259 0 vsize: 17288 [startup+940.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1074681 0 0 0 91558 2454 0 0 25 0 1 0 758993455 15196160 3002 4294967295 134512640 134714508 3221221792 3221220176 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3710 3002 1111 63 0 3647 0 vsize: 14840 [startup+950.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1085808 0 0 0 92533 2479 0 0 25 0 1 0 758993455 16494592 3346 4294967295 134512640 134714508 3221221792 3221219856 1075961758 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4027 3346 1111 63 0 3964 0 vsize: 16108 [startup+960.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1097152 0 0 0 93509 2504 0 0 25 0 1 0 758993455 17846272 3524 4294967295 134512640 134714508 3221221792 3221217804 1074788964 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4357 3524 1111 63 0 4294 0 vsize: 17428 [startup+970.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1108410 0 0 0 94483 2530 0 0 25 0 1 0 758993455 17731584 3504 4294967295 134512640 134714508 3221221792 3221217756 1074860608 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4329 3504 1111 63 0 4266 0 vsize: 17316 [startup+980.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1121353 0 0 0 95453 2560 0 0 25 0 1 0 758993455 17657856 3527 4294967295 134512640 134714508 3221221792 3221217952 1074794536 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4311 3527 1111 63 0 4248 0 vsize: 17244 [startup+990.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1135291 0 0 0 96422 2591 0 0 25 0 1 0 758993455 15630336 3135 4294967295 134512640 134714508 3221221792 3221218208 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3816 3135 1111 63 0 3753 0 vsize: 15264 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1147902 0 0 0 97393 2620 0 0 25 0 1 0 758993455 16625664 3375 4294967295 134512640 134714508 3221221792 3221220072 1074138316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4059 3378 1111 63 0 3996 0 vsize: 16236 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1160654 0 0 0 98363 2651 0 0 25 0 1 0 758993455 17858560 3583 4294967295 134512640 134714508 3221221792 3221218864 1074867317 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4360 3583 1111 63 0 4297 0 vsize: 17440 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1174054 0 0 0 99332 2681 0 0 25 0 1 0 758993455 15642624 3114 4294967295 134512640 134714508 3221221792 3221219568 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3819 3114 1111 63 0 3756 0 vsize: 15276 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1187142 0 0 0 100304 2710 0 0 25 0 1 0 758993455 16973824 3463 4294967295 134512640 134714508 3221221792 3221219904 1074867305 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4144 3463 1111 63 0 4081 0 vsize: 16576 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1199809 0 0 0 101276 2739 0 0 25 0 1 0 758993455 16457728 3337 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4018 3337 1111 63 0 3955 0 vsize: 16072 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1212802 0 0 0 102248 2766 0 0 25 0 1 0 758993455 17158144 3480 4294967295 134512640 134714508 3221221792 3221219752 1074138316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4189 3491 1111 63 0 4126 0 vsize: 16756 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1224228 0 0 0 103225 2790 0 0 25 0 1 0 758993455 17448960 3545 4294967295 134512640 134714508 3221221792 3221219752 1074138316 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4260 3555 1111 63 0 4197 0 vsize: 17040 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1236502 0 0 0 104198 2817 0 0 25 0 1 0 758993455 18526208 3710 4294967295 134512640 134714508 3221221792 3221217756 1074860617 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4523 3710 1111 63 0 4460 0 vsize: 18092 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1249045 0 0 0 105170 2845 0 0 25 0 1 0 758993455 16216064 3272 4294967295 134512640 134714508 3221221792 3221218208 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3959 3272 1111 63 0 3896 0 vsize: 15836 [startup+1090.03 s] Raw data (loadavg): 1.07 0.99 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1260016 0 0 0 106145 2870 0 0 25 0 1 0 758993455 18653184 3823 4294967295 134512640 134714508 3221221792 3221218864 1074867308 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4554 3823 1111 63 0 4491 0 vsize: 18216 [startup+1100.03 s] Raw data (loadavg): 1.06 0.99 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1273111 0 0 0 107117 2898 0 0 25 0 1 0 758993455 17473536 3578 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4266 3578 1111 63 0 4203 0 vsize: 17064 [startup+1110.03 s] Raw data (loadavg): 1.05 0.99 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1283660 0 0 0 108095 2920 0 0 25 0 1 0 758993455 17326080 3549 4294967295 134512640 134714508 3221221792 3221219788 1074788964 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4230 3549 1111 63 0 4167 0 vsize: 16920 [startup+1120.03 s] Raw data (loadavg): 1.04 0.99 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1295336 0 0 0 109069 2947 0 0 25 0 1 0 758993455 16764928 3412 4294967295 134512640 134714508 3221221792 3221218320 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4093 3412 1111 63 0 4030 0 vsize: 16372 [startup+1130.03 s] Raw data (loadavg): 1.04 0.99 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1306535 0 0 0 110044 2972 0 0 25 0 1 0 758993455 16699392 3396 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4077 3396 1111 63 0 4014 0 vsize: 16308 [startup+1140.03 s] Raw data (loadavg): 1.03 0.99 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1318006 0 0 0 111018 2998 0 0 25 0 1 0 758993455 17367040 3559 4294967295 134512640 134714508 3221221792 3221219536 1075646807 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4240 3559 1111 63 0 4177 0 vsize: 16960 [startup+1150.03 s] Raw data (loadavg): 1.03 0.99 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1330568 0 0 0 111992 3024 0 0 25 0 1 0 758993455 17235968 3495 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4208 3495 1111 63 0 4145 0 vsize: 16832 [startup+1160.03 s] Raw data (loadavg): 1.02 0.99 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1343286 0 0 0 112964 3052 0 0 25 0 1 0 758993455 17735680 3649 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4330 3649 1111 63 0 4267 0 vsize: 17320 [startup+1170.03 s] Raw data (loadavg): 1.02 0.99 0.96 2/55 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1355762 0 0 0 113937 3080 0 0 25 0 1 0 758993455 16576512 3366 4294967295 134512640 134714508 3221221792 3221218060 1077404742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4047 3366 1111 63 0 3984 0 vsize: 16188 [startup+1180.02 s] Raw data (loadavg): 1.01 0.99 0.96 1/54 10306 Raw data (stat): 10306 (bsolo_lpr_cuts) R 10305 7876 7672 0 -1 0 1355762 0 0 0 113937 3080 0 0 25 0 1 0 758993455 16576512 3366 4294967295 134512640 134714508 3221221792 3221218060 1077404742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4047 3366 1111 63 0 3984 0 vsize: 0 Child status: 10 Real time (s): 1180.02 CPU time (s): 1180.16 CPU user time (s): 1149.08 CPU system time (s): 31.0813 CPU usage (%): 100.012 Max. virtual memory (Kb): 18216 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 55 #### END VERIFIER DATA ####