Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb |
MD5SUM | c8e6fe6db41022cd334d76fea54bd93c |
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 | 12 |
Number of bits of the biggest sum of numbers | 4 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 0.047992 |
Number of variables | 182 |
Total number of constraints | 154 |
Number of constraints which are clauses | 132 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 11 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-08 15:20:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28640 boxname=wulflinc5 idbench=26 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: c8e6fe6db41022cd334d76fea54bd93c /oldhome/oroussel/tmp/wulflinc5/normalized-fpga11_11_sat_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga11_11_sat_pb.cnf.cr.opb IDLAUNCH: 28640 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 856784 kB Buffers: 15712 kB Cached: 140696 kB SwapCached: 672 kB Active: 24144 kB Inactive: 134276 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 856532 kB SwapTotal: 2097136 kB SwapFree: 2095500 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5080 kB Slab: 13560 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 15:39:41 (client local time) WITH STATUS 0 IN 1175.11 SECONDS stats: 28640 7 1175.11 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 182 variables and 154 constraints. c After prepocess the problem consists of 182 variables and 154 constraints. c preprocess terminated 0.095 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.02 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.91 0.95 0.90 2/54 20332 Raw data (stat): 20332 (runsolver) R 20331 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902665451 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+9.99987 s] Raw data (loadavg): 0.93 0.95 0.90 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 2852 0 0 0 987 9 0 0 25 0 1 0 902665451 14798848 2770 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3613 2771 1111 63 0 3550 0 vsize: 14452 [startup+19.9996 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 3999 0 0 0 1982 14 0 0 25 0 1 0 902665451 19537920 3917 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4770 3918 1111 63 0 4707 0 vsize: 19080 [startup+30.0004 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 5050 0 0 0 2978 18 0 0 25 0 1 0 902665451 23736320 4967 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5795 4967 1111 63 0 5732 0 vsize: 23180 [startup+40.0001 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 5707 0 0 0 3975 21 0 0 25 0 1 0 902665451 26464256 5624 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6461 5624 1111 63 0 6398 0 vsize: 25844 [startup+50.0012 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 6410 0 0 0 4972 24 0 0 25 0 1 0 902665451 29437952 6327 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7187 6327 1111 63 0 7124 0 vsize: 28748 [startup+60.0006 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 7113 0 0 0 5970 27 0 0 25 0 1 0 902665451 32288768 7029 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7883 7029 1111 63 0 7820 0 vsize: 31532 [startup+70.0003 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 7649 0 0 0 6968 29 0 0 25 0 1 0 902665451 34463744 7564 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8414 7564 1111 63 0 8351 0 vsize: 33656 [startup+80.0033 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 8452 0 0 0 7965 32 0 0 25 0 1 0 902665451 37842944 8367 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9239 8367 1111 63 0 9176 0 vsize: 36956 [startup+90.0028 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 8977 0 0 0 8963 35 0 0 25 0 1 0 902665451 39903232 8892 4294967295 134512640 134716908 3221224560 3221223264 134528614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9742 8892 1111 63 0 9679 0 vsize: 38968 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 9623 0 0 0 9960 37 0 0 25 0 1 0 902665451 42639360 9536 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10410 9536 1111 63 0 10347 0 vsize: 41640 [startup+110.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 10523 0 0 0 10957 41 0 0 25 0 1 0 902665451 46305280 10436 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11305 10436 1111 63 0 11242 0 vsize: 45220 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 11443 0 0 0 11953 45 0 0 25 0 1 0 902665451 50094080 11356 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12230 11356 1111 63 0 12167 0 vsize: 48920 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 12546 0 0 0 12948 50 0 0 25 0 1 0 902665451 54743040 12457 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13365 12457 1111 63 0 13302 0 vsize: 53460 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 13336 0 0 0 13945 54 0 0 25 0 1 0 902665451 57995264 13247 4294967295 134512640 134716908 3221224560 3221223164 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14159 13247 1111 63 0 14096 0 vsize: 56636 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 13880 0 0 0 14943 55 0 0 25 0 1 0 902665451 60162048 13791 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14688 13791 1111 63 0 14625 0 vsize: 58752 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 14645 0 0 0 15940 59 0 0 25 0 1 0 902665451 63275008 14554 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15448 14554 1111 63 0 15385 0 vsize: 61792 [startup+170.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 15494 0 0 0 16936 63 0 0 25 0 1 0 902665451 66859008 15399 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16323 15399 1111 63 0 16260 0 vsize: 65292 [startup+180.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 16144 0 0 0 17934 66 0 0 25 0 1 0 902665451 69562368 16049 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16983 16049 1111 63 0 16920 0 vsize: 67932 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 16729 0 0 0 18932 68 0 0 25 0 1 0 902665451 71888896 16634 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17551 16634 1111 63 0 17488 0 vsize: 70204 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 17174 0 0 0 19930 70 0 0 25 0 1 0 902665451 73805824 17077 4294967295 134512640 134716908 3221224560 3221223248 134523930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18019 17077 1111 63 0 17956 0 vsize: 72076 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 18057 0 0 0 20927 73 0 0 25 0 1 0 902665451 77336576 17960 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18881 17960 1111 63 0 18818 0 vsize: 75524 [startup+220.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 18721 0 0 0 21925 76 0 0 25 0 1 0 902665451 80109568 18620 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19558 18620 1111 63 0 19495 0 vsize: 78232 [startup+230.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 19149 0 0 0 22923 79 0 0 25 0 1 0 902665451 81879040 19048 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19990 19048 1111 63 0 19927 0 vsize: 79960 [startup+240.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 19784 0 0 0 23920 82 0 0 25 0 1 0 902665451 84443136 19681 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20616 19681 1111 63 0 20553 0 vsize: 82464 [startup+250.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 20390 0 0 0 24918 84 0 0 25 0 1 0 902665451 86953984 20283 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21229 20283 1111 63 0 21166 0 vsize: 84916 [startup+260.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 20947 0 0 0 25916 87 0 0 25 0 1 0 902665451 89346048 20836 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21813 20836 1111 63 0 21750 0 vsize: 87252 [startup+270.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 21389 0 0 0 26914 88 0 0 25 0 1 0 902665451 91246592 21277 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22277 21277 1111 63 0 22214 0 vsize: 89108 [startup+280.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 21877 0 0 0 27912 91 0 0 25 0 1 0 902665451 93335552 21765 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22787 21765 1111 63 0 22724 0 vsize: 91148 [startup+290.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 22168 0 0 0 28911 92 0 0 25 0 1 0 902665451 94453760 22055 4294967295 134512640 134716908 3221224560 3221223240 134543589 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23060 22055 1111 63 0 22997 0 vsize: 92240 [startup+300.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 22620 0 0 0 29908 95 0 0 25 0 1 0 902665451 96391168 22507 4294967295 134512640 134716908 3221224560 3221223200 134523874 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23533 22507 1111 63 0 23470 0 vsize: 94132 [startup+310.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 22976 0 0 0 30907 96 0 0 25 0 1 0 902665451 97812480 22863 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23880 22863 1111 63 0 23817 0 vsize: 95520 [startup+320.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 23348 0 0 0 31905 98 0 0 25 0 1 0 902665451 99483648 23231 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24288 23231 1111 63 0 24225 0 vsize: 97152 [startup+330.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 23719 0 0 0 32904 100 0 0 25 0 1 0 902665451 101036032 23593 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24667 23593 1111 63 0 24604 0 vsize: 98668 [startup+340.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 24076 0 0 0 33902 101 0 0 25 0 1 0 902665451 102522880 23950 4294967295 134512640 134716908 3221224560 3221223248 134535742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25030 23950 1111 63 0 24967 0 vsize: 100120 [startup+350.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 24446 0 0 0 34901 103 0 0 25 0 1 0 902665451 104009728 24320 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25393 24320 1111 63 0 25330 0 vsize: 101572 [startup+360.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 24626 0 0 0 35901 104 0 0 25 0 1 0 902665451 104685568 24500 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25558 24500 1111 63 0 25495 0 vsize: 102232 [startup+370.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 25022 0 0 0 36899 105 0 0 25 0 1 0 902665451 106307584 24895 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25954 24895 1111 63 0 25891 0 vsize: 103816 [startup+380.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 25349 0 0 0 37898 107 0 0 25 0 1 0 902665451 107659264 25222 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26284 25222 1111 63 0 26221 0 vsize: 105136 [startup+390.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 25556 0 0 0 38898 107 0 0 25 0 1 0 902665451 108486656 25429 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26486 25429 1111 63 0 26423 0 vsize: 105944 [startup+400.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 25853 0 0 0 39896 109 0 0 25 0 1 0 902665451 109723648 25726 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26788 25726 1111 63 0 26725 0 vsize: 107152 [startup+410.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 26146 0 0 0 40896 110 0 0 25 0 1 0 902665451 110940160 26019 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27085 26019 1111 63 0 27022 0 vsize: 108340 [startup+420.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 26430 0 0 0 41895 111 0 0 25 0 1 0 902665451 112074752 26302 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27362 26302 1111 63 0 27299 0 vsize: 109448 [startup+430.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 26749 0 0 0 42893 113 0 0 25 0 1 0 902665451 113504256 26618 4294967295 134512640 134716908 3221224560 3221223152 134549742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27711 26618 1111 63 0 27648 0 vsize: 110844 [startup+440.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 27060 0 0 0 43892 114 0 0 25 0 1 0 902665451 114724864 26929 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28009 26929 1111 63 0 27946 0 vsize: 112036 [startup+450.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 27414 0 0 0 44891 115 0 0 25 0 1 0 902665451 116310016 27281 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28396 27281 1111 63 0 28333 0 vsize: 113584 [startup+460.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 27676 0 0 0 45890 117 0 0 25 0 1 0 902665451 117399552 27543 4294967295 134512640 134716908 3221224560 3221223300 134523855 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28662 27543 1111 63 0 28599 0 vsize: 114648 [startup+470.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 27976 0 0 0 46889 118 0 0 25 0 1 0 902665451 118693888 27839 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28978 27839 1111 63 0 28915 0 vsize: 115912 [startup+480.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 28281 0 0 0 47887 120 0 0 25 0 1 0 902665451 119914496 28144 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29276 28144 1111 63 0 29213 0 vsize: 117104 [startup+490.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 28629 0 0 0 48886 121 0 0 25 0 1 0 902665451 121266176 28492 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29606 28492 1111 63 0 29543 0 vsize: 118424 [startup+500.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 28984 0 0 0 49884 123 0 0 25 0 1 0 902665451 122773504 28847 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29974 28847 1111 63 0 29911 0 vsize: 119896 [startup+510.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 29272 0 0 0 50883 124 0 0 25 0 1 0 902665451 123854848 29135 4294967295 134512640 134716908 3221224560 3221223328 134529157 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30238 29135 1111 63 0 30175 0 vsize: 120952 [startup+520.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 29497 0 0 0 51883 125 0 0 25 0 1 0 902665451 124817408 29360 4294967295 134512640 134716908 3221224560 3221223144 134542291 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30473 29360 1111 63 0 30410 0 vsize: 121892 [startup+530.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 29861 0 0 0 52882 126 0 0 25 0 1 0 902665451 126447616 29713 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30871 29713 1111 63 0 30808 0 vsize: 123484 [startup+540.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 30489 0 0 0 53879 129 0 0 25 0 1 0 902665451 129036288 30339 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31503 30339 1111 63 0 31440 0 vsize: 126012 [startup+550.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 31016 0 0 0 54877 131 0 0 25 0 1 0 902665451 131198976 30866 4294967295 134512640 134716908 3221224560 3221223136 134549802 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32031 30866 1111 63 0 31968 0 vsize: 128124 [startup+560.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 31394 0 0 0 55875 133 0 0 25 0 1 0 902665451 132685824 31244 4294967295 134512640 134716908 3221224560 3221223264 134535812 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32394 31244 1111 63 0 32331 0 vsize: 129576 [startup+570.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 31896 0 0 0 56874 135 0 0 25 0 1 0 902665451 134889472 31746 4294967295 134512640 134716908 3221224560 3221223220 134536752 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32932 31746 1111 63 0 32869 0 vsize: 131728 [startup+580.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 32343 0 0 0 57872 137 0 0 25 0 1 0 902665451 136691712 32192 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33372 32192 1111 63 0 33309 0 vsize: 133488 [startup+590.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 32789 0 0 0 58870 139 0 0 25 0 1 0 902665451 138473472 32637 4294967295 134512640 134716908 3221224560 3221223264 134535807 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33807 32637 1111 63 0 33744 0 vsize: 135228 [startup+600.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 33279 0 0 0 59868 141 0 0 25 0 1 0 902665451 140500992 33127 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34302 33127 1111 63 0 34239 0 vsize: 137208 [startup+610.033 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 33617 0 0 0 60868 142 0 0 25 0 1 0 902665451 141852672 33465 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34632 33465 1111 63 0 34569 0 vsize: 138528 [startup+620.034 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 33846 0 0 0 61866 144 0 0 25 0 1 0 902665451 142798848 33694 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34863 33694 1111 63 0 34800 0 vsize: 139452 [startup+630.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 34251 0 0 0 62864 146 0 0 25 0 1 0 902665451 144556032 34099 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35292 34099 1111 63 0 35229 0 vsize: 141168 [startup+640.035 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 34612 0 0 0 63863 147 0 0 25 0 1 0 902665451 146042880 34460 4294967295 134512640 134716908 3221224560 3221223152 134549600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35655 34460 1111 63 0 35592 0 vsize: 142620 [startup+650.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 34929 0 0 0 64862 149 0 0 25 0 1 0 902665451 147259392 34777 4294967295 134512640 134716908 3221224560 3221223328 134529381 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35952 34777 1111 63 0 35889 0 vsize: 143808 [startup+660.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 35201 0 0 0 65861 150 0 0 25 0 1 0 902665451 148357120 35048 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36220 35048 1111 63 0 36157 0 vsize: 144880 [startup+670.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 35522 0 0 0 66858 152 0 0 25 0 1 0 902665451 149712896 35369 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36551 35369 1111 63 0 36488 0 vsize: 146204 [startup+680.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 35810 0 0 0 67857 154 0 0 25 0 1 0 902665451 150794240 35657 4294967295 134512640 134716908 3221224560 3221223296 134528595 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36815 35657 1111 63 0 36752 0 vsize: 147260 [startup+690.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 36195 0 0 0 68855 156 0 0 25 0 1 0 902665451 152555520 36042 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37245 36042 1111 63 0 37182 0 vsize: 148980 [startup+700.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 36617 0 0 0 69853 158 0 0 25 0 1 0 902665451 154177536 36464 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37641 36464 1111 63 0 37578 0 vsize: 150564 [startup+710.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 36886 0 0 0 70852 159 0 0 25 0 1 0 902665451 155258880 36733 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37905 36733 1111 63 0 37842 0 vsize: 151620 [startup+720.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 37216 0 0 0 71851 160 0 0 25 0 1 0 902665451 156688384 37063 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38254 37063 1111 63 0 38191 0 vsize: 153016 [startup+730.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 37513 0 0 0 72851 161 0 0 25 0 1 0 902665451 157904896 37360 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38551 37360 1111 63 0 38488 0 vsize: 154204 [startup+740.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 37735 0 0 0 73850 162 0 0 25 0 1 0 902665451 158904320 37582 4294967295 134512640 134716908 3221224560 3221223296 134535750 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38795 37582 1111 63 0 38732 0 vsize: 155180 [startup+750.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 37943 0 0 0 74849 163 0 0 25 0 1 0 902665451 159739904 37786 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38999 37786 1111 63 0 38936 0 vsize: 155996 [startup+760.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 38191 0 0 0 75848 164 0 0 25 0 1 0 902665451 160686080 38033 4294967295 134512640 134716908 3221224560 3221223332 134529372 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39230 38033 1111 63 0 39167 0 vsize: 156920 [startup+770.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 38508 0 0 0 76847 166 0 0 25 0 1 0 902665451 162037760 38350 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39560 38350 1111 63 0 39497 0 vsize: 158240 [startup+780.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 38898 0 0 0 77846 167 0 0 25 0 1 0 902665451 163524608 38740 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39923 38740 1111 63 0 39860 0 vsize: 159692 [startup+790.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 39271 0 0 0 78845 169 0 0 25 0 1 0 902665451 165146624 39113 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40319 39113 1111 63 0 40256 0 vsize: 161276 [startup+800.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 39686 0 0 0 79843 170 0 0 25 0 1 0 902665451 166813696 39528 4294967295 134512640 134716908 3221224560 3221223384 134590015 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40726 39528 1111 63 0 40663 0 vsize: 162904 [startup+810.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 40019 0 0 0 80842 172 0 0 25 0 1 0 902665451 168165376 39860 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41056 39860 1111 63 0 40993 0 vsize: 164224 [startup+820.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 40335 0 0 0 81841 173 0 0 25 0 1 0 902665451 169517056 40176 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41386 40176 1111 63 0 41323 0 vsize: 165544 [startup+830.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 40599 0 0 0 82839 175 0 0 25 0 1 0 902665451 170610688 40439 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41653 40439 1111 63 0 41590 0 vsize: 166612 [startup+840.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 40934 0 0 0 83837 177 0 0 25 0 1 0 902665451 171962368 40774 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41983 40774 1111 63 0 41920 0 vsize: 167932 [startup+850.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 41298 0 0 0 84836 178 0 0 25 0 1 0 902665451 173449216 41138 4294967295 134512640 134716908 3221224560 3221223324 134552579 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42346 41138 1111 63 0 42283 0 vsize: 169384 [startup+860.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 41516 0 0 0 85835 179 0 0 25 0 1 0 902665451 174424064 41353 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42584 41353 1111 63 0 42521 0 vsize: 170336 [startup+870.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 41688 0 0 0 86834 180 0 0 25 0 1 0 902665451 175099904 41525 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42749 41525 1111 63 0 42686 0 vsize: 170996 [startup+880.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 41810 0 0 0 87834 181 0 0 25 0 1 0 902665451 175640576 41647 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42881 41647 1111 63 0 42818 0 vsize: 171524 [startup+890.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 42007 0 0 0 88833 182 0 0 25 0 1 0 902665451 176316416 41844 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43046 41844 1111 63 0 42983 0 vsize: 172184 [startup+900.043 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 42235 0 0 0 89832 183 0 0 25 0 1 0 902665451 177262592 42072 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43277 42072 1111 63 0 43214 0 vsize: 173108 [startup+910.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 42395 0 0 0 90832 184 0 0 25 0 1 0 902665451 177938432 42232 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43442 42232 1111 63 0 43379 0 vsize: 173768 [startup+920.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 42566 0 0 0 91831 185 0 0 25 0 1 0 902665451 178614272 42403 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43607 42403 1111 63 0 43544 0 vsize: 174428 [startup+930.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 42707 0 0 0 92831 185 0 0 25 0 1 0 902665451 179290112 42544 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43772 42544 1111 63 0 43709 0 vsize: 175088 [startup+940.045 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 42846 0 0 0 93830 186 0 0 25 0 1 0 902665451 179830784 42683 4294967295 134512640 134716908 3221224560 3221223296 134523859 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43904 42683 1111 63 0 43841 0 vsize: 175616 [startup+950.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 42970 0 0 0 94830 187 0 0 25 0 1 0 902665451 180371456 42807 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44036 42807 1111 63 0 43973 0 vsize: 176144 [startup+960.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 43138 0 0 0 95829 187 0 0 25 0 1 0 902665451 181047296 42975 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44201 42975 1111 63 0 44138 0 vsize: 176804 [startup+970.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 43291 0 0 0 96829 188 0 0 25 0 1 0 902665451 181587968 43128 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44333 43128 1111 63 0 44270 0 vsize: 177332 [startup+980.046 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 43428 0 0 0 97828 189 0 0 25 0 1 0 902665451 182128640 43265 4294967295 134512640 134716908 3221224560 3221223272 134551881 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44465 43265 1111 63 0 44402 0 vsize: 177860 [startup+990.047 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 43567 0 0 0 98828 189 0 0 25 0 1 0 902665451 182808576 43404 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44631 43404 1111 63 0 44568 0 vsize: 178524 [startup+1000.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 43686 0 0 0 99828 190 0 0 25 0 1 0 902665451 183214080 43523 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44730 43523 1111 63 0 44667 0 vsize: 178920 [startup+1010.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 43796 0 0 0 100827 191 0 0 25 0 1 0 902665451 183623680 43633 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44830 43633 1111 63 0 44767 0 vsize: 179320 [startup+1020.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 43927 0 0 0 101827 191 0 0 25 0 1 0 902665451 184164352 43764 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44962 43764 1111 63 0 44899 0 vsize: 179848 [startup+1030.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 44042 0 0 0 102827 191 0 0 25 0 1 0 902665451 184709120 43879 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45095 43879 1111 63 0 45032 0 vsize: 180380 [startup+1040.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 44151 0 0 0 103826 192 0 0 25 0 1 0 902665451 185114624 43988 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45194 43988 1111 63 0 45131 0 vsize: 180776 [startup+1050.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 44335 0 0 0 104825 193 0 0 25 0 1 0 902665451 185925632 44172 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45392 44172 1111 63 0 45329 0 vsize: 181568 [startup+1060.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 44472 0 0 0 105825 194 0 0 25 0 1 0 902665451 186466304 44309 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45524 44309 1111 63 0 45461 0 vsize: 182096 [startup+1070.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 44622 0 0 0 106824 195 0 0 25 0 1 0 902665451 187006976 44459 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45656 44459 1111 63 0 45593 0 vsize: 182624 [startup+1080.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 44757 0 0 0 107823 196 0 0 25 0 1 0 902665451 187547648 44594 4294967295 134512640 134716908 3221224560 3221223296 134523932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45788 44594 1111 63 0 45725 0 vsize: 183152 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 44898 0 0 0 108822 197 0 0 25 0 1 0 902665451 188289024 44732 4294967295 134512640 134716908 3221224560 3221223248 134528712 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45969 44732 1111 63 0 45906 0 vsize: 183876 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 45051 0 0 0 109821 198 0 0 25 0 1 0 902665451 188964864 44885 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46134 44885 1111 63 0 46071 0 vsize: 184536 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 45268 0 0 0 110820 199 0 0 25 0 1 0 902665451 189775872 45102 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46332 45102 1111 63 0 46269 0 vsize: 185328 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 45483 0 0 0 111820 200 0 0 25 0 1 0 902665451 190722048 45317 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46563 45317 1111 63 0 46500 0 vsize: 186252 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 45664 0 0 0 112820 200 0 0 25 0 1 0 902665451 191397888 45498 4294967295 134512640 134716908 3221224560 3221223320 134552573 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46728 45498 1111 63 0 46665 0 vsize: 186912 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 45888 0 0 0 113819 201 0 0 25 0 1 0 902665451 192344064 45722 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46959 45722 1111 63 0 46896 0 vsize: 187836 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 46137 0 0 0 114818 202 0 0 25 0 1 0 902665451 193425408 45971 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 47223 45971 1111 63 0 47160 0 vsize: 188892 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 46356 0 0 0 115817 203 0 0 25 0 1 0 902665451 194236416 46190 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 47421 46190 1111 63 0 47358 0 vsize: 189684 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 46529 0 0 0 116817 204 0 0 25 0 1 0 902665451 195080192 46359 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 47627 46359 1111 63 0 47564 0 vsize: 190508 [startup+1174.95 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 20332 Raw data (stat): 20332 (bsolo_lpr_cuts-) R 20331 7266 7265 0 -1 0 46529 0 0 0 116817 204 0 0 25 0 1 0 902665451 195080192 46359 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 47627 46359 1111 63 0 47564 0 vsize: 0 Child status: 0 Real time (s): 1174.94 CPU time (s): 1175.11 CPU user time (s): 1172.98 CPU system time (s): 2.13068 CPU usage (%): 100.014 Max. virtual memory (Kb): 190508 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####