Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb |
MD5SUM | b78d16df5ec546c41fce5f9f07c0fd92 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 207 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 498 |
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 | 498 |
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 | 498 |
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.03184 |
Number of variables | 498 |
Total number of constraints | 2431 |
Number of constraints which are clauses | 2431 |
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 wulflinc31 THE 2005-05-06 03:25:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1361 boxname=wulflinc31 idbench=152 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: b78d16df5ec546c41fce5f9f07c0fd92 /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c2.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii32c2.opb IDLAUNCH: 1361 /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: 155256 kB Buffers: 35700 kB Cached: 809236 kB SwapCached: 644 kB Active: 473876 kB Inactive: 373472 kB HighTotal: 131008 kB HighFree: 12236 kB LowTotal: 903652 kB LowFree: 143020 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26448 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-06 03:45:21 (client local time) WITH STATUS 10 IN 1175.64 SECONDS stats: 1361 0 1175.64 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 498 variables and 2431 constraints. c After prepocess the problem consists of 498 variables and 2431 constraints. c preprocess terminated 3.106 s c Initial Lower Bound: 158 c Lower Bound Elapsed time: 1.30838 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 249 @ 14.229 c NEW SOLUTION FOUND: 248 @ 14.236 c NEW SOLUTION FOUND: 247 @ 14.242 c NEW SOLUTION FOUND: 246 @ 14.249 c NEW SOLUTION FOUND: 245 @ 14.256 c NEW SOLUTION FOUND: 244 @ 14.263 c NEW SOLUTION FOUND: 242 @ 63.28 c NEW SOLUTION FOUND: 241 @ 73.269 c NEW SOLUTION FOUND: 234 @ 294.516 s SATISFIABLE v x1 -x2 x3 -x4 -x5 x6 x7 -x8 x9 -x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 x25 -x26 x27 -x28 x29 -x30 x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 x43 -x44 x45 -x46 x47 -x48 x49 -x50 x51 -x52 x53 -x54 x55 -x56 x57 -x58 x59 -x60 x61 -x62 x63 -x64 x65 -x66 x67 -x68 x69 -x70 x71 -x72 x73 -x74 x75 -x76 x77 -x78 -x79 x80 x81 -x82 x83 -x84 x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 x101 -x102 x103 -x104 x105 -x106 x107 -x108 x109 -x110 x111 -x112 x113 -x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 x123 -x124 -x125 x126 x127 -x128 x129 -x130 x131 -x132 -x133 x134 x135 -x136 x137 -x138 x139 -x140 x141 -x142 x143 -x144 x145 -x146 x147 -x148 x149 -x150 x151 -x152 x153 -x154 x155 -x156 x157 -x158 x159 -x160 x161 -x162 x163 -x164 x165 -x166 x167 -x168 x169 -x170 x171 -x172 x173 -x174 x175 -x176 x177 -x178 x179 -x180 -x181 x182 x183 -x184 x185 -x186 x187 -x188 x189 -x190 -x191 x192 x193 -x194 x195 -x196 x197 -x198 x199 -x200 x201 -x202 x203 -x204 x205 -x206 x207 -x208 x209 -x210 -x211 x212 x213 -x214 x215 -x216 x217 -x218 x219 -x220 x221 -x222 x223 -x224 x225 -x226 x227 -x228 x229 -x230 x231 -x232 x233 -x234 x235 -x236 -x237 x238 x239 -x240 x241 -x242 x243 -x244 x245 -x246 x247 -x248 x249 -x250 x251 -x252 x253 -x254 x255 -x256 x257 -x258 x259 -x260 -x261 x262 x263 -x264 -x265 -x266 x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 x277 -x278 x279 -x280 x281 -x282 x283 -x284 x285 -x286 x287 -x288 x289 -x290 x291 -x292 x293 -x294 x295 -x296 x297 -x298 -x299 -x300 x301 -x302 x303 -x304 x305 -x306 x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 x315 -x316 x317 -x318 -x319 -x320 x321 -x322 -x323 -x324 -x325 x326 x327 -x328 -x329 x330 x331 -x332 x333 -x334 x335 -x336 x337 -x338 x339 -x340 x341 -x342 x343 -x344 x345 -x346 x347 -x348 x349 -x350 -x351 -x352 x353 -x354 x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 x363 -x364 x365 -x366 x367 -x368 x369 -x370 x371 -x372 x373 -x374 -x375 -x376 x377 -x378 x379 -x380 x381 -x382 -x383 -x384 x385 -x386 -x387 x388 -x389 x390 x391 -x392 -x393 x394 -x395 x396 x397 -x398 -x399 x400 -x401 x402 x403 -x404 -x405 x406 -x407 x408 x409 -x410 -x411 x412 -x413 x414 x415 -x416 -x417 x418 -x419 x420 -x421 x422 -x423 x424 x425 -x426 -x427 x428 -x429 x430 x431 -x432 x433 -x434 -x435 x436 -x437 x438 x439 -x440 -x441 x442 -x443 x444 x445 -x446 -x447 x448 -x449 x450 x451 -x452 -x453 x454 -x455 x456 -x457 x458 x459 -x460 -x461 x462 x463 -x464 -x465 x466 -x467 x468 -x469 -x470 x471 -x472 -x473 x474 -x475 -x476 x477 -x478 -x479 x480 -x481 x482 x483 -x484 -x485 x486 x487 -x488 -x489 x490 -x491 x492 x493 -x494 -x495 x496 -x497 x498 c Exit Code: 10 c Total time: 1175.61 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.99 1.41 1.41 2/54 20870 Raw data (stat): 20870 (runsolver) R 20869 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 671425509 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0012 s] Raw data (loadavg): 0.99 1.39 1.40 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 5204 0 0 0 976 16 0 0 25 0 1 0 671425509 9568256 1648 4294967295 134512640 134714508 3221221792 3221220012 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2336 1648 1111 63 0 2273 0 vsize: 9344 [startup+20.002 s] Raw data (loadavg): 0.99 1.38 1.40 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 8567 0 0 0 1967 25 0 0 25 0 1 0 671425509 10223616 1612 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2496 1612 1111 63 0 2433 0 vsize: 9984 [startup+30.0029 s] Raw data (loadavg): 0.99 1.37 1.39 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 14966 0 0 0 2949 43 0 0 25 0 1 0 671425509 10625024 1700 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2594 1700 1111 63 0 2531 0 vsize: 10376 [startup+40.0028 s] Raw data (loadavg): 0.99 1.35 1.39 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 23385 0 0 0 3925 67 0 0 25 0 1 0 671425509 10772480 1811 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2630 1811 1111 63 0 2567 0 vsize: 10520 [startup+50.0038 s] Raw data (loadavg): 0.99 1.34 1.38 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 33522 0 0 0 4895 97 0 0 25 0 1 0 671425509 11079680 1780 4294967295 134512640 134714508 3221221792 3221218064 1074960935 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2705 1780 1111 63 0 2642 0 vsize: 10820 [startup+60.0037 s] Raw data (loadavg): 0.99 1.33 1.38 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 41905 0 0 0 5870 123 0 0 25 0 1 0 671425509 10407936 1869 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2541 1869 1111 63 0 2478 0 vsize: 10164 [startup+70.0036 s] Raw data (loadavg): 0.99 1.32 1.37 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 48575 0 0 0 6852 140 0 0 25 0 1 0 671425509 12169216 2065 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2971 2065 1111 63 0 2908 0 vsize: 11884 [startup+80.0046 s] Raw data (loadavg): 0.99 1.31 1.37 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 56515 0 0 0 7829 164 0 0 25 0 1 0 671425509 10919936 1988 4294967295 134512640 134714508 3221221792 3221220160 1074140701 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2666 1988 1111 63 0 2603 0 vsize: 10664 [startup+90.0045 s] Raw data (loadavg): 0.99 1.30 1.36 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 65783 0 0 0 8802 191 0 0 25 0 1 0 671425509 12427264 2220 4294967295 134512640 134714508 3221221792 3221218020 1075114940 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3034 2220 1111 63 0 2971 0 vsize: 12136 [startup+100.005 s] Raw data (loadavg): 0.99 1.29 1.36 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 73794 0 0 0 9780 213 0 0 25 0 1 0 671425509 11481088 2131 4294967295 134512640 134714508 3221221792 3221219568 1074153815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2803 2131 1111 63 0 2740 0 vsize: 11212 [startup+110.006 s] Raw data (loadavg): 0.99 1.28 1.36 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 80329 0 0 0 10763 230 0 0 25 0 1 0 671425509 11677696 2169 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2851 2169 1111 63 0 2788 0 vsize: 11404 [startup+120.006 s] Raw data (loadavg): 0.99 1.27 1.35 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 89922 0 0 0 11738 256 0 0 25 0 1 0 671425509 11743232 2195 4294967295 134512640 134714508 3221221792 3221219856 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2867 2195 1111 63 0 2804 0 vsize: 11468 [startup+130.007 s] Raw data (loadavg): 0.99 1.26 1.35 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 97823 0 0 0 12717 277 0 0 25 0 1 0 671425509 13529088 2407 4294967295 134512640 134714508 3221221792 3221217672 1074788484 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3303 2407 1111 63 0 3240 0 vsize: 13212 [startup+140.007 s] Raw data (loadavg): 0.99 1.25 1.34 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 105874 0 0 0 13694 300 0 0 25 0 1 0 671425509 13918208 2486 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3398 2486 1111 63 0 3335 0 vsize: 13592 [startup+150.008 s] Raw data (loadavg): 0.99 1.24 1.34 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 114744 0 0 0 14670 323 0 0 25 0 1 0 671425509 12746752 2434 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3112 2434 1111 63 0 3049 0 vsize: 12448 [startup+160.008 s] Raw data (loadavg): 0.99 1.23 1.34 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 122597 0 0 0 15651 343 0 0 25 0 1 0 671425509 15089664 2926 4294967295 134512640 134714508 3221221792 3221217952 1074883513 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3684 2926 1111 63 0 3621 0 vsize: 14736 [startup+170.008 s] Raw data (loadavg): 0.99 1.22 1.33 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 129389 0 0 0 16634 360 0 0 25 0 1 0 671425509 13197312 2538 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3222 2538 1111 63 0 3159 0 vsize: 12888 [startup+180.009 s] Raw data (loadavg): 0.99 1.22 1.33 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 138023 0 0 0 17611 384 0 0 25 0 1 0 671425509 12931072 2491 4294967295 134512640 134714508 3221221792 3221219772 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3157 2491 1111 63 0 3094 0 vsize: 12628 [startup+190.01 s] Raw data (loadavg): 0.99 1.21 1.32 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 147113 0 0 0 18587 408 0 0 25 0 1 0 671425509 13471744 2589 4294967295 134512640 134714508 3221221792 3221219104 1077386340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3289 2593 1111 63 0 3226 0 vsize: 13156 [startup+200.011 s] Raw data (loadavg): 0.99 1.20 1.32 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 153547 0 0 0 19570 425 0 0 25 0 1 0 671425509 14962688 2928 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3653 2928 1111 63 0 3590 0 vsize: 14612 [startup+210.011 s] Raw data (loadavg): 0.99 1.19 1.32 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 159541 0 0 0 20554 441 0 0 25 0 1 0 671425509 13934592 2693 4294967295 134512640 134714508 3221221792 3221219072 1074140041 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3402 2697 1111 63 0 3339 0 vsize: 13608 [startup+220.011 s] Raw data (loadavg): 0.99 1.19 1.31 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 165610 0 0 0 21538 457 0 0 25 0 1 0 671425509 15118336 2763 4294967295 134512640 134714508 3221221792 3221218832 1075971414 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3691 2767 1111 63 0 3628 0 vsize: 14764 [startup+230.012 s] Raw data (loadavg): 0.99 1.18 1.31 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 173559 0 0 0 22516 479 0 0 25 0 1 0 671425509 15515648 3018 4294967295 134512640 134714508 3221221792 3221218320 1075397184 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3788 3018 1111 63 0 3725 0 vsize: 15152 [startup+240.012 s] Raw data (loadavg): 0.99 1.17 1.30 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 179354 0 0 0 23501 494 0 0 25 0 1 0 671425509 13766656 2695 4294967295 134512640 134714508 3221221792 3221220384 134539376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3361 2695 1111 63 0 3298 0 vsize: 13444 [startup+250.013 s] Raw data (loadavg): 0.99 1.17 1.30 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 183716 0 0 0 24491 505 0 0 25 0 1 0 671425509 14049280 2764 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3430 2764 1111 63 0 3367 0 vsize: 13720 [startup+260.013 s] Raw data (loadavg): 0.99 1.16 1.30 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 188360 0 0 0 25477 519 0 0 25 0 1 0 671425509 15224832 2940 4294967295 134512640 134714508 3221221792 3221217760 1075965246 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3717 2940 1111 63 0 3654 0 vsize: 14868 [startup+270.013 s] Raw data (loadavg): 0.99 1.16 1.29 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 192566 0 0 0 26465 531 0 0 25 0 1 0 671425509 15245312 2854 4294967295 134512640 134714508 3221221792 3221218424 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3722 2854 1111 63 0 3659 0 vsize: 14888 [startup+280.014 s] Raw data (loadavg): 0.99 1.15 1.29 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 196903 0 0 0 27453 543 0 0 25 0 1 0 671425509 16076800 3085 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3925 3094 1111 63 0 3862 0 vsize: 15700 [startup+290.015 s] Raw data (loadavg): 0.99 1.14 1.29 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 201066 0 0 0 28443 554 0 0 25 0 1 0 671425509 14049280 2764 4294967295 134512640 134714508 3221221792 3221220080 1074153815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3430 2764 1111 63 0 3367 0 vsize: 13720 [startup+300.016 s] Raw data (loadavg): 0.99 1.14 1.28 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 205720 0 0 0 29431 565 0 0 25 0 1 0 671425509 14065664 2767 4294967295 134512640 134714508 3221221792 3221219792 1074916039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3434 2767 1111 63 0 3371 0 vsize: 13736 [startup+310.016 s] Raw data (loadavg): 0.99 1.13 1.28 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 210443 0 0 0 30420 577 0 0 25 0 1 0 671425509 14049280 2764 4294967295 134512640 134714508 3221221792 3221220000 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3430 2764 1111 63 0 3367 0 vsize: 13720 [startup+320.016 s] Raw data (loadavg): 0.99 1.13 1.27 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 215637 0 0 0 31406 591 0 0 25 0 1 0 671425509 15904768 3109 4294967295 134512640 134714508 3221221792 3221217952 1075095367 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3883 3109 1111 63 0 3820 0 vsize: 15532 [startup+330.017 s] Raw data (loadavg): 0.99 1.12 1.27 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 221114 0 0 0 32391 606 0 0 25 0 1 0 671425509 15863808 3019 4294967295 134512640 134714508 3221221792 3221217688 1074789818 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3873 3019 1111 63 0 3810 0 vsize: 15492 [startup+340.017 s] Raw data (loadavg): 0.99 1.12 1.27 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 227030 0 0 0 33375 623 0 0 25 0 1 0 671425509 14049280 2764 4294967295 134512640 134714508 3221221792 3221219828 1077374469 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3430 2764 1111 63 0 3367 0 vsize: 13720 [startup+350.018 s] Raw data (loadavg): 0.99 1.12 1.26 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 234342 0 0 0 34357 640 0 0 25 0 1 0 671425509 14462976 2833 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3531 2833 1111 63 0 3468 0 vsize: 14124 [startup+360.019 s] Raw data (loadavg): 0.99 1.11 1.26 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 241479 0 0 0 35339 658 0 0 25 0 1 0 671425509 14282752 2806 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3487 2806 1111 63 0 3424 0 vsize: 13948 [startup+370.018 s] Raw data (loadavg): 0.99 1.11 1.26 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 249111 0 0 0 36317 681 0 0 25 0 1 0 671425509 15822848 3120 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3863 3120 1111 63 0 3800 0 vsize: 15452 [startup+380.019 s] Raw data (loadavg): 0.99 1.10 1.26 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 256954 0 0 0 37297 701 0 0 25 0 1 0 671425509 14925824 2946 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3644 2946 1111 63 0 3581 0 vsize: 14576 [startup+390.02 s] Raw data (loadavg): 0.99 1.10 1.25 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 264725 0 0 0 38276 723 0 0 25 0 1 0 671425509 16584704 3308 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4049 3308 1111 63 0 3986 0 vsize: 16196 [startup+400.021 s] Raw data (loadavg): 0.99 1.10 1.25 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 270473 0 0 0 39262 736 0 0 25 0 1 0 671425509 16654336 3319 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4066 3319 1111 63 0 4003 0 vsize: 16264 [startup+410.021 s] Raw data (loadavg): 0.99 1.09 1.25 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 278309 0 0 0 40242 757 0 0 25 0 1 0 671425509 15142912 3031 4294967295 134512640 134714508 3221221792 3221219792 1074916006 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3697 3031 1111 63 0 3634 0 vsize: 14788 [startup+420.02 s] Raw data (loadavg): 0.99 1.09 1.24 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 284407 0 0 0 41227 772 0 0 25 0 1 0 671425509 15749120 3147 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3845 3147 1111 63 0 3782 0 vsize: 15380 [startup+430.021 s] Raw data (loadavg): 0.99 1.08 1.24 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 292632 0 0 0 42207 792 0 0 25 0 1 0 671425509 17248256 3371 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4211 3371 1111 63 0 4148 0 vsize: 16844 [startup+440.021 s] Raw data (loadavg): 0.99 1.08 1.24 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 301041 0 0 0 43187 812 0 0 25 0 1 0 671425509 17207296 3384 4294967295 134512640 134714508 3221221792 3221217952 1074883606 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4201 3384 1111 63 0 4138 0 vsize: 16804 [startup+450.022 s] Raw data (loadavg): 0.99 1.08 1.23 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 309658 0 0 0 44168 831 0 0 25 0 1 0 671425509 16957440 3369 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4140 3369 1111 63 0 4077 0 vsize: 16560 [startup+460.022 s] Raw data (loadavg): 0.99 1.08 1.23 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 317117 0 0 0 45149 851 0 0 25 0 1 0 671425509 15626240 3149 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3815 3149 1111 63 0 3752 0 vsize: 15260 [startup+470.022 s] Raw data (loadavg): 0.99 1.07 1.23 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 322273 0 0 0 46135 865 0 0 25 0 1 0 671425509 15626240 3149 4294967295 134512640 134714508 3221221792 3221219224 1077378730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3815 3149 1111 63 0 3752 0 vsize: 15260 [startup+480.023 s] Raw data (loadavg): 0.99 1.07 1.23 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 331011 0 0 0 47114 886 0 0 25 0 1 0 671425509 15761408 3155 4294967295 134512640 134714508 3221221792 3221219984 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3848 3155 1111 63 0 3785 0 vsize: 15392 [startup+490.023 s] Raw data (loadavg): 0.99 1.07 1.22 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 339153 0 0 0 48094 906 0 0 25 0 1 0 671425509 16195584 3288 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3954 3288 1111 63 0 3891 0 vsize: 15816 [startup+500.023 s] Raw data (loadavg): 0.99 1.06 1.22 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 347771 0 0 0 49071 930 0 0 25 0 1 0 671425509 17965056 3601 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4386 3601 1111 63 0 4323 0 vsize: 17544 [startup+510.023 s] Raw data (loadavg): 0.99 1.06 1.22 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 355532 0 0 0 50053 948 0 0 25 0 1 0 671425509 17977344 3460 4294967295 134512640 134714508 3221221792 3221218824 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4389 3460 1111 63 0 4326 0 vsize: 17556 [startup+520.023 s] Raw data (loadavg): 0.99 1.06 1.21 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 364191 0 0 0 51031 970 0 0 25 0 1 0 671425509 18132992 3498 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4427 3498 1111 63 0 4364 0 vsize: 17708 [startup+530.024 s] Raw data (loadavg): 0.99 1.06 1.21 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 370569 0 0 0 52017 984 0 0 25 0 1 0 671425509 16318464 3318 4294967295 134512640 134714508 3221221792 3221219708 1074152822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3984 3318 1111 63 0 3921 0 vsize: 15936 [startup+540.024 s] Raw data (loadavg): 0.99 1.05 1.21 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 378669 0 0 0 52997 1004 0 0 25 0 1 0 671425509 18337792 3644 4294967295 134512640 134714508 3221221792 3221217696 1075965263 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4477 3644 1111 63 0 4414 0 vsize: 17908 [startup+550.024 s] Raw data (loadavg): 0.99 1.05 1.21 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 386764 0 0 0 53977 1024 0 0 25 0 1 0 671425509 18288640 3596 4294967295 134512640 134714508 3221221792 3221217672 1074788440 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4465 3596 1111 63 0 4402 0 vsize: 17860 [startup+560.025 s] Raw data (loadavg): 0.99 1.05 1.20 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 395037 0 0 0 54955 1046 0 0 25 0 1 0 671425509 16945152 3471 4294967295 134512640 134714508 3221221792 3221220468 134542856 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4137 3471 1111 63 0 4074 0 vsize: 16548 [startup+570.024 s] Raw data (loadavg): 0.99 1.05 1.20 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 400262 0 0 0 55943 1058 0 0 25 0 1 0 671425509 16633856 3395 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4061 3395 1111 63 0 3998 0 vsize: 16244 [startup+580.025 s] Raw data (loadavg): 0.99 1.05 1.20 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 406604 0 0 0 56928 1073 0 0 25 0 1 0 671425509 17494016 3574 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4271 3574 1111 63 0 4208 0 vsize: 17084 [startup+590.025 s] Raw data (loadavg): 0.99 1.04 1.19 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 414306 0 0 0 57910 1092 0 0 25 0 1 0 671425509 17547264 3586 4294967295 134512640 134714508 3221221792 3221219752 1074138303 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4284 3586 1111 63 0 4221 0 vsize: 17136 [startup+600.026 s] Raw data (loadavg): 0.99 1.04 1.19 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 423605 0 0 0 58888 1114 0 0 25 0 1 0 671425509 19058688 3828 4294967295 134512640 134714508 3221221792 3221217848 1074789584 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4653 3828 1111 63 0 4590 0 vsize: 18612 [startup+610.026 s] Raw data (loadavg): 0.99 1.04 1.19 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 432830 0 0 0 59867 1135 0 0 25 0 1 0 671425509 17080320 3504 4294967295 134512640 134714508 3221221792 3221219836 1074206432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4170 3504 1111 63 0 4107 0 vsize: 16680 [startup+620.026 s] Raw data (loadavg): 0.99 1.04 1.18 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 442180 0 0 0 60844 1158 0 0 25 0 1 0 671425509 17223680 3539 4294967295 134512640 134714508 3221221792 3221220216 134543176 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4205 3539 1111 63 0 4142 0 vsize: 16820 [startup+630.027 s] Raw data (loadavg): 0.99 1.04 1.18 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 449147 0 0 0 61830 1173 0 0 25 0 1 0 671425509 18132992 3719 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4427 3719 1111 63 0 4364 0 vsize: 17708 [startup+640.028 s] Raw data (loadavg): 0.99 1.04 1.18 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 456378 0 0 0 62812 1191 0 0 25 0 1 0 671425509 17956864 3702 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4384 3702 1111 63 0 4321 0 vsize: 17536 [startup+650.028 s] Raw data (loadavg): 0.99 1.03 1.18 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 466143 0 0 0 63790 1213 0 0 25 0 1 0 671425509 17616896 3635 4294967295 134512640 134714508 3221221792 3221220208 1074117096 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4301 3635 1111 63 0 4238 0 vsize: 17204 [startup+660.028 s] Raw data (loadavg): 0.99 1.03 1.18 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 472804 0 0 0 64776 1227 0 0 25 0 1 0 671425509 20103168 4155 4294967295 134512640 134714508 3221221792 3221217936 1074970166 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4908 4155 1111 63 0 4845 0 vsize: 19632 [startup+670.029 s] Raw data (loadavg): 0.99 1.03 1.17 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 481045 0 0 0 65759 1245 0 0 25 0 1 0 671425509 19906560 4087 4294967295 134512640 134714508 3221221792 3221217740 1074788947 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4860 4087 1111 63 0 4797 0 vsize: 19440 [startup+680.029 s] Raw data (loadavg): 0.99 1.03 1.17 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 488404 0 0 0 66742 1262 0 0 25 0 1 0 671425509 19886080 4123 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4855 4123 1111 63 0 4792 0 vsize: 19420 [startup+690.029 s] Raw data (loadavg): 0.99 1.03 1.17 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 496247 0 0 0 67723 1280 0 0 25 0 1 0 671425509 18219008 3782 4294967295 134512640 134714508 3221221792 3221220192 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4448 3782 1111 63 0 4385 0 vsize: 17792 [startup+700.03 s] Raw data (loadavg): 0.99 1.03 1.17 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 504255 0 0 0 68706 1298 0 0 25 0 1 0 671425509 18931712 3924 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4622 3924 1111 63 0 4559 0 vsize: 18488 [startup+710.031 s] Raw data (loadavg): 0.99 1.03 1.17 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 511086 0 0 0 69691 1314 0 0 25 0 1 0 671425509 18386944 3823 4294967295 134512640 134714508 3221221792 3221219744 1077814665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4489 3823 1111 63 0 4426 0 vsize: 17956 [startup+720.031 s] Raw data (loadavg): 0.99 1.02 1.16 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 519058 0 0 0 70672 1332 0 0 25 0 1 0 671425509 18939904 3941 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4624 3941 1111 63 0 4561 0 vsize: 18496 [startup+730.031 s] Raw data (loadavg): 0.99 1.02 1.16 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 525485 0 0 0 71657 1347 0 0 25 0 1 0 671425509 20013056 4174 4294967295 134512640 134714508 3221221792 3221217900 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4886 4174 1111 63 0 4823 0 vsize: 19544 [startup+740.032 s] Raw data (loadavg): 0.99 1.02 1.16 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 533920 0 0 0 72641 1364 0 0 25 0 1 0 671425509 20168704 4189 4294967295 134512640 134714508 3221221792 3221218824 1077410163 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4924 4189 1111 63 0 4861 0 vsize: 19696 [startup+750.032 s] Raw data (loadavg): 0.99 1.02 1.16 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 540857 0 0 0 73624 1381 0 0 25 0 1 0 671425509 21078016 4414 4294967295 134512640 134714508 3221221792 3221218064 1074960935 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5146 4414 1111 63 0 5083 0 vsize: 20584 [startup+760.032 s] Raw data (loadavg): 0.99 1.02 1.16 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 550042 0 0 0 74604 1401 0 0 25 0 1 0 671425509 19144704 3972 4294967295 134512640 134714508 3221221792 3221218896 1074138892 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4674 3972 1111 63 0 4611 0 vsize: 18696 [startup+770.032 s] Raw data (loadavg): 0.99 1.02 1.15 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 558118 0 0 0 75585 1420 0 0 25 0 1 0 671425509 18870272 3931 4294967295 134512640 134714508 3221221792 3221220080 1074153822 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4607 3931 1111 63 0 4544 0 vsize: 18428 [startup+780.033 s] Raw data (loadavg): 0.99 1.02 1.15 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 566088 0 0 0 76567 1439 0 0 25 0 1 0 671425509 19795968 4135 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4833 4135 1111 63 0 4770 0 vsize: 19332 [startup+790.033 s] Raw data (loadavg): 0.99 1.02 1.15 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 574597 0 0 0 77548 1458 0 0 25 0 1 0 671425509 21495808 4462 4294967295 134512640 134714508 3221221792 3221218712 1074950105 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5096 4330 1111 63 0 5033 0 vsize: 20992 [startup+800.034 s] Raw data (loadavg): 0.99 1.02 1.15 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 578508 0 0 0 78539 1467 0 0 25 0 1 0 671425509 22986752 4775 4294967295 134512640 134714508 3221221792 3221218624 1075115378 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5612 4775 1111 63 0 5549 0 vsize: 22448 [startup+810.035 s] Raw data (loadavg): 0.99 1.02 1.15 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 584365 0 0 0 79525 1481 0 0 25 0 1 0 671425509 19283968 4042 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4708 4042 1111 63 0 4645 0 vsize: 18832 [startup+820.034 s] Raw data (loadavg): 0.99 1.01 1.14 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 590524 0 0 0 80512 1495 0 0 25 0 1 0 671425509 19804160 4137 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4835 4137 1111 63 0 4772 0 vsize: 19340 [startup+830.035 s] Raw data (loadavg): 0.99 1.01 1.14 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 594215 0 0 0 81503 1504 0 0 25 0 1 0 671425509 20414464 4318 4294967295 134512640 134714508 3221221792 3221219472 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4984 4318 1111 63 0 4921 0 vsize: 19936 [startup+840.035 s] Raw data (loadavg): 0.99 1.01 1.14 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 598042 0 0 0 82494 1513 0 0 25 0 1 0 671425509 23814144 5091 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5814 5091 1111 63 0 5751 0 vsize: 23256 [startup+850.035 s] Raw data (loadavg): 0.99 1.01 1.14 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 602309 0 0 0 83485 1522 0 0 25 0 1 0 671425509 23617536 4808 4294967295 134512640 134714508 3221221792 3221217936 1074969471 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5766 4808 1111 63 0 5703 0 vsize: 23064 [startup+860.035 s] Raw data (loadavg): 0.99 1.01 1.14 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 606959 0 0 0 84475 1533 0 0 25 0 1 0 671425509 21282816 4530 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5196 4530 1111 63 0 5133 0 vsize: 20784 [startup+870.035 s] Raw data (loadavg): 0.99 1.01 1.13 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 612425 0 0 0 85463 1544 0 0 25 0 1 0 671425509 19787776 4165 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4831 4165 1111 63 0 4768 0 vsize: 19324 [startup+880.035 s] Raw data (loadavg): 0.99 1.01 1.13 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 617545 0 0 0 86452 1556 0 0 25 0 1 0 671425509 22384640 4511 4294967295 134512640 134714508 3221221792 3221217952 1074883665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5465 4511 1111 63 0 5402 0 vsize: 21860 [startup+890.035 s] Raw data (loadavg): 0.99 1.01 1.13 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 625914 0 0 0 87433 1575 0 0 25 0 1 0 671425509 19787776 4165 4294967295 134512640 134714508 3221221792 3221220480 134524039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4831 4165 1111 63 0 4768 0 vsize: 19324 [startup+900.036 s] Raw data (loadavg): 0.99 1.01 1.13 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 630966 0 0 0 88420 1588 0 0 25 0 1 0 671425509 21504000 4570 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5250 4570 1111 63 0 5187 0 vsize: 21000 [startup+910.037 s] Raw data (loadavg): 0.99 1.01 1.13 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 637120 0 0 0 89407 1602 0 0 25 0 1 0 671425509 23355392 4579 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5702 4579 1111 63 0 5639 0 vsize: 22808 [startup+920.036 s] Raw data (loadavg): 0.99 1.00 1.12 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 642342 0 0 0 90393 1615 0 0 25 0 1 0 671425509 22482944 4451 4294967295 134512640 134714508 3221221792 3221218712 1074950102 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5489 4451 1111 63 0 5426 0 vsize: 21956 [startup+930.037 s] Raw data (loadavg): 0.99 1.00 1.12 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 651825 0 0 0 91370 1639 0 0 25 0 1 0 671425509 20475904 4301 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4999 4301 1111 63 0 4936 0 vsize: 19996 [startup+940.037 s] Raw data (loadavg): 0.99 1.00 1.12 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 662272 0 0 0 92343 1666 0 0 25 0 1 0 671425509 20283392 4254 4294967295 134512640 134714508 3221221792 3221219704 1074138316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4952 4254 1111 63 0 4889 0 vsize: 19808 [startup+950.037 s] Raw data (loadavg): 0.99 1.00 1.12 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 670886 0 0 0 93324 1685 0 0 25 0 1 0 671425509 22581248 4479 4294967295 134512640 134714508 3221221792 3221217904 1074792141 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5513 4479 1111 63 0 5450 0 vsize: 22052 [startup+960.037 s] Raw data (loadavg): 0.99 1.00 1.12 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 675406 0 0 0 94315 1695 0 0 25 0 1 0 671425509 22216704 4594 4294967295 134512640 134714508 3221221792 3221218712 1074950102 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5386 4556 1111 63 0 5323 0 vsize: 21696 [startup+970.037 s] Raw data (loadavg): 0.99 1.00 1.12 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 685395 0 0 0 95294 1716 0 0 25 0 1 0 671425509 20250624 4278 4294967295 134512640 134714508 3221221792 3221220192 1074118879 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4944 4278 1111 63 0 4881 0 vsize: 19776 [startup+980.037 s] Raw data (loadavg): 0.99 1.00 1.11 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 692696 0 0 0 96278 1732 0 0 25 0 1 0 671425509 20582400 4342 4294967295 134512640 134714508 3221221792 3221219352 1077380592 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5025 4342 1111 63 0 4962 0 vsize: 20100 [startup+990.038 s] Raw data (loadavg): 0.99 1.00 1.11 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 697196 0 0 0 97268 1742 0 0 25 0 1 0 671425509 20811776 4399 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5081 4399 1111 63 0 5018 0 vsize: 20324 [startup+1000.04 s] Raw data (loadavg): 0.99 1.00 1.11 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 703403 0 0 0 98254 1756 0 0 25 0 1 0 671425509 21123072 4482 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5157 4482 1111 63 0 5094 0 vsize: 20628 [startup+1010.04 s] Raw data (loadavg): 0.99 1.00 1.11 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 711859 0 0 0 99234 1777 0 0 25 0 1 0 671425509 20762624 4401 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5069 4401 1111 63 0 5006 0 vsize: 20276 [startup+1020.04 s] Raw data (loadavg): 0.99 1.00 1.11 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 718829 0 0 0 100217 1794 0 0 25 0 1 0 671425509 24412160 5169 4294967295 134512640 134714508 3221221792 3221217608 1074788419 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5960 5169 1111 63 0 5897 0 vsize: 23840 [startup+1030.04 s] Raw data (loadavg): 0.99 1.00 1.10 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 723811 0 0 0 101204 1807 0 0 25 0 1 0 671425509 20893696 4435 4294967295 134512640 134714508 3221221792 3221220256 1074121071 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5101 4435 1111 63 0 5038 0 vsize: 20404 [startup+1040.04 s] Raw data (loadavg): 0.99 1.00 1.10 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 727467 0 0 0 102195 1816 0 0 25 0 1 0 671425509 20692992 4386 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5052 4386 1111 63 0 4989 0 vsize: 20208 [startup+1050.04 s] Raw data (loadavg): 0.99 1.00 1.10 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 734559 0 0 0 103178 1833 0 0 25 0 1 0 671425509 23851008 4887 4294967295 134512640 134714508 3221221792 3221218160 1075894554 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5823 4887 1111 63 0 5760 0 vsize: 23292 [startup+1060.04 s] Raw data (loadavg): 0.99 1.00 1.10 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 741639 0 0 0 104162 1849 0 0 25 0 1 0 671425509 21475328 4569 4294967295 134512640 134714508 3221221792 3221220096 1073990411 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5243 4569 1111 63 0 5180 0 vsize: 20972 [startup+1070.04 s] Raw data (loadavg): 0.99 1.00 1.10 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 749062 0 0 0 105145 1866 0 0 25 0 1 0 671425509 20758528 4402 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5068 4402 1111 63 0 5005 0 vsize: 20272 [startup+1080.04 s] Raw data (loadavg): 0.99 1.00 1.09 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 755615 0 0 0 106131 1881 0 0 25 0 1 0 671425509 23621632 4770 4294967295 134512640 134714508 3221221792 3221218064 1074961246 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5767 4770 1111 63 0 5704 0 vsize: 23068 [startup+1090.04 s] Raw data (loadavg): 0.99 1.00 1.09 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 762275 0 0 0 107116 1896 0 0 25 0 1 0 671425509 21553152 4596 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5262 4596 1111 63 0 5199 0 vsize: 21048 [startup+1100.04 s] Raw data (loadavg): 0.99 1.00 1.09 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 768440 0 0 0 108102 1911 0 0 25 0 1 0 671425509 23900160 5040 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5835 5040 1111 63 0 5772 0 vsize: 23340 [startup+1110.04 s] Raw data (loadavg): 0.99 1.00 1.09 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 775040 0 0 0 109085 1927 0 0 25 0 1 0 671425509 21266432 4526 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5192 4526 1111 63 0 5129 0 vsize: 20768 [startup+1120.04 s] Raw data (loadavg): 0.99 1.00 1.09 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 781611 0 0 0 110070 1943 0 0 25 0 1 0 671425509 24059904 5096 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5874 5096 1111 63 0 5811 0 vsize: 23496 [startup+1130.04 s] Raw data (loadavg): 0.99 1.00 1.09 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 787972 0 0 0 111056 1957 0 0 25 0 1 0 671425509 21770240 4627 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5315 4627 1111 63 0 5252 0 vsize: 21260 [startup+1140.04 s] Raw data (loadavg): 0.99 1.00 1.09 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 795206 0 0 0 112040 1973 0 0 25 0 1 0 671425509 21893120 4673 4294967295 134512640 134714508 3221221792 3221219792 1074918533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5345 4673 1111 63 0 5282 0 vsize: 21380 [startup+1150.04 s] Raw data (loadavg): 0.99 1.00 1.09 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 803565 0 0 0 113021 1992 0 0 25 0 1 0 671425509 21856256 4661 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5336 4661 1111 63 0 5273 0 vsize: 21344 [startup+1160.04 s] Raw data (loadavg): 0.99 1.00 1.08 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 811005 0 0 0 114005 2009 0 0 25 0 1 0 671425509 23908352 4779 4294967295 134512640 134714508 3221221792 3221218864 1074867305 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5837 4779 1111 63 0 5774 0 vsize: 23348 [startup+1170.04 s] Raw data (loadavg): 0.99 1.00 1.08 2/54 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 819685 0 0 0 114986 2027 0 0 25 0 1 0 671425509 24399872 4985 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5957 4985 1111 63 0 5894 0 vsize: 23828 [startup+1175.54 s] Raw data (loadavg): 0.99 1.00 1.08 1/53 20870 Raw data (stat): 20870 (bsolo_lpr_cuts) R 20869 7876 7672 0 -1 0 819685 0 0 0 114986 2027 0 0 25 0 1 0 671425509 24399872 4985 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5957 4985 1111 63 0 5894 0 vsize: 0 Child status: 10 Real time (s): 1175.54 CPU time (s): 1175.64 CPU user time (s): 1155.2 CPU system time (s): 20.4389 CPU usage (%): 100.009 Max. virtual memory (Kb): 23840 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 234 #### END VERIFIER DATA ####