Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb |
MD5SUM | 795a1eda830447df9b9714fdf1d66b4e |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2795888 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 5418 |
Biggest coefficient in the objective function | 5242880 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 1537450315 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 1537450315 |
Number of bits of the biggest sum of numbers | 31 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1224.65 |
Number of variables | 5418 |
Total number of constraints | 307 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 307 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 860 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-05-24 17:25:02 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19346 boxname=wulflinc5 idbench=1489 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 795a1eda830447df9b9714fdf1d66b4e /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran6x43.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran6x43.opb IDLAUNCH: 19346 /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: 872504 kB Buffers: 7428 kB Cached: 133784 kB SwapCached: 636 kB Active: 29192 kB Inactive: 114592 kB HighTotal: 131008 kB HighFree: 2492 kB LowTotal: 903652 kB LowFree: 870012 kB SwapTotal: 2097136 kB SwapFree: 2096140 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5760 kB Slab: 12732 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 17:44:37 (client local time) WITH STATUS 0 IN 1175.25 SECONDS stats: 19346 7 1175.25 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 5418 variables and 356 constraints. c After prepocess the problem consists of 2953 variables and 492 constraints. c preprocess terminated 7.4 s c Initial Lower Bound: 799323 c Lower Bound Elapsed time: 0.6035 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.23 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.91 0.95 0.94 2/54 10003 Raw data (stat): 10003 (runsolver) R 10002 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773797766 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0007 s] Raw data (loadavg): 0.93 0.95 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 11000 0 2 0 959 24 0 0 25 0 1 0 773797766 36392960 8106 4294967295 134512640 134714508 3221224592 3221223024 134542598 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8885 8106 1111 63 0 8822 0 vsize: 35540 [startup+20.0018 s] Raw data (loadavg): 0.94 0.96 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 11172 0 2 0 1958 26 0 0 25 0 1 0 773797766 36106240 8077 4294967295 134512640 134714508 3221224592 3221222856 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8815 8077 1111 63 0 8752 0 vsize: 35260 [startup+30.0029 s] Raw data (loadavg): 0.95 0.96 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 11309 0 3 0 2958 26 0 0 25 0 1 0 773797766 36106240 8081 4294967295 134512640 134714508 3221224592 3221221536 1074620304 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8815 8081 1111 63 0 8752 0 vsize: 35260 [startup+40.0026 s] Raw data (loadavg): 0.95 0.96 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 11442 0 3 0 3957 27 0 0 25 0 1 0 773797766 36106240 8081 4294967295 134512640 134714508 3221224592 3221221936 1074839104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8815 8081 1111 63 0 8752 0 vsize: 35260 [startup+50.0031 s] Raw data (loadavg): 0.96 0.96 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 11576 0 3 0 4957 27 0 0 25 0 1 0 773797766 36106240 8081 4294967295 134512640 134714508 3221224592 3221221872 1074140013 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8815 8081 1111 63 0 8752 0 vsize: 35260 [startup+60.0031 s] Raw data (loadavg): 0.97 0.96 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 12005 0 4 0 5955 29 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222880 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+70.0039 s] Raw data (loadavg): 0.97 0.96 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 13703 0 4 0 6951 33 0 0 25 0 1 0 773797766 36573184 8142 4294967295 134512640 134714508 3221224592 3221220752 1075094841 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8929 8142 1111 63 0 8866 0 vsize: 35716 [startup+80.0042 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 15288 0 4 0 7948 37 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+90.0043 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 16605 0 4 0 8944 40 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221221784 1074138315 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 17617 0 4 0 9941 43 0 0 25 0 1 0 773797766 36495360 8154 4294967295 134512640 134714508 3221224592 3221221184 1074885883 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8910 8154 1111 63 0 8847 0 vsize: 35640 [startup+110.005 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 18629 0 4 0 10939 46 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 19626 0 4 0 11937 48 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+130.006 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 20605 0 4 0 12934 51 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221218240 1074153786 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 21646 0 4 0 13931 54 0 0 25 0 1 0 773797766 36302848 8107 4294967295 134512640 134714508 3221224592 3221221636 1074846206 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8863 8107 1111 63 0 8800 0 vsize: 35452 [startup+150.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 22616 0 4 0 14929 57 0 0 25 0 1 0 773797766 36544512 8105 4294967295 134512640 134714508 3221224592 3221222704 1074867344 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8922 8105 1111 63 0 8859 0 vsize: 35688 [startup+160.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 23640 0 4 0 15926 60 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 24652 0 4 0 16923 64 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222872 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 25659 0 4 0 17921 66 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221223208 134543176 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 26645 0 4 0 18918 69 0 0 25 0 1 0 773797766 36483072 8149 4294967295 134512640 134714508 3221224592 3221220960 1075894554 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8907 8149 1111 63 0 8844 0 vsize: 35628 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 27640 0 4 0 19915 72 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 28613 0 4 0 20913 74 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222780 1077374432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+220.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 29583 0 4 0 21910 77 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221218096 1074153648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+230.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 30542 0 4 0 22908 79 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222320 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+240.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 31076 0 4 0 23907 81 0 0 25 0 1 0 773797766 36302848 8106 4294967295 134512640 134714508 3221224592 3221221520 1075960384 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8863 8106 1111 63 0 8800 0 vsize: 35452 [startup+250.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 31227 0 4 0 24907 82 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222320 1074153815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+260.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 31383 0 4 0 25906 83 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222368 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+270.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 31544 0 4 0 26905 83 0 0 25 0 1 0 773797766 36356096 8103 4294967295 134512640 134714508 3221224592 3221222512 1075799758 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8876 8103 1111 63 0 8813 0 vsize: 35504 [startup+280.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 31705 0 4 0 27904 85 0 0 25 0 1 0 773797766 36302848 8106 4294967295 134512640 134714508 3221224592 3221220656 1075084533 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8863 8106 1111 63 0 8800 0 vsize: 35452 [startup+290.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 31862 0 4 0 28904 85 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221221656 1075007302 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+300.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 32013 0 4 0 29903 86 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222352 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+310.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 32172 0 4 0 30903 87 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222792 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 32328 0 4 0 31902 87 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222760 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+330.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 32485 0 4 0 32902 88 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+340.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 32646 0 4 0 33901 88 0 0 25 0 1 0 773797766 36302848 8105 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8863 8105 1111 63 0 8800 0 vsize: 35452 [startup+350.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 32802 0 4 0 34900 89 0 0 25 0 1 0 773797766 36302848 8106 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8863 8106 1111 63 0 8800 0 vsize: 35452 [startup+360.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 32956 0 4 0 35899 91 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222896 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+370.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 33117 0 4 0 36898 92 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222944 1074115331 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+380.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 33275 0 4 0 37897 93 0 0 25 0 1 0 773797766 36356096 8103 4294967295 134512640 134714508 3221224592 3221222320 1075828441 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8876 8103 1111 63 0 8813 0 vsize: 35504 [startup+390.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 33441 0 4 0 38897 94 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+400.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 33605 0 4 0 39896 94 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221222880 1074153800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 33759 0 4 0 40896 95 0 0 25 0 1 0 773797766 36356096 8103 4294967295 134512640 134714508 3221224592 3221222320 1075828205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8876 8103 1111 63 0 8813 0 vsize: 35504 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 33925 0 4 0 41895 96 0 0 25 0 1 0 773797766 36302848 8105 4294967295 134512640 134714508 3221224592 3221221624 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8863 8105 1111 63 0 8800 0 vsize: 35452 [startup+430.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 34093 0 4 0 42895 97 0 0 25 0 1 0 773797766 36302848 8105 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8863 8105 1111 63 0 8800 0 vsize: 35452 [startup+440.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 34261 0 4 0 43894 97 0 0 25 0 1 0 773797766 36163584 8101 4294967295 134512640 134714508 3221224592 3221223232 134649075 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8101 1111 63 0 8766 0 vsize: 35316 [startup+450.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 34362 0 4 0 44894 98 0 0 25 0 1 0 773797766 36163584 8102 4294967295 134512640 134714508 3221224592 3221222448 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8102 1111 63 0 8766 0 vsize: 35316 [startup+460.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 34420 0 4 0 45893 99 0 0 25 0 1 0 773797766 36163584 8102 4294967295 134512640 134714508 3221224592 3221222896 1074153815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8102 1111 63 0 8766 0 vsize: 35316 [startup+470.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 34478 0 4 0 46893 99 0 0 25 0 1 0 773797766 36163584 8102 4294967295 134512640 134714508 3221224592 3221222872 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8102 1111 63 0 8766 0 vsize: 35316 [startup+480.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 34536 0 4 0 47892 100 0 0 25 0 1 0 773797766 36163584 8102 4294967295 134512640 134714508 3221224592 3221219296 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8102 1111 63 0 8766 0 vsize: 35316 [startup+490.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 34597 0 4 0 48892 101 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221221616 1074810513 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+500.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 34655 0 4 0 49891 101 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222896 1074153736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+510.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 34777 0 4 0 50891 102 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222896 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+520.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 34943 0 4 0 51890 103 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222944 1074115241 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 35045 0 4 0 52890 103 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222772 1077378748 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+540.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 35150 0 4 0 53889 104 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222880 1074153736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 35264 0 4 0 54889 105 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222992 1074118784 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+560.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 35381 0 4 0 55888 106 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221221696 1074138576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+570.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 35504 0 4 0 56888 106 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222320 1075635463 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+580.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 35624 0 4 0 57887 107 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222792 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+590.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 35747 0 4 0 58886 108 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221221512 1074950119 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+600.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 35864 0 4 0 59886 108 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222904 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+610.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 35864 0 4 0 60886 109 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221219964 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+620.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 35912 0 4 0 61886 109 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+630.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36020 0 4 0 62885 110 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222240 1075818272 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+640.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36140 0 4 0 63884 112 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222880 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+650.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36260 0 4 0 64883 113 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222928 1074153736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+660.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36380 0 4 0 65882 114 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221219532 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+670.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36503 0 4 0 66881 115 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222944 1074153815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+680.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36626 0 4 0 67880 116 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222376 1074138155 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+690.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36665 0 4 0 68880 116 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+700.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36665 0 4 0 69880 116 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222320 1075828451 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+710.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36665 0 4 0 70881 116 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221220200 1077380592 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+720.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36665 0 4 0 71881 116 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222552 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+730.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36665 0 4 0 72881 117 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222320 1075828451 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+740.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36665 0 4 0 73880 117 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222704 1074153812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+750.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36665 0 4 0 74880 117 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+760.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36665 0 4 0 75880 117 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222856 1074138147 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+770.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36665 0 4 0 76880 118 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222808 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+780.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36665 0 4 0 77880 118 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222704 1074153812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+790.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36665 0 4 0 78880 118 0 0 25 0 1 0 773797766 36163584 8103 4294967295 134512640 134714508 3221224592 3221222320 1075828939 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8103 1111 63 0 8766 0 vsize: 35316 [startup+800.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36666 0 4 0 79880 119 0 0 25 0 1 0 773797766 36163584 8104 4294967295 134512640 134714508 3221224592 3221222240 1075818335 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8104 1111 63 0 8766 0 vsize: 35316 [startup+810.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36666 0 4 0 80880 119 0 0 25 0 1 0 773797766 36163584 8104 4294967295 134512640 134714508 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8104 1111 63 0 8766 0 vsize: 35316 [startup+820.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36666 0 4 0 81880 119 0 0 25 0 1 0 773797766 36163584 8104 4294967295 134512640 134714508 3221224592 3221222928 1074153736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8104 1111 63 0 8766 0 vsize: 35316 [startup+830.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36667 0 4 0 82880 119 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221221512 1074950102 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+840.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36667 0 4 0 83879 120 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222944 1074153812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+850.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36667 0 4 0 84880 120 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+860.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36667 0 4 0 85880 120 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222696 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+870.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36667 0 4 0 86879 120 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221223008 1074116193 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+880.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36667 0 4 0 87879 121 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+890.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36748 0 4 0 88879 121 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222592 1074056570 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+900.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36862 0 4 0 89879 122 0 0 25 0 1 0 773797766 36302848 8108 4294967295 134512640 134714508 3221224592 3221220812 1076111372 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8863 8108 1111 63 0 8800 0 vsize: 35452 [startup+910.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 36982 0 4 0 90878 122 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222840 1074138163 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+920.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37105 0 4 0 91878 123 0 0 25 0 1 0 773797766 36302848 8108 4294967295 134512640 134714508 3221224592 3221221512 1074950074 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8863 8108 1111 63 0 8800 0 vsize: 35452 [startup+930.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37225 0 4 0 92877 124 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221221696 1074138880 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+940.022 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37351 0 4 0 93876 125 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222928 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+950.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 94876 126 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221221872 1074140044 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+960.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 95876 126 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222944 1074153648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+970.023 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 96876 126 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221221872 1074140374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+980.024 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 97876 126 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221220588 1074860942 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+990.035 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 98877 126 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222736 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 99877 127 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222560 1074153794 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 100877 127 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221220880 1074153773 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 101877 127 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222800 1074153815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 102877 127 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222416 1075823363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 103877 128 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222928 1074153792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 104876 128 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 105877 128 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222992 1074118792 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 106877 128 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222992 1074153812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 107876 128 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222524 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 108876 129 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221223008 1074116274 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 109877 129 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221221712 1074865202 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 110877 129 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222728 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 111876 129 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 112875 129 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222320 1075635959 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 113875 129 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221221168 1076043588 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37456 0 4 0 114875 130 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222368 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37468 0 4 0 115875 130 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37583 0 4 0 116874 131 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 35316 [startup+1175.22 s] Raw data (loadavg): 0.99 0.97 0.94 1/53 10003 Raw data (stat): 10003 (bsolo_lpr_cuts) R 10002 7266 7265 0 -1 0 37583 0 4 0 116874 131 0 0 25 0 1 0 773797766 36163584 8105 4294967295 134512640 134714508 3221224592 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8829 8105 1111 63 0 8766 0 vsize: 0 Child status: 0 Real time (s): 1175.22 CPU time (s): 1175.25 CPU user time (s): 1173.92 CPU system time (s): 1.3338 CPU usage (%): 100.002 Max. virtual memory (Kb): 35716 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####