Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb |
MD5SUM | 888577ab8fe81abf9fdd366d65e4c3b7 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 31 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.810876 |
Number of variables | 1260 |
Total number of constraints | 926 |
Number of constraints which are clauses | 868 |
Number of constraints which are cardinality constraints (but not clauses) | 58 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 15 |
Maximum length of a constraint | 30 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-08 16:22:02 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28660 boxname=wulflinc3 idbench=46 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 888577ab8fe81abf9fdd366d65e4c3b7 /oldhome/oroussel/tmp/wulflinc3/normalized-fpga30_28_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-fpga30_28_sat_pb.cnf.cr.opb IDLAUNCH: 28660 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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: 757088 kB Buffers: 15704 kB Cached: 242024 kB SwapCached: 808 kB Active: 32812 kB Inactive: 227016 kB HighTotal: 131008 kB HighFree: 4228 kB LowTotal: 903652 kB LowFree: 752860 kB SwapTotal: 2097136 kB SwapFree: 2095332 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5012 kB Slab: 12148 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 16:41:37 (client local time) WITH STATUS 0 IN 1175.02 SECONDS stats: 28660 7 1175.02 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c INFO: No cost function. Find solution and finish. c Initial problem consists of 1260 variables and 926 constraints. c After prepocess the problem consists of 1260 variables and 926 constraints. c preprocess terminated 1.682 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175 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.92 0.97 0.92 2/54 27308 Raw data (stat): 27308 (runsolver) R 27307 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903028621 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0007 s] Raw data (loadavg): 0.93 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 1467 0 0 0 993 5 0 0 25 0 1 0 903028621 9125888 1385 4294967295 134512640 134716908 3221224560 3221223128 1077378409 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2228 1385 1111 63 0 2165 0 vsize: 8912 [startup+20.0009 s] Raw data (loadavg): 0.94 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 1527 0 0 0 1992 6 0 0 25 0 1 0 903028621 9396224 1445 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 1445 1111 63 0 2231 0 vsize: 9176 [startup+30.0018 s] Raw data (loadavg): 0.95 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 1584 0 0 0 2990 8 0 0 25 0 1 0 903028621 9650176 1502 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2356 1502 1111 63 0 2293 0 vsize: 9424 [startup+40.0019 s] Raw data (loadavg): 0.96 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 1621 0 0 0 3989 10 0 0 25 0 1 0 903028621 9785344 1539 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2389 1539 1111 63 0 2326 0 vsize: 9556 [startup+50.0024 s] Raw data (loadavg): 0.96 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 1680 0 0 0 4987 11 0 0 25 0 1 0 903028621 10055680 1598 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2455 1598 1111 63 0 2392 0 vsize: 9820 [startup+60.0023 s] Raw data (loadavg): 0.97 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 1892 0 0 0 5985 13 0 0 25 0 1 0 903028621 10866688 1810 4294967295 134512640 134716908 3221224560 3221223256 134543665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2653 1810 1111 63 0 2590 0 vsize: 10612 [startup+70.0027 s] Raw data (loadavg): 0.97 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2010 0 0 0 6985 13 0 0 25 0 1 0 903028621 11407360 1928 4294967295 134512640 134716908 3221224560 3221223168 134523396 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2785 1928 1111 63 0 2722 0 vsize: 11140 [startup+80.0029 s] Raw data (loadavg): 0.98 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2010 0 0 0 7985 14 0 0 25 0 1 0 903028621 11272192 1924 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2752 1924 1111 63 0 2689 0 vsize: 11008 [startup+90.0028 s] Raw data (loadavg): 0.98 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2010 0 0 0 8984 15 0 0 25 0 1 0 903028621 11272192 1924 4294967295 134512640 134716908 3221224560 3221223224 134543600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2752 1924 1111 63 0 2689 0 vsize: 11008 [startup+100.003 s] Raw data (loadavg): 0.98 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2010 0 0 0 9984 15 0 0 25 0 1 0 903028621 11272192 1924 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2752 1924 1111 63 0 2689 0 vsize: 11008 [startup+110.003 s] Raw data (loadavg): 0.98 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2026 0 0 0 10984 16 0 0 25 0 1 0 903028621 11407360 1940 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2785 1940 1111 63 0 2722 0 vsize: 11140 [startup+120.003 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2026 0 0 0 11983 17 0 0 25 0 1 0 903028621 11407360 1940 4294967295 134512640 134716908 3221224560 3221223316 134655223 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2785 1940 1111 63 0 2722 0 vsize: 11140 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2031 0 0 0 12982 18 0 0 25 0 1 0 903028621 11407360 1945 4294967295 134512640 134716908 3221224560 3221223120 134542303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2785 1945 1111 63 0 2722 0 vsize: 11140 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2100 0 0 0 13981 19 0 0 25 0 1 0 903028621 11677696 2014 4294967295 134512640 134716908 3221224560 3221223224 134543589 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2851 2014 1111 63 0 2788 0 vsize: 11404 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2115 0 0 0 14980 20 0 0 25 0 1 0 903028621 11812864 2029 4294967295 134512640 134716908 3221224560 3221223140 1077378644 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2884 2029 1111 63 0 2821 0 vsize: 11536 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2141 0 0 0 15980 21 0 0 25 0 1 0 903028621 11812864 2055 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2884 2055 1111 63 0 2821 0 vsize: 11536 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2167 0 0 0 16979 22 0 0 25 0 1 0 903028621 11948032 2081 4294967295 134512640 134716908 3221224560 3221223216 134536594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2917 2081 1111 63 0 2854 0 vsize: 11668 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2197 0 0 0 17978 23 0 0 25 0 1 0 903028621 12148736 2111 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2966 2111 1111 63 0 2903 0 vsize: 11864 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2227 0 0 0 18978 23 0 0 25 0 1 0 903028621 12234752 2141 4294967295 134512640 134716908 3221224560 3221223232 134655184 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2987 2141 1111 63 0 2924 0 vsize: 11948 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2245 0 0 0 19977 24 0 0 25 0 1 0 903028621 12234752 2159 4294967295 134512640 134716908 3221224560 3221223128 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2987 2159 1111 63 0 2924 0 vsize: 11948 [startup+210.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2264 0 0 0 20976 25 0 0 25 0 1 0 903028621 12369920 2178 4294967295 134512640 134716908 3221224560 3221223152 134543710 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3020 2178 1111 63 0 2957 0 vsize: 12080 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2274 0 0 0 21975 26 0 0 25 0 1 0 903028621 12369920 2188 4294967295 134512640 134716908 3221224560 3221222956 1077379876 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3020 2188 1111 63 0 2957 0 vsize: 12080 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2274 0 0 0 22974 28 0 0 25 0 1 0 903028621 12369920 2188 4294967295 134512640 134716908 3221224560 3221223228 134543653 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3020 2188 1111 63 0 2957 0 vsize: 12080 [startup+240.005 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2284 0 0 0 23973 29 0 0 25 0 1 0 903028621 12492800 2198 4294967295 134512640 134716908 3221224560 3221223284 134535789 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3050 2198 1111 63 0 2987 0 vsize: 12200 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2288 0 0 0 24972 30 0 0 25 0 1 0 903028621 12492800 2202 4294967295 134512640 134716908 3221224560 3221223200 134698403 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3050 2202 1111 63 0 2987 0 vsize: 12200 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2292 0 0 0 25971 31 0 0 25 0 1 0 903028621 12488704 2206 4294967295 134512640 134716908 3221224560 3221223144 134543606 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3049 2206 1111 63 0 2986 0 vsize: 12196 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2304 0 0 0 26970 32 0 0 25 0 1 0 903028621 12488704 2218 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3049 2218 1111 63 0 2986 0 vsize: 12196 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2314 0 0 0 27969 33 0 0 25 0 1 0 903028621 12619776 2228 4294967295 134512640 134716908 3221224560 3221223148 134542288 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3081 2228 1111 63 0 3018 0 vsize: 12324 [startup+290.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2314 0 0 0 28969 34 0 0 25 0 1 0 903028621 12619776 2228 4294967295 134512640 134716908 3221224560 3221223200 134542368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3081 2228 1111 63 0 3018 0 vsize: 12324 [startup+300.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2314 0 0 0 29967 35 0 0 25 0 1 0 903028621 12619776 2228 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3081 2228 1111 63 0 3018 0 vsize: 12324 [startup+310.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2351 0 0 0 30967 36 0 0 25 0 1 0 903028621 12800000 2265 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3125 2265 1111 63 0 3062 0 vsize: 12500 [startup+320.006 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2355 0 0 0 31966 37 0 0 25 0 1 0 903028621 12800000 2269 4294967295 134512640 134716908 3221224560 3221223188 1077374149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3125 2269 1111 63 0 3062 0 vsize: 12500 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2456 0 0 0 32965 38 0 0 25 0 1 0 903028621 13205504 2370 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3224 2370 1111 63 0 3161 0 vsize: 12896 [startup+340.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2571 0 0 0 33964 40 0 0 25 0 1 0 903028621 13602816 2485 4294967295 134512640 134716908 3221224560 3221223368 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3321 2485 1111 63 0 3258 0 vsize: 13284 [startup+350.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2571 0 0 0 34963 41 0 0 25 0 1 0 903028621 13602816 2485 4294967295 134512640 134716908 3221224560 3221223200 134698432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3321 2485 1111 63 0 3258 0 vsize: 13284 [startup+360.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2580 0 0 0 35962 42 0 0 25 0 1 0 903028621 13737984 2494 4294967295 134512640 134716908 3221224560 3221223248 134542851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3354 2494 1111 63 0 3291 0 vsize: 13416 [startup+370.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2630 0 0 0 36962 43 0 0 25 0 1 0 903028621 13873152 2544 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3387 2544 1111 63 0 3324 0 vsize: 13548 [startup+380.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2733 0 0 0 37961 44 0 0 25 0 1 0 903028621 14278656 2647 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3486 2647 1111 63 0 3423 0 vsize: 13944 [startup+390.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2868 0 0 0 38960 45 0 0 25 0 1 0 903028621 14819328 2782 4294967295 134512640 134716908 3221224560 3221223124 134552069 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3618 2782 1111 63 0 3555 0 vsize: 14472 [startup+400.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2913 0 0 0 39959 46 0 0 25 0 1 0 903028621 15089664 2827 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3684 2827 1111 63 0 3621 0 vsize: 14736 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 2993 0 0 0 40956 49 0 0 25 0 1 0 903028621 15360000 2907 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3750 2907 1111 63 0 3687 0 vsize: 15000 [startup+420.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3037 0 0 0 41955 50 0 0 25 0 1 0 903028621 15495168 2951 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3783 2951 1111 63 0 3720 0 vsize: 15132 [startup+430.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3179 0 0 0 42953 52 0 0 25 0 1 0 903028621 16171008 3093 4294967295 134512640 134716908 3221224560 3221223280 134535760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3948 3093 1111 63 0 3885 0 vsize: 15792 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3227 0 0 0 43952 54 0 0 25 0 1 0 903028621 16306176 3141 4294967295 134512640 134716908 3221224560 3221223144 134549625 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3981 3141 1111 63 0 3918 0 vsize: 15924 [startup+450.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3308 0 0 0 44950 56 0 0 25 0 1 0 903028621 16699392 3222 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4077 3222 1111 63 0 4014 0 vsize: 16308 [startup+460.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3349 0 0 0 45949 58 0 0 25 0 1 0 903028621 16834560 3263 4294967295 134512640 134716908 3221224560 3221223320 134592337 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4110 3263 1111 63 0 4047 0 vsize: 16440 [startup+470.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3415 0 0 0 46947 59 0 0 25 0 1 0 903028621 17104896 3329 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4176 3329 1111 63 0 4113 0 vsize: 16704 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3432 0 0 0 47947 60 0 0 25 0 1 0 903028621 17104896 3346 4294967295 134512640 134716908 3221224560 3221223040 134699557 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4176 3346 1111 63 0 4113 0 vsize: 16704 [startup+490.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3434 0 0 0 48946 61 0 0 25 0 1 0 903028621 17104896 3348 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4176 3348 1111 63 0 4113 0 vsize: 16704 [startup+500.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3457 0 0 0 49945 62 0 0 25 0 1 0 903028621 17235968 3371 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4208 3371 1111 63 0 4145 0 vsize: 16832 [startup+510.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3476 0 0 0 50944 63 0 0 25 0 1 0 903028621 17346560 3390 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4235 3390 1111 63 0 4172 0 vsize: 16940 [startup+520.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3548 0 0 0 51943 65 0 0 25 0 1 0 903028621 17616896 3462 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4301 3462 1111 63 0 4238 0 vsize: 17204 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3620 0 0 0 52941 67 0 0 25 0 1 0 903028621 17887232 3534 4294967295 134512640 134716908 3221224560 3221223328 134529115 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4367 3534 1111 63 0 4304 0 vsize: 17468 [startup+540.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3647 0 0 0 53940 68 0 0 25 0 1 0 903028621 18010112 3561 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4397 3561 1111 63 0 4334 0 vsize: 17588 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3654 0 0 0 54940 68 0 0 25 0 1 0 903028621 18010112 3568 4294967295 134512640 134716908 3221224560 3221223344 134529252 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4397 3568 1111 63 0 4334 0 vsize: 17588 [startup+560.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3673 0 0 0 55938 70 0 0 25 0 1 0 903028621 18145280 3587 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4430 3587 1111 63 0 4367 0 vsize: 17720 [startup+570.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3712 0 0 0 56936 72 0 0 25 0 1 0 903028621 18280448 3626 4294967295 134512640 134716908 3221224560 3221223196 134543760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4463 3626 1111 63 0 4400 0 vsize: 17852 [startup+580.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3798 0 0 0 57934 74 0 0 25 0 1 0 903028621 18644992 3712 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4552 3712 1111 63 0 4489 0 vsize: 18208 [startup+590.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3848 0 0 0 58934 75 0 0 25 0 1 0 903028621 18915328 3762 4294967295 134512640 134716908 3221224560 3221223324 134552579 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4618 3762 1111 63 0 4555 0 vsize: 18472 [startup+600.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3925 0 0 0 59932 76 0 0 25 0 1 0 903028621 19185664 3839 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4684 3839 1111 63 0 4621 0 vsize: 18736 [startup+610.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 3946 0 0 0 60931 78 0 0 25 0 1 0 903028621 19320832 3860 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4717 3860 1111 63 0 4654 0 vsize: 18868 [startup+620.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4012 0 0 0 61930 79 0 0 25 0 1 0 903028621 19591168 3926 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4783 3926 1111 63 0 4720 0 vsize: 19132 [startup+630.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4012 0 0 0 62929 80 0 0 25 0 1 0 903028621 19591168 3926 4294967295 134512640 134716908 3221224560 3221223120 134699211 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4783 3926 1111 63 0 4720 0 vsize: 19132 [startup+640.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4033 0 0 0 63928 81 0 0 25 0 1 0 903028621 19591168 3947 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4783 3947 1111 63 0 4720 0 vsize: 19132 [startup+650.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4082 0 0 0 64927 83 0 0 25 0 1 0 903028621 19857408 3996 4294967295 134512640 134716908 3221224560 3221223200 134542368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4848 3996 1111 63 0 4785 0 vsize: 19392 [startup+660.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4157 0 0 0 65924 86 0 0 25 0 1 0 903028621 20127744 4071 4294967295 134512640 134716908 3221224560 3221223076 134535986 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4914 4071 1111 63 0 4851 0 vsize: 19656 [startup+670.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4157 0 0 0 66924 86 0 0 25 0 1 0 903028621 20127744 4071 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4914 4071 1111 63 0 4851 0 vsize: 19656 [startup+680.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4186 0 0 0 67922 88 0 0 25 0 1 0 903028621 20262912 4100 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4947 4100 1111 63 0 4884 0 vsize: 19788 [startup+690.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4255 0 0 0 68921 89 0 0 25 0 1 0 903028621 20533248 4169 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5013 4169 1111 63 0 4950 0 vsize: 20052 [startup+700.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4258 0 0 0 69921 90 0 0 25 0 1 0 903028621 20533248 4172 4294967295 134512640 134716908 3221224560 3221223200 134698740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5013 4172 1111 63 0 4950 0 vsize: 20052 [startup+710.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4277 0 0 0 70920 91 0 0 25 0 1 0 903028621 20668416 4191 4294967295 134512640 134716908 3221224560 3221223400 134586149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5046 4191 1111 63 0 4983 0 vsize: 20184 [startup+720.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4296 0 0 0 71920 92 0 0 25 0 1 0 903028621 20668416 4210 4294967295 134512640 134716908 3221224560 3221223212 134543664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5046 4210 1111 63 0 4983 0 vsize: 20184 [startup+730.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4309 0 0 0 72918 93 0 0 25 0 1 0 903028621 20803584 4223 4294967295 134512640 134716908 3221224560 3221223200 134523202 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5079 4223 1111 63 0 5016 0 vsize: 20316 [startup+740.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4309 0 0 0 73917 94 0 0 25 0 1 0 903028621 20803584 4223 4294967295 134512640 134716908 3221224560 3221223104 134535026 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5079 4223 1111 63 0 5016 0 vsize: 20316 [startup+750.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4309 0 0 0 74916 95 0 0 25 0 1 0 903028621 20803584 4223 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5079 4223 1111 63 0 5016 0 vsize: 20316 [startup+760.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4357 0 0 0 75915 97 0 0 25 0 1 0 903028621 20938752 4271 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5112 4271 1111 63 0 5049 0 vsize: 20448 [startup+770.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4379 0 0 0 76914 98 0 0 25 0 1 0 903028621 21073920 4293 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5145 4293 1111 63 0 5082 0 vsize: 20580 [startup+780.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4413 0 0 0 77913 99 0 0 25 0 1 0 903028621 21209088 4327 4294967295 134512640 134716908 3221224560 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5178 4327 1111 63 0 5115 0 vsize: 20712 [startup+790.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4440 0 0 0 78913 100 0 0 25 0 1 0 903028621 21344256 4354 4294967295 134512640 134716908 3221224560 3221223136 134549640 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5211 4354 1111 63 0 5148 0 vsize: 20844 [startup+800.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4602 0 0 0 79911 102 0 0 25 0 1 0 903028621 22011904 4516 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5374 4516 1111 63 0 5311 0 vsize: 21496 [startup+810.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4663 0 0 0 80909 104 0 0 25 0 1 0 903028621 22147072 4577 4294967295 134512640 134716908 3221224560 3221223248 134528712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5407 4577 1111 63 0 5344 0 vsize: 21628 [startup+820.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4705 0 0 0 81907 106 0 0 25 0 1 0 903028621 22417408 4619 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5473 4619 1111 63 0 5410 0 vsize: 21892 [startup+830.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4705 0 0 0 82906 107 0 0 25 0 1 0 903028621 22417408 4619 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5473 4619 1111 63 0 5410 0 vsize: 21892 [startup+840.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4719 0 0 0 83906 108 0 0 25 0 1 0 903028621 22417408 4633 4294967295 134512640 134716908 3221224560 3221223344 134529269 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5473 4633 1111 63 0 5410 0 vsize: 21892 [startup+850.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4719 0 0 0 84904 109 0 0 25 0 1 0 903028621 22417408 4633 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5473 4633 1111 63 0 5410 0 vsize: 21892 [startup+860.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4742 0 0 0 85903 111 0 0 25 0 1 0 903028621 22552576 4656 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5506 4656 1111 63 0 5443 0 vsize: 22024 [startup+870.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4757 0 0 0 86902 112 0 0 25 0 1 0 903028621 22552576 4671 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5506 4671 1111 63 0 5443 0 vsize: 22024 [startup+880.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4779 0 0 0 87901 113 0 0 25 0 1 0 903028621 22687744 4693 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5539 4693 1111 63 0 5476 0 vsize: 22156 [startup+890.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4832 0 0 0 88900 115 0 0 25 0 1 0 903028621 22958080 4746 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5605 4746 1111 63 0 5542 0 vsize: 22420 [startup+900.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4872 0 0 0 89898 116 0 0 25 0 1 0 903028621 23093248 4786 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5638 4786 1111 63 0 5575 0 vsize: 22552 [startup+910.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4926 0 0 0 90897 118 0 0 25 0 1 0 903028621 23228416 4840 4294967295 134512640 134716908 3221224560 3221223188 134543092 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5671 4840 1111 63 0 5608 0 vsize: 22684 [startup+920.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4976 0 0 0 91896 119 0 0 25 0 1 0 903028621 23461888 4890 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5728 4890 1111 63 0 5665 0 vsize: 22912 [startup+930.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 4995 0 0 0 92895 120 0 0 25 0 1 0 903028621 23597056 4909 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5761 4909 1111 63 0 5698 0 vsize: 23044 [startup+940.026 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5001 0 0 0 93894 121 0 0 25 0 1 0 903028621 23597056 4915 4294967295 134512640 134716908 3221224560 3221223236 1077374563 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5761 4915 1111 63 0 5698 0 vsize: 23044 [startup+950.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5012 0 0 0 94893 122 0 0 25 0 1 0 903028621 23597056 4926 4294967295 134512640 134716908 3221224560 3221223296 134523856 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5761 4926 1111 63 0 5698 0 vsize: 23044 [startup+960.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5034 0 0 0 95892 124 0 0 25 0 1 0 903028621 23719936 4948 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5791 4948 1111 63 0 5728 0 vsize: 23164 [startup+970.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5111 0 0 0 96891 125 0 0 25 0 1 0 903028621 23990272 5025 4294967295 134512640 134716908 3221224560 3221223460 134588473 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5857 5025 1111 63 0 5794 0 vsize: 23428 [startup+980.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5138 0 0 0 97890 126 0 0 25 0 1 0 903028621 24125440 5052 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5890 5052 1111 63 0 5827 0 vsize: 23560 [startup+990.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5138 0 0 0 98889 127 0 0 25 0 1 0 903028621 24125440 5052 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5890 5052 1111 63 0 5827 0 vsize: 23560 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5170 0 0 0 99889 128 0 0 25 0 1 0 903028621 24260608 5084 4294967295 134512640 134716908 3221224560 3221223312 134588020 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5923 5084 1111 63 0 5860 0 vsize: 23692 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5208 0 0 0 100888 129 0 0 25 0 1 0 903028621 24395776 5122 4294967295 134512640 134716908 3221224560 3221223152 134542820 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5956 5122 1111 63 0 5893 0 vsize: 23824 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5235 0 0 0 101887 130 0 0 25 0 1 0 903028621 24530944 5149 4294967295 134512640 134716908 3221224560 3221223168 134523350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5989 5149 1111 63 0 5926 0 vsize: 23956 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5267 0 0 0 102886 131 0 0 25 0 1 0 903028621 24666112 5181 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6022 5181 1111 63 0 5959 0 vsize: 24088 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5295 0 0 0 103885 133 0 0 25 0 1 0 903028621 24788992 5209 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6052 5209 1111 63 0 5989 0 vsize: 24208 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5361 0 0 0 104883 135 0 0 25 0 1 0 903028621 25059328 5275 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6118 5275 1111 63 0 6055 0 vsize: 24472 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5376 0 0 0 105883 136 0 0 25 0 1 0 903028621 25059328 5290 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6118 5290 1111 63 0 6055 0 vsize: 24472 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5398 0 0 0 106881 137 0 0 25 0 1 0 903028621 25194496 5312 4294967295 134512640 134716908 3221224560 3221223296 134535837 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6151 5312 1111 63 0 6088 0 vsize: 24604 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5462 0 0 0 107880 139 0 0 25 0 1 0 903028621 25464832 5376 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6217 5376 1111 63 0 6154 0 vsize: 24868 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5462 0 0 0 108878 140 0 0 25 0 1 0 903028621 25464832 5376 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6217 5376 1111 63 0 6154 0 vsize: 24868 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5462 0 0 0 109877 142 0 0 25 0 1 0 903028621 25464832 5376 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6217 5376 1111 63 0 6154 0 vsize: 24868 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5462 0 0 0 110876 143 0 0 25 0 1 0 903028621 25464832 5376 4294967295 134512640 134716908 3221224560 3221223056 134699851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6217 5376 1111 63 0 6154 0 vsize: 24868 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5462 0 0 0 111875 144 0 0 25 0 1 0 903028621 25464832 5376 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6217 5376 1111 63 0 6154 0 vsize: 24868 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5468 0 0 0 112874 145 0 0 25 0 1 0 903028621 25464832 5382 4294967295 134512640 134716908 3221224560 3221223152 134543118 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6217 5382 1111 63 0 6154 0 vsize: 24868 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5474 0 0 0 113874 146 0 0 25 0 1 0 903028621 25464832 5388 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6217 5388 1111 63 0 6154 0 vsize: 24868 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5520 0 0 0 114873 147 0 0 25 0 1 0 903028621 25726976 5434 4294967295 134512640 134716908 3221224560 3221223184 134698622 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6281 5434 1111 63 0 6218 0 vsize: 25124 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5524 0 0 0 115872 148 0 0 25 0 1 0 903028621 25669632 5438 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6267 5438 1111 63 0 6204 0 vsize: 25068 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5524 0 0 0 116871 149 0 0 25 0 1 0 903028621 25669632 5438 4294967295 134512640 134716908 3221224560 3221223308 134551608 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6267 5438 1111 63 0 6204 0 vsize: 25068 [startup+1174.85 s] Raw data (loadavg): 0.99 0.97 0.92 1/53 27308 Raw data (stat): 27308 (bsolo_lpr_cuts-) R 27307 20224 20223 0 -1 0 5524 0 0 0 116871 149 0 0 25 0 1 0 903028621 25669632 5438 4294967295 134512640 134716908 3221224560 3221223308 134551608 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6267 5438 1111 63 0 6204 0 vsize: 0 Child status: 0 Real time (s): 1174.85 CPU time (s): 1175.02 CPU user time (s): 1173.51 CPU system time (s): 1.50977 CPU usage (%): 100.015 Max. virtual memory (Kb): 25124 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####