Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb |
MD5SUM | 6958cafd776838585aada2c9dcafd103 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 246163 |
Biggest coefficient in the objective function | 10737418240 |
Number of bits for the biggest coefficient in the objective function | 34 |
Sum of the numbers in the objective function | 43487073153772 |
Number of bits of the sum of numbers in the objective function | 46 |
Biggest number in a constraint | 31729070899200 |
Number of bits of the biggest number in a constraint | 45 |
Biggest sum of numbers in a constraint | 103505525327531 |
Number of bits of the biggest sum of numbers | 47 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.77058 |
Number of variables | 293602 |
Total number of constraints | 10500 |
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 | 10500 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 612 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc26 THE 2005-05-25 04:32:55 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=10818 boxname=wulflinc26 idbench=833 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 6958cafd776838585aada2c9dcafd103 /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-fit2p.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-fit2p.opb IDLAUNCH: 10818 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 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 : 3 cpu MHz : 451.061 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 376492 kB Buffers: 34360 kB Cached: 599696 kB SwapCached: 656 kB Active: 169356 kB Inactive: 467336 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 376240 kB SwapTotal: 2097892 kB SwapFree: 2096880 kB Dirty: 4 kB Writeback: 0 kB Mapped: 6036 kB Slab: 15800 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 04:52:58 (client local time) WITH STATUS 0 IN 1200.34 SECONDS stats: 10818 7 1200.34 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### 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.74 0.88 0.88 2/54 32375 Raw data (stat): 32375 (runsolver) R 32374 20687 20686 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836033629 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0017 s] Raw data (loadavg): 0.78 0.88 0.88 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 1834 0 0 0 990 7 0 0 25 0 1 0 836033629 15360000 1758 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3750 1758 1111 63 0 3687 0 vsize: 15000 [startup+20.0018 s] Raw data (loadavg): 0.81 0.89 0.89 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 1898 0 0 0 1990 7 0 0 25 0 1 0 836033629 15646720 1822 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3820 1822 1111 63 0 3757 0 vsize: 15280 [startup+30.0018 s] Raw data (loadavg): 0.84 0.89 0.89 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 1971 0 0 0 2990 8 0 0 25 0 1 0 836033629 15941632 1895 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3892 1895 1111 63 0 3829 0 vsize: 15568 [startup+40.0025 s] Raw data (loadavg): 0.87 0.89 0.89 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2047 0 0 0 3989 8 0 0 25 0 1 0 836033629 16236544 1971 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3964 1971 1111 63 0 3901 0 vsize: 15856 [startup+50.0028 s] Raw data (loadavg): 0.89 0.89 0.89 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2112 0 0 0 4989 9 0 0 25 0 1 0 836033629 16523264 2036 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4034 2036 1111 63 0 3971 0 vsize: 16136 [startup+60.0039 s] Raw data (loadavg): 0.90 0.90 0.89 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2183 0 0 0 5988 9 0 0 25 0 1 0 836033629 16818176 2107 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4106 2107 1111 63 0 4043 0 vsize: 16424 [startup+70.0049 s] Raw data (loadavg): 0.92 0.90 0.89 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2261 0 0 0 6988 10 0 0 25 0 1 0 836033629 17108992 2185 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4177 2185 1111 63 0 4114 0 vsize: 16708 [startup+80.0127 s] Raw data (loadavg): 0.93 0.90 0.89 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2326 0 0 0 7988 11 0 0 25 0 1 0 836033629 17399808 2250 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4248 2250 1111 63 0 4185 0 vsize: 16992 [startup+90.0126 s] Raw data (loadavg): 0.94 0.91 0.89 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2400 0 0 0 8988 11 0 0 25 0 1 0 836033629 17674240 2324 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4315 2324 1111 63 0 4252 0 vsize: 17260 [startup+100.013 s] Raw data (loadavg): 0.95 0.91 0.89 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2472 0 0 0 9988 11 0 0 25 0 1 0 836033629 17960960 2396 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4385 2396 1111 63 0 4322 0 vsize: 17540 [startup+110.013 s] Raw data (loadavg): 0.96 0.91 0.89 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2543 0 0 0 10987 12 0 0 25 0 1 0 836033629 18259968 2467 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4458 2467 1111 63 0 4395 0 vsize: 17832 [startup+120.014 s] Raw data (loadavg): 0.96 0.91 0.89 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2614 0 0 0 11987 12 0 0 25 0 1 0 836033629 18550784 2538 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4529 2538 1111 63 0 4466 0 vsize: 18116 [startup+130.014 s] Raw data (loadavg): 0.97 0.92 0.90 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2691 0 0 0 12986 13 0 0 25 0 1 0 836033629 18980864 2615 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4634 2615 1111 63 0 4571 0 vsize: 18536 [startup+140.014 s] Raw data (loadavg): 0.97 0.92 0.90 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2757 0 0 0 13986 13 0 0 25 0 1 0 836033629 19136512 2681 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4672 2681 1111 63 0 4609 0 vsize: 18688 [startup+150.015 s] Raw data (loadavg): 0.98 0.92 0.90 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2828 0 0 0 14985 14 0 0 25 0 1 0 836033629 19423232 2752 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4742 2752 1111 63 0 4679 0 vsize: 18968 [startup+160.016 s] Raw data (loadavg): 0.98 0.92 0.90 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2904 0 0 0 15985 14 0 0 25 0 1 0 836033629 19857408 2828 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4848 2828 1111 63 0 4785 0 vsize: 19392 [startup+170.016 s] Raw data (loadavg): 0.98 0.92 0.90 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 2976 0 0 0 16985 15 0 0 25 0 1 0 836033629 20152320 2900 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4920 2900 1111 63 0 4857 0 vsize: 19680 [startup+180.016 s] Raw data (loadavg): 0.98 0.93 0.90 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3046 0 0 0 17985 15 0 0 25 0 1 0 836033629 20439040 2970 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4990 2970 1111 63 0 4927 0 vsize: 19960 [startup+190.017 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3123 0 0 0 18984 16 0 0 25 0 1 0 836033629 20733952 3047 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5062 3047 1111 63 0 4999 0 vsize: 20248 [startup+200.016 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3188 0 0 0 19984 16 0 0 25 0 1 0 836033629 21020672 3112 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5132 3112 1111 63 0 5069 0 vsize: 20528 [startup+210.017 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3260 0 0 0 20983 17 0 0 25 0 1 0 836033629 21315584 3184 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5204 3184 1111 63 0 5141 0 vsize: 20816 [startup+220.021 s] Raw data (loadavg): 0.99 0.93 0.90 3/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3337 0 0 0 21984 17 0 0 25 0 1 0 836033629 21610496 3261 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5276 3261 1111 63 0 5213 0 vsize: 21104 [startup+230.021 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3403 0 0 0 22983 17 0 0 25 0 1 0 836033629 21897216 3327 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5346 3327 1111 63 0 5283 0 vsize: 21384 [startup+240.021 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3475 0 0 0 23984 17 0 0 25 0 1 0 836033629 22183936 3399 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5416 3399 1111 63 0 5353 0 vsize: 21664 [startup+250.021 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3552 0 0 0 24984 17 0 0 25 0 1 0 836033629 22482944 3476 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5489 3476 1111 63 0 5426 0 vsize: 21956 [startup+260.021 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3617 0 0 0 25984 17 0 0 25 0 1 0 836033629 22773760 3541 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5560 3541 1111 63 0 5497 0 vsize: 22240 [startup+270.021 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3687 0 0 0 26984 18 0 0 25 0 1 0 836033629 23060480 3611 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5630 3611 1111 63 0 5567 0 vsize: 22520 [startup+280.021 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3760 0 0 0 27984 18 0 0 25 0 1 0 836033629 23359488 3684 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5703 3684 1111 63 0 5640 0 vsize: 22812 [startup+290.021 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3830 0 0 0 28984 18 0 0 25 0 1 0 836033629 23650304 3754 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5774 3754 1111 63 0 5711 0 vsize: 23096 [startup+300.021 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3901 0 0 0 29983 18 0 0 25 0 1 0 836033629 23937024 3825 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5844 3825 1111 63 0 5781 0 vsize: 23376 [startup+310.022 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 3972 0 0 0 30983 19 0 0 25 0 1 0 836033629 24231936 3896 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5916 3896 1111 63 0 5853 0 vsize: 23664 [startup+320.023 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4044 0 0 0 31983 19 0 0 25 0 1 0 836033629 24526848 3968 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5988 3968 1111 63 0 5925 0 vsize: 23952 [startup+330.022 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4122 0 0 0 32983 19 0 0 25 0 1 0 836033629 24809472 4046 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6057 4046 1111 63 0 5994 0 vsize: 24228 [startup+340.022 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4186 0 0 0 33983 20 0 0 25 0 1 0 836033629 25096192 4110 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6127 4110 1111 63 0 6064 0 vsize: 24508 [startup+350.022 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4265 0 0 0 34983 20 0 0 25 0 1 0 836033629 25391104 4189 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6199 4189 1111 63 0 6136 0 vsize: 24796 [startup+360.022 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4335 0 0 0 35983 20 0 0 25 0 1 0 836033629 25681920 4259 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6270 4259 1111 63 0 6207 0 vsize: 25080 [startup+370.022 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4400 0 0 0 36983 20 0 0 25 0 1 0 836033629 25972736 4324 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6341 4324 1111 63 0 6278 0 vsize: 25364 [startup+380.022 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4477 0 0 0 37983 20 0 0 25 0 1 0 836033629 26259456 4401 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6411 4401 1111 63 0 6348 0 vsize: 25644 [startup+390.022 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4550 0 0 0 38983 21 0 0 25 0 1 0 836033629 26558464 4474 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6484 4474 1111 63 0 6421 0 vsize: 25936 [startup+400.022 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4615 0 0 0 39983 21 0 0 25 0 1 0 836033629 26849280 4539 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6555 4539 1111 63 0 6492 0 vsize: 26220 [startup+410.023 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4693 0 0 0 40983 21 0 0 25 0 1 0 836033629 27136000 4617 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6625 4617 1111 63 0 6562 0 vsize: 26500 [startup+420.022 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4765 0 0 0 41983 21 0 0 25 0 1 0 836033629 27435008 4689 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6698 4689 1111 63 0 6635 0 vsize: 26792 [startup+430.022 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4830 0 0 0 42983 21 0 0 25 0 1 0 836033629 27725824 4754 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6769 4754 1111 63 0 6706 0 vsize: 27076 [startup+440.023 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4907 0 0 0 43983 21 0 0 25 0 1 0 836033629 28012544 4831 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6839 4831 1111 63 0 6776 0 vsize: 27356 [startup+450.022 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 4978 0 0 0 44983 22 0 0 25 0 1 0 836033629 28307456 4902 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6911 4902 1111 63 0 6848 0 vsize: 27644 [startup+460.023 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5044 0 0 0 45983 22 0 0 25 0 1 0 836033629 28602368 4968 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6983 4968 1111 63 0 6920 0 vsize: 27932 [startup+470.024 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5121 0 0 0 46983 22 0 0 25 0 1 0 836033629 28889088 5045 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7053 5045 1111 63 0 6990 0 vsize: 28212 [startup+480.023 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5192 0 0 0 47983 22 0 0 25 0 1 0 836033629 29184000 5116 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7125 5116 1111 63 0 7062 0 vsize: 28500 [startup+490.024 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5260 0 0 0 48983 22 0 0 25 0 1 0 836033629 29474816 5184 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7196 5184 1111 63 0 7133 0 vsize: 28784 [startup+500.024 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5337 0 0 0 49983 22 0 0 25 0 1 0 836033629 29765632 5261 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7267 5261 1111 63 0 7204 0 vsize: 29068 [startup+510.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5407 0 0 0 50983 23 0 0 25 0 1 0 836033629 30060544 5331 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7339 5331 1111 63 0 7276 0 vsize: 29356 [startup+520.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5472 0 0 0 51983 23 0 0 25 0 1 0 836033629 30347264 5396 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7409 5396 1111 63 0 7346 0 vsize: 29636 [startup+530.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5551 0 0 0 52983 23 0 0 25 0 1 0 836033629 30642176 5475 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7481 5475 1111 63 0 7418 0 vsize: 29924 [startup+540.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5621 0 0 0 53984 23 0 0 25 0 1 0 836033629 30932992 5545 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7552 5545 1111 63 0 7489 0 vsize: 30208 [startup+550.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5686 0 0 0 54984 23 0 0 25 0 1 0 836033629 31223808 5610 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7623 5610 1111 63 0 7560 0 vsize: 30492 [startup+560.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5766 0 0 0 55984 23 0 0 25 0 1 0 836033629 31510528 5690 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7693 5690 1111 63 0 7630 0 vsize: 30772 [startup+570.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5836 0 0 0 56984 23 0 0 25 0 1 0 836033629 31809536 5760 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7766 5760 1111 63 0 7703 0 vsize: 31064 [startup+580.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5901 0 0 0 57984 23 0 0 25 0 1 0 836033629 32100352 5825 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7837 5829 1111 63 0 7774 0 vsize: 31348 [startup+590.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 5978 0 0 0 58984 24 0 0 25 0 1 0 836033629 32387072 5902 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7907 5902 1111 63 0 7844 0 vsize: 31628 [startup+600.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6051 0 0 0 59984 24 0 0 25 0 1 0 836033629 32686080 5975 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7980 5975 1111 63 0 7917 0 vsize: 31920 [startup+610.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6121 0 0 0 60984 24 0 0 25 0 1 0 836033629 32976896 6045 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8051 6045 1111 63 0 7988 0 vsize: 32204 [startup+620.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6192 0 0 0 61984 24 0 0 25 0 1 0 836033629 33263616 6116 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8121 6116 1111 63 0 8058 0 vsize: 32484 [startup+630.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6265 0 0 0 62984 24 0 0 25 0 1 0 836033629 33558528 6189 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8193 6189 1111 63 0 8130 0 vsize: 32772 [startup+640.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6354 0 0 0 63984 24 0 0 25 0 1 0 836033629 34041856 6278 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8311 6278 1111 63 0 8248 0 vsize: 33244 [startup+650.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6417 0 0 0 64984 24 0 0 25 0 1 0 836033629 34181120 6341 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8345 6341 1111 63 0 8282 0 vsize: 33380 [startup+660.036 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6488 0 0 0 65985 25 0 0 25 0 1 0 836033629 34467840 6412 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8415 6412 1111 63 0 8352 0 vsize: 33660 [startup+670.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6567 0 0 0 66996 25 0 0 25 0 1 0 836033629 34910208 6491 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8523 6491 1111 63 0 8460 0 vsize: 34092 [startup+680.139 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6632 0 0 0 67996 25 0 0 25 0 1 0 836033629 35057664 6556 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8559 6556 1111 63 0 8496 0 vsize: 34236 [startup+690.139 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6709 0 0 0 68996 25 0 0 25 0 1 0 836033629 35491840 6633 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8665 6633 1111 63 0 8602 0 vsize: 34660 [startup+700.139 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6781 0 0 0 69996 25 0 0 25 0 1 0 836033629 35786752 6705 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8737 6705 1111 63 0 8674 0 vsize: 34948 [startup+710.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6846 0 0 0 70996 25 0 0 25 0 1 0 836033629 35934208 6770 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8773 6770 1111 63 0 8710 0 vsize: 35092 [startup+720.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 6924 0 0 0 71996 25 0 0 25 0 1 0 836033629 36368384 6848 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8879 6848 1111 63 0 8816 0 vsize: 35516 [startup+730.141 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7001 0 0 0 72996 25 0 0 25 0 1 0 836033629 36655104 6925 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8949 6925 1111 63 0 8886 0 vsize: 35796 [startup+740.141 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7067 0 0 0 73996 25 0 0 25 0 1 0 836033629 36954112 6991 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9022 6991 1111 63 0 8959 0 vsize: 36088 [startup+750.141 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7138 0 0 0 74996 26 0 0 25 0 1 0 836033629 37244928 7062 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9093 7062 1111 63 0 9030 0 vsize: 36372 [startup+760.142 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7216 0 0 0 75996 26 0 0 25 0 1 0 836033629 37531648 7140 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9163 7140 1111 63 0 9100 0 vsize: 36652 [startup+770.142 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7283 0 0 0 76997 26 0 0 25 0 1 0 836033629 37830656 7207 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9236 7207 1111 63 0 9173 0 vsize: 36944 [startup+780.142 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7360 0 0 0 77997 26 0 0 25 0 1 0 836033629 38121472 7284 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9307 7284 1111 63 0 9244 0 vsize: 37228 [startup+790.142 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7431 0 0 0 78997 26 0 0 25 0 1 0 836033629 38408192 7355 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9377 7355 1111 63 0 9314 0 vsize: 37508 [startup+800.142 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7502 0 0 0 79997 26 0 0 25 0 1 0 836033629 38703104 7426 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9449 7426 1111 63 0 9386 0 vsize: 37796 [startup+810.143 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7575 0 0 0 80997 26 0 0 25 0 1 0 836033629 38993920 7499 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9520 7499 1111 63 0 9457 0 vsize: 38080 [startup+820.143 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7646 0 0 0 81997 26 0 0 25 0 1 0 836033629 39284736 7570 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9591 7570 1111 63 0 9528 0 vsize: 38364 [startup+830.142 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7717 0 0 0 82997 26 0 0 25 0 1 0 836033629 39579648 7641 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9663 7641 1111 63 0 9600 0 vsize: 38652 [startup+840.143 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7790 0 0 0 83998 26 0 0 25 0 1 0 836033629 39870464 7714 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9734 7714 1111 63 0 9671 0 vsize: 38936 [startup+850.143 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7861 0 0 0 84997 26 0 0 25 0 1 0 836033629 40161280 7785 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9805 7785 1111 63 0 9742 0 vsize: 39220 [startup+860.143 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 7938 0 0 0 85998 26 0 0 25 0 1 0 836033629 40452096 7862 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9876 7862 1111 63 0 9813 0 vsize: 39504 [startup+870.143 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8003 0 0 0 86998 27 0 0 25 0 1 0 836033629 40742912 7927 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9947 7927 1111 63 0 9884 0 vsize: 39788 [startup+880.143 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8083 0 0 0 87998 27 0 0 25 0 1 0 836033629 41037824 8007 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10019 8007 1111 63 0 9956 0 vsize: 40076 [startup+890.143 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8160 0 0 0 88998 27 0 0 25 0 1 0 836033629 41328640 8084 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10090 8084 1111 63 0 10027 0 vsize: 40360 [startup+900.143 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8225 0 0 0 89997 27 0 0 25 0 1 0 836033629 41619456 8149 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10161 8149 1111 63 0 10098 0 vsize: 40644 [startup+910.146 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8303 0 0 0 90997 28 0 0 25 0 1 0 836033629 41910272 8227 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10232 8227 1111 63 0 10169 0 vsize: 40928 [startup+920.146 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8375 0 0 0 91998 28 0 0 25 0 1 0 836033629 42205184 8299 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10304 8299 1111 63 0 10241 0 vsize: 41216 [startup+930.146 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8440 0 0 0 92998 28 0 0 25 0 1 0 836033629 42491904 8364 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10374 8364 1111 63 0 10311 0 vsize: 41496 [startup+940.147 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8517 0 0 0 93998 28 0 0 25 0 1 0 836033629 42782720 8441 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10445 8441 1111 63 0 10382 0 vsize: 41780 [startup+950.147 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8589 0 0 0 94998 28 0 0 25 0 1 0 836033629 43081728 8513 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10518 8513 1111 63 0 10455 0 vsize: 42072 [startup+960.148 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8667 0 0 0 95998 29 0 0 25 0 1 0 836033629 43368448 8591 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10588 8591 1111 63 0 10525 0 vsize: 42352 [startup+970.148 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8732 0 0 0 96998 29 0 0 25 0 1 0 836033629 43659264 8656 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10659 8656 1111 63 0 10596 0 vsize: 42636 [startup+980.148 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8811 0 0 0 97998 29 0 0 25 0 1 0 836033629 43958272 8735 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10732 8735 1111 63 0 10669 0 vsize: 42928 [startup+990.148 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8882 0 0 0 98998 29 0 0 25 0 1 0 836033629 44244992 8806 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10802 8806 1111 63 0 10739 0 vsize: 43208 [startup+1000.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 8948 0 0 0 99998 29 0 0 25 0 1 0 836033629 44535808 8872 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10873 8872 1111 63 0 10810 0 vsize: 43492 [startup+1010.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9025 0 0 0 100998 29 0 0 25 0 1 0 836033629 44826624 8949 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10944 8949 1111 63 0 10881 0 vsize: 43776 [startup+1020.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9103 0 0 0 101998 30 0 0 25 0 1 0 836033629 45264896 9027 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11051 9027 1111 63 0 10988 0 vsize: 44204 [startup+1030.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9168 0 0 0 102998 30 0 0 25 0 1 0 836033629 45412352 9092 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11087 9092 1111 63 0 11024 0 vsize: 44348 [startup+1040.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9246 0 0 0 103998 30 0 0 25 0 1 0 836033629 45846528 9170 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11193 9170 1111 63 0 11130 0 vsize: 44772 [startup+1050.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9319 0 0 0 104998 30 0 0 25 0 1 0 836033629 46141440 9243 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11265 9243 1111 63 0 11202 0 vsize: 45060 [startup+1060.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9390 0 0 0 105998 30 0 0 25 0 1 0 836033629 46436352 9314 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11337 9314 1111 63 0 11274 0 vsize: 45348 [startup+1070.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9461 0 0 0 106998 30 0 0 25 0 1 0 836033629 46723072 9385 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11407 9385 1111 63 0 11344 0 vsize: 45628 [startup+1080.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9533 0 0 0 107998 30 0 0 25 0 1 0 836033629 47009792 9457 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11477 9457 1111 63 0 11414 0 vsize: 45908 [startup+1090.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9612 0 0 0 108998 31 0 0 25 0 1 0 836033629 47312896 9536 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11551 9536 1111 63 0 11488 0 vsize: 46204 [startup+1100.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9683 0 0 0 109998 31 0 0 25 0 1 0 836033629 47599616 9607 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11621 9607 1111 63 0 11558 0 vsize: 46484 [startup+1110.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9754 0 0 0 110998 31 0 0 25 0 1 0 836033629 47886336 9678 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11691 9678 1111 63 0 11628 0 vsize: 46764 [startup+1120.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9833 0 0 0 111998 31 0 0 25 0 1 0 836033629 48189440 9757 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11765 9757 1111 63 0 11702 0 vsize: 47060 [startup+1130.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9898 0 0 0 112998 32 0 0 25 0 1 0 836033629 48476160 9822 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11835 9822 1111 63 0 11772 0 vsize: 47340 [startup+1140.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 9975 0 0 0 113998 32 0 0 25 0 1 0 836033629 48762880 9899 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11905 9899 1111 63 0 11842 0 vsize: 47620 [startup+1150.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 10048 0 0 0 114998 32 0 0 25 0 1 0 836033629 49057792 9972 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11977 9972 1111 63 0 11914 0 vsize: 47908 [startup+1160.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 10120 0 0 0 115998 32 0 0 25 0 1 0 836033629 49352704 10044 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12049 10044 1111 63 0 11986 0 vsize: 48196 [startup+1170.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 10191 0 0 0 116998 32 0 0 25 0 1 0 836033629 49639424 10115 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12119 10115 1111 63 0 12056 0 vsize: 48476 [startup+1180.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 10268 0 0 0 117998 33 0 0 25 0 1 0 836033629 49934336 10192 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12191 10192 1111 63 0 12128 0 vsize: 48764 [startup+1190.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 10341 0 0 0 118998 33 0 0 25 0 1 0 836033629 50229248 10265 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12263 10265 1111 63 0 12200 0 vsize: 49052 [startup+1200.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) R 32374 20687 20686 0 -1 0 10412 0 0 0 119998 33 0 0 25 0 1 0 836033629 50515968 10336 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12333 10336 1111 63 0 12270 0 vsize: 49332 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.17 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 32375 Raw data (stat): 32375 (bsolo_lpr_cuts) Z 32374 20687 20686 0 -1 1036 10412 0 0 0 119998 35 0 0 25 0 1 0 836033629 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.17 CPU time (s): 1200.34 CPU user time (s): 1199.98 CPU system time (s): 0.353946 CPU usage (%): 100.014 Max. virtual memory (Kb): 49332 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####