Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-jnh201.opb |
MD5SUM | ba509931ad93c2223be235a06a9b3100 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 84 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.01884 |
Number of variables | 200 |
Total number of constraints | 900 |
Number of constraints which are clauses | 900 |
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 | 14 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-08 20:36:16 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28794 boxname=wulflinc6 idbench=180 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: ba509931ad93c2223be235a06a9b3100 /oldhome/oroussel/tmp/wulflinc6/normalized-jnh201.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-jnh201.opb IDLAUNCH: 28794 /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: 921280 kB Buffers: 27736 kB Cached: 64472 kB SwapCached: 1292 kB Active: 28460 kB Inactive: 66180 kB HighTotal: 131008 kB HighFree: 82348 kB LowTotal: 903652 kB LowFree: 838932 kB SwapTotal: 2097136 kB SwapFree: 2094824 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4988 kB Slab: 13016 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 20:55:52 (client local time) WITH STATUS 10 IN 1176.21 SECONDS stats: 28794 0 1176.21 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 200 variables and 900 constraints. c After prepocess the problem consists of 196 variables and 855 constraints. c preprocess terminated 0.534 s c Initial Lower Bound: 68 c Lower Bound Elapsed time: 0.963 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 100 @ 1.508 c NEW SOLUTION FOUND: 99 @ 1.509 c NEW SOLUTION FOUND: 98 @ 1.513 c NEW SOLUTION FOUND: 97 @ 1.516 c NEW SOLUTION FOUND: 96 @ 1.52 c NEW SOLUTION FOUND: 95 @ 1.524 c NEW SOLUTION FOUND: 94 @ 1.528 c NEW SOLUTION FOUND: 93 @ 1.535 c NEW SOLUTION FOUND: 89 @ 1.584 c NEW SOLUTION FOUND: 88 @ 1.595 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 c Exit Code: 10 c Total time: 1176.19 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.87 0.95 0.92 2/54 1971 Raw data (stat): 1971 (runsolver) R 1970 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904561838 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0015 s] Raw data (loadavg): 0.89 0.95 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 4578 0 0 0 982 15 0 0 25 0 1 0 904561838 7553024 1158 4294967295 134512640 134716908 3221224576 3221222584 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1844 1158 1111 63 0 1781 0 vsize: 7376 [startup+20.002 s] Raw data (loadavg): 0.91 0.96 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 9206 0 0 0 1966 31 0 0 25 0 1 0 904561838 7757824 1209 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1894 1209 1111 63 0 1831 0 vsize: 7576 [startup+30.0021 s] Raw data (loadavg): 0.92 0.96 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 14022 0 0 0 2950 48 0 0 25 0 1 0 904561838 8482816 1308 4294967295 134512640 134716908 3221224576 3221221176 1075850659 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2071 1308 1111 63 0 2008 0 vsize: 8284 [startup+40.0027 s] Raw data (loadavg): 0.93 0.96 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 19659 0 0 0 3932 66 0 0 25 0 1 0 904561838 9060352 1467 4294967295 134512640 134716908 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2212 1467 1111 63 0 2149 0 vsize: 8848 [startup+50.0034 s] Raw data (loadavg): 0.94 0.96 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 24390 0 0 0 4918 81 0 0 25 0 1 0 904561838 8974336 1453 4294967295 134512640 134716908 3221224576 3221222976 1074153648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2191 1453 1111 63 0 2128 0 vsize: 8764 [startup+60.0036 s] Raw data (loadavg): 0.95 0.96 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 29869 0 0 0 5902 97 0 0 25 0 1 0 904561838 9854976 1587 4294967295 134512640 134716908 3221224576 3221220608 1075965232 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2406 1587 1111 63 0 2343 0 vsize: 9624 [startup+70.0041 s] Raw data (loadavg): 0.96 0.96 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 34982 0 0 0 6887 112 0 0 25 0 1 0 904561838 9347072 1601 4294967295 134512640 134716908 3221224576 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2282 1601 1111 63 0 2219 0 vsize: 9128 [startup+80.0052 s] Raw data (loadavg): 0.96 0.96 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 39624 0 0 0 7875 125 0 0 25 0 1 0 904561838 9773056 1665 4294967295 134512640 134716908 3221224576 3221222832 1073990411 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2386 1665 1111 63 0 2323 0 vsize: 9544 [startup+90.005 s] Raw data (loadavg): 0.97 0.96 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 44767 0 0 0 8859 141 0 0 25 0 1 0 904561838 9617408 1674 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2348 1674 1111 63 0 2285 0 vsize: 9392 [startup+100.005 s] Raw data (loadavg): 0.97 0.96 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 50306 0 0 0 9846 155 0 0 25 0 1 0 904561838 10690560 1806 4294967295 134512640 134716908 3221224576 3221220960 1075133407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2610 1806 1111 63 0 2547 0 vsize: 10440 [startup+110.006 s] Raw data (loadavg): 0.98 0.96 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 55575 0 0 0 10831 170 0 0 25 0 1 0 904561838 10600448 1778 4294967295 134512640 134716908 3221224576 3221221176 1075850724 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2588 1778 1111 63 0 2525 0 vsize: 10352 [startup+120.007 s] Raw data (loadavg): 0.98 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 61278 0 0 0 11815 186 0 0 25 0 1 0 904561838 10436608 1816 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2548 1816 1111 63 0 2485 0 vsize: 10192 [startup+130.007 s] Raw data (loadavg): 0.98 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 65428 0 0 0 12804 198 0 0 25 0 1 0 904561838 10641408 1864 4294967295 134512640 134716908 3221224576 3221220816 1075115709 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2598 1864 1111 63 0 2535 0 vsize: 10392 [startup+140.007 s] Raw data (loadavg): 0.98 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 69787 0 0 0 13792 210 0 0 25 0 1 0 904561838 11112448 1923 4294967295 134512640 134716908 3221224576 3221220420 1074786501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2713 1923 1111 63 0 2650 0 vsize: 10852 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 74396 0 0 0 14778 225 0 0 25 0 1 0 904561838 10817536 1897 4294967295 134512640 134716908 3221224576 3221220728 1074883062 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2641 1897 1111 63 0 2578 0 vsize: 10564 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 80203 0 0 0 15761 242 0 0 25 0 1 0 904561838 11423744 1999 4294967295 134512640 134716908 3221224576 3221221200 1075895371 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2789 1999 1111 63 0 2726 0 vsize: 11156 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 85641 0 0 0 16745 258 0 0 25 0 1 0 904561838 11161600 1992 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2725 1992 1111 63 0 2662 0 vsize: 10900 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 90544 0 0 0 17731 272 0 0 25 0 1 0 904561838 11558912 2080 4294967295 134512640 134716908 3221224576 3221220484 1074786600 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2822 2080 1111 63 0 2759 0 vsize: 11288 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 96012 0 0 0 18715 289 0 0 25 0 1 0 904561838 11747328 2120 4294967295 134512640 134716908 3221224576 3221220848 1074799300 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2868 2120 1111 63 0 2805 0 vsize: 11472 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 102466 0 0 0 19696 308 0 0 25 0 1 0 904561838 12587008 2274 4294967295 134512640 134716908 3221224576 3221220736 1074794557 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3073 2274 1111 63 0 3010 0 vsize: 12292 [startup+210.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 108139 0 0 0 20680 325 0 0 25 0 1 0 904561838 12812288 2337 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3128 2337 1111 63 0 3065 0 vsize: 12512 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 114102 0 0 0 21664 341 0 0 25 0 1 0 904561838 12713984 2395 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3104 2395 1111 63 0 3041 0 vsize: 12416 [startup+230.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 119233 0 0 0 22649 356 0 0 25 0 1 0 904561838 12455936 2367 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3041 2367 1111 63 0 2978 0 vsize: 12164 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 125506 0 0 0 23633 372 0 0 25 0 1 0 904561838 12914688 2424 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3153 2424 1111 63 0 3090 0 vsize: 12612 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 131129 0 0 0 24617 389 0 0 25 0 1 0 904561838 13193216 2481 4294967295 134512640 134716908 3221224576 3221220816 1075115760 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3221 2481 1111 63 0 3158 0 vsize: 12884 [startup+260.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 136896 0 0 0 25600 406 0 0 25 0 1 0 904561838 13299712 2528 4294967295 134512640 134716908 3221224576 3221222720 1074790215 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3247 2528 1111 63 0 3184 0 vsize: 12988 [startup+270.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 141827 0 0 0 26587 419 0 0 25 0 1 0 904561838 13197312 2549 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3222 2549 1111 63 0 3159 0 vsize: 12888 [startup+280.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 147935 0 0 0 27570 437 0 0 25 0 1 0 904561838 14290944 2669 4294967295 134512640 134716908 3221224576 3221220724 1075964396 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3489 2669 1111 63 0 3426 0 vsize: 13956 [startup+290.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 153755 0 0 0 28555 453 0 0 25 0 1 0 904561838 14389248 2804 4294967295 134512640 134716908 3221224576 3221220848 1074960843 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3513 2804 1111 63 0 3450 0 vsize: 14052 [startup+300.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 159138 0 0 0 29539 469 0 0 25 0 1 0 904561838 14569472 2760 4294967295 134512640 134716908 3221224576 3221221528 1075006389 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3557 2760 1111 63 0 3494 0 vsize: 14228 [startup+310.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 165315 0 0 0 30522 486 0 0 25 0 1 0 904561838 14761984 2820 4294967295 134512640 134716908 3221224576 3221221556 1075964060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3604 2820 1111 63 0 3541 0 vsize: 14416 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 171576 0 0 0 31506 503 0 0 25 0 1 0 904561838 15011840 2894 4294967295 134512640 134716908 3221224576 3221220848 1074961212 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3665 2894 1111 63 0 3602 0 vsize: 14660 [startup+330.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 177807 0 0 0 32488 520 0 0 25 0 1 0 904561838 14745600 2874 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3600 2874 1111 63 0 3537 0 vsize: 14400 [startup+340.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 184439 0 0 0 33472 537 0 0 25 0 1 0 904561838 15347712 2973 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3747 2973 1111 63 0 3684 0 vsize: 14988 [startup+350.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 190225 0 0 0 34458 552 0 0 25 0 1 0 904561838 15237120 3004 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3720 3004 1111 63 0 3657 0 vsize: 14880 [startup+360.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 195626 0 0 0 35443 567 0 0 25 0 1 0 904561838 15667200 3114 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3825 3114 1111 63 0 3762 0 vsize: 15300 [startup+370.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 200665 0 0 0 36430 580 0 0 25 0 1 0 904561838 15941632 3118 4294967295 134512640 134716908 3221224576 3221221520 1074620117 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3892 3118 1111 63 0 3829 0 vsize: 15568 [startup+380.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 206577 0 0 0 37413 598 0 0 25 0 1 0 904561838 15998976 3109 4294967295 134512640 134716908 3221224576 3221220416 1075965256 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3906 3109 1111 63 0 3843 0 vsize: 15624 [startup+390.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 213527 0 0 0 38395 616 0 0 25 0 1 0 904561838 15593472 3126 4294967295 134512640 134716908 3221224576 3221221640 1077377725 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3807 3126 1111 63 0 3744 0 vsize: 15228 [startup+400.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 218548 0 0 0 39384 628 0 0 25 0 1 0 904561838 16592896 3299 4294967295 134512640 134716908 3221224576 3221220688 1075895648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4051 3299 1111 63 0 3988 0 vsize: 16204 [startup+410.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 223537 0 0 0 40371 641 0 0 25 0 1 0 904561838 15695872 3163 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3832 3163 1111 63 0 3769 0 vsize: 15328 [startup+420.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 228889 0 0 0 41359 654 0 0 25 0 1 0 904561838 16678912 3344 4294967295 134512640 134716908 3221224576 3221220720 1074969474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4072 3344 1111 63 0 4009 0 vsize: 16288 [startup+430.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 235583 0 0 0 42339 674 0 0 25 0 1 0 904561838 15908864 3201 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3884 3201 1111 63 0 3821 0 vsize: 15536 [startup+440.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 241252 0 0 0 43325 688 0 0 25 0 1 0 904561838 16130048 3264 4294967295 134512640 134716908 3221224576 3221223056 1074031945 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3938 3264 1111 63 0 3875 0 vsize: 15752 [startup+450.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 245892 0 0 0 44313 700 0 0 25 0 1 0 904561838 17162240 3395 4294967295 134512640 134716908 3221224576 3221220752 1074882604 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4190 3395 1111 63 0 4127 0 vsize: 16760 [startup+460.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 251465 0 0 0 45297 716 0 0 25 0 1 0 904561838 16470016 3322 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4021 3322 1111 63 0 3958 0 vsize: 16084 [startup+470.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 256317 0 0 0 46285 729 0 0 25 0 1 0 904561838 16728064 3391 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4084 3391 1111 63 0 4021 0 vsize: 16336 [startup+480.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 261682 0 0 0 47272 743 0 0 25 0 1 0 904561838 17453056 3511 4294967295 134512640 134716908 3221224576 3221220576 1075965301 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4261 3511 1111 63 0 4198 0 vsize: 17044 [startup+490.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 267931 0 0 0 48254 761 0 0 25 0 1 0 904561838 16859136 3438 4294967295 134512640 134716908 3221224576 3221222824 1074138144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4116 3438 1111 63 0 4053 0 vsize: 16464 [startup+500.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 273223 0 0 0 49242 773 0 0 25 0 1 0 904561838 18022400 3580 4294967295 134512640 134716908 3221224576 3221220784 1074815482 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4400 3580 1111 63 0 4337 0 vsize: 17600 [startup+510.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 278676 0 0 0 50225 791 0 0 25 0 1 0 904561838 18096128 3614 4294967295 134512640 134716908 3221224576 3221220784 1074815281 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4418 3614 1111 63 0 4355 0 vsize: 17672 [startup+520.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 283457 0 0 0 51211 805 0 0 25 0 1 0 904561838 17133568 3516 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4183 3516 1111 63 0 4120 0 vsize: 16732 [startup+530.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 289681 0 0 0 52194 823 0 0 25 0 1 0 904561838 17596416 3597 4294967295 134512640 134716908 3221224576 3221222572 1074788968 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4296 3597 1111 63 0 4233 0 vsize: 17184 [startup+540.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 294482 0 0 0 53183 834 0 0 25 0 1 0 904561838 17752064 3652 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4334 3652 1111 63 0 4271 0 vsize: 17336 [startup+550.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 299991 0 0 0 54169 848 0 0 25 0 1 0 904561838 17596416 3629 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4296 3629 1111 63 0 4233 0 vsize: 17184 [startup+560.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 305709 0 0 0 55155 863 0 0 25 0 1 0 904561838 18735104 3744 4294967295 134512640 134716908 3221224576 3221220536 1074789596 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4574 3744 1111 63 0 4511 0 vsize: 18296 [startup+570.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 311433 0 0 0 56138 881 0 0 25 0 1 0 904561838 19329024 3919 4294967295 134512640 134716908 3221224576 3221220720 1074969461 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4719 3919 1111 63 0 4656 0 vsize: 18876 [startup+580.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 316562 0 0 0 57124 894 0 0 25 0 1 0 904561838 19095552 3921 4294967295 134512640 134716908 3221224576 3221220804 1075115109 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4662 3922 1111 63 0 4599 0 vsize: 18648 [startup+590.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 321914 0 0 0 58111 908 0 0 25 0 1 0 904561838 19554304 3944 4294967295 134512640 134716908 3221224576 3221221232 1075967895 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4774 3947 1111 63 0 4711 0 vsize: 19096 [startup+600.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 326972 0 0 0 59097 923 0 0 25 0 1 0 904561838 19398656 3878 4294967295 134512640 134716908 3221224576 3221221616 1075971383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4736 3880 1111 63 0 4673 0 vsize: 18944 [startup+610.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 332983 0 0 0 60080 940 0 0 25 0 1 0 904561838 19513344 3916 4294967295 134512640 134716908 3221224576 3221220604 1074788162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4764 3916 1111 63 0 4701 0 vsize: 19056 [startup+620.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 338716 0 0 0 61063 957 0 0 25 0 1 0 904561838 19570688 4026 4294967295 134512640 134716908 3221224576 3221220848 1074961304 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4778 4026 1111 63 0 4715 0 vsize: 19112 [startup+630.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 343116 0 0 0 62050 971 0 0 25 0 1 0 904561838 19083264 3975 4294967295 134512640 134716908 3221224576 3221222680 1075964723 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4659 3975 1111 63 0 4596 0 vsize: 18636 [startup+640.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 349221 0 0 0 63032 989 0 0 25 0 1 0 904561838 20127744 4049 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4914 4049 1111 63 0 4851 0 vsize: 19656 [startup+650.031 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 354767 0 0 0 64018 1003 0 0 25 0 1 0 904561838 19894272 4068 4294967295 134512640 134716908 3221224576 3221222144 1075972440 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4857 4073 1111 63 0 4794 0 vsize: 19428 [startup+660.031 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 360703 0 0 0 65002 1020 0 0 25 0 1 0 904561838 19599360 4099 4294967295 134512640 134716908 3221224576 3221222572 1074788964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4785 4099 1111 63 0 4722 0 vsize: 19140 [startup+670.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 366792 0 0 0 65986 1036 0 0 25 0 1 0 904561838 20299776 4199 4294967295 134512640 134716908 3221224576 3221220804 1075115035 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4956 4199 1111 63 0 4893 0 vsize: 19824 [startup+680.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 372779 0 0 0 66972 1051 0 0 25 0 1 0 904561838 21131264 4286 4294967295 134512640 134716908 3221224576 3221221108 1075863638 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5159 4292 1111 63 0 5096 0 vsize: 20636 [startup+690.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 378334 0 0 0 67957 1066 0 0 25 0 1 0 904561838 21520384 4439 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5254 4439 1111 63 0 5191 0 vsize: 21016 [startup+700.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 384015 0 0 0 68940 1083 0 0 25 0 1 0 904561838 21598208 4534 4294967295 134512640 134716908 3221224576 3221220736 1075091418 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5273 4534 1111 63 0 5210 0 vsize: 21092 [startup+710.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 390763 0 0 0 69921 1103 0 0 25 0 1 0 904561838 20832256 4386 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5086 4386 1111 63 0 5023 0 vsize: 20344 [startup+720.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 396767 0 0 0 70902 1122 0 0 25 0 1 0 904561838 21757952 4463 4294967295 134512640 134716908 3221224576 3221220604 1074788201 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5312 4463 1111 63 0 5249 0 vsize: 21248 [startup+730.035 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 403273 0 0 0 71885 1139 0 0 25 0 1 0 904561838 21491712 4496 4294967295 134512640 134716908 3221224576 3221221076 1076043939 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5247 4496 1111 63 0 5184 0 vsize: 20988 [startup+740.035 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 408452 0 0 0 72870 1155 0 0 25 0 1 0 904561838 22220800 4601 4294967295 134512640 134716908 3221224576 3221221568 1075338887 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5425 4601 1111 63 0 5362 0 vsize: 21700 [startup+750.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 413811 0 0 0 73856 1169 0 0 25 0 1 0 904561838 22368256 4742 4294967295 134512640 134716908 3221224576 3221220648 1075964740 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5461 4742 1111 63 0 5398 0 vsize: 21844 [startup+760.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 419864 0 0 0 74841 1185 0 0 25 0 1 0 904561838 21811200 4617 4294967295 134512640 134716908 3221224576 3221221856 1074140041 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5325 4623 1111 63 0 5262 0 vsize: 21300 [startup+770.037 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 426544 0 0 0 75825 1200 0 0 25 0 1 0 904561838 21839872 4633 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5332 4633 1111 63 0 5269 0 vsize: 21328 [startup+780.037 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 432254 0 0 0 76808 1218 0 0 25 0 1 0 904561838 22118400 4701 4294967295 134512640 134716908 3221224576 3221223048 134543144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5400 4701 1111 63 0 5337 0 vsize: 21600 [startup+790.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 437699 0 0 0 77794 1233 0 0 25 0 1 0 904561838 22908928 4871 4294967295 134512640 134716908 3221224576 3221220544 1075965260 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5593 4871 1111 63 0 5530 0 vsize: 22372 [startup+800.037 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 442797 0 0 0 78780 1247 0 0 25 0 1 0 904561838 23379968 4950 4294967295 134512640 134716908 3221224576 3221220540 1074788964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5708 4950 1111 63 0 5645 0 vsize: 22832 [startup+810.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 448679 0 0 0 79764 1263 0 0 25 0 1 0 904561838 23068672 4893 4294967295 134512640 134716908 3221224576 3221220676 1075964218 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5632 4893 1111 63 0 5569 0 vsize: 22528 [startup+820.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 455314 0 0 0 80747 1281 0 0 25 0 1 0 904561838 23248896 4920 4294967295 134512640 134716908 3221224576 3221220848 1074960771 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5676 4920 1111 63 0 5613 0 vsize: 22704 [startup+830.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 462311 0 0 0 81729 1299 0 0 25 0 1 0 904561838 23482368 4885 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5733 4885 1111 63 0 5670 0 vsize: 22932 [startup+840.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 467707 0 0 0 82713 1315 0 0 25 0 1 0 904561838 22704128 4876 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5543 4876 1111 63 0 5480 0 vsize: 22172 [startup+850.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 473519 0 0 0 83698 1330 0 0 25 0 1 0 904561838 22835200 4876 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5575 4876 1111 63 0 5512 0 vsize: 22300 [startup+860.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 480555 0 0 0 84679 1350 0 0 25 0 1 0 904561838 24178688 5051 4294967295 134512640 134716908 3221224576 3221221696 1074834311 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5903 5051 1111 63 0 5840 0 vsize: 23612 [startup+870.038 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 485546 0 0 0 85665 1364 0 0 25 0 1 0 904561838 24215552 5134 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5912 5134 1111 63 0 5849 0 vsize: 23648 [startup+880.039 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 492236 0 0 0 86648 1381 0 0 25 0 1 0 904561838 23412736 5017 4294967295 134512640 134716908 3221224576 3221222680 1074138144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5716 5017 1111 63 0 5653 0 vsize: 22864 [startup+890.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 497870 0 0 0 87635 1395 0 0 25 0 1 0 904561838 24698880 5269 4294967295 134512640 134716908 3221224576 3221220588 1074788944 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6030 5269 1111 63 0 5967 0 vsize: 24120 [startup+900.041 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 502243 0 0 0 88625 1406 0 0 25 0 1 0 904561838 23986176 5158 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5856 5158 1111 63 0 5793 0 vsize: 23424 [startup+910.041 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 507716 0 0 0 89611 1420 0 0 25 0 1 0 904561838 23928832 5143 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5842 5143 1111 63 0 5779 0 vsize: 23368 [startup+920.042 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 512591 0 0 0 90597 1434 0 0 25 0 1 0 904561838 24039424 5202 4294967295 134512640 134716908 3221224576 3221222880 1074039238 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5869 5202 1111 63 0 5806 0 vsize: 23476 [startup+930.042 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 517251 0 0 0 91584 1447 0 0 25 0 1 0 904561838 25853952 5536 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6312 5536 1111 63 0 6249 0 vsize: 25248 [startup+940.043 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 522527 0 0 0 92570 1462 0 0 25 0 1 0 904561838 23982080 5188 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5855 5188 1111 63 0 5792 0 vsize: 23420 [startup+950.044 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 528268 0 0 0 93555 1478 0 0 25 0 1 0 904561838 25350144 5404 4294967295 134512640 134716908 3221224576 3221220460 1074788950 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6189 5404 1111 63 0 6126 0 vsize: 24756 [startup+960.045 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 534378 0 0 0 94539 1494 0 0 25 0 1 0 904561838 25116672 5335 4294967295 134512640 134716908 3221224576 3221220960 1074972291 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6132 5335 1111 63 0 6069 0 vsize: 24528 [startup+970.045 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 540081 0 0 0 95524 1510 0 0 25 0 1 0 904561838 25534464 5429 4294967295 134512640 134716908 3221224576 3221220536 1075964730 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6234 5429 1111 63 0 6171 0 vsize: 24936 [startup+980.045 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 547685 0 0 0 96501 1533 0 0 25 0 1 0 904561838 25567232 5452 4294967295 134512640 134716908 3221224576 3221220540 1074788168 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6242 5452 1111 63 0 6179 0 vsize: 24968 [startup+990.046 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 552928 0 0 0 97488 1546 0 0 25 0 1 0 904561838 25772032 5541 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6292 5541 1111 63 0 6229 0 vsize: 25168 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 557035 0 0 0 98477 1557 0 0 25 0 1 0 904561838 25214976 5457 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6156 5457 1111 63 0 6093 0 vsize: 24624 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 561253 0 0 0 99467 1568 0 0 25 0 1 0 904561838 24834048 5396 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6063 5396 1111 63 0 6000 0 vsize: 24252 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 565795 0 0 0 100455 1580 0 0 25 0 1 0 904561838 26337280 5671 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6430 5671 1111 63 0 6367 0 vsize: 25720 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 571264 0 0 0 101440 1596 0 0 25 0 1 0 904561838 26234880 5525 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6405 5525 1111 63 0 6342 0 vsize: 25620 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 576260 0 0 0 102428 1607 0 0 25 0 1 0 904561838 27123712 5869 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6622 5869 1111 63 0 6559 0 vsize: 26488 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 581074 0 0 0 103416 1621 0 0 25 0 1 0 904561838 25288704 5493 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6174 5493 1111 63 0 6111 0 vsize: 24696 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 585864 0 0 0 104404 1633 0 0 25 0 1 0 904561838 25686016 5601 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6271 5601 1111 63 0 6208 0 vsize: 25084 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 590632 0 0 0 105392 1645 0 0 25 0 1 0 904561838 26718208 5710 4294967295 134512640 134716908 3221224576 3221220736 1075091287 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6523 5710 1111 63 0 6460 0 vsize: 26092 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 595063 0 0 0 106381 1656 0 0 25 0 1 0 904561838 27058176 5813 4294967295 134512640 134716908 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6606 5813 1111 63 0 6543 0 vsize: 26424 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 600754 0 0 0 107367 1671 0 0 25 0 1 0 904561838 26071040 5666 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6365 5666 1111 63 0 6302 0 vsize: 25460 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 606314 0 0 0 108352 1687 0 0 25 0 1 0 904561838 26832896 5728 4294967295 134512640 134716908 3221224576 3221220540 1074788959 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6551 5728 1111 63 0 6488 0 vsize: 26204 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 610304 0 0 0 109342 1697 0 0 25 0 1 0 904561838 26148864 5685 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6384 5685 1111 63 0 6321 0 vsize: 25536 [startup+1120.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 613837 0 0 0 110333 1707 0 0 25 0 1 0 904561838 27856896 6050 4294967295 134512640 134716908 3221224576 3221220804 1075115049 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6801 6050 1111 63 0 6738 0 vsize: 27204 [startup+1130.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 617737 0 0 0 111323 1717 0 0 25 0 1 0 904561838 26058752 5671 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6362 5671 1111 63 0 6299 0 vsize: 25448 [startup+1140.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 621936 0 0 0 112313 1727 0 0 25 0 1 0 904561838 27467776 5947 4294967295 134512640 134716908 3221224576 3221220676 1075964227 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6706 5947 1111 63 0 6643 0 vsize: 26824 [startup+1150.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 626894 0 0 0 113300 1740 0 0 25 0 1 0 904561838 27455488 5931 4294967295 134512640 134716908 3221224576 3221221640 1075007305 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6703 5931 1111 63 0 6640 0 vsize: 26812 [startup+1160.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 633862 0 0 0 114282 1759 0 0 25 0 1 0 904561838 27906048 5860 4294967295 134512640 134716908 3221224576 3221221648 1074867331 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6813 5860 1111 63 0 6750 0 vsize: 27252 [startup+1170.06 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 639663 0 0 0 115266 1775 0 0 25 0 1 0 904561838 27975680 6052 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6830 6052 1111 63 0 6767 0 vsize: 27320 [startup+1175.85 s] Raw data (loadavg): 0.99 0.97 0.92 1/53 1971 Raw data (stat): 1971 (bsolo_lpr_cuts-) R 1970 25568 25567 0 -1 0 639663 0 0 0 115266 1775 0 0 25 0 1 0 904561838 27975680 6052 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6830 6052 1111 63 0 6767 0 vsize: 0 Child status: 10 Real time (s): 1175.85 CPU time (s): 1176.21 CPU user time (s): 1158.32 CPU system time (s): 17.8923 CPU usage (%): 100.031 Max. virtual memory (Kb): 27320 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 88 #### END VERIFIER DATA ####