Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-4.opb |
MD5SUM | b7f280d80b52f97899362fbc10d59421 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1272 |
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 | 1272 |
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 | 1272 |
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 | 1272 |
Total number of constraints | 94308 |
Number of constraints which are clauses | 94308 |
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 wulflinc3 THE 2005-06-07 17:52:28 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27784 boxname=wulflinc3 idbench=342 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: b7f280d80b52f97899362fbc10d59421 /oldhome/oroussel/tmp/wulflinc3/normalized-frb53-24-4.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-frb53-24-4.opb IDLAUNCH: 27784 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 892308 kB Buffers: 33844 kB Cached: 80432 kB SwapCached: 6016 kB Active: 40900 kB Inactive: 80716 kB HighTotal: 131008 kB HighFree: 92120 kB LowTotal: 903652 kB LowFree: 800188 kB SwapTotal: 2097136 kB SwapFree: 2090192 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5052 kB Slab: 15084 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 18:12:31 (client local time) WITH STATUS 0 IN 1200.28 SECONDS stats: 27784 7 1200.28 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1272 variables and 94308 constraints. c After prepocess the problem consists of 1272 variables and 64986 constraints. c preprocess terminated 747.589 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 14106 Raw data (stat): 14106 (runsolver) R 14105 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894930243 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.93 0.95 0.90 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 18026 0 0 0 947 49 0 0 25 0 1 0 894930243 76972032 17942 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18792 17942 1111 63 0 18729 0 vsize: 75168 [startup+20.0017 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 42359 0 0 0 1891 105 0 0 25 0 1 0 894930243 167919616 40149 4294967295 134512640 134716908 3221224576 3221223060 134539580 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40996 40149 1111 63 0 40933 0 vsize: 163984 [startup+30.0025 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 43609 0 0 0 2888 108 0 0 25 0 1 0 894930243 168144896 40204 4294967295 134512640 134716908 3221224576 3221223040 134536650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41051 40204 1111 63 0 40988 0 vsize: 164204 [startup+40.0023 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 3878 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+50.0022 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 4878 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+60.0023 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 5878 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223144 1077378649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+70.0019 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 6878 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223104 134538915 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+80.0027 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 7879 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+90.0025 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 8879 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223072 134543740 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+100.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 9879 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223288 134543594 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+110.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 10879 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223104 134528665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+120.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 11879 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 12879 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 13879 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134536730 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 14880 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+160.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 15880 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+170.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 16880 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134537917 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+180.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 17880 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+190.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 18880 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+200.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 19880 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 20881 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+220.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 21881 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+230.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 22881 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+240.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 23881 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+250.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 24881 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+260.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 25881 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+270.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 26881 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+280.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 27882 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+290.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 28882 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221222988 134543588 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+300.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 29882 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223192 134543830 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+310.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 30882 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221222940 134539282 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+320.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 31882 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221222992 134543684 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+330.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 32883 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+340.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 33883 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134539446 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+350.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 34883 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+360.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 35883 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+370.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 36883 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223328 134630814 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+380.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 37883 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223116 134543760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+390.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 38884 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+400.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 39884 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+410.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 40884 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223064 134543609 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+420.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 41884 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221222992 134543710 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+430.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 42884 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+440.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 43884 119 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+450.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14106 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 44884 120 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+460.008 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 14159 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 45884 120 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223008 134543671 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+470.008 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 14159 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 46884 120 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+480.01 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 14159 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 47884 121 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+490.011 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 14159 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 48884 121 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+500.011 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 14159 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 49884 121 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+510.011 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 14159 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 50883 122 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+520.011 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 14159 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 51883 122 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223204 134594993 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+530.011 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 52883 123 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+540.013 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 53883 123 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223252 134594897 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+550.013 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 54883 123 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223084 134543588 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+560.013 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 55883 124 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+570.013 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 56882 124 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+580.013 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 57882 124 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221222976 134542694 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+590.014 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 58882 125 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+600.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 59882 125 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+610.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 60882 125 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223040 134542368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+620.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 61882 125 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221222968 134542370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+630.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 62881 126 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+640.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 63881 126 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221222992 134542817 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+650.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 64881 126 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+660.016 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 65881 127 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+670.016 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 66881 127 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+680.016 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 67881 127 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+690.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 68881 127 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+700.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48104 0 0 0 69882 127 0 0 25 0 1 0 894930243 183799808 44012 4294967295 134512640 134716908 3221224576 3221223228 134558618 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44012 1111 63 0 44810 0 vsize: 179492 [startup+710.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48105 0 0 0 70882 127 0 0 25 0 1 0 894930243 183799808 44013 4294967295 134512640 134716908 3221224576 3221223456 134622277 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44013 1111 63 0 44810 0 vsize: 179492 [startup+720.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48105 0 0 0 71882 127 0 0 25 0 1 0 894930243 183799808 44013 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44013 1111 63 0 44810 0 vsize: 179492 [startup+730.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48105 0 0 0 72882 128 0 0 25 0 1 0 894930243 183799808 44013 4294967295 134512640 134716908 3221224576 3221223432 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44013 1111 63 0 44810 0 vsize: 179492 [startup+740.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48105 0 0 0 73882 128 0 0 25 0 1 0 894930243 183799808 44013 4294967295 134512640 134716908 3221224576 3221223456 134622351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44013 1111 63 0 44810 0 vsize: 179492 [startup+750.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 74882 128 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+760.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 75882 128 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+770.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 76882 129 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+780.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 77881 129 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+790.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14161 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 78881 129 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+800.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 79881 130 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+810.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 80881 130 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+820.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 81881 131 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+830.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 82881 131 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+840.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 83880 131 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+850.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 84880 132 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+860.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 85880 132 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+870.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 86880 132 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222784 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+880.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 87880 133 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+890.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 88879 133 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+900.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 89879 133 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+910.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 90879 134 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+920.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 91879 134 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+930.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 92879 135 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+940.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 93879 135 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+950.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 94878 135 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+960.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 95878 136 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+970.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 96878 136 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+980.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 97878 137 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+990.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 98877 137 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 99877 138 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 100877 138 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222784 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 101876 139 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 102876 139 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 103876 140 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+1050.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48126 0 0 0 104875 140 0 0 25 0 1 0 894930243 183799808 44034 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44873 44034 1111 63 0 44810 0 vsize: 179492 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48558 0 0 0 105874 142 0 0 25 0 1 0 894930243 185565184 44466 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45304 44466 1111 63 0 45241 0 vsize: 181216 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48565 0 0 0 106873 143 0 0 25 0 1 0 894930243 185593856 44473 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45311 44473 1111 63 0 45248 0 vsize: 181244 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48573 0 0 0 107872 144 0 0 25 0 1 0 894930243 185626624 44481 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45319 44481 1111 63 0 45256 0 vsize: 181276 [startup+1090.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48580 0 0 0 108871 145 0 0 25 0 1 0 894930243 185655296 44488 4294967295 134512640 134716908 3221224576 3221222864 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45326 44488 1111 63 0 45263 0 vsize: 181304 [startup+1100.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48587 0 0 0 109871 146 0 0 25 0 1 0 894930243 185683968 44495 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45333 44495 1111 63 0 45270 0 vsize: 181332 [startup+1110.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48594 0 0 0 110870 146 0 0 25 0 1 0 894930243 185712640 44502 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45340 44502 1111 63 0 45277 0 vsize: 181360 [startup+1120.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48602 0 0 0 111869 147 0 0 25 0 1 0 894930243 185745408 44510 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45348 44510 1111 63 0 45285 0 vsize: 181392 [startup+1130.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48609 0 0 0 112869 148 0 0 25 0 1 0 894930243 185774080 44517 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45355 44517 1111 63 0 45292 0 vsize: 181420 [startup+1140.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48616 0 0 0 113868 149 0 0 25 0 1 0 894930243 185802752 44524 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45362 44524 1111 63 0 45299 0 vsize: 181448 [startup+1150.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48623 0 0 0 114868 149 0 0 25 0 1 0 894930243 185831424 44531 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45369 44531 1111 63 0 45306 0 vsize: 181476 [startup+1160.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48629 0 0 0 115867 150 0 0 25 0 1 0 894930243 185856000 44537 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45375 44537 1111 63 0 45312 0 vsize: 181500 [startup+1170.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48636 0 0 0 116867 151 0 0 25 0 1 0 894930243 185884672 44544 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45382 44544 1111 63 0 45319 0 vsize: 181528 [startup+1180.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48643 0 0 0 117866 152 0 0 25 0 1 0 894930243 185913344 44551 4294967295 134512640 134716908 3221224576 3221222768 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45389 44551 1111 63 0 45326 0 vsize: 181556 [startup+1190.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48649 0 0 0 118866 152 0 0 25 0 1 0 894930243 185937920 44557 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45395 44557 1111 63 0 45332 0 vsize: 181580 [startup+1200.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) R 14105 20224 20223 0 -1 0 48655 0 0 0 119866 152 0 0 25 0 1 0 894930243 185962496 44563 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45401 44563 1111 63 0 45338 0 vsize: 181604 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.11 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 14163 Raw data (stat): 14106 (bsolo_lpr-v2) Z 14105 20224 20223 0 -1 1036 48655 0 0 0 119866 161 0 0 25 0 1 0 894930243 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.11 CPU time (s): 1200.28 CPU user time (s): 1198.66 CPU system time (s): 1.61175 CPU usage (%): 100.013 Max. virtual memory (Kb): 181604 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####