Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb |
MD5SUM | e21d47f954166f353681a275b560afba |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -41 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1400 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1400 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1400 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.12 |
Number of variables | 1400 |
Total number of constraints | 110038 |
Number of constraints which are clauses | 110038 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-07 18:03:10 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27789 boxname=wulflinc6 idbench=347 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: e21d47f954166f353681a275b560afba /oldhome/oroussel/tmp/wulflinc6/normalized-frb56-25-4.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-frb56-25-4.opb IDLAUNCH: 27789 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 913464 kB Buffers: 33940 kB Cached: 64228 kB SwapCached: 1792 kB Active: 29628 kB Inactive: 71424 kB HighTotal: 131008 kB HighFree: 80612 kB LowTotal: 903652 kB LowFree: 832852 kB SwapTotal: 2097136 kB SwapFree: 2094416 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5048 kB Slab: 14476 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 18:23:13 (client local time) WITH STATUS 0 IN 1200.5 SECONDS stats: 27789 7 1200.5 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1400 variables and 110038 constraints. c After prepocess the problem consists of 1400 variables and 78358 constraints. c preprocess terminated 838.981 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.93 0.98 0.91 2/54 17039 Raw data (stat): 17039 (runsolver) R 17038 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895002030 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.001 s] Raw data (loadavg): 0.94 0.98 0.91 2/54 17039 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 11077 0 0 0 961 36 0 0 25 0 1 0 895002030 58474496 10997 4294967295 134512640 134716908 3221224576 3221221340 1077191297 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14276 10997 1111 63 0 14213 0 vsize: 57104 [startup+20.0019 s] Raw data (loadavg): 0.95 0.98 0.91 2/54 17039 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 32443 0 0 0 1911 86 0 0 25 0 1 0 895002030 130727936 31068 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31916 31068 1111 63 0 31853 0 vsize: 127664 [startup+30.0026 s] Raw data (loadavg): 0.96 0.98 0.91 2/54 17039 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 36401 0 0 0 2904 93 0 0 25 0 1 0 895002030 146968576 35026 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35881 35026 1111 63 0 35818 0 vsize: 143524 [startup+40.0031 s] Raw data (loadavg): 0.96 0.98 0.91 2/54 17039 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 37946 0 0 0 3901 97 0 0 25 0 1 0 895002030 147873792 35266 4294967295 134512640 134716908 3221224576 3221222968 134542370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36102 35266 1111 63 0 36039 0 vsize: 144408 [startup+50.0039 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 17039 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 41878 0 0 0 4893 105 0 0 25 0 1 0 895002030 164093952 39198 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40062 39198 1111 63 0 39999 0 vsize: 160248 [startup+60.004 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 17039 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45322 0 0 0 5886 112 0 0 25 0 1 0 895002030 178143232 42642 4294967295 134512640 134716908 3221224576 3221223128 1077377720 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43492 42642 1111 63 0 43429 0 vsize: 173968 [startup+70.0045 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 17039 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 6887 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+80.0057 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 17039 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 7887 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+90.0055 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 17039 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 8887 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 17039 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 9888 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+110.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17039 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 10888 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+120.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17039 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 11888 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+130.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17039 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 12889 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+140.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17039 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 13889 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+150.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 14889 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221222952 1077378649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+160.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 15890 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+170.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 16890 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+180.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 17890 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223304 134675309 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+190.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 18891 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+200.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 19891 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+210.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 20891 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+220.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 21892 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+230.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 22892 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+240.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 23892 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+250.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 24893 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+260.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 25893 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223104 134542851 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+270.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 26894 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+280.011 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 27894 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+290.012 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 28894 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+300.012 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 29895 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+310.015 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 30895 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+320.015 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 31896 112 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+330.016 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 32896 113 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223192 134543830 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+340.016 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 33896 113 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+350.017 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 34896 113 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+360.017 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 35896 113 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223068 134543588 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+370.018 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 36897 113 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134536736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+380.018 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 37897 113 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223068 134543653 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+390.019 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 38897 113 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+400.019 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 39898 113 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+410.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 40898 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221222940 134539223 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+420.019 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 41898 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221222988 134542288 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+430.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 42899 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+440.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 43899 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+450.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 44899 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+460.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 45900 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+470.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 46900 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+480.02 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 47900 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+490.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 48901 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+500.026 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 49902 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+510.027 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 50902 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+520.027 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 51902 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+530.027 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 52902 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+540.028 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 53903 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+550.028 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 54903 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+560.029 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 55904 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+570.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 56904 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+580.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 57904 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+590.03 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 58905 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223008 134543671 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+600.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 59905 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+610.031 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 60905 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+620.032 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 61906 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+630.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 62906 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223104 134528656 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+640.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 63906 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+650.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 64907 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+660.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 65907 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+670.033 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 66907 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+680.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 67908 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+690.034 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 68908 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+700.038 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 69909 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+710.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 70909 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+720.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 71910 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+730.039 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 72910 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223232 134627277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+740.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 73910 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+750.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 74911 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+760.04 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 75911 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+770.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45345 0 0 0 76911 114 0 0 25 0 1 0 895002030 178196480 42665 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42665 1111 63 0 43442 0 vsize: 174020 [startup+780.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45346 0 0 0 77912 114 0 0 25 0 1 0 895002030 178196480 42666 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42666 1111 63 0 43442 0 vsize: 174020 [startup+790.041 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45346 0 0 0 78912 114 0 0 25 0 1 0 895002030 178196480 42666 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42666 1111 63 0 43442 0 vsize: 174020 [startup+800.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45346 0 0 0 79912 114 0 0 25 0 1 0 895002030 178196480 42666 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42666 1111 63 0 43442 0 vsize: 174020 [startup+810.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45346 0 0 0 80913 114 0 0 25 0 1 0 895002030 178196480 42666 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42666 1111 63 0 43442 0 vsize: 174020 [startup+820.042 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45346 0 0 0 81913 114 0 0 25 0 1 0 895002030 178196480 42666 4294967295 134512640 134716908 3221224576 3221223376 134622759 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42666 1111 63 0 43442 0 vsize: 174020 [startup+830.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45346 0 0 0 82913 114 0 0 25 0 1 0 895002030 178196480 42666 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43505 42666 1111 63 0 43442 0 vsize: 174020 [startup+840.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45370 0 0 0 83914 114 0 0 25 0 1 0 895002030 179085312 42690 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43722 42690 1111 63 0 43659 0 vsize: 174888 [startup+850.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45375 0 0 0 84913 115 0 0 25 0 1 0 895002030 179085312 42695 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43722 42695 1111 63 0 43659 0 vsize: 174888 [startup+860.043 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45378 0 0 0 85913 115 0 0 25 0 1 0 895002030 179085312 42698 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43722 42698 1111 63 0 43659 0 vsize: 174888 [startup+870.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45380 0 0 0 86914 115 0 0 25 0 1 0 895002030 179085312 42700 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43722 42700 1111 63 0 43659 0 vsize: 174888 [startup+880.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45382 0 0 0 87914 115 0 0 25 0 1 0 895002030 179085312 42702 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43722 42702 1111 63 0 43659 0 vsize: 174888 [startup+890.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45383 0 0 0 88915 115 0 0 25 0 1 0 895002030 179085312 42703 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43722 42703 1111 63 0 43659 0 vsize: 174888 [startup+900.044 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45385 0 0 0 89915 115 0 0 25 0 1 0 895002030 179085312 42705 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43722 42705 1111 63 0 43659 0 vsize: 174888 [startup+910.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45386 0 0 0 90915 115 0 0 25 0 1 0 895002030 179085312 42706 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43722 42706 1111 63 0 43659 0 vsize: 174888 [startup+920.045 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45612 0 0 0 91914 116 0 0 25 0 1 0 895002030 180002816 42932 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43946 42932 1111 63 0 43883 0 vsize: 175784 [startup+930.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45628 0 0 0 92913 118 0 0 25 0 1 0 895002030 180060160 42948 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43960 42948 1111 63 0 43897 0 vsize: 175840 [startup+940.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45641 0 0 0 93913 119 0 0 25 0 1 0 895002030 180109312 42961 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43972 42961 1111 63 0 43909 0 vsize: 175888 [startup+950.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45653 0 0 0 94912 119 0 0 25 0 1 0 895002030 180154368 42973 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43983 42973 1111 63 0 43920 0 vsize: 175932 [startup+960.046 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45665 0 0 0 95912 120 0 0 25 0 1 0 895002030 180199424 42985 4294967295 134512640 134716908 3221224576 3221222488 1077380592 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43994 42985 1111 63 0 43931 0 vsize: 175976 [startup+970.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45676 0 0 0 96912 121 0 0 25 0 1 0 895002030 180240384 42996 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44004 42996 1111 63 0 43941 0 vsize: 176016 [startup+980.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45688 0 0 0 97912 121 0 0 25 0 1 0 895002030 180285440 43008 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44015 43008 1111 63 0 43952 0 vsize: 176060 [startup+990.048 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45699 0 0 0 98911 122 0 0 25 0 1 0 895002030 180330496 43019 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44026 43019 1111 63 0 43963 0 vsize: 176104 [startup+1000.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45710 0 0 0 99911 122 0 0 25 0 1 0 895002030 180371456 43030 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44036 43030 1111 63 0 43973 0 vsize: 176144 [startup+1010.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45720 0 0 0 100910 123 0 0 25 0 1 0 895002030 180408320 43040 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44045 43040 1111 63 0 43982 0 vsize: 176180 [startup+1020.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45730 0 0 0 101910 124 0 0 25 0 1 0 895002030 180445184 43050 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44054 43050 1111 63 0 43991 0 vsize: 176216 [startup+1030.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45740 0 0 0 102910 125 0 0 25 0 1 0 895002030 180482048 43060 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44063 43060 1111 63 0 44000 0 vsize: 176252 [startup+1040.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45750 0 0 0 103910 125 0 0 25 0 1 0 895002030 180518912 43070 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44072 43070 1111 63 0 44009 0 vsize: 176288 [startup+1050.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45757 0 0 0 104910 126 0 0 25 0 1 0 895002030 180547584 43077 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44079 43077 1111 63 0 44016 0 vsize: 176316 [startup+1060.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45765 0 0 0 105910 126 0 0 25 0 1 0 895002030 180576256 43085 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44086 43085 1111 63 0 44023 0 vsize: 176344 [startup+1070.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45774 0 0 0 106909 127 0 0 25 0 1 0 895002030 180609024 43094 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44094 43094 1111 63 0 44031 0 vsize: 176376 [startup+1080.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45781 0 0 0 107909 127 0 0 25 0 1 0 895002030 180637696 43101 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44101 43101 1111 63 0 44038 0 vsize: 176404 [startup+1090.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45789 0 0 0 108909 128 0 0 25 0 1 0 895002030 180666368 43109 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44108 43109 1111 63 0 44045 0 vsize: 176432 [startup+1100.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45796 0 0 0 109909 128 0 0 25 0 1 0 895002030 180695040 43116 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44115 43116 1111 63 0 44052 0 vsize: 176460 [startup+1110.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45804 0 0 0 110909 128 0 0 25 0 1 0 895002030 180723712 43124 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44122 43124 1111 63 0 44059 0 vsize: 176488 [startup+1120.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45812 0 0 0 111909 128 0 0 25 0 1 0 895002030 180752384 43132 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44129 43132 1111 63 0 44066 0 vsize: 176516 [startup+1130.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 45820 0 0 0 112910 129 0 0 25 0 1 0 895002030 180785152 43140 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44137 43140 1111 63 0 44074 0 vsize: 176548 [startup+1140.05 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 46038 0 0 0 113909 129 0 0 25 0 1 0 895002030 181673984 43358 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44354 43358 1111 63 0 44291 0 vsize: 177416 [startup+1150.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 46047 0 0 0 114909 130 0 0 25 0 1 0 895002030 181710848 43367 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44363 43367 1111 63 0 44300 0 vsize: 177452 [startup+1160.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 46058 0 0 0 115910 130 0 0 25 0 1 0 895002030 181751808 43378 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44373 43378 1111 63 0 44310 0 vsize: 177492 [startup+1170.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 46068 0 0 0 116910 130 0 0 25 0 1 0 895002030 181788672 43388 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44382 43388 1111 63 0 44319 0 vsize: 177528 [startup+1180.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 46079 0 0 0 117910 131 0 0 25 0 1 0 895002030 181833728 43399 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44393 43399 1111 63 0 44330 0 vsize: 177572 [startup+1190.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 46089 0 0 0 118910 131 0 0 25 0 1 0 895002030 181870592 43409 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44402 43409 1111 63 0 44339 0 vsize: 177608 [startup+1200.06 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) R 17038 25568 25567 0 -1 0 46099 0 0 0 119910 131 0 0 25 0 1 0 895002030 181911552 43419 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44412 43419 1111 63 0 44349 0 vsize: 177648 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.14 s] Raw data (loadavg): 1.00 1.00 0.92 1/54 17041 Raw data (stat): 17039 (bsolo_lpr-v2) Z 17038 25568 25567 0 -1 1036 46099 0 0 0 119910 139 0 0 25 0 1 0 895002030 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.14 CPU time (s): 1200.5 CPU user time (s): 1199.1 CPU system time (s): 1.39679 CPU usage (%): 100.03 Max. virtual memory (Kb): 177648 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####