Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb |
MD5SUM | 33d46caaa6c22613488909eddb5a530f |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 162 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 444 |
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 | 444 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 444 |
Number of bits of the biggest sum of numbers | 9 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02184 |
Number of variables | 444 |
Total number of constraints | 1408 |
Number of constraints which are clauses | 1408 |
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 | 32 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-08 19:35:44 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28772 boxname=wulflinc6 idbench=158 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 33d46caaa6c22613488909eddb5a530f /oldhome/oroussel/tmp/wulflinc6/normalized-ii32e1.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ii32e1.opb IDLAUNCH: 28772 /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: 923004 kB Buffers: 26288 kB Cached: 64084 kB SwapCached: 1292 kB Active: 27092 kB Inactive: 65664 kB HighTotal: 131008 kB HighFree: 82824 kB LowTotal: 903652 kB LowFree: 840180 kB SwapTotal: 2097136 kB SwapFree: 2094824 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4988 kB Slab: 13128 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 19:55:20 (client local time) WITH STATUS 10 IN 1175.99 SECONDS stats: 28772 0 1175.99 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 444 variables and 1408 constraints. c After prepocess the problem consists of 444 variables and 1408 constraints. c preprocess terminated 1.292 s c Initial Lower Bound: 131 c Lower Bound Elapsed time: 0.490571 c Use computed LB before first solution. c NEW SOLUTION FOUND: 199 @ 9.748 c NEW SOLUTION FOUND: 179 @ 9.808 c NEW SOLUTION FOUND: 175 @ 547.224 c NEW SOLUTION FOUND: 163 @ 1038.62 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 c Exit Code: 10 c Total time: 1175.96 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.84 0.94 0.90 2/54 1439 Raw data (stat): 1439 (runsolver) R 1438 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904198610 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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+10.0007 s] Raw data (loadavg): 0.87 0.94 0.90 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 5088 0 0 0 983 14 0 0 25 0 1 0 904198610 7925760 1213 4294967295 134512640 134716908 3221224576 3221220452 1074786586 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1935 1213 1111 63 0 1872 0 vsize: 7740 [startup+20.0014 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 13006 0 0 0 1958 38 0 0 25 0 1 0 904198610 8822784 1367 4294967295 134512640 134716908 3221224576 3221220944 1075894558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2154 1367 1111 63 0 2091 0 vsize: 8616 [startup+30.0027 s] Raw data (loadavg): 0.90 0.94 0.90 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 19364 0 0 0 2937 60 0 0 25 0 1 0 904198610 9289728 1515 4294967295 134512640 134716908 3221224576 3221220540 1074788217 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2268 1515 1111 63 0 2205 0 vsize: 9072 [startup+40.0028 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 25721 0 0 0 3917 80 0 0 25 0 1 0 904198610 10579968 1829 4294967295 134512640 134716908 3221224576 3221220848 1074961275 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2583 1829 1111 63 0 2520 0 vsize: 10332 [startup+50.0036 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 32669 0 0 0 4896 102 0 0 25 0 1 0 904198610 12476416 2292 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3046 2292 1111 63 0 2983 0 vsize: 12184 [startup+60.0044 s] Raw data (loadavg): 0.94 0.95 0.90 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 36456 0 0 0 5882 116 0 0 25 0 1 0 904198610 12124160 2290 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2960 2290 1111 63 0 2897 0 vsize: 11840 [startup+70.0052 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 41312 0 0 0 6865 134 0 0 25 0 1 0 904198610 12509184 2384 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3054 2384 1111 63 0 2991 0 vsize: 12216 [startup+80.0061 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 48358 0 0 0 7841 159 0 0 25 0 1 0 904198610 14729216 2821 4294967295 134512640 134716908 3221224576 3221221648 1074867305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3596 2821 1111 63 0 3533 0 vsize: 14384 [startup+90.0065 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 52796 0 0 0 8825 174 0 0 25 0 1 0 904198610 15028224 2913 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3669 2913 1111 63 0 3606 0 vsize: 14676 [startup+100.007 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 57492 0 0 0 9810 189 0 0 25 0 1 0 904198610 14528512 2877 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3547 2877 1111 63 0 3484 0 vsize: 14188 [startup+110.008 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 61809 0 0 0 10796 204 0 0 25 0 1 0 904198610 14528512 2877 4294967295 134512640 134716908 3221224576 3221223112 1077377398 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3547 2877 1111 63 0 3484 0 vsize: 14188 [startup+120.008 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 67870 0 0 0 11777 223 0 0 25 0 1 0 904198610 15400960 3090 4294967295 134512640 134716908 3221224576 3221222304 1075828503 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3760 3090 1111 63 0 3697 0 vsize: 15040 [startup+130.009 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 73003 0 0 0 12762 239 0 0 25 0 1 0 904198610 15908864 3134 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3884 3134 1111 63 0 3821 0 vsize: 15536 [startup+140.009 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 78479 0 0 0 13746 255 0 0 25 0 1 0 904198610 15761408 3119 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3848 3119 1111 63 0 3785 0 vsize: 15392 [startup+150.009 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 85684 0 0 0 14724 277 0 0 25 0 1 0 904198610 17031168 3427 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4158 3427 1111 63 0 4095 0 vsize: 16632 [startup+160.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 92790 0 0 0 15705 297 0 0 25 0 1 0 904198610 18178048 3768 4294967295 134512640 134716908 3221224576 3221222900 1074207528 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4438 3768 1111 63 0 4375 0 vsize: 17752 [startup+170.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 99311 0 0 0 16686 317 0 0 25 0 1 0 904198610 19374080 3987 4294967295 134512640 134716908 3221224576 3221221648 1074867317 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4730 3987 1111 63 0 4667 0 vsize: 18920 [startup+180.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 104748 0 0 0 17668 335 0 0 25 0 1 0 904198610 19267584 3977 4294967295 134512640 134716908 3221224576 3221220816 1075115717 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4704 3978 1111 63 0 4641 0 vsize: 18816 [startup+190.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 111032 0 0 0 18649 354 0 0 25 0 1 0 904198610 20320256 4214 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4961 4214 1111 63 0 4898 0 vsize: 19844 [startup+200.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 116862 0 0 0 19632 372 0 0 25 0 1 0 904198610 21061632 4400 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5142 4400 1111 63 0 5079 0 vsize: 20568 [startup+210.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 122366 0 0 0 20615 389 0 0 25 0 1 0 904198610 22224896 4649 4294967295 134512640 134716908 3221224576 3221220736 1075093374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5426 4649 1111 63 0 5363 0 vsize: 21704 [startup+220.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 128005 0 0 0 21598 406 0 0 25 0 1 0 904198610 23306240 4885 4294967295 134512640 134716908 3221224576 3221220960 1074972710 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5690 4885 1111 63 0 5627 0 vsize: 22760 [startup+230.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 134270 0 0 0 22580 425 0 0 25 0 1 0 904198610 23740416 4947 4294967295 134512640 134716908 3221224576 3221221728 1075969848 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5796 4953 1111 63 0 5733 0 vsize: 23184 [startup+240.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 141183 0 0 0 23562 443 0 0 25 0 1 0 904198610 23429120 5050 4294967295 134512640 134716908 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5720 5050 1111 63 0 5657 0 vsize: 22880 [startup+250.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 148164 0 0 0 24541 464 0 0 25 0 1 0 904198610 24735744 5369 4294967295 134512640 134716908 3221224576 3221222688 1074867314 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6039 5369 1111 63 0 5976 0 vsize: 24156 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 154618 0 0 0 25523 483 0 0 25 0 1 0 904198610 26365952 5681 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6437 5681 1111 63 0 6374 0 vsize: 25748 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 160695 0 0 0 26506 500 0 0 25 0 1 0 904198610 27316224 5994 4294967295 134512640 134716908 3221224576 3221222536 1074138316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6669 5996 1111 63 0 6606 0 vsize: 26676 [startup+280.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 167338 0 0 0 27487 520 0 0 25 0 1 0 904198610 28807168 6292 4294967295 134512640 134716908 3221224576 3221220588 1074788937 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7033 6293 1111 63 0 6970 0 vsize: 28132 [startup+290.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 173185 0 0 0 28469 538 0 0 25 0 1 0 904198610 29655040 6515 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7240 6515 1111 63 0 7177 0 vsize: 28960 [startup+300.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 178213 0 0 0 29455 553 0 0 25 0 1 0 904198610 30244864 6634 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7384 6634 1111 63 0 7321 0 vsize: 29536 [startup+310.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 182252 0 0 0 30442 566 0 0 25 0 1 0 904198610 29892608 6628 4294967295 134512640 134716908 3221224576 3221223372 134542400 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7298 6628 1111 63 0 7235 0 vsize: 29192 [startup+320.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 188282 0 0 0 31425 583 0 0 25 0 1 0 904198610 30683136 6821 4294967295 134512640 134716908 3221224576 3221222864 1074153648 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7491 6821 1111 63 0 7428 0 vsize: 29964 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 193449 0 0 0 32413 596 0 0 25 0 1 0 904198610 31240192 6957 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7627 6957 1111 63 0 7564 0 vsize: 30508 [startup+340.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 197793 0 0 0 33402 607 0 0 25 0 1 0 904198610 32215040 7029 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7865 7029 1111 63 0 7802 0 vsize: 31460 [startup+350.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 201866 0 0 0 34391 619 0 0 25 0 1 0 904198610 31739904 7002 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7749 7002 1111 63 0 7686 0 vsize: 30996 [startup+360.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 205785 0 0 0 35377 633 0 0 25 0 1 0 904198610 31993856 7042 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7811 7048 1111 63 0 7748 0 vsize: 31244 [startup+370.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 209834 0 0 0 36366 644 0 0 25 0 1 0 904198610 31760384 7020 4294967295 134512640 134716908 3221224576 3221221696 1074834346 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7754 7020 1111 63 0 7691 0 vsize: 31016 [startup+380.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 214676 0 0 0 37353 658 0 0 25 0 1 0 904198610 31903744 7019 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7789 7019 1111 63 0 7726 0 vsize: 31156 [startup+390.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 220028 0 0 0 38337 674 0 0 25 0 1 0 904198610 32227328 7032 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7868 7032 1111 63 0 7805 0 vsize: 31472 [startup+400.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 226366 0 0 0 39319 692 0 0 25 0 1 0 904198610 31514624 6975 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7694 6975 1111 63 0 7631 0 vsize: 30776 [startup+410.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 231365 0 0 0 40305 707 0 0 25 0 1 0 904198610 32010240 7048 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7815 7048 1111 63 0 7752 0 vsize: 31260 [startup+420.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 236916 0 0 0 41289 723 0 0 25 0 1 0 904198610 31748096 7026 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7751 7026 1111 63 0 7688 0 vsize: 31004 [startup+430.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 243564 0 0 0 42271 742 0 0 25 0 1 0 904198610 32559104 7173 4294967295 134512640 134716908 3221224576 3221220460 1074788937 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7949 7173 1111 63 0 7886 0 vsize: 31796 [startup+440.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 251117 0 0 0 43252 761 0 0 25 0 1 0 904198610 33239040 7392 4294967295 134512640 134716908 3221224576 3221222688 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8115 7392 1111 63 0 8052 0 vsize: 32460 [startup+450.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 259308 0 0 0 44231 782 0 0 25 0 1 0 904198610 33935360 7545 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8285 7545 1111 63 0 8222 0 vsize: 33140 [startup+460.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 267018 0 0 0 45212 802 0 0 25 0 1 0 904198610 35655680 7958 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8705 7958 1111 63 0 8642 0 vsize: 34820 [startup+470.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 275397 0 0 0 46188 826 0 0 25 0 1 0 904198610 35540992 7993 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8677 7993 1111 63 0 8614 0 vsize: 34708 [startup+480.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 283389 0 0 0 47168 846 0 0 25 0 1 0 904198610 36859904 8248 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8999 8248 1111 63 0 8936 0 vsize: 35996 [startup+490.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 291123 0 0 0 48148 867 0 0 25 0 1 0 904198610 36851712 8327 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8997 8327 1111 63 0 8934 0 vsize: 35988 [startup+500.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 299667 0 0 0 49124 891 0 0 25 0 1 0 904198610 37580800 8505 4294967295 134512640 134716908 3221224576 3221223168 134539362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9175 8505 1111 63 0 9112 0 vsize: 36700 [startup+510.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 303449 0 0 0 50112 904 0 0 25 0 1 0 904198610 37511168 8488 4294967295 134512640 134716908 3221224576 3221222540 1077378310 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9158 8488 1111 63 0 9095 0 vsize: 36632 [startup+520.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 307871 0 0 0 51099 917 0 0 25 0 1 0 904198610 37511168 8488 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9158 8488 1111 63 0 9095 0 vsize: 36632 [startup+530.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 311971 0 0 0 52087 929 0 0 25 0 1 0 904198610 37511168 8488 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9158 8488 1111 63 0 9095 0 vsize: 36632 [startup+540.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 315320 0 0 0 53078 939 0 0 25 0 1 0 904198610 38395904 8637 4294967295 134512640 134716908 3221224576 3221220540 1074788143 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9374 8637 1111 63 0 9311 0 vsize: 37496 [startup+550.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 319372 0 0 0 54065 952 0 0 25 0 1 0 904198610 37425152 8467 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9137 8467 1111 63 0 9074 0 vsize: 36548 [startup+560.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 322895 0 0 0 55056 962 0 0 25 0 1 0 904198610 38547456 8645 4294967295 134512640 134716908 3221224576 3221220816 1075115734 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9411 8645 1111 63 0 9348 0 vsize: 37644 [startup+570.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 325820 0 0 0 56047 971 0 0 25 0 1 0 904198610 37515264 8489 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9159 8489 1111 63 0 9096 0 vsize: 36636 [startup+580.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 329446 0 0 0 57036 982 0 0 25 0 1 0 904198610 37425152 8467 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9137 8467 1111 63 0 9074 0 vsize: 36548 [startup+590.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 332925 0 0 0 58026 992 0 0 25 0 1 0 904198610 37425152 8468 4294967295 134512640 134716908 3221224576 3221222312 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9137 8468 1111 63 0 9074 0 vsize: 36548 [startup+600.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 336002 0 0 0 59017 1002 0 0 25 0 1 0 904198610 37425152 8468 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9137 8468 1111 63 0 9074 0 vsize: 36548 [startup+610.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 338814 0 0 0 60008 1011 0 0 25 0 1 0 904198610 37425152 8468 4294967295 134512640 134716908 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9137 8468 1111 63 0 9074 0 vsize: 36548 [startup+620.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 341757 0 0 0 60997 1022 0 0 25 0 1 0 904198610 37924864 8515 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9259 8515 1111 63 0 9196 0 vsize: 37036 [startup+630.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 344689 0 0 0 61988 1032 0 0 25 0 1 0 904198610 38174720 8503 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9320 8503 1111 63 0 9257 0 vsize: 37280 [startup+640.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 347445 0 0 0 62979 1041 0 0 25 0 1 0 904198610 37425152 8468 4294967295 134512640 134716908 3221224576 3221222576 1074915833 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9137 8468 1111 63 0 9074 0 vsize: 36548 [startup+650.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 350837 0 0 0 63969 1052 0 0 25 0 1 0 904198610 37425152 8468 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9137 8468 1111 63 0 9074 0 vsize: 36548 [startup+660.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 354058 0 0 0 64959 1062 0 0 25 0 1 0 904198610 38350848 8619 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9363 8619 1111 63 0 9300 0 vsize: 37452 [startup+670.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 357925 0 0 0 65947 1074 0 0 25 0 1 0 904198610 38379520 8541 4294967295 134512640 134716908 3221224576 3221220960 1075133410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9370 8541 1111 63 0 9307 0 vsize: 37480 [startup+680.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 362207 0 0 0 66936 1086 0 0 25 0 1 0 904198610 38293504 8601 4294967295 134512640 134716908 3221224576 3221221648 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9349 8601 1111 63 0 9286 0 vsize: 37396 [startup+690.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 365515 0 0 0 67927 1095 0 0 25 0 1 0 904198610 37949440 8522 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9265 8522 1111 63 0 9202 0 vsize: 37060 [startup+700.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 369056 0 0 0 68919 1104 0 0 25 0 1 0 904198610 37425152 8468 4294967295 134512640 134716908 3221224576 3221222756 1077378716 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9137 8468 1111 63 0 9074 0 vsize: 36548 [startup+710.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 372324 0 0 0 69911 1113 0 0 25 0 1 0 904198610 37425152 8468 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9137 8468 1111 63 0 9074 0 vsize: 36548 [startup+720.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 376392 0 0 0 70900 1124 0 0 25 0 1 0 904198610 37625856 8506 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9186 8506 1111 63 0 9123 0 vsize: 36744 [startup+730.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 381792 0 0 0 71885 1139 0 0 25 0 1 0 904198610 38617088 8616 4294967295 134512640 134716908 3221224576 3221220452 1074788003 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9428 8616 1111 63 0 9365 0 vsize: 37712 [startup+740.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 386612 0 0 0 72872 1152 0 0 25 0 1 0 904198610 38703104 8639 4294967295 134512640 134716908 3221224576 3221220784 1074815253 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9449 8639 1111 63 0 9386 0 vsize: 37796 [startup+750.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 391158 0 0 0 73859 1165 0 0 25 0 1 0 904198610 38539264 8572 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9409 8577 1111 63 0 9346 0 vsize: 37636 [startup+760.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 395446 0 0 0 74847 1179 0 0 25 0 1 0 904198610 38666240 8610 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9440 8610 1111 63 0 9377 0 vsize: 37760 [startup+770.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 399902 0 0 0 75836 1189 0 0 25 0 1 0 904198610 37617664 8507 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9184 8507 1111 63 0 9121 0 vsize: 36736 [startup+780.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 403913 0 0 0 76824 1202 0 0 25 0 1 0 904198610 37527552 8494 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9162 8494 1111 63 0 9099 0 vsize: 36648 [startup+790.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 408316 0 0 0 77813 1213 0 0 25 0 1 0 904198610 38080512 8508 4294967295 134512640 134716908 3221224576 3221222144 1075972440 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9297 8514 1111 63 0 9234 0 vsize: 37188 [startup+800.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 412610 0 0 0 78800 1227 0 0 25 0 1 0 904198610 38735872 8731 4294967295 134512640 134716908 3221224576 3221220848 1074961207 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9457 8731 1111 63 0 9394 0 vsize: 37828 [startup+810.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 418116 0 0 0 79785 1242 0 0 25 0 1 0 904198610 38834176 8773 4294967295 134512640 134716908 3221224576 3221220736 1075095356 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9481 8773 1111 63 0 9418 0 vsize: 37924 [startup+820.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 423233 0 0 0 80770 1257 0 0 25 0 1 0 904198610 37855232 8542 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9242 8542 1111 63 0 9179 0 vsize: 36968 [startup+830.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 428908 0 0 0 81755 1272 0 0 25 0 1 0 904198610 37711872 8507 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9207 8507 1111 63 0 9144 0 vsize: 36828 [startup+840.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 433851 0 0 0 82742 1285 0 0 25 0 1 0 904198610 38768640 8676 4294967295 134512640 134716908 3221224576 3221221616 1075860483 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9465 8676 1111 63 0 9402 0 vsize: 37860 [startup+850.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 439490 0 0 0 83728 1300 0 0 25 0 1 0 904198610 37777408 8523 4294967295 134512640 134716908 3221224576 3221221680 1074138729 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9223 8523 1111 63 0 9160 0 vsize: 36892 [startup+860.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 445887 0 0 0 84712 1317 0 0 25 0 1 0 904198610 38883328 8730 4294967295 134512640 134716908 3221224576 3221221040 1075602782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9493 8730 1111 63 0 9430 0 vsize: 37972 [startup+870.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 451575 0 0 0 85696 1333 0 0 25 0 1 0 904198610 37830656 8536 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9236 8536 1111 63 0 9173 0 vsize: 36944 [startup+880.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 457836 0 0 0 86680 1349 0 0 25 0 1 0 904198610 37785600 8525 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9225 8525 1111 63 0 9162 0 vsize: 36900 [startup+890.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 464229 0 0 0 87665 1364 0 0 25 0 1 0 904198610 37937152 8561 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9262 8561 1111 63 0 9199 0 vsize: 37048 [startup+900.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 469772 0 0 0 88653 1377 0 0 25 0 1 0 904198610 37425152 8469 4294967295 134512640 134716908 3221224576 3221222792 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9137 8469 1111 63 0 9074 0 vsize: 36548 [startup+910.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 475618 0 0 0 89639 1391 0 0 25 0 1 0 904198610 37425152 8469 4294967295 134512640 134716908 3221224576 3221222296 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9137 8469 1111 63 0 9074 0 vsize: 36548 [startup+920.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 481934 0 0 0 90624 1406 0 0 25 0 1 0 904198610 38924288 8716 4294967295 134512640 134716908 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9503 8716 1111 63 0 9440 0 vsize: 38012 [startup+930.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 487904 0 0 0 91611 1420 0 0 25 0 1 0 904198610 39104512 8746 4294967295 134512640 134716908 3221224576 3221221648 1074867320 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9547 8746 1111 63 0 9484 0 vsize: 38188 [startup+940.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 493374 0 0 0 92599 1432 0 0 25 0 1 0 904198610 37425152 8469 4294967295 134512640 134716908 3221224576 3221222408 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9137 8469 1111 63 0 9074 0 vsize: 36548 [startup+950.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 497650 0 0 0 93589 1443 0 0 25 0 1 0 904198610 38866944 8752 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9489 8752 1111 63 0 9426 0 vsize: 37956 [startup+960.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 503664 0 0 0 94576 1456 0 0 25 0 1 0 904198610 37842944 8539 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9239 8539 1111 63 0 9176 0 vsize: 36956 [startup+970.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 509238 0 0 0 95562 1470 0 0 25 0 1 0 904198610 39096320 8802 4294967295 134512640 134716908 3221224576 3221220736 1075093361 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9545 8802 1111 63 0 9482 0 vsize: 38180 [startup+980.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 514750 0 0 0 96549 1483 0 0 25 0 1 0 904198610 38957056 8780 4294967295 134512640 134716908 3221224576 3221220676 1075964214 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9511 8780 1111 63 0 9448 0 vsize: 38044 [startup+990.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 520485 0 0 0 97534 1498 0 0 25 0 1 0 904198610 38162432 8618 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9317 8618 1111 63 0 9254 0 vsize: 37268 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 526913 0 0 0 98519 1514 0 0 25 0 1 0 904198610 37425152 8469 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9137 8469 1111 63 0 9074 0 vsize: 36548 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 531379 0 0 0 99508 1525 0 0 25 0 1 0 904198610 37842944 8571 4294967295 134512640 134716908 3221224576 3221222904 1077378064 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9239 8571 1111 63 0 9176 0 vsize: 36956 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 536475 0 0 0 100497 1537 0 0 25 0 1 0 904198610 38162432 8618 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9317 8618 1111 63 0 9254 0 vsize: 37268 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 541545 0 0 0 101484 1550 0 0 25 0 1 0 904198610 37879808 8567 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9248 8567 1111 63 0 9185 0 vsize: 36992 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 546927 0 0 0 102473 1561 0 0 25 0 1 0 904198610 39108608 8683 4294967295 134512640 134716908 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9548 8683 1111 63 0 9485 0 vsize: 38192 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 551131 0 0 0 103463 1571 0 0 25 0 1 0 904198610 38195200 8625 4294967295 134512640 134716908 3221224576 3221222416 1075798484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9325 8625 1111 63 0 9262 0 vsize: 37300 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 555500 0 0 0 104452 1582 0 0 25 0 1 0 904198610 37761024 8519 4294967295 134512640 134716908 3221224576 3221222304 1075828447 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9219 8519 1111 63 0 9156 0 vsize: 36876 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 560900 0 0 0 105439 1596 0 0 25 0 1 0 904198610 38121472 8607 4294967295 134512640 134716908 3221224576 3221222688 1074867337 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9307 8607 1111 63 0 9244 0 vsize: 37228 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 564885 0 0 0 106429 1606 0 0 25 0 1 0 904198610 37425152 8469 4294967295 134512640 134716908 3221224576 3221222360 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9137 8469 1111 63 0 9074 0 vsize: 36548 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 570168 0 0 0 107417 1618 0 0 25 0 1 0 904198610 37642240 8522 4294967295 134512640 134716908 3221224576 3221222624 1077814665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9190 8522 1111 63 0 9127 0 vsize: 36760 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 575399 0 0 0 108403 1633 0 0 25 0 1 0 904198610 38506496 8610 4294967295 134512640 134716908 3221224576 3221220676 1075964296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9401 8610 1111 63 0 9338 0 vsize: 37604 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 580327 0 0 0 109389 1646 0 0 25 0 1 0 904198610 38887424 8733 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9494 8733 1111 63 0 9431 0 vsize: 37976 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 585854 0 0 0 110377 1659 0 0 25 0 1 0 904198610 38944768 8769 4294967295 134512640 134716908 3221224576 3221221104 1075397195 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9508 8769 1111 63 0 9445 0 vsize: 38032 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 591585 0 0 0 111364 1672 0 0 25 0 1 0 904198610 38944768 8782 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9508 8782 1111 63 0 9445 0 vsize: 38032 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 596383 0 0 0 112353 1684 0 0 25 0 1 0 904198610 38961152 8753 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9512 8753 1111 63 0 9449 0 vsize: 38048 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 600467 0 0 0 113342 1695 0 0 25 0 1 0 904198610 38608896 8640 4294967295 134512640 134716908 3221224576 3221220752 1074882616 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9426 8640 1111 63 0 9363 0 vsize: 37704 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 604106 0 0 0 114334 1704 0 0 25 0 1 0 904198610 37879808 8548 4294967295 134512640 134716908 3221224576 3221222840 134543187 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9248 8548 1111 63 0 9185 0 vsize: 36992 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 607716 0 0 0 115325 1713 0 0 25 0 1 0 904198610 38076416 8596 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9296 8596 1111 63 0 9233 0 vsize: 37184 [startup+1175.64 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 1439 Raw data (stat): 1439 (bsolo_lpr_cuts-) R 1438 25568 25567 0 -1 0 607716 0 0 0 115325 1713 0 0 25 0 1 0 904198610 38076416 8596 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9296 8596 1111 63 0 9233 0 vsize: 0 Child status: 10 Real time (s): 1175.64 CPU time (s): 1175.99 CPU user time (s): 1158.77 CPU system time (s): 17.2134 CPU usage (%): 100.03 Max. virtual memory (Kb): 38192 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 163 #### END VERIFIER DATA ####